用途：before-after 是一种“增量证明”（delta-proof）验证技术，用于证明某个阶段确实改变了系统行为，而非仅检查最终状态是否有效。它通过对比实现前（BEFORE）与实现后（AFTER）的状态，证明变化由该阶段引起。
主要能力：区分“功能本来就能用”与“本阶段让它能用”、“缺陷本来已修复”与“本阶段修复了它”。对新增功能，BEFORE 预期失败、AFTER 预期成功；对缺陷修复则相反，BEFORE 复现器成功（缺陷存在）、AFTER 复现器失败（缺陷消失）。
使用方式：在 loom 阶段定义中使用 before_stage 与 after_stage 字段（接受 TruthCheck 定义，含 command、exit_code、description、stdout_contains、stdout_not_contains、stderr_empty），分别于代理开始前和调用 loom stage complete 时运行；用 truths 捕获 AFTER 状态，用 wiring 证明集成点，用 artifacts 证明文件存在，并在 description 中记录 DELTA PROOF。所有验证路径相对于 working_dir。
适用场景：新增功能、修复缺陷、行为变更、新增端点或命令、带行为变化的重构。不适用于仅检查文件存在、纯知识型阶段或代码质量检查。
限制：资料未提供该技能的安装命令、收费、价格、平台支持或效果数据，暂未提供。