FAILURE MAP
← Case archive

FA-56991 / Auction allocation rules / Open access

Performance bond: callable face · case 01

Unpaid bond calls fail to consume callable face value.

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

ROOT CAUSE

Unpaid bond calls fail to consume callable face value.

VERIFIED REPAIR

For callable face, apply the stipulated decision max(0,x["face"]-x["called"]).

Unsuccessful approach: The attempted repair uses max(0,x["face"]-x["paid_claims"]); 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 callable-face: For callable face, apply the stipulated decision max(0,x["face"]-x["called"]).

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 = x["face"]
    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 = [('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [0, 0, 0, 0, 0]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110])]
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))['callable-face'], 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
normal contract3022Failed
partly guaranteed claim3022Failed
claim too large3022Failed
bond exhausted300Failed
expired3022Failed
completion3022Failed
all milestones3022Failed
substitution approved3022Failed
substitution finalized3022Failed

SHA-256 / 158a3f656337c4b9e83c7e41c54ef0c8596ee426a81b8e648f975d071dac6a59

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["paid_claims"])
    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 = [('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [0, 0, 0, 0, 0]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110])]
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))['callable-face'], 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
normal contract2522Failed
partly guaranteed claim2522Failed
claim too large2522Failed
bond exhausted250Failed
expired2522Failed
completion2522Failed
all milestones2522Failed
substitution approved2522Failed
substitution finalized2522Failed

SHA-256 / 63ac66d6d03548725df4bb4a18001475cd188464fbe910ca45b3d4ddbd07a18a

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 = [('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [0, 0, 0, 0, 0]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110]), ('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}, [22, 44, 66, 88, 110])]
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))['callable-face'], 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
normal contract2222Passed
partly guaranteed claim2222Passed
claim too large2222Passed
bond exhausted00Passed
expired2222Passed
completion2222Passed
all milestones2222Passed
substitution approved2222Passed
substitution finalized2222Passed

SHA-256 / b4a5f604bdf3a6e6e167b56b8d69b4527a0a91701ea1f79fb1c9bf19ece0898a

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.354656+00:00.

Case digest / 42cca75bc23885241d3550c8737b90763c2f53b1073aa8623b3d8f3a9fb207fb