Completed 2026-07-26
Exact proof reuse
Actual change impact selects exact obligations once, reuses unchanged proof, and admits without rerunning verification.
Outcome
Evidence cost now follows semantic change rather than arbitrary repository size or repeated ceremony.
Technologies and concerns
Admission identity
- Work
- work.2026-07-26.002.establish-truly-atomic-verification
- Revision
- 2cf7943f5ad06c5301f777c9f61e964213776f44
- Receipt
- 29cc28e6ba94dac526bc