数据页

一个 Chunk 的 Page 连续存放在 Chunk Header 之后，Page 之间没有填充字节。data_size 统计所有 Page Header 和载荷的总长度。空的对齐 Value Chunk 的 data_size = 0，不包含任何 Page。

非空 Page 的格式为：

Page :=
    UVarInt    uncompressed_size
    UVarInt    compressed_size
    Statistics statistics?       # 由 Chunk marker 决定
    byte       stored_data[compressed_size]

uncompressed_size 是解密、解压后的 Page 负载大小，compressed_size 是文件中保存的 Page 负载大小。仅在 compression_type = UNCOMPRESSED 且加密不扩展长度时二者相等。 Page AEAD 的 compressed_size 包含密文帧和认证开销，即使不压缩也可能更大，详见加密。

Chunk marker 的低 6 位决定页头中是否包含统计信息：

Chunk marker 低位	Page 数量	Page Statistics
`0x01`	多于一个	每个非空 Page Header 中存在
`0x05`	零个或一个	不存在

统计信息的字节布局见元数据。

若 Page 起始偏移为 P，两个长度字段和可选 Statistics 的序列化总长度为 h，则磁盘载荷占用半开区间 [P + h, P + h + compressed_size)；如果还有下一个 Page，它从 P + h + compressed_size 开始。该结束位置不得超过所属 Chunk 的边界。

解密并解压后，载荷必须恰好产生 uncompressed_size 字节。即使压缩库报告成功，实际输出长度不一致时读取器也必须拒绝该 Page。

写入与读取顺序

写入非空 Page 时，数据依次经过：

时间戳和值
  -> 编码
  -> 组成未压缩的 Page 载荷
  -> 压缩
  -> 按需加密
  -> stored_data

读取顺序相反：先解密，再解压，最后执行值解码。

编码与压缩相互独立。编码把有类型的值转换成未压缩字节流，压缩把该结果视为普通字节。 Page 边界会重置值编码器/解码器和压缩器/解压器，状态不会跨 Page 延续。

非对齐 Page

非对齐 Page 的解压后负载为：

NonAlignedPagePayload :=
    UVarInt  time_stream_size
    byte     encoded_time_stream[time_stream_size]
    byte     encoded_value_stream[remaining bytes]

一个非对齐 Page 同时保存时间和值。它没有独立的 Time Page 和 Value Page：Page 先保存完整时间流，再保存完整值流，而不是按 timestamp, value 逐点交替写入。两个流包含相同数量的元素，并按位置组成 (timestamp, value)。

设未压缩载荷大小为 U，序列化 time_stream_size 字段本身占 v 字节，则值流长度为：

value_stream_size = U - v - time_stream_size

该长度必须非负。两个流都受 Page 载荷边界约束，必须按各自编码格式完整结束，并解出相同数量的数据点，才能将时间戳和值一一对应。

非对齐 Chunk Header 只记录值流的 encoding_type。时间流编码见配置。

对齐 Time Page

对齐 Time Page 的解压后负载完全由时间编码流组成：

AlignedTimePagePayload := byte encoded_time_stream[remaining bytes]

时间编码由 Time Chunk Header 的 encoding_type 指定。

解码得到的时间戳数量就是该 Page 的逻辑位置数。所有对应对齐 Value Page 的 bitmap 宽度和 null 重建都由该数量决定。

对齐 Value Page

非空对齐 Value Page 的解压后负载为：

AlignedValuePagePayload :=
    int32  position_count
    byte   present_bitmap[ceil(position_count / 8)]
    byte   encoded_non_null_values[remaining bytes]

同一对齐集合中，第 i 个 Value Page 对应第 i 个 Time Page。null 位图和全 null 空 Page 的格式见空值。

position_count 必须等于对应 Time Page 解码得到的时间戳数量。bitmap 必须恰好具有 ceil(position_count / 8) 字节；最后一个字节中未使用的低位不表示逻辑位置。值解码器只对置位位置解码，并且必须恰好产生 bitmap 置位数个值。

Page 选择与跳过

Page Statistics 可以在读取载荷之前排除不需要的 Page。例如，Page 的时间范围与查询范围不相交时，就可以直接跳过。各类型提供哪些值摘要，见统计信息。

单 Page Chunk 不保存 Page Statistics，需要使用 Footer 中的 Chunk 或序列级统计信息。如果现有摘要无法排除匹配，就要读取 Page 并检查具体值。

全 null 对齐 Value Page

一个对齐值列在某个 Time Page 的全部位置上都可以为 null。该情况只写入一个无符号变长整数零：

EmptyAlignedValuePage := UVarInt(0)  # uncompressed_size

该零之后没有 compressed_size、Page Statistics、bitmap 或磁盘载荷。位置数继承自对应 Time Page。只有在对齐 Page 序列能够提供外部位置数时，才允许使用这种表示。

数据页

数据页

页头（Page Header）