Before
Record the exact content-free current state.
V0.46 CURRENT OWNER
Independently reproducible rollback proof
A rollback proof binds before, intended, observed and restored digests and proves every declared lock or capability was released.
Attempt
Record intended and actually observed states separately.
Restore
Restored digest must equal the before digest.
Release
Every declared lock and capability must be released.
Reproduce
A secret-free local command allows a second implementation to verify the proof.
EVIDENCE BOUNDARY
Local evidence and operational evidence remain separate.
Implemented locally
Canonical page, machine owner and executable local controls.
Not supplied or verified
External authorization, live package identity, operational execution, adoption and certification.
Exact status
PASS_LOCAL_WIP_
No participant judgment
Refusal, disagreement, expiry, revocation and rollback are technical states with participant-evaluation and standing effects NONE.
NO JUDGMENT WHATSOEVER. A technical condition is not a moral condition.