FAILURE MAP
← Case archive

FA-57006 / Auction allocation rules / Open access

Performance bond: retention after completion · case 01

Completion returns the defect-retention bond tranche early.

Verified by executionVariant 1 · 10 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Completion returns the defect-retention bond tranche early.

VERIFIED REPAIR

For retention after completion, apply the stipulated decision x["retention"] if x["completion"] else x["face"].

Unsuccessful approach: The attempted repair uses x["retention"]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

A toy winning-bid bond secures post-award performance separately from payment. Bond tranches mature on distinct milestones; surety substitutions require explicit approval; partial calls consume the remaining callable face amount. Bond identifiers are unique strings. Named decision retention-after-completion: For retention after completion, apply the stipulated decision x["retention"] if x["completion"] else x["face"].

Why this case matters

Offline administrative auction model for software failure analysis.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = max(0,x["face"]-x["called"])
    v1 = min(x["request"],max(0,x["face"]-x["called"]))
    v2 = 0 if x["expired"] else min(x["request"],max(0,x["face"]-x["called"]))
    v3 = 0 if x["completion"] else x["face"]
    v4 = sum(q for m,q in zip(x["milestones"],x["tranches"]) if m in x["done"])
    v5 = x["proposed"] if x["proposed"] in x["approved"] else x["surety"]
    v6 = x["replaced"] and x["proposed"] in x["approved"]
    v7 = set(x["claim_lots"])<=set(x["guaranteed"])
    v8 = x["claimant"]==x["beneficiary"] and not x["expired"]
    v9 = [i for i,t in x["presented_claims"] if t<=x["claim_deadline"]]
    return {'callable-face':v0,'claim-call-cap':v1,'expiry-call-block':v2,'retention-after-completion':v3,'milestone-tranche-release':v4,'surety-substitution-approval':v5,'old-bond-discharge':v6,'guarantee-lot-coverage':v7,'beneficiary-claim-authority':v8,'timely-claim-survives-expiry':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('completion', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': True, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [4, 8, 12, 16, 20]), ('partly guaranteed claim / completion', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': True, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L1', 'L3'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [4, 8, 12, 16, 20]), ('normal contract', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('partly guaranteed claim', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L1', 'L3'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('claim too large', {'face': 30, 'called': 8, 'request': 40, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('bond exhausted', {'face': 30, 'called': 30, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('expired', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': True, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('all milestones', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship', 'inspect'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('substitution approved', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1', 's2'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('substitution finalized', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': True, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['retention-after-completion'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
completion04Failed
partly guaranteed claim / completion04Failed
normal contract3030Passed
partly guaranteed claim3030Passed
claim too large3030Passed
bond exhausted3030Passed
expired3030Passed
all milestones3030Passed
substitution approved3030Passed
substitution finalized3030Passed

SHA-256 / 4cd6ae09e0a855feb2dc31578e19b7fe615746ddf68cdf8fe80096036fb58e08

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = max(0,x["face"]-x["called"])
    v1 = min(x["request"],max(0,x["face"]-x["called"]))
    v2 = 0 if x["expired"] else min(x["request"],max(0,x["face"]-x["called"]))
    v3 = x["retention"]
    v4 = sum(q for m,q in zip(x["milestones"],x["tranches"]) if m in x["done"])
    v5 = x["proposed"] if x["proposed"] in x["approved"] else x["surety"]
    v6 = x["replaced"] and x["proposed"] in x["approved"]
    v7 = set(x["claim_lots"])<=set(x["guaranteed"])
    v8 = x["claimant"]==x["beneficiary"] and not x["expired"]
    v9 = [i for i,t in x["presented_claims"] if t<=x["claim_deadline"]]
    return {'callable-face':v0,'claim-call-cap':v1,'expiry-call-block':v2,'retention-after-completion':v3,'milestone-tranche-release':v4,'surety-substitution-approval':v5,'old-bond-discharge':v6,'guarantee-lot-coverage':v7,'beneficiary-claim-authority':v8,'timely-claim-survives-expiry':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('completion', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': True, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [4, 8, 12, 16, 20]), ('partly guaranteed claim / completion', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': True, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L1', 'L3'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [4, 8, 12, 16, 20]), ('normal contract', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('partly guaranteed claim', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L1', 'L3'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('claim too large', {'face': 30, 'called': 8, 'request': 40, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('bond exhausted', {'face': 30, 'called': 30, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('expired', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': True, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('all milestones', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship', 'inspect'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('substitution approved', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1', 's2'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('substitution finalized', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': True, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['retention-after-completion'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
completion44Passed
partly guaranteed claim / completion44Passed
normal contract430Failed
partly guaranteed claim430Failed
claim too large430Failed
bond exhausted430Failed
expired430Failed
all milestones430Failed
substitution approved430Failed
substitution finalized430Failed

SHA-256 / 1540076d2287a3238a010376b305c920e519efbb8d7ae9eed498dfaa4ce8be34

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = max(0,x["face"]-x["called"])
    v1 = min(x["request"],max(0,x["face"]-x["called"]))
    v2 = 0 if x["expired"] else min(x["request"],max(0,x["face"]-x["called"]))
    v3 = x["retention"] if x["completion"] else x["face"]
    v4 = sum(q for m,q in zip(x["milestones"],x["tranches"]) if m in x["done"])
    v5 = x["proposed"] if x["proposed"] in x["approved"] else x["surety"]
    v6 = x["replaced"] and x["proposed"] in x["approved"]
    v7 = set(x["claim_lots"])<=set(x["guaranteed"])
    v8 = x["claimant"]==x["beneficiary"] and not x["expired"]
    v9 = [i for i,t in x["presented_claims"] if t<=x["claim_deadline"]]
    return {'callable-face':v0,'claim-call-cap':v1,'expiry-call-block':v2,'retention-after-completion':v3,'milestone-tranche-release':v4,'surety-substitution-approval':v5,'old-bond-discharge':v6,'guarantee-lot-coverage':v7,'beneficiary-claim-authority':v8,'timely-claim-survives-expiry':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('completion', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': True, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [4, 8, 12, 16, 20]), ('partly guaranteed claim / completion', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': True, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L1', 'L3'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [4, 8, 12, 16, 20]), ('normal contract', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('partly guaranteed claim', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L1', 'L3'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('claim too large', {'face': 30, 'called': 8, 'request': 40, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('bond exhausted', {'face': 30, 'called': 30, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('expired', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': True, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('all milestones', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship', 'inspect'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('substitution approved', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1', 's2'], 'replaced': False, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150]), ('substitution finalized', {'face': 30, 'called': 8, 'request': 10, 'paid_claims': 5, 'expired': False, 'completion': False, 'retention': 4, 'milestones': ['ship', 'inspect'], 'done': ['ship'], 'tranches': [12, 18], 'surety': 's1', 'proposed': 's2', 'approved': ['s1'], 'replaced': True, 'guaranteed': ['L1', 'L2'], 'claim_lots': ['L2'], 'returned': 3, 'beneficiary': 'seller', 'claimant': 'seller', 'claim_ids': ['c1', 'c2', 'c1'], 'presented_claims': [['c1', 3], ['c2', 7]], 'claim_deadline': 5}, [30, 60, 90, 120, 150])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['retention-after-completion'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
completion44Passed
partly guaranteed claim / completion44Passed
normal contract3030Passed
partly guaranteed claim3030Passed
claim too large3030Passed
bond exhausted3030Passed
expired3030Passed
all milestones3030Passed
substitution approved3030Passed
substitution finalized3030Passed

SHA-256 / 5cb7f72d820118092763e39fa3690197c15e035e358597f6179ae07c7fd0659f

Verification & scope

Stipulated toy auction rules, not a venue specification, financial advice, optimization claim, or live trading implementation. Nonnegative integer inputs and internally aligned list fields only. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:46:12.591058+00:00.

Case digest / 12154f00ea508913110a4b40ef8e7271525e0b25826aa5115095d016898eb34b