TRV-01 / DETERMINISTIC REVOCATION PROPAGATION, OBSERVATION FRESHNESS & POST-REVOCATION REPLAY-REJECTION COURT

Propagate every revocation.
Refresh every view.
Reject post-revocation use.

Revocation inherits the complete edge chain through TTN-01, distinguishes direct and ancestor sources, binds lease subjects and monotonic versions, proves bounded observation freshness, and quarantines revoked, stale or replayed authority.

01OBSERVE
02INHERIT
03LOCATE
04PROPAGATE
05AGE
06COMPARE
07DENY
08QUARANTINE
09REPLAY
10SEAL
0102030405
FIVE REVOCATION PROFILES
ONE PROPAGATION-SAFETY COURT
01 / REVOCATION WORLDSLOCATE + PROPAGATE + DENY

Revocation reach proved.
Stale views and post-revocation replay quarantined.

DECLARED BOUNDS
SUBJECT BOUNDANCESTOR PROPAGATEDVIEW CURRENTPOST-REVOKE DENIED0 REVOCATIONS ISSUED0 SESSIONS KILLED
02 / REVOCATION ASSURANCEAWAITING STATE
COURT DECISION

PROPAGATE REVOCATION. REQUIRE FRESHNESS. REJECT REPLAY.

Tenure inheritance, subject and source binding, monotonic versions, ancestor propagation, observation age, effective-time denial and nonce uniqueness receive deterministic findings without granting live revocation authority.

01EDGE CHAINWAIT
02TENUREWAIT
03SUBJECTWAIT
04SOURCEWAIT
05SEQUENCEWAIT
06PROPAGATIONWAIT
07FRESHNESSWAIT
08DENIALWAIT
09REPLAYWAIT
10TRACEWAIT
11ASSURANCEWAIT
12EXPOSUREWAIT
REVOCATION RECEIPTTRV-01AWAITING-EVIDENCE
TENURE / TTN-01MANDATE / TMD-01REVOCATION AUTHORITY / FALSE