FA-57466 / Auction allocation rules / Open access
Award unwind: fee refund policy · case 01
Nonrefundable fees are repaid as part of annulment.
ROOT CAUSE
Nonrefundable fees are repaid as part of annulment.
VERIFIED REPAIR
For fee refund policy, apply the stipulated decision x["fee"] if x["fee_refundable"] and x["annulled"] else 0.
Unsuccessful approach: The attempted repair uses x["fee"] if x["fee_refundable"] else 0; 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 fee-refund-policy: For fee refund policy, apply the stipulated decision x["fee"] if x["fee_refundable"] and x["annulled"] 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["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["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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('not annulled / fee refundable', {'annulled': False, '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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [3, 6, 9, 12, 15]), ('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']}, [0, 0, 0, 0, 0])]
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))['fee-refund-policy'], 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 | 3 | 0 | Failed |
| return above shipped quantity | 3 | 0 | Failed |
| not annulled / fee refundable | 0 | 0 | Passed |
| not annulled | 0 | 0 | Passed |
| fully refunded | 3 | 0 | Failed |
| all shipped returned | 3 | 0 | Failed |
| no shipments | 3 | 0 | Failed |
| seller fully recovered | 3 | 0 | Failed |
| fee refundable | 3 | 3 | Passed |
| wrong award reversal | 3 | 0 | Failed |
SHA-256 / f6d1dac209d4a0811af861898cc2c4ee095cb181c956b559ec50f2c8103359ad
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 = 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"] 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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('not annulled / fee refundable', {'annulled': False, '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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [3, 6, 9, 12, 15]), ('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']}, [0, 0, 0, 0, 0])]
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))['fee-refund-policy'], 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 | 0 | 0 | Passed |
| return above shipped quantity | 0 | 0 | Passed |
| not annulled / fee refundable | 3 | 0 | Failed |
| not annulled | 0 | 0 | Passed |
| fully refunded | 0 | 0 | Passed |
| all shipped returned | 0 | 0 | Passed |
| no shipments | 0 | 0 | Passed |
| seller fully recovered | 0 | 0 | Passed |
| fee refundable | 3 | 3 | Passed |
| wrong award reversal | 0 | 0 | Passed |
SHA-256 / b8724d14a475762f1c30d4c454004283277c6f017e7ed4049bffd7a46e586ca3
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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('not annulled / fee refundable', {'annulled': False, '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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [0, 0, 0, 0, 0]), ('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']}, [3, 6, 9, 12, 15]), ('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']}, [0, 0, 0, 0, 0])]
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))['fee-refund-policy'], 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 | 0 | 0 | Passed |
| return above shipped quantity | 0 | 0 | Passed |
| not annulled / fee refundable | 0 | 0 | Passed |
| not annulled | 0 | 0 | Passed |
| fully refunded | 0 | 0 | Passed |
| all shipped returned | 0 | 0 | Passed |
| no shipments | 0 | 0 | Passed |
| seller fully recovered | 0 | 0 | Passed |
| fee refundable | 3 | 3 | Passed |
| wrong award reversal | 0 | 0 | Passed |
SHA-256 / c1dea9b0e766aeefbaa27b691e122150ed7517694289fbe8f89e8805175e2de6
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:17.082540+00:00.
Case digest / 65339e4e3e20c877ea5dcba55f3713e299db84ed7cb16a980dddf4f018d691b7