FAILURE MAP
← Case archive

FA-57636 / Auction allocation rules / Open access

Permit constrained award: permit owner transfer · case 01

An unrelated permit holder covers the award without an approved transfer.

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

ROOT CAUSE

An unrelated permit holder covers the award without an approved transfer.

VERIFIED REPAIR

For permit owner transfer, apply the stipulated decision x["permit_owner"]==x["buyer"] or x["transferred"].

Unsuccessful approach: The attempted repair uses x["permit_owner"]==x["buyer"]; 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 permit-owner-transfer: For permit owner transfer, apply the stipulated decision x["permit_owner"]==x["buyer"] or x["transferred"].

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 = 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 = True
    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 = [('permit reassigned', {'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': 'c', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award at permit expiry / permit reassigned', {'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': 'c', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('permit reassigned / permit transfer approved', {'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': 'c', 'buyer': 'b', 'transferred': True, 'route': ['D2', 'D1']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True])]
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))['permit-owner-transfer'], 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
permit reassignedTrueFalseFailed
award at permit expiry / permit reassignedTrueFalseFailed
permit reassigned / permit transfer approvedTrueTruePassed
normal contractTrueTruePassed
award at permit expiryTrueTruePassed
different categoryTrueTruePassed
different destinationTrueTruePassed
small requestTrueTruePassed
accepted awardTrueTruePassed
return acknowledgedTrueTruePassed
award after permit expiryTrueTruePassed
delivery before expiryTrueTruePassed

SHA-256 / 87135b0d89abc3b135a52a80cd3921c9c6d3f4ba135b0f5af1dbc200ef34baf4

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"])
    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"]
    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 = [('permit reassigned', {'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': 'c', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award at permit expiry / permit reassigned', {'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': 'c', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('permit reassigned / permit transfer approved', {'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': 'c', 'buyer': 'b', 'transferred': True, 'route': ['D2', 'D1']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True])]
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))['permit-owner-transfer'], 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
permit reassignedFalseFalsePassed
award at permit expiry / permit reassignedFalseFalsePassed
permit reassigned / permit transfer approvedFalseTrueFailed
normal contractTrueTruePassed
award at permit expiryTrueTruePassed
different categoryTrueTruePassed
different destinationTrueTruePassed
small requestTrueTruePassed
accepted awardTrueTruePassed
return acknowledgedTrueTruePassed
award after permit expiryTrueTruePassed
delivery before expiryTrueTruePassed

SHA-256 / 3dd8a72c34769a58905085c68940f9e6ffad5d18096a8285e4294a73214dc839

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 = [('permit reassigned', {'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': 'c', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('award at permit expiry / permit reassigned', {'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': 'c', 'buyer': 'b', 'transferred': False, 'route': ['D2', 'D1']}, [False, False, False, False, False]), ('permit reassigned / permit transfer approved', {'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': 'c', 'buyer': 'b', 'transferred': True, 'route': ['D2', 'D1']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True]), ('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']}, [True, True, True, True, True])]
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))['permit-owner-transfer'], 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
permit reassignedFalseFalsePassed
award at permit expiry / permit reassignedFalseFalsePassed
permit reassigned / permit transfer approvedTrueTruePassed
normal contractTrueTruePassed
award at permit expiryTrueTruePassed
different categoryTrueTruePassed
different destinationTrueTruePassed
small requestTrueTruePassed
accepted awardTrueTruePassed
return acknowledgedTrueTruePassed
award after permit expiryTrueTruePassed
delivery before expiryTrueTruePassed

SHA-256 / 02beda1853839fbfeda6f4dcee5919504f803b27f978f2a6884e9ffbfe6542eb

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

Case digest / bb9610c1e1a0ded1d61d87b6bd8a160413756bd9a494b0cb82c454b44d81de02