用途：在论断成为论文正文、README 声明或 wiki 综述之前进行审计，核查引用与来源支撑是否成立。
主要能力：提取原子论断；将每条论断分类为文献类、描述类、方法类、比较类、因果类、解释类或结果类；定位被引证据，必要时查找原始 PDF 或实验产物；核对精确支撑范围（页码、章节、表格、图、公式、commit、run ID、数据集行或来源注释）；给出判定结论；记录无支撑、被反驳、过时或范围过宽的论断；提出保留原意的最小修改建议。
审计范围：覆盖所有数值、事实、比较、因果、新颖性、SOTA 与方法论论断。长文档仅在用户接受抽样方案时抽样；最终稿件检查应覆盖所有验收关键论断。对 reports/paper/sota-survey.tex，需审计每条总结领域、比较方法、陈述新颖性、报告指标或推导研究启示的持久综述论断，除非用户明确接受抽样审计。
使用方式：先阅读 references/repository-contract.md、references/claim-audit.md、references/output-contracts.md。在 analysis_outputs/claim-audit.md 或 CSV 中使用固定结构：claim_id、claim、class、cited_source、evidence_path、support_span、verdict、fix。
判定纪律：supported（证据精确或明确蕴含）、partially-supported（仅在更窄范围成立）、unsupported（未找到证据）、contradicted（证据冲突）、wrong-source（来源不支持该论断）、needs-human（不可访问或需领域判断）、stale（来源被取代或结果在引用证据后发生变化）。
修改纪律：优先最小安全改动，如仅在来源已验证时补充缺失引用、弱化措辞以匹配来源范围、将宽泛论断拆分为更窄的有支撑论断、把推测移入局限/未来工作、无支撑时删除论断、属于项目数据时增加实验或分析任务。
限制与禁止：不得编造缺失参考文献；不得把引用数量当作真实性；不得在未核对来源的情况下信任 PDF 转 Markdown 的精确数字；不得把 unsupported 等同于 false；不得在编辑中强化论断；不得仅凭参考文献匹配就认定被引段落支持该论断。