Worked changes with proof.

Example proof chains are coming soon. Each will walk through a real change — the intent, the plan, the contract, the build, and the verification — so you can see what the pipeline produces end to end.