Refresh File Review Ledger

When To Run

• after any batch changes package/runtime truth materially
• after any batch restores or cuts behavior-bearing proof owners
• before any renewed readiness or roadmap claim

Required Inputs

• release-file-review-ledger.md
• true-slate-rc-proof-ledger.md
• ledgers/README.md
• references/deletion-closure-protocol.md

Hard Rule

If the refresh touches deletion or explicit cuts:

1. freeze the deleted inventory first
2. reconcile parent and child package rows
3. keep behavior-bearing rows separate from harness-only rows
4. do not let deletion closure masquerade as example parity or runtime closure

Refresh Afterward

• release-file-review-ledger.md
• true-slate-rc-proof-ledger.md
• references/pr-description.md