FA-57251 / Auction allocation rules / Open access

Tie ballot: disqualification before draw · case 01

Disqualified or outside tickets remain in the frozen draw pool.

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

ROOT CAUSE

Disqualified or outside tickets remain in the frozen draw pool.

THE FAILURE

Disqualified or outside tickets remain in the frozen draw pool.

Unsuccessful approach: The attempted repair uses [t for t in dict.fromkeys(x["tickets"]) if t not in x["disqualified"]]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

A toy tied-award ballot has a frozen eligible bidder roster, published ticket order, one ticket per eligible bidder, and an explicitly supplied draw index. It is deterministic: no randomness claim. Declined winners rotate to the next eligible ticket without returning the declined bidder to the draw. Named decision disqualification-before-draw: For disqualification before draw, apply the stipulated decision [t for t in dict.fromkeys(x["tickets"]) if t in x["roster"] and t not in x["disqualified"]].

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 = list(dict.fromkeys(t for t in x["tickets"] if t in x["roster"]))
    v1 = [t for t in x["tickets"] if t in x["roster"]]
    v2 = list(dict.fromkeys(t for t in x["tickets"] if t in x["roster"]))
    v3 = x["roster"][x["draw"]] if 0<=x["draw"]<len(x["roster"]) else None
    v4 = next((t for t in x["committed"] if t not in x["declined"]),None)
    v5 = max(0,x["supply"]-len(set(x["winners"])))
    v6 = list(dict.fromkeys(t for t in x["tickets"] if t in x["roster"]))==x["committed"]
    v7 = x["committed"][:x["supply"]] if x["published"] else []
    v8 = x["round"]==x["ballot_round"]
    v9 = [x["substitutes"].get(w,w) if x["substitutes"].get(w,w) in x["consented"] else w for w in x["winners"]]
    return {'one-ticket-per-bidder':v0,'roster-ticket-admission':v1,'disqualification-before-draw':v2,'draw-index-contract':v3,'declined-ticket-rotation':v4,'ballot-supply-remainder':v5,'ticket-order-commitment':v6,'publication-before-award':v7,'round-specific-ballot':v8,'winner-substitute-consent':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('future ballot', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 3, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('no declines', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': [], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('draw first', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 0, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('draw beyond roster', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 7, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('all disqualified', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['a', 'b', 'c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [[], [], [], [], []]), ('all tickets valid', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('unpublished draw', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': False, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('same round', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 2, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']])]
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))['disqualification-before-draw'], 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	`['b', 'a', 'c']`	`['b', 'a']`	Failed
future ballot	`['b', 'a', 'c']`	`['b', 'a']`	Failed
no declines	`['b', 'a', 'c']`	`['b', 'a']`	Failed
draw first	`['b', 'a', 'c']`	`['b', 'a']`	Failed
draw beyond roster	`['b', 'a', 'c']`	`['b', 'a']`	Failed
all disqualified	`['b', 'a', 'c']`	`[]`	Failed
all tickets valid	`['b', 'a', 'c']`	`['b', 'a']`	Failed
unpublished draw	`['b', 'a', 'c']`	`['b', 'a']`	Failed
same round	`['b', 'a', 'c']`	`['b', 'a']`	Failed

SHA-256 / 27fa6b4ce5d9dbd7a1558cbfd26c52e7b00f48daa3a8e8aec04fd8abbfe7c8ab

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    v0 = list(dict.fromkeys(t for t in x["tickets"] if t in x["roster"]))
    v1 = [t for t in x["tickets"] if t in x["roster"]]
    v2 = [t for t in dict.fromkeys(x["tickets"]) if t not in x["disqualified"]]
    v3 = x["roster"][x["draw"]] if 0<=x["draw"]<len(x["roster"]) else None
    v4 = next((t for t in x["committed"] if t not in x["declined"]),None)
    v5 = max(0,x["supply"]-len(set(x["winners"])))
    v6 = list(dict.fromkeys(t for t in x["tickets"] if t in x["roster"]))==x["committed"]
    v7 = x["committed"][:x["supply"]] if x["published"] else []
    v8 = x["round"]==x["ballot_round"]
    v9 = [x["substitutes"].get(w,w) if x["substitutes"].get(w,w) in x["consented"] else w for w in x["winners"]]
    return {'one-ticket-per-bidder':v0,'roster-ticket-admission':v1,'disqualification-before-draw':v2,'draw-index-contract':v3,'declined-ticket-rotation':v4,'ballot-supply-remainder':v5,'ticket-order-commitment':v6,'publication-before-award':v7,'round-specific-ballot':v8,'winner-substitute-consent':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('future ballot', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 3, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('no declines', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': [], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('draw first', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 0, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('draw beyond roster', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 7, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('all disqualified', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['a', 'b', 'c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [[], [], [], [], []]), ('all tickets valid', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('unpublished draw', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': False, 'round': 2, 'ballot_round': 1, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']]), ('same round', {'roster': ['a', 'b', 'c'], 'tickets': ['b', 'a', 'b', 'd', 'c'], 'disqualified': ['c'], 'draw': 1, 'declined': ['b'], 'winners': ['a'], 'supply': 2, 'committed': ['b', 'a', 'c'], 'published': True, 'round': 2, 'ballot_round': 2, 'substitutes': {'a': 'z'}, 'consented': ['z']}, [['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a'], ['b', 'a']])]
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))['disqualification-before-draw'], 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	`['b', 'a', 'd']`	`['b', 'a']`	Failed
future ballot	`['b', 'a', 'd']`	`['b', 'a']`	Failed
no declines	`['b', 'a', 'd']`	`['b', 'a']`	Failed
draw first	`['b', 'a', 'd']`	`['b', 'a']`	Failed
draw beyond roster	`['b', 'a', 'd']`	`['b', 'a']`	Failed
all disqualified	`['d']`	`[]`	Failed
all tickets valid	`['b', 'a']`	`['b', 'a']`	Passed
unpublished draw	`['b', 'a', 'd']`	`['b', 'a']`	Failed
same round	`['b', 'a', 'd']`	`['b', 'a']`	Failed

SHA-256 / 4a6d9bb096cc3a8ef46a6baa3c86cc8ed18ced621849dc583662000af407aa6d

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 9 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

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

Case digest / beaf8d92295e5fe20c526b5df4db7a1dd541a63052f69af124291482ec4a0144