FA-56841 / Auction allocation rules / Open access
Deposit admission: cleared admission · case 01
Pending deposit transfers are counted as cleared collateral.
ROOT CAUSE
Pending deposit transfers are counted as cleared collateral.
VERIFIED REPAIR
For cleared admission, apply the stipulated decision x["cleared"]>=x["required"].
Unsuccessful approach: The attempted repair uses x["cleared"]-x["pending"]>=x["required"]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
Toy bidder deposits consist of cleared, pending and restricted tranches. Deposits are auction-scoped and denomination-specific. Admission capacity is per bidder; a waiver substitutes for a required deposit without turning a pending transfer into cash. Named decision cleared-admission: For cleared admission, apply the stipulated decision x["cleared"]>=x["required"].
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["cleared"]+x["pending"]>=x["required"]
v1 = max(0,x["cleared"]-x["restricted"])
v2 = x["waiver"] or x["cleared"]>=x["required"]
v3 = x["auction"]==x["deposit_auction"]
v4 = x["currency"]==x["deposit_currency"]
v5 = max(0,x["cleared"]-x["chargeback"])
v6 = max(0,x["cleared"]-x["locked"])
v7 = x["owner"]==x["beneficiary"] and x["owner"] in x["owners"]
v8 = 0 if x["expired"] else x["cleared"]+(x["topup"] if x["confirmed"] else 0)
v9 = min(x["refunded"],max(0,x["cleared"]-x["locked"]))
return {'cleared-admission':v0,'restricted-tranche':v1,'deposit-waiver-admission':v2,'auction-scope':v3,'denomination-scope':v4,'chargeback-recovery':v5,'withdrawable-deposit':v6,'beneficial-owner':v7,'topup-posting':v8,'refund-available-ceiling':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('deposit waived', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': True, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('cleared sufficient', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 10, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [True, True, True, True, True]), ('cleared sufficient / deposit waived', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 10, 'waiver': True, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [True, True, True, True, True]), ('wrong auction', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'B', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('wrong denomination', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'ALT', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('expired deposit', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': True, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('topup confirmed', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': True, 'refunded': 4}, [False, False, False, False, False]), ('chargeback consumes balance', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 30, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('all locked', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 30, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False])]
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))['cleared-admission'], 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 |
|---|---|---|---|
| normal contract | True | False | Failed |
| deposit waived | True | False | Failed |
| cleared sufficient | True | True | Passed |
| cleared sufficient / deposit waived | True | True | Passed |
| wrong auction | True | False | Failed |
| wrong denomination | True | False | Failed |
| expired deposit | True | False | Failed |
| topup confirmed | True | False | Failed |
| chargeback consumes balance | True | False | Failed |
| all locked | True | False | Failed |
SHA-256 / 83a40fa34ad25ef81e9a62e1d05f426ccdb4e7d6148e18aa5aba09b60dabafe1
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = x["cleared"]-x["pending"]>=x["required"]
v1 = max(0,x["cleared"]-x["restricted"])
v2 = x["waiver"] or x["cleared"]>=x["required"]
v3 = x["auction"]==x["deposit_auction"]
v4 = x["currency"]==x["deposit_currency"]
v5 = max(0,x["cleared"]-x["chargeback"])
v6 = max(0,x["cleared"]-x["locked"])
v7 = x["owner"]==x["beneficiary"] and x["owner"] in x["owners"]
v8 = 0 if x["expired"] else x["cleared"]+(x["topup"] if x["confirmed"] else 0)
v9 = min(x["refunded"],max(0,x["cleared"]-x["locked"]))
return {'cleared-admission':v0,'restricted-tranche':v1,'deposit-waiver-admission':v2,'auction-scope':v3,'denomination-scope':v4,'chargeback-recovery':v5,'withdrawable-deposit':v6,'beneficial-owner':v7,'topup-posting':v8,'refund-available-ceiling':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('deposit waived', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': True, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('cleared sufficient', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 10, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [True, True, True, True, True]), ('cleared sufficient / deposit waived', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 10, 'waiver': True, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [True, True, True, True, True]), ('wrong auction', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'B', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('wrong denomination', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'ALT', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('expired deposit', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': True, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('topup confirmed', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': True, 'refunded': 4}, [False, False, False, False, False]), ('chargeback consumes balance', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 30, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('all locked', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 30, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False])]
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))['cleared-admission'], 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 |
|---|---|---|---|
| normal contract | False | False | Passed |
| deposit waived | False | False | Passed |
| cleared sufficient | False | True | Failed |
| cleared sufficient / deposit waived | False | True | Failed |
| wrong auction | False | False | Passed |
| wrong denomination | False | False | Passed |
| expired deposit | False | False | Passed |
| topup confirmed | False | False | Passed |
| chargeback consumes balance | False | False | Passed |
| all locked | False | False | Passed |
SHA-256 / 04e4077bac4d81396f2d8ed1b6bf1ffaee1add269be40905f202e31d979846d6
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = x["cleared"]>=x["required"]
v1 = max(0,x["cleared"]-x["restricted"])
v2 = x["waiver"] or x["cleared"]>=x["required"]
v3 = x["auction"]==x["deposit_auction"]
v4 = x["currency"]==x["deposit_currency"]
v5 = max(0,x["cleared"]-x["chargeback"])
v6 = max(0,x["cleared"]-x["locked"])
v7 = x["owner"]==x["beneficiary"] and x["owner"] in x["owners"]
v8 = 0 if x["expired"] else x["cleared"]+(x["topup"] if x["confirmed"] else 0)
v9 = min(x["refunded"],max(0,x["cleared"]-x["locked"]))
return {'cleared-admission':v0,'restricted-tranche':v1,'deposit-waiver-admission':v2,'auction-scope':v3,'denomination-scope':v4,'chargeback-recovery':v5,'withdrawable-deposit':v6,'beneficial-owner':v7,'topup-posting':v8,'refund-available-ceiling':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('deposit waived', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': True, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('cleared sufficient', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 10, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [True, True, True, True, True]), ('cleared sufficient / deposit waived', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 10, 'waiver': True, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [True, True, True, True, True]), ('wrong auction', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'B', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('wrong denomination', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'ALT', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('expired deposit', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': True, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('topup confirmed', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': True, 'refunded': 4}, [False, False, False, False, False]), ('chargeback consumes balance', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 30, 'locked': 6, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False]), ('all locked', {'cleared': 20, 'pending': 15, 'restricted': 7, 'required': 25, 'waiver': False, 'auction': 'A', 'deposit_auction': 'A', 'currency': 'TOK', 'deposit_currency': 'TOK', 'chargeback': 3, 'locked': 30, 'owners': ['a', 'b'], 'owner': 'a', 'beneficiary': 'a', 'expired': False, 'topup': 8, 'confirmed': False, 'refunded': 4}, [False, False, False, False, False])]
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))['cleared-admission'], 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 |
|---|---|---|---|
| normal contract | False | False | Passed |
| deposit waived | False | False | Passed |
| cleared sufficient | True | True | Passed |
| cleared sufficient / deposit waived | True | True | Passed |
| wrong auction | False | False | Passed |
| wrong denomination | False | False | Passed |
| expired deposit | False | False | Passed |
| topup confirmed | False | False | Passed |
| chargeback consumes balance | False | False | Passed |
| all locked | False | False | Passed |
SHA-256 / 3587abed2d4e4448c2fca7fae81a5b2883be8f9b911256ab641f984fff956c92
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.975422+00:00.
Case digest / 9e85558b08c5a2802fe008e39f4b03eb6934ae1bc1d8c0cdea919da9d065cbea