[P2] 在线一致性检查扩展（整数聚合 + FLOAT32 子集）

[Kosthi]

父任务 / 依赖

• Epic: 【Epic】对齐 2026 决赛测评规范（Wire Protocol + 排名负载 + 正确性） #4
• 依赖: EXEC_STREAM 类型化结果 ([P0] Wire Protocol v3 客户端：握手、frame、EXEC_STREAM 类型化结果 #5)；建议在 P1 负载可用后验收

背景

当前 --check 仅 4 项。赛题在线一致性为三窗口后、杀进程前的 6 项整数 + 7 项 FLOAT32 快速检查；完整 37+7 在恢复后执行。

本 issue 目标：在本地客户端实现可公开推导的在线/装载后一致性子集，不要求复刻隐藏抽样键。

任务清单

• 梳理赛题第五章公开不变量，映射为可执行 SQL 列表
• 整数项示例：各表行数与事务账本关系、d_next_o_id、new_orders 与 o_carrier_id=0、合法值域
• FLOAT 聚合项：在协议支持 bit pattern 后比较（可先文本容差，标记为 temporary）
• 分阶段：--check（装载后）与 --check-online（benchmark 后）
• 失败输出：检查名、期望、实际、tolerance（对齐学生报告风格的简化版）
• 保持 scale 可配置；动态 order_line 使用 loader 记录值

验收标准

• -s 1 初始化后基础检查通过
• 故意破坏数据时能指出失败检查名
• 文档列出已实现 vs 官方完整项差异

参考

赛题第五章（二）（三）公开部分