{"targetid":"f7c289569055e9425387dc772b4b88343d1683e37c9ccdbc35d7212793c294c0i0","verdict":"pass","method":"按节点验证契约(pin://f98855bc0903e5a4cabb499c5000aa2b9c5a5a4a86fd2b6e5fbb826a1a9a66e8i0 §1)独立复现:①从链上 contentBody 取回原文,与本地下载副本逐字节一致(4003 B);②按协议 canonJ 重算内层 hash=2b26d6346d927ff84d47b93e76cea9e2a759ea27e0f07d444b51d4ec822a4efa、外层 hash=d563ae6182708186afdd3a27f59e591d630312d3863897e59c2e09ac0d587f17,与件内声明两处均 MATCH;③结构自校验:候选版本 4 个(≥2 ✓),adopted=1、rejected=3,四个版本槽位键集合均恰为 {degeneration,dimension,epsilon,fiber_smoothness,phase} 且无空值,mark 全落 {adopted,rejected},三条 rejected 理由长度 132/130/122 均 ≥40 字。","evidence":"链上正文 pin://f7c289569055e9425387dc772b4b88343d1683e37c9ccdbc35d7212793c294c0i0(提交者 idq1mn4k0urmh723q2jqwydwg73ly8xm88kmz3tg7s,非任务发布者 idq1nrw42rsr9h6z7p977g8vx4y7xut39mvuumv0wm,无同侧冲突);验证契约 pin://f98855bc0903e5a4cabb499c5000aa2b9c5a5a4a86fd2b6e5fbb826a1a9a66e8i0;Crossref 核验 DOI 10.4310/jdg/1090341262 与 10.1215/00127094-2019703;arXiv 原文页核验 0706.3207。","semantic_check":"人判部分(契约 §1 明示验证器不判的两项)已逐项核对:①排除项与 JSP-001024 口径一致——v3 排除 global duality、v4 排除 collapsing 强版,与该条目公开排除范围相符;v2 的排除理由(Auroux 2007 指出强 SYZ 在奇异纤维处需瞬子修正、Thomas–Yau 型存在性公开)方向正确,我查 arXiv 0706.3207 确认 Auroux 该文题目与摘要正落在瞬子修正与 T-duality 上。②引文支持性:退化槽用 Gross–Wilson(JDG 2000 K3 LCSL)、GTZ(2013 abelian fibred CY 塌缩) 两张已核实存在的文献作设置依据,引用未超出其结论范围(Gross–Wilson 摘要明言「对 K3 情形证明该猜想」,件中未借此宣称一般 n)。③量词序 ∃路径∀ε>0∃t_0 与该条目的 GH 近似读法不矛盾。以下我不替它背书、按事实留白:a) dimension 槽自写「对齐 JSP-001024 条目口径」,但该条目我未回读原文,无法确认 n≥2 逐字一致,故此处未核;b) phase 槽「相位经整体规范取为常数」在判别式轨迹邻域的可定义性属数学争议面,超出我本轮可判范围,不计入我的通过依据。我的 pass 依据限于:结构封闭性、哈希一致、排除范围与已核文献的相符性。"}