FAILURE MAP
← Case archive

FA-57596 / Auction allocation rules / Open access

Permit constrained award: transit route permit · case 01

Auction shipment permit covers the destination but not the intermediate transit route.

Verified by executionVariant 1 · 11 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Auction shipment permit covers the destination but not the intermediate transit route.

VERIFIED REPAIR

For transit route permit, apply the stipulated decision all(d in x["destinations"] for d in x["route"]).

Unsuccessful approach: The attempted repair uses all(d in x["destinations"] for d in x["route"][:-1]); the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

A toy regulated-item auction uses explicit fictional permit rules: permits are lot-category, destination and unit-count scoped; transfers consume quota only after award acceptance, and returns restore quota only after regulator acknowledgment. No real regulatory compliance is represented. Named decision transit-route-permit: For transit route permit, apply the stipulated decision all(d in x["destinations"] for d in x["route"]).

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["category"] in x["permit_categories"]
    v1 = x["route"][-1] in x["destinations"] if x["route"] else True
    v2 = min(x["requested"],max(0,x["quota"]-x["reserved"]))
    v3 = max(0,x["quota"]-x["requested"]) if x["accepted"] else x["quota"]
    v4 = x["quota"]+(x["returned"] if x["return_ack"] else 0)
    v5 = x["award_time"]<x["expires"]
    v6 = x["delivery_time"]<x["expires"]
    v7 = [p for p in x["assigned"] if p in x["permits"] and p not in x["revoked"]]
    v8 = x["seller_license"] and x["buyer_license"]
    v9 = x["permit_owner"]==x["buyer"] or x["transferred"]
    return {'permit-category-scope':v0,'transit-route-permit':v1,'unreserved-permit-quota':v2,'accepted-quota-consumption':v3,'acknowledged-quota-restoration':v4,'award-time-permit-validity':v5,'delivery-permit-recheck':v6,'revoked-permit-selection':v7,'two-party-license':v8,'permit-owner-transfer':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award at permit expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 8, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('permitted transit not destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D1', 'D2']}, [False, False, False, False, False]), ('award at permit expiry / permitted transit not destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 8, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D1', 'D2']}, [False, False, False, False, False]), ('different category', {'category': 'green', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('different destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D2', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('small request', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 2, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('accepted award', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': True, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('return acknowledged', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': True, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award after permit expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 9, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('delivery before expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 7, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [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))['transit-route-permit'], 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 fixtureActualExpectedOutcome
normal contractTrueFalseFailed
award at permit expiryTrueFalseFailed
permitted transit not destinationFalseFalsePassed
award at permit expiry / permitted transit not destinationFalseFalsePassed
different categoryTrueFalseFailed
different destinationTrueFalseFailed
small requestTrueFalseFailed
accepted awardTrueFalseFailed
return acknowledgedTrueFalseFailed
award after permit expiryTrueFalseFailed
delivery before expiryTrueFalseFailed

SHA-256 / 55a3bd24ce27e123d252874c909135d2e0996310b500271afa3f918d89b0f74d

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = x["category"] in x["permit_categories"]
    v1 = all(d in x["destinations"] for d in x["route"][:-1])
    v2 = min(x["requested"],max(0,x["quota"]-x["reserved"]))
    v3 = max(0,x["quota"]-x["requested"]) if x["accepted"] else x["quota"]
    v4 = x["quota"]+(x["returned"] if x["return_ack"] else 0)
    v5 = x["award_time"]<x["expires"]
    v6 = x["delivery_time"]<x["expires"]
    v7 = [p for p in x["assigned"] if p in x["permits"] and p not in x["revoked"]]
    v8 = x["seller_license"] and x["buyer_license"]
    v9 = x["permit_owner"]==x["buyer"] or x["transferred"]
    return {'permit-category-scope':v0,'transit-route-permit':v1,'unreserved-permit-quota':v2,'accepted-quota-consumption':v3,'acknowledged-quota-restoration':v4,'award-time-permit-validity':v5,'delivery-permit-recheck':v6,'revoked-permit-selection':v7,'two-party-license':v8,'permit-owner-transfer':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award at permit expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 8, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('permitted transit not destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D1', 'D2']}, [False, False, False, False, False]), ('award at permit expiry / permitted transit not destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 8, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D1', 'D2']}, [False, False, False, False, False]), ('different category', {'category': 'green', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('different destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D2', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('small request', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 2, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('accepted award', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': True, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('return acknowledged', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': True, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award after permit expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 9, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('delivery before expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 7, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [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))['transit-route-permit'], 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 fixtureActualExpectedOutcome
normal contractFalseFalsePassed
award at permit expiryFalseFalsePassed
permitted transit not destinationTrueFalseFailed
award at permit expiry / permitted transit not destinationTrueFalseFailed
different categoryFalseFalsePassed
different destinationFalseFalsePassed
small requestFalseFalsePassed
accepted awardFalseFalsePassed
return acknowledgedFalseFalsePassed
award after permit expiryFalseFalsePassed
delivery before expiryFalseFalsePassed

SHA-256 / c42222dd5dcd7aedf922247b54a2ce239de2af5f1dd96bf9e6dae15584328af8

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = x["category"] in x["permit_categories"]
    v1 = all(d in x["destinations"] for d in x["route"])
    v2 = min(x["requested"],max(0,x["quota"]-x["reserved"]))
    v3 = max(0,x["quota"]-x["requested"]) if x["accepted"] else x["quota"]
    v4 = x["quota"]+(x["returned"] if x["return_ack"] else 0)
    v5 = x["award_time"]<x["expires"]
    v6 = x["delivery_time"]<x["expires"]
    v7 = [p for p in x["assigned"] if p in x["permits"] and p not in x["revoked"]]
    v8 = x["seller_license"] and x["buyer_license"]
    v9 = x["permit_owner"]==x["buyer"] or x["transferred"]
    return {'permit-category-scope':v0,'transit-route-permit':v1,'unreserved-permit-quota':v2,'accepted-quota-consumption':v3,'acknowledged-quota-restoration':v4,'award-time-permit-validity':v5,'delivery-permit-recheck':v6,'revoked-permit-selection':v7,'two-party-license':v8,'permit-owner-transfer':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award at permit expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 8, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('permitted transit not destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D1', 'D2']}, [False, False, False, False, False]), ('award at permit expiry / permitted transit not destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 8, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D1', 'D2']}, [False, False, False, False, False]), ('different category', {'category': 'green', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('different destination', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D2', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('small request', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 2, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('accepted award', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': True, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('return acknowledged', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': True, 'expires': 8, 'award_time': 7, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award after permit expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 9, 'delivery_time': 9, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('delivery before expiry', {'category': 'blue', 'permit_categories': ['red', 'blue'], 'destination': 'D1', 'destinations': ['D1'], 'requested': 6, 'quota': 5, 'reserved': 2, 'accepted': False, 'returned': 3, 'return_ack': False, 'expires': 8, 'award_time': 7, 'delivery_time': 7, 'permits': ['p1', 'p2'], 'revoked': ['p2'], 'assigned': ['p2'], 'seller_license': True, 'buyer_license': False, 'permit_owner': 'b', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [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))['transit-route-permit'], 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 fixtureActualExpectedOutcome
normal contractFalseFalsePassed
award at permit expiryFalseFalsePassed
permitted transit not destinationFalseFalsePassed
award at permit expiry / permitted transit not destinationFalseFalsePassed
different categoryFalseFalsePassed
different destinationFalseFalsePassed
small requestFalseFalsePassed
accepted awardFalseFalsePassed
return acknowledgedFalseFalsePassed
award after permit expiryFalseFalsePassed
delivery before expiryFalseFalsePassed

SHA-256 / 5875d726ac5008d48c987221e0ab2fb75bafbf6184d0f9039356684275a5480a

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:18.480654+00:00.

Case digest / 843d05a18e3ff7870be8dc6b13b0a9dd0087491e8d4bb4d12510145e9ffa7131