FA-56546 / Auction allocation rules / Open access

Activity eligibility: standing credit dedup · case 01

Standing and new demand double-credit one lot.

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

ROOT CAUSE

Standing and new demand double-credit one lot.

VERIFIED REPAIR

Credit the union of active and standing lot identities.

Unsuccessful approach: The attempted repair uses sum(x["points"][i] for i in set(x["active"])&set(x["standing"])); 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 standing-credit-dedup: Credit the union of active and standing lot identities.

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 x["active"]+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 = [('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}, [5, 10, 15, 20, 25]), ('waiver round / standing overlaps activity', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['A'], '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}, [5, 10, 15, 20, 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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30])]
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))['standing-credit-dedup'], 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
standing overlaps activity	`8`	`5`	Failed
waiver round / standing overlaps activity	`8`	`5`	Failed
normal contract	`6`	`6`	Passed
waiver round	`6`	`6`	Passed
no waiver left	`6`	`6`	Passed
all withdrawn	`6`	`6`	Passed
replayed round	`6`	`6`	Passed
stage entry	`6`	`6`	Passed
small qualification	`6`	`6`	Passed
qualification revoked	`6`	`6`	Passed

SHA-256 / 720a849c1d982ce5ada1c91e07ac6a5c4046df9823bd8476a1da6df65ad788ca

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"] 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 = [('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}, [5, 10, 15, 20, 25]), ('waiver round / standing overlaps activity', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['A'], '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}, [5, 10, 15, 20, 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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30])]
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))['standing-credit-dedup'], 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
standing overlaps activity	`3`	`5`	Failed
waiver round / standing overlaps activity	`3`	`5`	Failed
normal contract	`0`	`6`	Failed
waiver round	`0`	`6`	Failed
no waiver left	`0`	`6`	Failed
all withdrawn	`0`	`6`	Failed
replayed round	`0`	`6`	Failed
stage entry	`0`	`6`	Failed
small qualification	`0`	`6`	Failed
qualification revoked	`0`	`6`	Failed

SHA-256 / a334bbf827b330b86e827c5c72b7c4e637952c3e3b6b434ba16345b939d9ea34

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 = [('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}, [5, 10, 15, 20, 25]), ('waiver round / standing overlaps activity', {'points': {'A': 3, 'B': 2, 'C': 1}, 'active': ['A', 'B'], 'withdrawn': ['B'], 'standing': ['A'], '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}, [5, 10, 15, 20, 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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30]), ('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}, [6, 12, 18, 24, 30])]
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))['standing-credit-dedup'], 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
standing overlaps activity	`5`	`5`	Passed
waiver round / standing overlaps activity	`5`	`5`	Passed
normal contract	`6`	`6`	Passed
waiver round	`6`	`6`	Passed
no waiver left	`6`	`6`	Passed
all withdrawn	`6`	`6`	Passed
replayed round	`6`	`6`	Passed
stage entry	`6`	`6`	Passed
small qualification	`6`	`6`	Passed
qualification revoked	`6`	`6`	Passed

SHA-256 / 9641f9cfbbd8269eae644b3059f10ca6aebf0304061f3b274d7ad0aa34fe04bf

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

Case digest / 40158f98099685f2e7625084061ae3b3e41ba40e12afb746b3eeda11493a4d18