Verification¶

Bridge layer connecting mechanics claims, rewrite implementation, and RE evidence.

Subsections¶

• Differential testing
• Evidence ledger
• Parity matrix

Use this section to trace a claim from behavior spec to implementation and runtime/static proof.