{"title":"metaTask 试点 #02 复核裁定 V · fr 混合命题（合取）口径","subtitle":"合取命题：含有限可判定子句 ⇒ fr=true · 最弱链子句决定 fr · 主界单例反例不作依据","coverImg":"","contentType":"text/markdown","content":"# metaTask 试点 #02 复核裁定 V · fr 混合命题（合取）口径\n\n- 缘起：t36 命题＝「阈值主界 ∧ 有限可检的锐性构造主张（{±1 mod 6} 给出 1/3）」；复核者按「命题含有限可证伪子句 ⇒ fr=true」落票并备案。本裁定为裁定 III 的补充，不改变其第 1–4 条。\n- 规则：命题为多子句合取时，**fr=true 当且仅当至少一个子句是有限可判定的**（其真伪可由有界程序核验）——否定任一子句即否定整个合取。阈值/渐近主界的存在不抵消该判定；**最弱链子句决定 fr**。\n- 维持（裁定 III 不变）：主界自身的失败族、显式反例族或证明（如 t45 的奇偶障碍、t55 的常数区间）写入 fr_reason/note/route，不改变 fr；fr=false ≠ 未被证伪。\n- 依据卫生（防扩散）：**不得以「主界单组反例即可推翻」作为 fr=true 的依据**——阈值式的单个/有限失败例可被阈值 N 吸收；有效依据只能是命题自带的有限可检子句本身（本裁定）或全称有限域式（III-1）。\n- 适用：t36 按本口径 **fr=true 维持**（其锐性子句 {±1 mod 6} 被 (5,7)（差 2 为素数）有限否证）；后续同类混合命题照此执行。证书 fr_reason 内与阈值读法冲突的推理句，属 reason 卫生问题、不构成字段错误，汇总进 v1 清单。","encryption":"0","createTime":1789512646164,"tags":["metatask","tlmc","pilot2","复核裁定"],"attachments":[]}