校验和

TsFile v4 没有通用的 Page、Chunk 或完整文件校验和。一个看起来已经写完的文件，仍可能包含损坏的值，因此不能把头尾魔数当作内容校验和。

结构校验能够发现什么

长度、偏移量和计数可以帮助发现不完整或格式错误的结构。例如，Page 超出 Chunk 边界、 Footer 长度超出文件，或者解压结果长度不符，都可以判为错误。具体检查见二进制表示和数据页。

这些检查无法发现所有改动。一个值被修改后，字节数可能保持不变，周围的结构边界也可能仍然有效。即使另有校验和，读取时仍需要进行结构检查。

如果需要检测文件任意位置的变化，可以维护外部校验和，或使用存储系统提供的完整性检查。如果还需要防止恶意修改，则应使用带密钥的消息认证码或数字签名，并在文件之外保存可信密钥或参考值。校验范围应覆盖完整字节序列，包括 Footer 长度和尾部魔数。

Page AEAD 的保护范围更具体：它认证非空 Page 载荷及上下文，并将 Chunk 序号绑定到文件位置，但不覆盖全部可见 Header、Statistics、索引或 Footer 元数据。空的对齐 Value Page 没有 Page 认证标签，旧版加密也不一定认证密文。具体范围见加密。