FA-57446 / Auction allocation rules / Open access
Award unwind: returned inventory restoration · case 01
Unwind restores shipped inventory before return receipt.
ROOT CAUSE
Unwind restores shipped inventory before return receipt.
VERIFIED REPAIR
For returned inventory restoration, apply the stipulated decision min(x["returned"],x["shipped"]).
Unsuccessful approach: The attempted repair uses x["returned"]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
An annulled auction award is unwound by separately reversing unshipped inventory reservations, refundable buyer payments, seller proceeds and title. Delivered units require return first. Reversal records refer to the original award identifier and prior reversal amount. Named decision returned-inventory-restoration: For returned inventory restoration, apply the stipulated decision min(x["returned"],x["shipped"]).
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["awarded"]-x["shipped"]-x["inventory_released"])
v1 = x["shipped"]
v2 = max(0,x["paid"]-x["refunded"])
v3 = max(0,x["seller_paid"]-x["seller_recovered"])
v4 = max(0,x["paid"]-x["refunded"]) if x["annulled"] else 0
v5 = x["fee"] if x["fee_refundable"] and x["annulled"] else 0
v6 = x["award_id"]==x["reversal_award"]
v7 = x["annulled"] and x["title_passed"] and x["returned"]>=x["shipped"]
v8 = max(0,x["bond"]-x["bond_called"])
v9 = [i for i in x["related"] if i not in x["annulled_ids"]]
return {'unshipped-inventory-release':v0,'returned-inventory-restoration':v1,'buyer-refund-residue':v2,'seller-proceeds-recovery':v3,'annulment-execution-gate':v4,'fee-refund-policy':v5,'reversal-award-binding':v6,'title-return-gate':v7,'uncalled-bond-release':v8,'related-award-isolation':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('not annulled', {'annulled': False, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('return above shipped quantity', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 7, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('return above shipped quantity / not annulled', {'annulled': False, 'awarded': 8, 'shipped': 5, 'returned': 7, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('fully refunded', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 30, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('all shipped returned', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 5, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('no shipments', {'annulled': True, 'awarded': 8, 'shipped': 0, 'returned': 0, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [0, 0, 0, 0, 0]), ('seller fully recovered', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 20, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('fee refundable', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': True, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('wrong award reversal', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w2', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10])]
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))['returned-inventory-restoration'], 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 | 5 | 2 | Failed |
| not annulled | 5 | 2 | Failed |
| return above shipped quantity | 5 | 5 | Passed |
| return above shipped quantity / not annulled | 5 | 5 | Passed |
| fully refunded | 5 | 2 | Failed |
| all shipped returned | 5 | 5 | Passed |
| no shipments | 0 | 0 | Passed |
| seller fully recovered | 5 | 2 | Failed |
| fee refundable | 5 | 2 | Failed |
| wrong award reversal | 5 | 2 | Failed |
SHA-256 / b61e8b98376ef9bf6c623555e30af05837e2ffa56a552d96e76bc171e67343d6
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["awarded"]-x["shipped"]-x["inventory_released"])
v1 = x["returned"]
v2 = max(0,x["paid"]-x["refunded"])
v3 = max(0,x["seller_paid"]-x["seller_recovered"])
v4 = max(0,x["paid"]-x["refunded"]) if x["annulled"] else 0
v5 = x["fee"] if x["fee_refundable"] and x["annulled"] else 0
v6 = x["award_id"]==x["reversal_award"]
v7 = x["annulled"] and x["title_passed"] and x["returned"]>=x["shipped"]
v8 = max(0,x["bond"]-x["bond_called"])
v9 = [i for i in x["related"] if i not in x["annulled_ids"]]
return {'unshipped-inventory-release':v0,'returned-inventory-restoration':v1,'buyer-refund-residue':v2,'seller-proceeds-recovery':v3,'annulment-execution-gate':v4,'fee-refund-policy':v5,'reversal-award-binding':v6,'title-return-gate':v7,'uncalled-bond-release':v8,'related-award-isolation':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('not annulled', {'annulled': False, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('return above shipped quantity', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 7, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('return above shipped quantity / not annulled', {'annulled': False, 'awarded': 8, 'shipped': 5, 'returned': 7, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('fully refunded', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 30, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('all shipped returned', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 5, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('no shipments', {'annulled': True, 'awarded': 8, 'shipped': 0, 'returned': 0, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [0, 0, 0, 0, 0]), ('seller fully recovered', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 20, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('fee refundable', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': True, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('wrong award reversal', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w2', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10])]
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))['returned-inventory-restoration'], 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 | 2 | 2 | Passed |
| not annulled | 2 | 2 | Passed |
| return above shipped quantity | 7 | 5 | Failed |
| return above shipped quantity / not annulled | 7 | 5 | Failed |
| fully refunded | 2 | 2 | Passed |
| all shipped returned | 5 | 5 | Passed |
| no shipments | 0 | 0 | Passed |
| seller fully recovered | 2 | 2 | Passed |
| fee refundable | 2 | 2 | Passed |
| wrong award reversal | 2 | 2 | Passed |
SHA-256 / 3219d02ebc6e8e63da5c5bf71e1079f84b769b3dfdc45a84fe594de9eb1e25e3
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["awarded"]-x["shipped"]-x["inventory_released"])
v1 = min(x["returned"],x["shipped"])
v2 = max(0,x["paid"]-x["refunded"])
v3 = max(0,x["seller_paid"]-x["seller_recovered"])
v4 = max(0,x["paid"]-x["refunded"]) if x["annulled"] else 0
v5 = x["fee"] if x["fee_refundable"] and x["annulled"] else 0
v6 = x["award_id"]==x["reversal_award"]
v7 = x["annulled"] and x["title_passed"] and x["returned"]>=x["shipped"]
v8 = max(0,x["bond"]-x["bond_called"])
v9 = [i for i in x["related"] if i not in x["annulled_ids"]]
return {'unshipped-inventory-release':v0,'returned-inventory-restoration':v1,'buyer-refund-residue':v2,'seller-proceeds-recovery':v3,'annulment-execution-gate':v4,'fee-refund-policy':v5,'reversal-award-binding':v6,'title-return-gate':v7,'uncalled-bond-release':v8,'related-award-isolation':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('not annulled', {'annulled': False, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('return above shipped quantity', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 7, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('return above shipped quantity / not annulled', {'annulled': False, 'awarded': 8, 'shipped': 5, 'returned': 7, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('fully refunded', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 30, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('all shipped returned', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 5, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [5, 10, 15, 20, 25]), ('no shipments', {'annulled': True, 'awarded': 8, 'shipped': 0, 'returned': 0, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [0, 0, 0, 0, 0]), ('seller fully recovered', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 20, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('fee refundable', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': True, 'award_id': 'w1', 'reversal_award': 'w1', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10]), ('wrong award reversal', {'annulled': True, 'awarded': 8, 'shipped': 5, 'returned': 2, 'paid': 30, 'refunded': 8, 'seller_paid': 20, 'seller_recovered': 4, 'fee': 3, 'fee_refundable': False, 'award_id': 'w1', 'reversal_award': 'w2', 'title_passed': True, 'inventory_released': 1, 'bond': 6, 'bond_called': 2, 'related': ['w1', 'w2'], 'annulled_ids': ['w1']}, [2, 4, 6, 8, 10])]
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))['returned-inventory-restoration'], 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 | 2 | 2 | Passed |
| not annulled | 2 | 2 | Passed |
| return above shipped quantity | 5 | 5 | Passed |
| return above shipped quantity / not annulled | 5 | 5 | Passed |
| fully refunded | 2 | 2 | Passed |
| all shipped returned | 5 | 5 | Passed |
| no shipments | 0 | 0 | Passed |
| seller fully recovered | 2 | 2 | Passed |
| fee refundable | 2 | 2 | Passed |
| wrong award reversal | 2 | 2 | Passed |
SHA-256 / 045ac29238293e54310badcf2a30159d363cb87aad2c756f2600f82b857eda54
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:16.975405+00:00.
Case digest / 22a0c599038cd266c2b4dcc21adccd16214da08020cda8a0866f37a80a96c0c6