用途:Artifact Contract Auditor 是一个研究工作流审计技能,用于衡量“文件覆盖”情况,即 Unit 承诺的文件与锁定 Pipeline 的目标产物在要求的时间点是否存在。它不替代 pipeline.py audit 中更深入的 Attempt、Manifest、Artifact 哈希和 ledger 检查。
输入:UNITS.csv、PIPELINE.lock.md、锁定 pipelines/*.pipeline.md 中的目标 Artifact 契约。
输出:output/CONTRACT_REPORT.md。
主要步骤:1) 解析 PIPELINE.lock.md,定位仓库中的 Pipeline,并解析 UNITS.csv;无效锁或格式错误的 Unit 表应作为契约失败上报,而非猜测其他工作流。2) 对每个 DONE 状态的 Unit,检查每个必需输出是否存在;以 ? 前缀的输出为可选,缺失必需输出即视为 Unit 级契约漂移。3) 当所有 Unit 均为终态(DONE 或 SKIP)时,才要求 Pipeline 声明的所有非可选目标 Artifact;部分运行期间,缺失的最终目标应报告为预期而非失败。4) 始终写入 output/CONTRACT_REPORT.md,状态为 PASS(终态运行、Unit 输出完整、Pipeline 目标完整)、OK(部分运行、已完成 Unit 输出一致)或 FAIL(DONE Unit 缺失输出,或终态运行缺失最终目标)。5) 对缺失的 Unit 输出,通过 Pipeline 适配器重开或重跑所属 Unit;对缺失的最终目标,识别所属 Unit 或 Skill;覆盖通过后,使用 scripts/pipeline.py audit 做来源完整性检查。
使用方式:快速开始:uv run python .codex/skills/artifact-contract-auditor/scripts/run.py --workspace workspaces/<name>。选项包括 --workspace <path>(要审计的工作区)、--unit-id <U###>、--inputs、--outputs、--checkpoint(可选的 Pipeline-runner 兼容参数)。查看接口:uv run python .codex/skills/artifact-contract-auditor/scripts/run.py --help。覆盖通过后运行更深入的来源审计:uv run python scripts/pipeline.py audit --workspace workspaces/<name>。
限制与副作用:该审计可能创建或替换 output/CONTRACT_REPORT.md,但不得编辑研究内容、Unit 状态、检查点批准或源 Artifact。锁定的 Pipeline front matter 是目标 Artifact 的唯一来源,UNITS.csv 是 Unit 输出义务的唯一来源。PASS 仅限所声明的文件覆盖范围。