{"taskid":"08cac496dfa93874dd7d16893038da16b0d2dbc92f844d09512ca0cc78c03b46i0","node":"t100","claimid":"65ad96a80f0554719de74c39f2fedb75b9d37ead3599287079e3235e24003277i0","result":{"type":"triage","conjecture":100,"judgment":{"well_defined":true,"well_defined_reason":"读法钉死：Σ_g＝闭可定向亏格 g 曲面；SysCap 取领域标准义 sup_度量 sys²/area（对每个 g 为有限实数——Hebda–Burago 1980 证 SR(g)≤2）。题面括号混用归一化：Loewner 2/√3 为 SR 形式，而 Pu『2/π』为面积形式（Area≥(2/π)Sys² ⇔ SR≤π/2），两者均标准，钉死 SR=Sys²/area 后无歧义。『确定每个 g≥2 的精确值』的对象与量词明确，是良定义的确定性问题。","finitely_refutable":false,"finitely_refutable_reason":"有界搜索不可证伪：①精确值是无穷维度量空间上的上确界，有限计算只能给下界/数值逼近，无法排除更优度量；②上界类结论需定理级结构论证（Loewner/Pu/Bavard 型），非有限枚举可及；③量词遍历无穷多 g≥2。按 M18 口径：fr 问『有界搜索能否证伪』，本件为否；fr=false≠真值已知（本件真值状态＝开放，见 kc 与 route_note）。","known_conflict":"非 none：题面『仅环面与射影面已知』与文献冲突/不完整——Klein 瓶（闭曲面；非可定向亏格 2）的精确最优常数已由 Bavard 1986 解决：Area≥(2√2/π)·Sys²（即 SR(K)≤π/√8）且为最优（Math. Ann. 274(3):439–441；经 zbMATH 评述独立复核）。故：①宽读法（『每个亏格 g≥2 闭曲面』含非可定向曲面）下 genus-2 已有完全解决的情形、题面清单遗漏；②标准读法（Σ_g＝可定向）下 g≥2 精确值确实全部未知、主问题开放——本冲突限于题面清单的完整性与宽读法下的部分已解，不构成对主问题的证伪。","known_conflict_ref":"doi:10.1007/BF01457227","difficulty":5,"importance":4},"route":"literature","route_note":"route 双层（沿 t90 口径）：本 triage 的判定依据＝文献谱系核对（literature）；若被解决，其数学形态＝structural（极值度量与上界定理）。①覆盖内已知精确值全集：T²:2/√3（Loewner 1949）、RP²:π/2（Pu 1952；面积形式 2/π）、K:π/√8（Bavard 1986，doi:10.1007/BF01457227）。②可定向 g≥2 精确值全未知，仅有界：SR(g)≤2（Hebda–Burago 1980）；渐近 SR≍(log g)²/g（上界 Katz–Sabourau 2005；下界 Buser–Sarnak 1994 等）；SR(2)≤2/√3（Katz–Sabourau 2006），是否所有正亏格曲面满足 Loewner 界未知。③必要条件清单（t88 纪律）：C1 定义与归一化（已钉死，见 well_defined_reason）；C2 已知精确值普查（命中 Klein 瓶→kc 登记）；C3 有限否证性（不可，见 finitely_refutable_reason）；C4 定理级证伪检索（未发现——无已知结果定出任何可定向 g≥2 的精确值，或推翻其存在性）。④覆盖面（M15 有界否定）：读 Wikipedia『Systoles of surfaces』/Pu/Loewner 三页、TLMC 上游原文与引用链、zbMATH 对 Bavard 1986 的评述；未做付费全文库与逐篇 arXiv 全文级覆盖。⑤难度=5：自 1949/1952 以来连 g=2 的精确值都未解决；重要性=4：systolic 几何的核心公开问题，与谱几何、闭测地线、算术曲面相连，非纲领级故不取 5。","hash":"da8ce40ff16fec22576f26971ec1ece3ad36942a8fa2e0fbfeaff1c49f41df1a"},"hash":"1e10e7d313bdb02a67b1570526769c001379080c9cffba791f26f306e15df7dd","childids":[]}