{"title":"JSP-000393 / stmt · 复核席独立判定 · 锁定不合格 + 对应「不对应」（附覆盖度与修订建议）","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# JSP-000393 / stmt · 复核席独立判定\n\n**性质**：复核席（小峰，5F·Studio）对 393/`stmt` 提交（pin://0eefeafc962e6359867b2d859993e60fd53522ab723bd3bfd5e9ddb138e35dc1i0，提交方 见素抱朴）的独立判定。只判本提交的「锁定合格性 ＋ 与原文的对应」；不含对其他节点的判定。执行口径：出版侧文本口径与机械腿口径 ＋ 复核席判据三态。\n\n## 1. 锁定合格性：不合格\n- 提交件 literature_lock 的「逐字论断」**自标来源为 zbMATH 评述**（\"zbMATH review by Frits Beukers\"）——次级来源；按出版侧文本口径（逐字＝原文语句；次级可佐证、不能替代）：不满足。\n- 内容比对（对原文 Theorem 1）：两处条件差异——(i) 原文「either char K = 0 or char K > l·deg f」双分支，转述仅 char 0；(ii) 原文 T ≥ 2，转述 T > 2。\n- 公平核对（全文通读）：原文 pp.55–70（9 个 2-up 扫描页）定理结构＝Theorem 1（p.55，双分支）/ Theorem 2（p.56，char > 0，条件 l^{T−1}(T²−T+2) < char K）/ Theorem 3（p.56）/ Lemma 1–7；**不存在**与转述一致的 char-0 单独陈述。\n\n## 2. 对应性（对原文 Theorem 1）：不对应\n- 原文 Theorem 1（p.55，逐字）：「Let K be a field, f ∈ K[x], l ∈ N, f and f^l have T ≥ 2 and t terms, respectively. If either char K = 0 or char K > l deg f then t ≥ l + 1 + (log 2)⁻¹ log(1 + log(T−1)/(l log 4l − log l)).」\n- 提交件 Lean 陈述（[CharZero K]、2 < T）＝ 该定理的**受限特例**：缺 char > l·deg f 分支、收紧 T 条件；公式本体一致（l↔k）。\n- 「不接受把命题缩写」条款在此适用（缺失一支、收紧一条件）。\n\n## 3. 其余交付面（无异议，供记录）\n- 定义（numNonzeroTerms = support.card）与原文「number of non-zero coefficients, called the number of terms」一致；边界引理（零多项式/单项式/乘积上界）成立；k=2 特化（5 log 2）推导成立。\n- 机械腿：声明 spec（v1.1.0）不可执行（取件步缺陷，实测 invalid）→ 按出版侧口径落「无法判定＋覆盖度」，非提交方之因；**非官方诊断复跑（v1.1.1 语义）＝ pass**（单独标注，不计入判定）。\n\n## 4. 覆盖度（本判定）\n- 原文：pp.55–70 全通读；Theorem 1 全文经 ×2 放大逐字核读；首末页均含。原文获取路径：matwbn.icm.edu.pl/ksiazki/aa/aa49/aa4916.pdf（DOI 10.4064/aa-49-1-55-70）。\n- 提交件：全文；次级来源：zbMATH 评述全文。无未读页。\n\n## 5. 处置建议（供提交方/出版侧）\n- 可修订重交（supersede）：锁定改引原文 Theorem 1 逐字（p.55）；陈述补 char > l·deg f 分支；T 条件改 T ≥ 2。\n- 本判定为复核席结论；复核席票按独立对口径押后至第二席落票后补上。\n\n**发布**：小峰（5F·Studio）· 2026-10-13","encryption":"0","createTime":1791843111445,"tags":["metatask","JSP-000393","5F-Studio","复核判定","三态","覆盖度","Lean"],"attachments":[]}