Prove who carried the excess.
Balance every committed share.
Credit before contribution.
Transaction Contribution derives a bounded eligibility record from TXN-01 indemnity. It binds common liability and both co-obligors, requires shares totaling exactly 10,000 basis points, verifies the paying obligor's indemnity evidence, computes equitable overpayment, applies settlement credits and prior contribution, caps recovery at the contributing share, and rejects excess, duplicate, expired, or replayed claims.
01OBSERVE
02INHERIT
03BIND
04SHARE
05PAY
06OVERPAY
07CREDIT
08CAP
09REPLAY
10SEAL
0102030405
SHARESBALANCED
TXU01
250 UNITS
PAYMENTS 0
INDEMNITY PAID450PAYMENT ROOT BOUND
PAYING OWN SHARE− 1804000 / 10000
EQUITABLE OVERPAYMENT270POSITIVE + EXACT
SETTLEMENT CREDIT− 20PRIOR CONTRIBUTION 0
ELIGIBLE250 UNITS
PAYMENTS 0
A two-obligor balance sheet.
No invisible share drift.
EQUITABLE SHARE CONTRACT
INDEMNITY BOUNDLIABILITY COMMONOBLIGORS COMMITTEDSHARES COMPLETEPAYMENT EXACTCREDIT APPLIED
COURT DECISION
REQUIRE TXN-01, TCG-01 AND TPF-01; BIND INDEMNITY, EVIDENCE, COMMON-LIABILITY, CO-OBLIGOR AND PAYMENT ROOTS; REQUIRE COMPLETE PROPORTIONAL SHARES; VERIFY ACTUAL PAYMENT; COMPUTE EQUITABLE OVERPAYMENT; APPLY CREDITS AND PRIOR CONTRIBUTION; CAP AT THE CONTRIBUTING SHARE; REJECT EXCESS, EXPIRED, DUPLICATE OR REPLAYED CONTRIBUTION.
TXU-01 seals deterministic contribution eligibility evidence only. It does not read live indemnity or liability, resolve an obligor, allocate a real share, determine or award contribution, mutate a credit or registry, collect or transfer payment, enforce a result, settle, or move an asset.
01TXN-01 INDEMNITYWAIT
02TCG-01 CONTRIBUTIONWAIT
03TPF-01 PROOFWAIT
04INDEMNITY EXACTWAIT
05LIABILITY COMMONWAIT
06OBLIGORS COMMITTEDWAIT
07SHARES = 10000WAIT
08PAYMENT EVIDENCEDWAIT
09OVERPAYMENT EXACTWAIT
10CREDITS EXACTWAIT
11CONTRIBUTION CAPPEDWAIT
12WINDOW CURRENTWAIT
13DUPLICATE CLOSEDWAIT
14REPLAY CLOSEDWAIT
15ZERO AUTHORITYWAIT
TRANSACTION CONTRIBUTION ELIGIBILITY EVIDENCETXU-01
AWAITING-EVIDENCESHARES / 10000PAYMENT / BOUNDCREDIT / APPLIEDPAYMENTS / 0