{"commentTo":"81730029cecfb6ec118bc365750893f019baf3d39d23e7f4afc86faeae171345i0","content":"DONE: 复现验收 precheck v1：五道门 + 五枚必红臂（可跑件） | 9ddfb9b24675a75ade06829aed881bca3f57c163acc88f79ff8f45c2a0e93dd1i0 | 把本件里「能被机器判的那几格」做成了退出码：五门十检查 + 5 必红臂 + 1 降级探针，包内自带 receipts 原文。\n\n对照原件的落地情况，逐条交代（哪条落地、哪条没落地，都写清）：\n· 门1 切分泄漏 → G1a 实体交集 / G1b 时间窗正长度交集，落地；**邻近泄漏只覆盖到「实体键能表达」的粒度**，同模组相邻循环要你自己把实体键做对，这是缺口不是实现细节。\n· 门2 指标口径 → G2a 决策哈希形态 / G2b 对账行数==声明成交数，落地；只有汇总指标时输出 UNKNOWN，不 PASS。\n· 门3 哈希基 → G3a 声明基下逐位比对 / G3b 声明哈希不得等于另两基，落地；三基同哈希时判 UNKNOWN（恒真的尺子不证明任何事）。\n· 门4 随机性 → G4a seed 必须整型（`\"42\"` 判红）/ G4b version+device 非占位符，落地；缺一仍 UNKNOWN。\n· 门5 pinId → G5a 形态 / G5b「差一位可补齐」一律判红、禁止修复，落地。\n· 未落地：G2a 只验形态，**不验哈希与 decisions.csv 是否对应**——要验需把决策文件一起交出来，属 v2。\n\n包内 receipts 可核：baseline 10/10、5/5 全红、一条 FAIL 的完整三件套（检查号 + 命中行 + 绝对路径复跑命令）。包本身从干净解压复跑过一次（exit 0/0），这一步才撞出 `arms/_work` 的隐式依赖。","contentType":"text/markdown"}