用途：审计交付物证据是否齐全、是否为最新，而不是检查每个被调用的技能是否留下形式化报告。
主要能力：按 lean 配置，对每个活跃 Qx 按需检查 manifest、method card、human decision ledger、risk-probe summary、latest run summary；lean 完整性不要求 final reports、freeze、paper 或 G6 产物。按 submission 配置，对每个 Qx 要求 final method explanation、当前 language review JSON（所有必需命名检查通过）、final result analysis、robustness report、solution package、当前 frozen numbers、paper section 及引用图；全局要求 symbol table、assumptions、references、consistency audit、completeness audit 与 QA report。
使用方式：读取 rigor_profile；从 manifests 或 artifacts 解析活跃 Qx；检查必需产物与语义字段；仅针对被实质引用的证据检查是否过期；迁移期间接受有记录的 legacy 等价物；仅在 submission/final 模式下保存 paper/audits/completeness_audit.md。
状态：PRESENT（必需证据存在且最新）、MISSING（缺失）、INSUFFICIENT（产物存在但缺少必需语义字段/检查）、STALE（被引用的实质证据在批准/评审后发生变化）、NOT_APPLICABLE（由任务/配置证明合理）。
限制与规则：不要求 ≥5 条散文式通过项；不因某技能运行过就要求报告；不因无关代码、格式或文件变化将决策标记为过期；不把 legacy 产物数量当作语义完整性的证明；审计期间不修复产物。验证要求：需求与活跃配置匹配；每个缺口指明缺失证据及生产者/负责人；过期需链接到实质变更来源；仅当所有 submission 要求满足时最终结论才为 PASSED。