Bind the promise.
Clear every exclusion.
Respect what remains.
Transaction Indemnity derives a bounded eligibility record from TXG-01 damages. It binds the agreement and committed parties, verifies coverage and exclusions, subtracts retention and contribution, applies allocation, measures aggregate exhaustion, enforces the available limit, and rejects expired, duplicate, or replayed claims.
01OBSERVE
02INHERIT
03BIND
04COVER
05EXCLUDE
06RETAIN
07ALLOCATE
08LIMIT
09REPLAY
10SEAL
0102030405
COVERAGEBOUNDED
TXN01
450 UNITS
PAYMENTS 0
NET DAMAGES600TXG-01 BOUND
RETENTION− 50EXACT
CONTRIBUTION− 100ALLOCATED 0 / EVIDENCED
AVAILABLE LIMIT≤ 500EXHAUSTION BOUND
ELIGIBLE450 UNITS
PAYMENTS 0
A contractual perimeter.
Every boundary explicit.
COVERAGE PERIMETER
DAMAGES EXACTAGREEMENT COMMITTEDPARTIES BOUNDSCOPE COVEREDEXCLUSIONS CLEARLIMIT AVAILABLE
COURT DECISION
REQUIRE TXG-01, TIN-01 AND TPF-01; BIND DAMAGES, EVIDENCE, AGREEMENT, INDEMNITEE AND INDEMNITOR ROOTS; REQUIRE COVERED LOSS AND CLEAR EXCLUSIONS; VERIFY RETENTION, CONTRIBUTION AND ALLOCATION; APPLY LIMIT EXHAUSTION; REJECT EXPIRED, DUPLICATE OR REPLAYED INDEMNITY.
TXN-01 seals deterministic indemnity eligibility evidence only. It does not interpret a live agreement, decide coverage, award indemnity, allocate a real contribution, modify a limit, register a claim, collect or transfer payment, enforce a result, settle, or move an asset.
01TXG-01 DAMAGESWAIT
02TIN-01 INDEMNITYWAIT
03TPF-01 PROOFWAIT
04DAMAGES EXACTWAIT
05AGREEMENT EXACTWAIT
06PARTIES COMMITTEDWAIT
07COVERAGE IN SCOPEWAIT
08EXCLUSIONS CLEARWAIT
09RETENTION EXACTWAIT
10CONTRIBUTION EXACTWAIT
11ALLOCATION BOUNDWAIT
12LIMIT AVAILABLEWAIT
13WINDOW CURRENTWAIT
14REPLAY CLOSEDWAIT
15ZERO AUTHORITYWAIT
TRANSACTION INDEMNITY ELIGIBILITY EVIDENCETXN-01
AWAITING-EVIDENCESCOPE / COVEREDEXCLUSION / CLEARLIMIT / AVAILABLEPAYMENTS / 0