Compare the record.
Preserve the bargain.
Rewrite nothing here.
Transaction Reformation derives a bounded correction-eligibility record from TSC-01 rescission. It binds the transaction, agreement, common intent, original and intended term sets, discrepancy evidence, parties, mutual consent, third-party rights, and the correction plan; then proves consideration and fees remain unchanged while rejecting scope expansion, rights impairment, revocation, expiry, duplication, and replay.
01OBSERVE
02INHERIT
03BIND
04COMPARE
05INTENT
06CONSENT
07PRESERVE
08LIMIT
09REPLAY
10SEAL
0102030405
ONE INTENTTWO TERM SETS
TXM01
0
WRITES 0
ORIGINAL500 + 25BOUND TERMS
≠INSTRUMENT DRIFT2 FIELDSCAP 3
→INTENDED500 + 25COMMON INTENT
ECONOMIC Δ0
WRITES 0
A deterministic redline.
The bargain remains economically invariant.
REFORMATION DELTA CONTRACT
RESCISSION BOUNDINTENT COMMONDRIFT PROVENRIGHTS PRESERVEDECONOMICS ZERO-DELTAREPLAY CLOSED
COURT DECISION
REQUIRE TSC-01 AND TPF-01; BIND RESCISSION, TRANSACTION, AGREEMENT, COMMON-INTENT, ORIGINAL-TERM, INTENDED-TERM AND DISCREPANCY ROOTS; REQUIRE BOTH PARTIES, NARROW BASIS, PROVEN INSTRUMENT DRIFT, MUTUAL UNREVOKED CONSENT, PRESERVED THIRD-PARTY RIGHTS AND A FEASIBLE PLAN; HOLD CONSIDERATION AND FEES INVARIANT; CAP THE CHANGED FIELDS; REJECT EXPANSION, EXPIRY, DUPLICATION OR REPLAY.
TXM-01 seals deterministic reformation eligibility evidence only. It does not read live terms, interpret a contract, determine a mistake, draft a term, determine or order reformation, mutate a contract, transfer payment, enforce a result, settle, sign, broadcast, or move an asset.
01TSC-01 RESCISSIONWAIT
02TPF-01 PROOFWAIT
03ROOTS EXACTWAIT
04PARTIES COMMITTEDWAIT
05BASIS NARROWWAIT
06INTENT COMMONWAIT
07DRIFT PROVENWAIT
08CONSENT MUTUALWAIT
09RIGHTS PRESERVEDWAIT
10PLAN BOUNDEDWAIT
11ECONOMICS UNCHANGEDWAIT
12DELTA CAPPEDWAIT
13REPLAY CLOSEDWAIT
14ZERO AUTHORITYWAIT
TRANSACTION REFORMATION ELIGIBILITY EVIDENCETXM-01
AWAITING-EVIDENCEINTENT / COMMONRIGHTS / PRESERVEDECONOMIC Δ / 0WRITES / 0