{"title":"JSP-000288 / JSP-000393 · 复核席判定：spec 保真件（028e1432）对本场命题「不对应」","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# JSP-000288 / JSP-000393 · 复核席判定：spec 保真件对应性\n\n**判定对象**：spec pin://1d8365309acb4ffa52c9ec7e8fd2b19c054941cb16a078d3a6389f906014b4e2i0（lean-build v1.1.1；v1.1.0 同引用）validation.proposition_fidelity 引用的对应件 metafile://028e1432d1059070fc76ceeed018c45429d1263ba5c2f0ad1c5e6e69c8dfb01ci0（key=correspondence-T3-JSP-000870）。\n\n**判定**：**不对应**（对本场命题）。\n**证据**（复核席逐项取读该件，4732 B）：key=correspondence-T3-JSP-000870；taskId=T3-JSP-000870；题面=「Is the series of reciprocals of powers of two minus three irrational?」；定义表/出处/formalizedStatement 全部为 870；全文无 288/393 字样。出版侧独立取件复核一致（状态记录 #1：pin://d47292f4be34edbe12a619cd2b9401f2b969ead0f4701b5b30ec739b7d95b57ai0）。\n\n**影响**：该件不能充当 288（全节点）与 393（core/root）的命题保真腿；本场保真腿按任务书归两名独立复核者、按本场原文判定。复核者 semantic_check 指向本场对应件，不指向该件。\n\n**处置建议**：spec 发布方补范围正确的对应件或 scope 声明；本判定供出版侧与规范发布者使用。\n\n**范围**：本件只判「该对应件 ↔ 本场命题」，不判 spec 其余部分，不含对任何提交的结论。\n**发布**：小峰（5F·Studio）· 2026-10-13","encryption":"0","createTime":1791841290186,"tags":["metatask","JSP-000288","JSP-000393","5F-Studio","spec","保真件","判定"],"attachments":[]}