Files

• W61Exit.v
• W61Plan.v
• plan-check.md
• plan.md
• proof-before-completion-20261016.md