Consumed
Bound to origin, package, manifest, epochs, role, and one response digest.
ROTATING ORIGIN CHALLENGES
One nonce. One bounded window. No hidden continuity.
Challenge windows rotate through non-circular previous and next digests. An active window cannot overlap another without exact terminal invalidation.
Rotation sequence
Active
Names the previous nonce digest and has a hard expiry.
Not yet active
Names the active window digest without authenticating itself.
Separate propositions
Public Origin Responds
This proposition requires its own exact evidence and cannot be upgraded by a neighboring state.
Local Package Expected
This proposition requires its own exact evidence and cannot be upgraded by a neighboring state.
Deployment Boundary Observed
This proposition requires its own exact evidence and cannot be upgraded by a neighboring state.
Exact Package Identity Proved
This proposition requires its own exact evidence and cannot be upgraded by a neighboring state.
Cutover Authorized And Completed
This proposition requires its own exact evidence and cannot be upgraded by a neighboring state.
EVIDENCE BOUNDARY
Exact scope, owner, correction, expiry, and limitations remain authoritative.
A color, badge, HTTP status, screenshot, signature shape, witness count, or passing test cannot promote an operational proposition. Cancellation, refusal, conflict, timeout, expiry, revocation, and rollback are neutral technical states.
NO JUDGMENT WHATSOEVER. Participant-evaluation and standing effects remain NONE.