Restore only what remains.
Credit every prior recovery.
Never exceed the retained benefit.
Transaction Restitution derives a bounded eligibility record from TSB-01 subrogation and TXG-01 damages. It binds loss, compensation, value transfer, parties, basis, retained benefit, transferred rights, and prior restitution; then caps the claim at the smallest remaining envelope and rejects invalid scope, overrecovery, revocation, expiry, duplication, and replay.
01OBSERVE
02INHERIT
03BIND
04MEASURE
05CREDIT
06RETAIN
07LIMIT
08CAP
09REPLAY
10SEAL
0102030405
RESTORENO MORE
TRS01
160 UNITS
ORDERS 0
VERIFIED LOSS500TXG-01 BOUND
COMPENSATED− 300RECOVERY CREDIT
RETAINED BENEFIT220GAIN CEILING
SUBROGATION RIGHT180TSB-01 LIMIT
PRIOR RESTITUTION− 20DOUBLE RECOVERY CLOSED
ELIGIBLE160 UNITS
ORDERS 0
Three independent ceilings.
One narrow remainder.
RESTITUTION CAP CONTRACT
LOSS BOUNDCOMPENSATION CREDITEDBENEFIT NETTEDRIGHTS LIMITEDPRIOR APPLIEDDOUBLE RECOVERY CLOSED
COURT DECISION
REQUIRE TSB-01, TXG-01 AND TPF-01; BIND SUBROGATION, DAMAGES, VALUE-TRANSFER, PARTY AND BASIS ROOTS; REQUIRE NARROW VALID UNREVOKED SCOPE; CREDIT ALL COMPENSATION; NET ATTRIBUTABLE DEDUCTIONS FROM RETAINED BENEFIT; APPLY TRANSFERRED-RIGHTS AND PRIOR-RESTITUTION LIMITS; CAP AT THE SMALLEST REMAINING ENVELOPE; REJECT OVERRECOVERY, EXPIRY, DUPLICATION OR REPLAY.
TRS-01 seals deterministic restitution eligibility evidence only. It does not read live loss or benefit, resolve a party, value a benefit, determine or order restitution, initiate recovery, mutate a registry, collect or transfer payment, enforce a result, settle, or move an asset.
01TSB-01 SUBROGATIONWAIT
02TXG-01 DAMAGESWAIT
03TPF-01 PROOFWAIT
04ROOTS EXACTWAIT
05PARTIES COMMITTEDWAIT
06BASIS VALIDWAIT
07LOSS VERIFIEDWAIT
08COMPENSATION CREDITEDWAIT
09BENEFIT RETAINEDWAIT
10SUBROGATION CAPPEDWAIT
11PRIOR RECOVERY APPLIEDWAIT
12WINDOW CURRENTWAIT
13REPLAY CLOSEDWAIT
14ZERO AUTHORITYWAIT
TRANSACTION RESTITUTION ELIGIBILITY EVIDENCETRS-01
AWAITING-EVIDENCELOSS / CREDITEDBENEFIT / NETTEDRIGHTS / LIMITEDORDERS / 0