FAILURE MAP
← Case archive

FA-56751 / Auction allocation rules / Open access

Withdrawal liability: award liability gate · case 01

Unawarded bidders are charged award-default damages.

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

ROOT CAUSE

Unawarded bidders are charged award-default damages.

VERIFIED REPAIR

For award liability gate, apply the stipulated decision max(0,x["bid"]-x["resale"]) if x["awarded"] else 0.

Unsuccessful approach: The attempted repair uses max(0,x["bid"]-x["resale"]) if x["awarded"] and x["forfeit"] else 0; the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

A toy auction withdrawal policy distinguishes voluntary withdrawal before award, excused withdrawal, replacement proceeds, paid deposits and caps on liquidated liability. Nonnegative integer credits are used; no legal or financial interpretation is intended. Named decision award-liability-gate: For award liability gate, apply the stipulated decision max(0,x["bid"]-x["resale"]) if x["awarded"] else 0.

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["bid"]-x["resale"])
    v1 = 0 if x["excused"] else x["fee"]
    v2 = max(0,x["bid"]-x["resale"])
    v3 = 0 if x["notice"]<=x["cutoff"] else x["deposit"]
    v4 = max(0,x["bid"]-x["resale"]-x["deposit"])
    v5 = max(0,min(x["cap"],max(0,x["bid"]-x["resale"])+x["fee"])-x["already_paid"])
    v6 = x["bond"] if x["forfeit"] and not x["released"] else 0
    v7 = max(0,x["awarded_units"]-x["returned_units"])
    v8 = min(x["withdrawn_units"],max(0,x["awarded_units"]-x["returned_units"]))
    v9 = [b for b in dict.fromkeys(b for op,b in x["events"]) if [op for op,c in x["events"] if c==b][-1]=="withdraw"]
    return {'resale-shortfall':v0,'excused-fee-waiver':v1,'award-liability-gate':v2,'notice-penalty':v3,'deposit-offset':v4,'paid-liability-credit':v5,'released-bond-exclusion':v6,'unreturned-award-units':v7,'withdrawal-unit-cap':v8,'reinstatement-after-withdrawal':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('notice order retained / before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('no forfeit', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': False, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('notice order retained / no forfeit', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': False, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('normal contract', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('notice order retained', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('resale surplus', {'bid': 30, 'resale': 40, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('excused default', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': True, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('timely notice', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 3, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('exact notice cutoff', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 4, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('liability already paid', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 40, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('bond released', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': True, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60])]
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))['award-liability-gate'], 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
before award120Failed
notice order retained / before award120Failed
no forfeit1212Passed
notice order retained / no forfeit1212Passed
normal contract1212Passed
notice order retained1212Passed
resale surplus00Passed
excused default1212Passed
timely notice1212Passed
exact notice cutoff1212Passed
liability already paid1212Passed
bond released1212Passed

SHA-256 / 96961615ed0b83595e83eacc56d07f09fd6ceecdf3d6618726b5be50694a9fec

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["bid"]-x["resale"])
    v1 = 0 if x["excused"] else x["fee"]
    v2 = max(0,x["bid"]-x["resale"]) if x["awarded"] and x["forfeit"] else 0
    v3 = 0 if x["notice"]<=x["cutoff"] else x["deposit"]
    v4 = max(0,x["bid"]-x["resale"]-x["deposit"])
    v5 = max(0,min(x["cap"],max(0,x["bid"]-x["resale"])+x["fee"])-x["already_paid"])
    v6 = x["bond"] if x["forfeit"] and not x["released"] else 0
    v7 = max(0,x["awarded_units"]-x["returned_units"])
    v8 = min(x["withdrawn_units"],max(0,x["awarded_units"]-x["returned_units"]))
    v9 = [b for b in dict.fromkeys(b for op,b in x["events"]) if [op for op,c in x["events"] if c==b][-1]=="withdraw"]
    return {'resale-shortfall':v0,'excused-fee-waiver':v1,'award-liability-gate':v2,'notice-penalty':v3,'deposit-offset':v4,'paid-liability-credit':v5,'released-bond-exclusion':v6,'unreturned-award-units':v7,'withdrawal-unit-cap':v8,'reinstatement-after-withdrawal':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('notice order retained / before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('no forfeit', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': False, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('notice order retained / no forfeit', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': False, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('normal contract', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('notice order retained', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('resale surplus', {'bid': 30, 'resale': 40, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('excused default', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': True, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('timely notice', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 3, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('exact notice cutoff', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 4, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('liability already paid', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 40, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('bond released', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': True, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60])]
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))['award-liability-gate'], 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
before award00Passed
notice order retained / before award00Passed
no forfeit012Failed
notice order retained / no forfeit012Failed
normal contract1212Passed
notice order retained1212Passed
resale surplus00Passed
excused default1212Passed
timely notice1212Passed
exact notice cutoff1212Passed
liability already paid1212Passed
bond released1212Passed

SHA-256 / 61a159de5871d3508dba5663e7488f17748d1ca7075900388402dd1f1b162d89

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["bid"]-x["resale"])
    v1 = 0 if x["excused"] else x["fee"]
    v2 = max(0,x["bid"]-x["resale"]) if x["awarded"] else 0
    v3 = 0 if x["notice"]<=x["cutoff"] else x["deposit"]
    v4 = max(0,x["bid"]-x["resale"]-x["deposit"])
    v5 = max(0,min(x["cap"],max(0,x["bid"]-x["resale"])+x["fee"])-x["already_paid"])
    v6 = x["bond"] if x["forfeit"] and not x["released"] else 0
    v7 = max(0,x["awarded_units"]-x["returned_units"])
    v8 = min(x["withdrawn_units"],max(0,x["awarded_units"]-x["returned_units"]))
    v9 = [b for b in dict.fromkeys(b for op,b in x["events"]) if [op for op,c in x["events"] if c==b][-1]=="withdraw"]
    return {'resale-shortfall':v0,'excused-fee-waiver':v1,'award-liability-gate':v2,'notice-penalty':v3,'deposit-offset':v4,'paid-liability-credit':v5,'released-bond-exclusion':v6,'unreturned-award-units':v7,'withdrawal-unit-cap':v8,'reinstatement-after-withdrawal':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('notice order retained / before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('no forfeit', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': False, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('notice order retained / no forfeit', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': False, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('normal contract', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('notice order retained', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('resale surplus', {'bid': 30, 'resale': 40, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('excused default', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': True, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('timely notice', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 3, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('exact notice cutoff', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 4, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('liability already paid', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 40, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60]), ('bond released', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': True, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [12, 24, 36, 48, 60])]
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))['award-liability-gate'], 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
before award00Passed
notice order retained / before award00Passed
no forfeit1212Passed
notice order retained / no forfeit1212Passed
normal contract1212Passed
notice order retained1212Passed
resale surplus00Passed
excused default1212Passed
timely notice1212Passed
exact notice cutoff1212Passed
liability already paid1212Passed
bond released1212Passed

SHA-256 / c4d94a204b4dd1769fd6acd6391eee28b6f864f49c717afe7833c2f22012c399

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

Case digest / 8f4b3244032566ac33ee55f2238f69ffca567a1e3a7738fd01ea1c48d4898c8a