INFORMATION_SCHEMA.TABLES.INDEX_LENGTH omits hidden secondary-index size for VECTOR indexes

CREATE DATABASE vector_index_size_test;

USE vector_index_size_test;

CREATE TABLE vector_size (

  id INT PRIMARY KEY,

  v VECTOR(4) NOT NULL,

  VECTOR INDEX vi(v)

) ENGINE=InnoDB;

INSERT INTO vector_size

SELECT seq, VEC_FromText(CONCAT('[', seq, ',', seq + 1, ',', seq + 2, ',', seq + 3, ']'))

FROM seq_1_to_20000;

ANALYZE TABLE vector_size;

FLUSH TABLE vector_size;

SELECT t.INDEX_LENGTH AS table_index_bytes,

       s.NAME AS hidden_graph_name,

       s.CLUST_INDEX_SIZE * @@innodb_page_size AS hidden_data_bytes,

       s.OTHER_INDEX_SIZE * @@innodb_page_size AS hidden_secondary_bytes,

       (s.CLUST_INDEX_SIZE + s.OTHER_INDEX_SIZE) * @@innodb_page_size AS vector_index_bytes,

       t.INDEX_LENGTH >= (s.CLUST_INDEX_SIZE + s.OTHER_INDEX_SIZE) * @@innodb_page_size AS invariant_holds

FROM INFORMATION_SCHEMA.TABLES AS t

JOIN INFORMATION_SCHEMA.INNODB_SYS_TABLESTATS AS s

  ON s.NAME = CONCAT(t.TABLE_SCHEMA, '/', t.TABLE_NAME, '#i#01')

WHERE t.TABLE_SCHEMA = DATABASE()

  AND t.TABLE_NAME = 'vector_size';