before-after

Before/after verification is a technique for proving that a stage actually changed system behavior. Instead of just checking that the final state is valid, you capture what was true BEFORE implementation and what should be true AFTER implementation. The pair proves your stage caused the change.

This matters because without before/after thinking, you can't distinguish:

A delta-proof is verification that proves a state transition occurred.

織機計画の前後検証ペアを生成します。実装前後の状態をキャプチャすることで、ステージが実際にシステムの動作を変更したことを証明します。デルタプルーフ検証に使用します。システム状態を比較することで、新しいコマンド、エンドポイント、モジュール、またはバグ修正が機能することを証明します。 ソース: cosmix/claude-loom。