FA-56926 / Auction allocation rules / Open access
Delivery acceptance: returned fulfillment · case 01
Returned auction goods still count as fulfilled delivery.
ROOT CAUSE
Returned auction goods still count as fulfilled delivery.
VERIFIED REPAIR
For returned fulfillment, apply the stipulated decision max(0,x["delivered"]-x["returned"]).
Unsuccessful approach: The attempted repair uses x["delivered"]-x["returned"]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
Award fulfillment tracks delivered, inspected, rejected and accepted units. Title and seller payout require acceptance, not shipping. Partial shipments and certificates refer to individual auction lot identifiers; freight and storage are fixed integer credits. Named decision returned-fulfillment: For returned fulfillment, apply the stipulated decision max(0,x["delivered"]-x["returned"]).
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["delivered"],x["inspected"])
v1 = max(0,min(x["delivered"],x["inspected"])-x["rejected"])
v2 = max(0,x["awarded"]-x["delivered"])
v3 = x["buyer_signed"] and x["seller_signed"]
v4 = set(x["lots"])<=set(x["certificate"])
v5 = [i for i in x["lots"] if i in x["certificate"] and i not in x["damaged"]]
v6 = min(x["paid"],max(0,min(x["delivered"],x["inspected"])-x["rejected"])*x["unit_price"])
v7 = x["delivered"]
v8 = x["storage"] if x["now"]>x["deadline"] else 0
v9 = 0 if x["disputed"] else max(0,x["paid"]-x["freight"])
return {'inspectable-units':v0,'accepted-unit-count':v1,'award-remainder':v2,'title-acceptance':v3,'certificate-coverage':v4,'undamaged-certificate-release':v5,'payout-payment-cap':v6,'returned-fulfillment':v7,'late-storage-charge':v8,'dispute-payout-hold':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('wrong certificate same count', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A', 'C'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('nothing delivered', {'awarded': 8, 'shipped': 6, 'delivered': 0, 'inspected': 0, 'rejected': 0, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [0, 0, 0, 0, 0]), ('all returned', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 8, 'deadline': 9, 'now': 7, 'disputed': False}, [0, 0, 0, 0, 0]), ('delivery at deadline', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 9, 'disputed': False}, [4, 8, 12, 16, 20]), ('buyer accepts', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': True, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('inspection exceeds delivery', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 8, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('all inspected rejected', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 4, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('all certified', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A', 'B'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('no damage', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': [], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20])]
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-fulfillment'], 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 | 4 | Failed |
| wrong certificate same count | 5 | 4 | Failed |
| nothing delivered | 0 | 0 | Passed |
| all returned | 5 | 0 | Failed |
| delivery at deadline | 5 | 4 | Failed |
| buyer accepts | 5 | 4 | Failed |
| inspection exceeds delivery | 5 | 4 | Failed |
| all inspected rejected | 5 | 4 | Failed |
| all certified | 5 | 4 | Failed |
| no damage | 5 | 4 | Failed |
SHA-256 / 301f9bbf936e20a9c7a8210a1cff324fc63f4118301f979ca276bdbc09cde01b
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["delivered"],x["inspected"])
v1 = max(0,min(x["delivered"],x["inspected"])-x["rejected"])
v2 = max(0,x["awarded"]-x["delivered"])
v3 = x["buyer_signed"] and x["seller_signed"]
v4 = set(x["lots"])<=set(x["certificate"])
v5 = [i for i in x["lots"] if i in x["certificate"] and i not in x["damaged"]]
v6 = min(x["paid"],max(0,min(x["delivered"],x["inspected"])-x["rejected"])*x["unit_price"])
v7 = x["delivered"]-x["returned"]
v8 = x["storage"] if x["now"]>x["deadline"] else 0
v9 = 0 if x["disputed"] else max(0,x["paid"]-x["freight"])
return {'inspectable-units':v0,'accepted-unit-count':v1,'award-remainder':v2,'title-acceptance':v3,'certificate-coverage':v4,'undamaged-certificate-release':v5,'payout-payment-cap':v6,'returned-fulfillment':v7,'late-storage-charge':v8,'dispute-payout-hold':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('wrong certificate same count', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A', 'C'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('nothing delivered', {'awarded': 8, 'shipped': 6, 'delivered': 0, 'inspected': 0, 'rejected': 0, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [0, 0, 0, 0, 0]), ('all returned', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 8, 'deadline': 9, 'now': 7, 'disputed': False}, [0, 0, 0, 0, 0]), ('delivery at deadline', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 9, 'disputed': False}, [4, 8, 12, 16, 20]), ('buyer accepts', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': True, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('inspection exceeds delivery', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 8, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('all inspected rejected', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 4, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('all certified', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A', 'B'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('no damage', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': [], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20])]
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-fulfillment'], 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 | 4 | 4 | Passed |
| wrong certificate same count | 4 | 4 | Passed |
| nothing delivered | -1 | 0 | Failed |
| all returned | -3 | 0 | Failed |
| delivery at deadline | 4 | 4 | Passed |
| buyer accepts | 4 | 4 | Passed |
| inspection exceeds delivery | 4 | 4 | Passed |
| all inspected rejected | 4 | 4 | Passed |
| all certified | 4 | 4 | Passed |
| no damage | 4 | 4 | Passed |
SHA-256 / 1f01f2a8afab42d531c696dcde9bd3d6eddcc78179c3c175ecbbda81606b89d8
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["delivered"],x["inspected"])
v1 = max(0,min(x["delivered"],x["inspected"])-x["rejected"])
v2 = max(0,x["awarded"]-x["delivered"])
v3 = x["buyer_signed"] and x["seller_signed"]
v4 = set(x["lots"])<=set(x["certificate"])
v5 = [i for i in x["lots"] if i in x["certificate"] and i not in x["damaged"]]
v6 = min(x["paid"],max(0,min(x["delivered"],x["inspected"])-x["rejected"])*x["unit_price"])
v7 = max(0,x["delivered"]-x["returned"])
v8 = x["storage"] if x["now"]>x["deadline"] else 0
v9 = 0 if x["disputed"] else max(0,x["paid"]-x["freight"])
return {'inspectable-units':v0,'accepted-unit-count':v1,'award-remainder':v2,'title-acceptance':v3,'certificate-coverage':v4,'undamaged-certificate-release':v5,'payout-payment-cap':v6,'returned-fulfillment':v7,'late-storage-charge':v8,'dispute-payout-hold':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('wrong certificate same count', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A', 'C'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('nothing delivered', {'awarded': 8, 'shipped': 6, 'delivered': 0, 'inspected': 0, 'rejected': 0, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [0, 0, 0, 0, 0]), ('all returned', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 8, 'deadline': 9, 'now': 7, 'disputed': False}, [0, 0, 0, 0, 0]), ('delivery at deadline', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 9, 'disputed': False}, [4, 8, 12, 16, 20]), ('buyer accepts', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': True, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('inspection exceeds delivery', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 8, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('all inspected rejected', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 4, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('all certified', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A', 'B'], 'lots': ['A', 'B'], 'damaged': ['B'], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20]), ('no damage', {'awarded': 8, 'shipped': 6, 'delivered': 5, 'inspected': 4, 'rejected': 1, 'paid': 20, 'unit_price': 3, 'certificate': ['A'], 'lots': ['A', 'B'], 'damaged': [], 'buyer_signed': False, 'seller_signed': True, 'freight': 4, 'storage': 2, 'returned': 1, 'deadline': 9, 'now': 7, 'disputed': False}, [4, 8, 12, 16, 20])]
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-fulfillment'], 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 | 4 | 4 | Passed |
| wrong certificate same count | 4 | 4 | Passed |
| nothing delivered | 0 | 0 | Passed |
| all returned | 0 | 0 | Passed |
| delivery at deadline | 4 | 4 | Passed |
| buyer accepts | 4 | 4 | Passed |
| inspection exceeds delivery | 4 | 4 | Passed |
| all inspected rejected | 4 | 4 | Passed |
| all certified | 4 | 4 | Passed |
| no damage | 4 | 4 | Passed |
SHA-256 / be654197277e5e2a00280a01250100e050e69885278f1c0186cf6345805740e5
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:11.690421+00:00.
Case digest / 9a5ef6f08671cbb2156e0890e0dffc27c4d4736840fa6d54ba57d1ebc2309548