FA-56571 / Auction allocation rules / Open access
Activity eligibility: round advance · case 01
Replaying a round adds another eligibility-history decision.
ROOT CAUSE
Replaying a round adds another eligibility-history decision.
VERIFIED REPAIR
Append eligibility history only on a newly processed round.
Unsuccessful approach: The attempted repair uses x["history"]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
A stipulated ascending multiround auction records eligibility in activity points. Submitted lots contribute fixed points, withdrawn lots contribute none, a waiver preserves previous eligibility once, and frozen eligibility cannot grow. These rules are pedagogical and independent of real spectrum-auction regulations. Named decision round-advance: Append eligibility history only on a newly processed round.
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 = sum(x["points"][i] for i in set(x["active"])-set(x["withdrawn"]))
v1 = sum(x["points"][i] for i in set(x["active"])|set(x["standing"]))
v2 = x["use_waiver"] and x["waivers"]>0
v3 = x["waivers"]-int(x["use_waiver"] and x["waivers"]>0)
v4 = min(x["previous"],sum(x["points"][i] for i in x["active"]))
v5 = x["previous"] if x["use_waiver"] and x["waivers"]>0 else min(x["previous"],x["required"])
v6 = x["history"]+[x["previous"]]
v7 = min(x["previous"],x["stage_limits"][min(x["stage"],len(x["stage_limits"])-1)])
v8 = min(x["qualification"],x["previous"]+x["transferred"])
v9 = 0 if x["revoked"] else min(x["previous"],x["qualification"])
return {'withdrawn-activity':v0,'standing-credit-dedup':v1,'waiver-availability':v2,'waiver-consumption':v3,'eligibility-monotonicity':v4,'waiver-preservation':v5,'round-advance':v6,'stage-ceiling':v7,'transfer-cap':v8,'revocation':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('replayed round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 1, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5], [16, 12, 10], [24, 18, 15], [32, 24, 20], [40, 30, 25]]), ('waiver round / replayed round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': True, 'required': 5, 'round': 1, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5], [16, 12, 10], [24, 18, 15], [32, 24, 20], [40, 30, 25]]), ('normal contract', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('waiver round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': True, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('no waiver left', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 0, 'use_waiver': True, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('all withdrawn', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['A', 'B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('standing overlaps activity', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['A'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('stage entry', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 0, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('small qualification', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 2, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('qualification revoked', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': True}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]])]
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))['round-advance'], 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 |
|---|---|---|---|
| replayed round | [8, 6, 5, 8] | [8, 6, 5] | Failed |
| waiver round / replayed round | [8, 6, 5, 8] | [8, 6, 5] | Failed |
| normal contract | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| waiver round | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| no waiver left | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| all withdrawn | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| standing overlaps activity | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| stage entry | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| small qualification | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| qualification revoked | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
SHA-256 / 3dfa0e2165f52eceaadd10ba380aa3e6756eca7b2ec6ddd85fa416f7c2ee932c
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = sum(x["points"][i] for i in set(x["active"])-set(x["withdrawn"]))
v1 = sum(x["points"][i] for i in set(x["active"])|set(x["standing"]))
v2 = x["use_waiver"] and x["waivers"]>0
v3 = x["waivers"]-int(x["use_waiver"] and x["waivers"]>0)
v4 = min(x["previous"],sum(x["points"][i] for i in x["active"]))
v5 = x["previous"] if x["use_waiver"] and x["waivers"]>0 else min(x["previous"],x["required"])
v6 = x["history"]
v7 = min(x["previous"],x["stage_limits"][min(x["stage"],len(x["stage_limits"])-1)])
v8 = min(x["qualification"],x["previous"]+x["transferred"])
v9 = 0 if x["revoked"] else min(x["previous"],x["qualification"])
return {'withdrawn-activity':v0,'standing-credit-dedup':v1,'waiver-availability':v2,'waiver-consumption':v3,'eligibility-monotonicity':v4,'waiver-preservation':v5,'round-advance':v6,'stage-ceiling':v7,'transfer-cap':v8,'revocation':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('replayed round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 1, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5], [16, 12, 10], [24, 18, 15], [32, 24, 20], [40, 30, 25]]), ('waiver round / replayed round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': True, 'required': 5, 'round': 1, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5], [16, 12, 10], [24, 18, 15], [32, 24, 20], [40, 30, 25]]), ('normal contract', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('waiver round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': True, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('no waiver left', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 0, 'use_waiver': True, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('all withdrawn', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['A', 'B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('standing overlaps activity', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['A'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('stage entry', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 0, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('small qualification', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 2, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('qualification revoked', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': True}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]])]
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))['round-advance'], 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 |
|---|---|---|---|
| replayed round | [8, 6, 5] | [8, 6, 5] | Passed |
| waiver round / replayed round | [8, 6, 5] | [8, 6, 5] | Passed |
| normal contract | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| waiver round | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| no waiver left | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| all withdrawn | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| standing overlaps activity | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| stage entry | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| small qualification | [8, 6, 5] | [8, 6, 5, 8] | Failed |
| qualification revoked | [8, 6, 5] | [8, 6, 5, 8] | Failed |
SHA-256 / 9053d52d35f73f6e3509e5000d4606e0b736c7a769ac65054bc654bc99acb4a9
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = sum(x["points"][i] for i in set(x["active"])-set(x["withdrawn"]))
v1 = sum(x["points"][i] for i in set(x["active"])|set(x["standing"]))
v2 = x["use_waiver"] and x["waivers"]>0
v3 = x["waivers"]-int(x["use_waiver"] and x["waivers"]>0)
v4 = min(x["previous"],sum(x["points"][i] for i in x["active"]))
v5 = x["previous"] if x["use_waiver"] and x["waivers"]>0 else min(x["previous"],x["required"])
v6 = x["history"] if x["round"]<=x["last_round"] else x["history"]+[x["previous"]]
v7 = min(x["previous"],x["stage_limits"][min(x["stage"],len(x["stage_limits"])-1)])
v8 = min(x["qualification"],x["previous"]+x["transferred"])
v9 = 0 if x["revoked"] else min(x["previous"],x["qualification"])
return {'withdrawn-activity':v0,'standing-credit-dedup':v1,'waiver-availability':v2,'waiver-consumption':v3,'eligibility-monotonicity':v4,'waiver-preservation':v5,'round-advance':v6,'stage-ceiling':v7,'transfer-cap':v8,'revocation':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('replayed round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 1, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5], [16, 12, 10], [24, 18, 15], [32, 24, 20], [40, 30, 25]]), ('waiver round / replayed round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': True, 'required': 5, 'round': 1, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5], [16, 12, 10], [24, 18, 15], [32, 24, 20], [40, 30, 25]]), ('normal contract', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('waiver round', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': True, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('no waiver left', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 0, 'use_waiver': True, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('all withdrawn', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['A', 'B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('standing overlaps activity', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['A'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('stage entry', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 0, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('small qualification', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 2, 'transferred': 2, 'revoked': False}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]]), ('qualification revoked', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['C'], 'previous': 8, 'waivers': 2, 'use_waiver': False, 'required': 5, 'round': 2, 'last_round': 1, 'history': [8, 6, 5], 'stage': 2, 'stage_limits': [10, 7, 4], 'qualification': 9, 'transferred': 2, 'revoked': True}, [[8, 6, 5, 8], [16, 12, 10, 16], [24, 18, 15, 24], [32, 24, 20, 32], [40, 30, 25, 40]])]
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))['round-advance'], 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 |
|---|---|---|---|
| replayed round | [8, 6, 5] | [8, 6, 5] | Passed |
| waiver round / replayed round | [8, 6, 5] | [8, 6, 5] | Passed |
| normal contract | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| waiver round | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| no waiver left | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| all withdrawn | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| standing overlaps activity | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| stage entry | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| small qualification | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
| qualification revoked | [8, 6, 5, 8] | [8, 6, 5, 8] | Passed |
SHA-256 / 760f2e93fd782b1b6b9431868b8c727a074bfaedca853ae0808dd13eeb04fade
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:08.313359+00:00.
Case digest / 3b7d82c82558fabfaf9f8ee7eacdc123da2e93923c161ed5a156f5abb2bee107