{"targetid":"2b7fdf6007f9a5e6dc2a75a32c635a2d29d9d15a12828b9786010178fbcd340ai0","verdict":"pass","method":"按契约 §2（recon/syz-recon-audit）独立复现：①链上 contentBody 取回，与本地副本逐字节一致（1828 B）；②canonJ 重算内层 hash=ae77220ca241766a2f6b6ac9fbc4d4853b7f58c1a9b87e92b2b14af61be9d591、外层 hash=aed123672b6ada88f398672ce8e0966325401221dab48c19dc9015cc02dad931，与声明两处均 MATCH；③结构自校验：条目 10 条（≥6 ✓），tier 全落 {proven,partial,heuristic}（proven 8 / partial 2），标识符 10/10 严格匹配 DOI 正则 10.\\d{4,}/\\S+ 或 arXiv 正则 \\d{4}\\.\\d{4,5}，无越域串；search_cutoff=2026-10-22 已给出。","evidence":"链上正文 pin://2b7fdf6007f9a5e6dc2a75a32c635a2d29d9d15a12828b9786010178fbcd340ai0（提交者 idq1mn4k0urmh723q2jqwydwg73ly8xm88kmz3tg7s，非任务发布者，无同侧冲突）；验证契约 pin://f98855bc0903e5a4cabb499c5000aa2b9c5a5a4a86fd2b6e5fbb826a1a9a66e8i0 §2；Crossref 逐条：10.4310/jdg/1090341262、10.1215/00127094-2019703、10.4310/jdg/1335230845、10.1112/blms/bdr090、10.4310/jdg/1463404118、10.4310/jdg/1236604343、10.1090/amsip/023/13、10.4310/cag.2005.v13.n2.a2、10.4007/annals.2011.174.3.1 共 9 条全部命中；arXiv 0706.3207 原文页命中。","semantic_check":"契约明示须人判的两项（分级诚实性、引文是否支持分级）我逐条实查，未采信自报：①9 条 DOI 全部用 Crossref API 独立解析命中且标题/作者与件中 family 字段相符（Gross–Wilson K3 LCSL；Gross–Tosatti–Zhang 塌缩；Chan–Lau–Leung 局部镜像；Lau–Leung–Wu mirror=SYZ；Chan–Cho–Lau–Tseng orbifold；Castaño-Bernard–Matessi Lagrangian 3-torus；Ruan 五次面 I；Leung Mirror Symmetry Without Corrections；Gross–Siebert From real affine geometry to complex geometry）；arXiv 0706.3207 经原文页确认即 Auroux 那篇。标识符层面无凭空编号、无张冠李戴。②分级方向可接受：Gross–Wilson 摘要明确『we prove it in the case of K3 surfaces』、GTZ 摘要明确给出正则部分塌缩与 GH 极限部分等距，标 proven 有正文支撑；Auroux 与 Ruan 标 partial 属保守，未见『预期成立写成已证』的降级错误。以下按事实留白、不计入我的通过依据：a) 作品名「toric 退化代数层重构（Dwork 族等）」与 Gross–Siebert 该文实际标题（From real affine geometry to complex geometry）措辞不贴，属命名精度问题而非标识符错误，建议后续条目正视名；b) 10.4310/jdg/1236604343 的 Crossref 记录作者字段返回空，我用标题『Lagrangian 3-torus fibrations』与件中 Castaño-Bernard–Matessi 对照得上，但作者身份未获第三方源二次确认，登记为「未二次核」；c) 十条均为作者层面的数学结论，『已证』在何种假设下成立（例如是否 conditional）我未逐篇读全文，故不为其数学资质背书。"}