FAILURE MAP
← Case archive

FA-56711 / Auction allocation rules / Open access

Soft close: extension budget · case 01

Extension count authorizes one extra postponement.

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

ROOT CAUSE

Extension count authorizes one extra postponement.

VERIFIED REPAIR

For extension budget, apply the stipulated decision x["count"]<x["max_count"].

Unsuccessful approach: The attempted repair uses x["count"]>0; the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

Toy soft-close auction scheduling uses integer ticks. Only eligible bids in the final extension window extend close, extending from the later existing deadline, with a fixed hard stop and a finite extension count. A batch carries submission and admission times separately. Named decision extension-budget: For extension budget, apply the stipulated decision x["count"]<x["max_count"].

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["close"]-x["window"]<=x["now"]<x["close"]
    v1 = max(x["close"],x["now"]+x["extension"])
    v2 = min(x["hard_stop"],x["close"]+x["extension"])
    v3 = x["close"]+x["extension"] if x["eligible"] and not x["withdrawn"] else x["close"]
    v4 = x["count"]<=x["max_count"]
    v5 = x["submitted"]<x["close"]
    v6 = min(x["hard_stop"],x["close"]+x["pause_length"]) if x["paused"] else x["close"]
    v7 = max(x["close"],x["last_bid"]+x["grace"])
    v8 = len(set(x["batch_times"])-set(x["seen_times"]))
    v9 = not x["paused"] and x["now"]>=x["close"]
    return {'extension-window':v0,'extension-base':v1,'hard-stop-cap':v2,'eligible-bid-extension':v3,'extension-budget':v4,'timely-submission':v5,'paused-deadline':v6,'quiet-period-close':v7,'new-batch-extensions':v8,'paused-close-event':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('no extensions left', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 3, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [False, False, False, False, False]), ('submission exactly closing / no extensions left', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 3, 'max_count': 3, 'eligible': True, 'submitted': 20, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [False, False, False, False, False]), ('normal contract', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('submission exactly closing', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 20, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('quiet grace extends close', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 19, 'grace': 4, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('early bid', {'close': 20, 'now': 10, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('at deadline', {'close': 20, 'now': 20, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('past deadline', {'close': 20, 'now': 21, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('ineligible bid', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': False, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('hard stop near', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 22, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [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', 'max_count', '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))['extension-budget'], 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
no extensions leftTrueFalseFailed
submission exactly closing / no extensions leftTrueFalseFailed
normal contractTrueTruePassed
submission exactly closingTrueTruePassed
quiet grace extends closeTrueTruePassed
early bidTrueTruePassed
at deadlineTrueTruePassed
past deadlineTrueTruePassed
ineligible bidTrueTruePassed
hard stop nearTrueTruePassed

SHA-256 / e8d221c4a084e95a8a09d309771c581468eed39a9d0994c3ef09419eec523745

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    v0 = x["close"]-x["window"]<=x["now"]<x["close"]
    v1 = max(x["close"],x["now"]+x["extension"])
    v2 = min(x["hard_stop"],x["close"]+x["extension"])
    v3 = x["close"]+x["extension"] if x["eligible"] and not x["withdrawn"] else x["close"]
    v4 = x["count"]>0
    v5 = x["submitted"]<x["close"]
    v6 = min(x["hard_stop"],x["close"]+x["pause_length"]) if x["paused"] else x["close"]
    v7 = max(x["close"],x["last_bid"]+x["grace"])
    v8 = len(set(x["batch_times"])-set(x["seen_times"]))
    v9 = not x["paused"] and x["now"]>=x["close"]
    return {'extension-window':v0,'extension-base':v1,'hard-stop-cap':v2,'eligible-bid-extension':v3,'extension-budget':v4,'timely-submission':v5,'paused-deadline':v6,'quiet-period-close':v7,'new-batch-extensions':v8,'paused-close-event':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('no extensions left', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 3, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [False, False, False, False, False]), ('submission exactly closing / no extensions left', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 3, 'max_count': 3, 'eligible': True, 'submitted': 20, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [False, False, False, False, False]), ('normal contract', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('submission exactly closing', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 20, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('quiet grace extends close', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 19, 'grace': 4, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('early bid', {'close': 20, 'now': 10, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('at deadline', {'close': 20, 'now': 20, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('past deadline', {'close': 20, 'now': 21, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('ineligible bid', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': False, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('hard stop near', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 22, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [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', 'max_count', '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))['extension-budget'], 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
no extensions leftTrueFalseFailed
submission exactly closing / no extensions leftTrueFalseFailed
normal contractTrueTruePassed
submission exactly closingTrueTruePassed
quiet grace extends closeTrueTruePassed
early bidTrueTruePassed
at deadlineTrueTruePassed
past deadlineTrueTruePassed
ineligible bidTrueTruePassed
hard stop nearTrueTruePassed

SHA-256 / 7fc8909716baa87a7455f602e5f41aa8de2cd0d1bce550332520db7a2e6e32aa

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    v0 = x["close"]-x["window"]<=x["now"]<x["close"]
    v1 = max(x["close"],x["now"]+x["extension"])
    v2 = min(x["hard_stop"],x["close"]+x["extension"])
    v3 = x["close"]+x["extension"] if x["eligible"] and not x["withdrawn"] else x["close"]
    v4 = x["count"]<x["max_count"]
    v5 = x["submitted"]<x["close"]
    v6 = min(x["hard_stop"],x["close"]+x["pause_length"]) if x["paused"] else x["close"]
    v7 = max(x["close"],x["last_bid"]+x["grace"])
    v8 = len(set(x["batch_times"])-set(x["seen_times"]))
    v9 = not x["paused"] and x["now"]>=x["close"]
    return {'extension-window':v0,'extension-base':v1,'hard-stop-cap':v2,'eligible-bid-extension':v3,'extension-budget':v4,'timely-submission':v5,'paused-deadline':v6,'quiet-period-close':v7,'new-batch-extensions':v8,'paused-close-event':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('no extensions left', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 3, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [False, False, False, False, False]), ('submission exactly closing / no extensions left', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 3, 'max_count': 3, 'eligible': True, 'submitted': 20, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [False, False, False, False, False]), ('normal contract', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('submission exactly closing', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 20, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('quiet grace extends close', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 19, 'grace': 4, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('early bid', {'close': 20, 'now': 10, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('at deadline', {'close': 20, 'now': 20, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('past deadline', {'close': 20, 'now': 21, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('ineligible bid', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 30, 'count': 1, 'max_count': 3, 'eligible': False, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [True, True, True, True, True]), ('hard stop near', {'close': 20, 'now': 18, 'window': 3, 'extension': 5, 'hard_stop': 22, 'count': 1, 'max_count': 3, 'eligible': True, 'submitted': 19, 'admitted': 21, 'paused': False, 'pause_length': 4, 'last_bid': 15, 'grace': 2, 'withdrawn': False, 'batch_times': [17, 19], 'seen_times': [17]}, [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', 'max_count', '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))['extension-budget'], 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
no extensions leftFalseFalsePassed
submission exactly closing / no extensions leftFalseFalsePassed
normal contractTrueTruePassed
submission exactly closingTrueTruePassed
quiet grace extends closeTrueTruePassed
early bidTrueTruePassed
at deadlineTrueTruePassed
past deadlineTrueTruePassed
ineligible bidTrueTruePassed
hard stop nearTrueTruePassed

SHA-256 / 818abb2c983f6de779a140b3ea6098878f2c3fcc5d80c943041c4ad22564d033

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

Case digest / 729c09d10e2db062fb66d88887109b718c08c314487f85bfd4700873c1923b1a