FA-56671 / Auction allocation rules / Open access
Proxy instructions: suspension resume · case 01
Proxy suspension is lost or enables an otherwise disabled instruction.
ROOT CAUSE
Proxy suspension is lost or enables an otherwise disabled instruction.
VERIFIED REPAIR
For suspension resume, apply the stipulated decision x["enabled"] and not x["suspended"].
Unsuccessful approach: The attempted repair uses not x["suspended"]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
A bidder authorizes a bounded proxy to submit offers for a specific lot. A proxy instruction specifies a price ceiling, per-step increment, remaining quantity, owner consent and a one-use trigger token. Outputs are actionable submissions, not an optimal bidding strategy. Named decision suspension-resume: For suspension resume, apply the stipulated decision x["enabled"] and not x["suspended"].
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 = min(x["ceiling"],x["current"]+x["increment"])
v1 = x["current"]<x["ceiling"] and x["increment"]>0
v2 = max(0,x["quantity"]-x["filled"])
v3 = x["enabled"] and not x["owner_present"]
v4 = [] if x["token"]==x["last_token"] else [x["lot"]]
v5 = x["lot"] in x["authorized_lots"]
v6 = x["enabled"]
v7 = x["manual_price"] if x["manual_active"] else x["current"]
v8 = min(max(0,x["quantity"]-x["filled"]),x["credit"]//max(1,x["unit_hold"]))
v9 = [t for t in x["triggers"] if t in x["allowed"]] if x["auction_open"] else []
return {'bounded-next-offer':v0,'ceiling-exhaustion':v1,'remaining-proxy-size':v2,'manual-control-handoff':v3,'one-trigger-submission':v4,'lot-mandate':v5,'suspension-resume':v6,'manual-price-precedence':v7,'proxy-collateral-size':v8,'closed-auction-trigger':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('suspended', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': True, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('ceiling reached / suspended', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': True, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('disabled instruction', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': False, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('ceiling reached / disabled instruction', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': False, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('normal contract', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('ceiling reached', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('step exceeds ceiling', {'current': 15, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('owner controls bid', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': True, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('token replay', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't1', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('wrong lot', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'B', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('manual override absent', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': False, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True])]
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))['suspension-resume'], 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| suspended | True | False | Failed |
| ceiling reached / suspended | True | False | Failed |
| disabled instruction | False | False | Passed |
| ceiling reached / disabled instruction | False | False | Passed |
| normal contract | True | True | Passed |
| ceiling reached | True | True | Passed |
| step exceeds ceiling | True | True | Passed |
| owner controls bid | True | True | Passed |
| token replay | True | True | Passed |
| wrong lot | True | True | Passed |
| manual override absent | True | True | Passed |
SHA-256 / 251d78c1f0e0ab2a2e740fd29302c2ac00359df7990ccbd9c2ed6f0d2baa4139
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = min(x["ceiling"],x["current"]+x["increment"])
v1 = x["current"]<x["ceiling"] and x["increment"]>0
v2 = max(0,x["quantity"]-x["filled"])
v3 = x["enabled"] and not x["owner_present"]
v4 = [] if x["token"]==x["last_token"] else [x["lot"]]
v5 = x["lot"] in x["authorized_lots"]
v6 = not x["suspended"]
v7 = x["manual_price"] if x["manual_active"] else x["current"]
v8 = min(max(0,x["quantity"]-x["filled"]),x["credit"]//max(1,x["unit_hold"]))
v9 = [t for t in x["triggers"] if t in x["allowed"]] if x["auction_open"] else []
return {'bounded-next-offer':v0,'ceiling-exhaustion':v1,'remaining-proxy-size':v2,'manual-control-handoff':v3,'one-trigger-submission':v4,'lot-mandate':v5,'suspension-resume':v6,'manual-price-precedence':v7,'proxy-collateral-size':v8,'closed-auction-trigger':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('suspended', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': True, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('ceiling reached / suspended', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': True, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('disabled instruction', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': False, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('ceiling reached / disabled instruction', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': False, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('normal contract', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('ceiling reached', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('step exceeds ceiling', {'current': 15, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('owner controls bid', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': True, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('token replay', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't1', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('wrong lot', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'B', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('manual override absent', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': False, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True])]
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))['suspension-resume'], 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| suspended | False | False | Passed |
| ceiling reached / suspended | False | False | Passed |
| disabled instruction | True | False | Failed |
| ceiling reached / disabled instruction | True | False | Failed |
| normal contract | True | True | Passed |
| ceiling reached | True | True | Passed |
| step exceeds ceiling | True | True | Passed |
| owner controls bid | True | True | Passed |
| token replay | True | True | Passed |
| wrong lot | True | True | Passed |
| manual override absent | True | True | Passed |
SHA-256 / d3d6c325bafeb8be3cdbb951f1126194e370a068fc5440da6cf72c640e04dce4
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = min(x["ceiling"],x["current"]+x["increment"])
v1 = x["current"]<x["ceiling"] and x["increment"]>0
v2 = max(0,x["quantity"]-x["filled"])
v3 = x["enabled"] and not x["owner_present"]
v4 = [] if x["token"]==x["last_token"] else [x["lot"]]
v5 = x["lot"] in x["authorized_lots"]
v6 = x["enabled"] and not x["suspended"]
v7 = x["manual_price"] if x["manual_active"] else x["current"]
v8 = min(max(0,x["quantity"]-x["filled"]),x["credit"]//max(1,x["unit_hold"]))
v9 = [t for t in x["triggers"] if t in x["allowed"]] if x["auction_open"] else []
return {'bounded-next-offer':v0,'ceiling-exhaustion':v1,'remaining-proxy-size':v2,'manual-control-handoff':v3,'one-trigger-submission':v4,'lot-mandate':v5,'suspension-resume':v6,'manual-price-precedence':v7,'proxy-collateral-size':v8,'closed-auction-trigger':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('suspended', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': True, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('ceiling reached / suspended', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': True, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('disabled instruction', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': False, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('ceiling reached / disabled instruction', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': False, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [False, False, False, False, False]), ('normal contract', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('ceiling reached', {'current': 16, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('step exceeds ceiling', {'current': 15, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('owner controls bid', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': True, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('token replay', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't1', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('wrong lot', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'B', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': True, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True]), ('manual override absent', {'current': 10, 'ceiling': 16, 'increment': 3, 'quantity': 5, 'filled': 2, 'enabled': True, 'owner_present': False, 'token': 't2', 'last_token': 't1', 'lot': 'A', 'authorized_lots': ['A'], 'suspended': False, 'manual_price': 12, 'manual_active': False, 'credit': 100, 'unit_hold': 8, 'triggers': ['outbid', 'outbid', 'price'], 'allowed': ['outbid'], 'auction_open': True}, [True, True, True, True, True])]
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))['suspension-resume'], 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| suspended | False | False | Passed |
| ceiling reached / suspended | False | False | Passed |
| disabled instruction | False | False | Passed |
| ceiling reached / disabled instruction | False | False | Passed |
| normal contract | True | True | Passed |
| ceiling reached | True | True | Passed |
| step exceeds ceiling | True | True | Passed |
| owner controls bid | True | True | Passed |
| token replay | True | True | Passed |
| wrong lot | True | True | Passed |
| manual override absent | True | True | Passed |
SHA-256 / 1bdb9c897787b4ca0c123de08534a2e909b7daed854c53a5b07372e954dc8f33
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:09.312971+00:00.
Case digest / 065150594656ee2debfac3af52c9fcfb5a62e63467c5854e92ae2da79d0e0fe7