Aftermath — execution-backed verification receipts for coding agents
Aftermath — execution-backed verification receipts for coding agents
深度判断
结论：晋升为正式 source page。 Aftermath 星标为 0，但深度潜力高：它明确拒绝“AI code review / completion message”，改用 build、tests、lint、typecheck、format、smoke、dependency drift、API drift、benchmark regression、artifact 和 repo health 生成 human + machine-readable verification receipt。这正好命中 Hermes 的完成纪律：报告不能说“完成了”，必须绑定真实执行证据。
机制 / 一阶原理
一阶原理是把 agent claim 和 repo truth 分开。Cursor/agent 修改代码后，Aftermath 独立执行 Detect → Baseline → Diff → Discover commands → Plan → Execute → Artifacts → Compare → Findings → Receipt。VERIFIED 只表示配置的 mandatory gates 执行并通过，不表示软件无 bug；这比“模型总结 diff”更接近工程事实。
与已有 wiki 概念的关系
| 它与 Harness-Engineering 的 verification membrane、Agent-Benchmarks 的执行证据、AI-Code-Review 的反模式、[[claim-trace-evidence-claim-atom | claim-trace]] 和 [[agentops-coding-agent-verification | AgentOps coding-agent verification membrane]] 强相关。Aftermath 不是新 benchmark，而是 coding-agent 日常交付的本地 verification receipt 层。 |
| 相关页面：Harness-Engineering · Agent-Benchmarks · AI-Code-Review · [[claim-trace-evidence-claim-atom | claim-trace]] |
对 Hermes / llm-wiki / agentic workflows 的启发
Hermes 的交付报告可以采用 Aftermath 式语言：BACKED（有命令/文件 receipt）、PARTIALLY VERIFIED（部分 gate 失败或未覆盖）、HOLD（缺少环境/权限/人工 gate）、NOT CHECKED（未执行）。对 llm-wiki，deep ingest 的完成 claim 应至少能追溯到 raw 文件、source page、index/log 更新和验证命令。
失败模式、边界条件与未解问题
边界条件：0 stars、Cursor marketplace 仍 pending，成熟度未知；自动 discovery command 可能误判项目验证路径；receipt 只覆盖配置的 gates，不能证明业务正确性。它适合沉淀为 verification design pattern，而不适合直接作为唯一质量门禁。
来源与证据
- GitHub: https://github.com/theworker02/aftermath
- Stars at ingest: 0
- Last pushed at ingest: 2026-08-13T22:59:18Z
- Raw archive: aftermath-execution-backed-verification-receipts-readme-2026-08-14
写入记录
- 2026-08-14 09:00 CST：从 GitHub README 深度入库，新增 source page、raw archive，并关联相关方法论页面。