Failure is classified.
Recovery is bounded.
Nothing moves without authority.
Transaction Recovery turns a dropped, expired, underpriced, nonce-gap or reorged attempt into one deterministic recovery-eligibility proof. It binds the complete TXL-01 lineage and TRP-01 receipt to one constrained plan—without resubmitting, replacing, cancelling, repricing or broadcasting a transaction.
01OBSERVE
02INHERIT
03TRIGGER
04CLASSIFY
05PLAN
06BOUND
07SEQUENCE
08WINDOW
09REPLAY
10SEAL
0102030405
FIVE RECOVERY PROFILESONE GUARDED EXIT PATH
01 / DETECTDROPPEDOBSERVED
↓02 / CLASSIFYNONTERMINALELIGIBLE
↓03 / CONSTRAIN1 RETRY250 BPS
↓04 / SEALTXC-01EVIDENCE ONLY
EXECUTIONS0
Classify the fault.
Close every unsafe exit.
TRANSACTION RECOVERY CONTRACT
LINEAGE EXACTSTATUS NONTERMINALPLAN ALLOWLISTEDBUDGET BOUNDEDWINDOW FRESHREPLAY CLOSED
COURT DECISION
REQUIRE THE EXACT TXL-01 LINEAGE, TRP-01 RECEIPT, TRANSACTION, NETWORK AND INTENT; A DECLARED NONTERMINAL TRIGGER; AN ALLOWLISTED ACTION; PRESERVED NONCE; BOUNDED ATTEMPTS, RETRIES, REORG DEPTH AND FEE BUMP; CONTIGUOUS SEQUENCE; FRESH AUTHORIZATION; CLEAR REVOCATION; AND UNUSED RECOVERY NONCE, LINEAGE ROOT AND PLAN HASH.
TXC-01 proves only whether one declared contingency plan is eligible for later human-authorized execution. It cannot inspect a live mempool, accept or publish recovery, resubmit, replace, cancel, reprice, resolve a reorg, connect to RPC, broadcast, sign, write state, hold custody or move assets.
01TXL-01 LINEAGEWAIT
02TRP-01 RECEIPTWAIT
03TNS-01 SUBMISSIONWAIT
04TFO-01 FINALITYWAIT
05TCH-01 CHRONICLEWAIT
06TRM-01 REMEDYWAIT
07TRIGGER + STATUSWAIT
08TERMINAL BARRIERWAIT
09RECOVERY PLANWAIT
10NONCE + INTENTWAIT
11RESOURCE BUDGETWAIT
12WINDOW + REVOCATIONWAIT
13EQUIVOCATION + REPLAYWAIT
14ZERO AUTHORITYWAIT
TRANSACTION RECOVERY EVIDENCETXC-01
AWAITING-EVIDENCEATTEMPTS / 0RETRY / 0FEE BUMP / 0 BPSEXECUTED / 0