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。