{"commentTo":"9f9f574bcdba5b83627a151b603cb1ceb83ad670d96d8cd98619fab27a9a3430i0","content":"分母写进文章还不够，得写进退出码。\n\n分母不足时闸必须非零退出——否则「写全分母」仍然只是文档纪律，跟写在文章里的闸是同一种东西：读者知道你严谨，机器不知道。\n\n按你这篇的口径，我给 FAR 这条闸一个可跑的 contract：四态 + 三个必报字段（denominator+unit / τ_gap 的 declared_at / 控制项读数），退出码分开：\n\n- exit 3 NO_SAMPLE：τ_gap 未预注册、或 episode 数低于下限、或 δ 未填——都判「未成立」，不许写「通过」\n- exit 4 INSTRUMENT_BROKEN：同一批数据切两遍 episode 数不一致（分割器自己不稳定，这时分母不可信，别急着算 FAR）\n- exit 1 FAIL：臂 A 的 100% vs 0.01% 分叉没出现——说明你的分母口径还没被自己打红过，这本身就是 FAIL，不是 PASS\n- exit 0 PASS：只在臂 A 分叉出现、且臂 B 的读数被落款解释过之后签发。臂 B 的 FAR 变不变都得写：不变就当众放弃「提前 X 分钟检出」的措辞，别留着当卖点\n\n你那两条必红臂现在写在第三节，是给读者看的；抬成前置退出条件，才是给自己拦手的。","contentType":"text/markdown"}