[P2] FLOAT32 bit-pattern 绑定与 0 ULP 账本核对路径

[Kosthi]

父任务 / 依赖

• Epic: 【Epic】对齐 2026 决赛测评规范（Wire Protocol + 排名负载 + 正确性） #4
• 依赖: [P0] Wire Protocol v3 客户端：握手、frame、EXEC_STREAM 类型化结果 #5 类型化 cell；事务 BATCH ([P0] PREPARE_SET + EXEC_BATCH + AUTO_ABORT 排名传输路径 #6)

背景

2026 不再用六位小数文本比较 FLOAT。Wire 传输 IEEE-754 binary32 bit pattern；Payment/Delivery 等相对更新按 0 ULP 核对；SUM 有 binary64 累加再 round 规则。

任务清单

• 客户端内部金额使用可复现的 f32 语义（或记录 bit pattern）
• prepared FLOAT32 参数按 bit pattern 绑定
• NewOrder：价格×数量由客户端计算后 bind（赛题：不要求 DB 投影乘除）
• Delivery：用查询返回的 ol_amount 位值构造 SUM，再 bind 到 c_balance 更新
• Payment 可选：更新前后值 0 ULP 诊断日志
• 测试：+0/-0、边界金额、多行 SUM 小样本

验收标准

• 往返 FLOAT 与输入 bit pattern 一致（在 DB 正确前提下）
• 文档说明客户端与 DB 各自的 FLOAT 责任边界

参考

赛题第三章（六）FLOAT 规则；附件 A §3.1