{"taskid": "08cac496dfa93874dd7d16893038da16b0d2dbc92f844d09512ca0cc78c03b46i0", "node": "t88", "claimid": "38946d721a0000bfe9a6ae6b43ea12721b4f9dd4a0c9ea11404ee5f664e4ad30i0", "result": {"type": "triage", "conjecture": 88, "judgment": {"well_defined": true, "well_defined_reason": "读法钉死：取有限型（可定向、可带边界/穿孔）曲面 S 与映射类群 Mod(S) 中的 pseudo-Anosov 元素 φ，λ(φ) 为其 stretch factor（= dilatation，即不变叶层的扩张率，亦等于训练轨道过渡矩阵的 Perron 根，是共轭不变量，故与曲面/坐标选择无关）；命题为『∀素数 p≥2，∃(S,φ) 使 λ(φ)=p』。对象（曲面、映射类）、量词（∀p ∃φ）、等式断言（λ 恰为整数 p）三者均无歧义、无隐藏常数，故良定义。唯一需声明的读法边界：曲面取标准有限型；若放宽到无限型（end-periodic）曲面，可实现集不同（见 route_note 边界段）。", "finitely_refutable": false, "finitely_refutable_reason": "该命题不能由有限计算否证：其否证形态是『对某个素数 p，任意有限型曲面与任意映射类中的 pseudo-Anosov 都不以 p 为 stretch factor』——这是对无穷多个曲面/映射类（亏格与穿孔数无上界）的全称否定，任何有限枚举都穷尽不了，有限程序至多产出正面见证（构造出 λ=p 的实例）。本条否证走的是定理级的结构性障碍（stretch factor 必为代数单位，见 known_conflict），不是有限反例搜索。按本试点口径（真伪由定理级论证决定、不存在有限反例 ⇒ fr=false），判 fr=false；注意 fr=false 不等于命题为真——此处命题正为假。", "known_conflict": "与已知定理冲突，命题按字面为假：pseudo-Anosov 的 stretch factor 必为代数单位（algebraic unit），因此不能是 ≥2 的整数。① Thurston（Bull. AMS 19 (1988) 417–431, p.428）证 λ+λ⁻¹ 是代数整数；由 λ²−(λ+λ⁻¹)λ+1=0 得 λ 与 λ⁻¹ 同为代数整数 ⇒ λ 是 ℤ̄ 中的单位。② Strenner（GAFA 2017 / arXiv:1506.06412）指出 1 次代数单位只有 ±1。③ 若 λ=p（素数 p≥2），则 λ 为有理数、代数次数为 1；由 ② λ 只能是 ±1，与 p≥2 矛盾；等价说法：p⁻¹ 不是代数整数，故有理整数 p≥2 不是 ℤ̄ 中的单位。⇒ 对每个素数 p 该存在式都不可实现，命题为假，而非『待解』。", "known_conflict_ref": "https://arxiv.org/abs/1506.06412", "difficulty": 3, "importance": 3}, "route": "structural", "route_note": "structural：障碍是结构性的（stretch factor 必须是代数单位，而 ≥2 的整数不是单位），一条定理级论证即刻判否，无需有界搜索或文献试算。已逐条核过的必要条件清单（这正是上一版的缺口，本版补齐并逐项留痕）：(1) Perron / bi-Perron 条件——λ 必为 Perron 数；bi-Perron 只约束 Galois 共轭的模长落在开环带 λ⁻¹<|σ(λ)|<λ 内，而整数 p≥2 的共轭集只有其自身，故该条对 p 不构成障碍（上一版只核到这一条就下结论『无阻碍』，是错的）。(2) 单位条件（决定性）——Thurston 1988：λ+λ⁻¹ 是代数整数 ⇒ λ 是 ℤ̄ 中的单位；Strenner（GAFA 2017 / arXiv:1506.06412）：1 次代数单位只有 ±1 ⇒ 有理单位只有 ±1 ⇒ λ=p≥2 不可达；此条即刻否证命题。(3) 次数下界——闭曲面情形 deg λ∈[2, 6g−6]（Thurston；问题全景见 arXiv:1806.08773 §10），与 (2) 同向，进一步排除闭曲面上的整数 λ。真值结论（写在正文，不让复核者猜）：命题按字面为假——对每个素数 p≥2，都不存在 stretch factor 恰为 p 的 pseudo-Anosov 元素。读法边界（如实标注，不藏）：2026-03 arXiv『Every Weak Perron Number is an End-Periodic Stretch Factor』显示，在 end-periodic（无限型）曲面情形每个 weak Perron 数（含整数）都可实现——故本判定的『为假』严格限定于标准有限型读法；若命题本意包含无限型曲面，结论需重判（这是我读到的唯一可救活该命题的途径，属读法问题而非本件口径问题）。更正声明（不静默改写）：本节点此前有一版 submission（旧 claim 周期，claim=c13aa175e31c2fcdd31de2d8c69c48b946221e8e9114945633f87fa795c4adf4i0，submission=ec700fb53350f148f95dadbdd5c77b27efe481081b8897f78ebd281f1ff34ba7i0，内层 hash=aaf7833dfb48a8d904a7c7e6acf1088fe0d5c27c9e5d7f8868ea4016c81dd4ab）错填 judgment.known_conflict=none，并称『不存在可供有限否证的结构性障碍』——该表述漏掉了『单位』这一必要条件，是我的错误。纠错触发来源：我的 t88 原提交被复核判 fail（落点两处：known_conflict 填 none、漏掉单位必要条件），经 Chair 独立复核后认为成立。本件已按协议先 release 旧 claim（642c18b46bc68a43f6dfb7a8452ed299aad6c9b20d4f76c54ffe1f670e74c958i0）再重新认领（38946d721a0000bfe9a6ae6b43ea12721b4f9dd4a0c9ea11404ee5f664e4ad30i0），以本版覆盖旧证书。", "hash": "8c074829e86df075ceb9e2180285202396c32721839a693c15dbd2123c4597ee"}, "hash": "6cf039e2cd91a06f8c6678712680d3417f09f0dae0dabae81ad4f38eea98cd81", "childids": []}