FA-57506 / Auction allocation rules / Open access
Result publication: appeal finality label · case 01
Appeal result labels never reflect final resolution.
ROOT CAUSE
Appeal result labels never reflect final resolution.
VERIFIED REPAIR
For appeal finality label, apply the stipulated decision {a:("provisional" if a in x["appealed"] and a not in x["finalized"] else "final") for a in x["ids"]}.
Unsuccessful approach: The attempted repair uses {a:("provisional" if a in x["appealed"] else "final") for a in x["ids"]}; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
Auction result publication assembles accepted award records, provisional appeal markers and correction versions. An original award record and its correction share one award identifier. Readers request a publication edition; drafts and withdrawn results must not appear. Named decision appeal-finality-label: For appeal finality label, apply the stipulated decision {a:("provisional" if a in x["appealed"] and a not in x["finalized"] else "final") for a in x["ids"]}.
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 = {a:max(v for b,v in zip(x["ids"],x["versions"]) if b==a) for a in x["ids"]}
v1 = [a for a,d in zip(x["ids"],x["draft"]) if not d]
v2 = [a for a in x["ids"] if a not in x["withdrawn"]]
v3 = {a:"final" for a in x["ids"]}
v4 = x["edition"] in x["published_editions"]
v5 = {a:x["quantities"][max((i for i,b in enumerate(x["ids"]) if b==a),key=lambda i:x["versions"][i])] for a in x["ids"]}
v6 = [a for a in dict.fromkeys(x["ids"]) if max(v for b,v in zip(x["ids"],x["versions"]) if b==a)>x["notice_ack_version"].get(a,0)]
v7 = x["owners"] if x["disclose_owner"] else [None]*len(x["owners"])
v8 = [a for a,v in zip(x["ids"],x["versions"]) if v<=x["edition"]]
v9 = [a for a,l in zip(x["ids"],x["lot_ids"]) if l in x["eligible_lots"]]
return {'latest-award-revision':v0,'draft-result-filter':v1,'withdrawn-result-tombstone':v2,'appeal-finality-label':v3,'edition-existence':v4,'correction-quantity-replacement':v5,'correction-notice-edition':v6,'owner-redaction':v7,'edition-revision-cutoff':v8,'lot-publication-scope':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, False, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all final', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['a', 'b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}]), ('all final / all published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, False, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['a', 'b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}]), ('no withdrawal', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': [], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('first edition', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 1, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('edition published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1, 2], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('owner disclosure', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': True, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('no acknowledgments', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': [], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all lots eligible', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1', 'L2'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}])]
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))['appeal-finality-label'], 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 | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| all published | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| all final | {'a': 'final', 'b': 'final'} | {'a': 'final', 'b': 'final'} | Passed |
| all final / all published | {'a': 'final', 'b': 'final'} | {'a': 'final', 'b': 'final'} | Passed |
| no withdrawal | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| first edition | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| edition published | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| owner disclosure | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| no acknowledgments | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
| all lots eligible | {'a': 'final', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Failed |
SHA-256 / d06a684432db08fd4b4d5ae359834498d7dc5ae9204b584f26b9eb86ca18bfea
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = {a:max(v for b,v in zip(x["ids"],x["versions"]) if b==a) for a in x["ids"]}
v1 = [a for a,d in zip(x["ids"],x["draft"]) if not d]
v2 = [a for a in x["ids"] if a not in x["withdrawn"]]
v3 = {a:("provisional" if a in x["appealed"] else "final") for a in x["ids"]}
v4 = x["edition"] in x["published_editions"]
v5 = {a:x["quantities"][max((i for i,b in enumerate(x["ids"]) if b==a),key=lambda i:x["versions"][i])] for a in x["ids"]}
v6 = [a for a in dict.fromkeys(x["ids"]) if max(v for b,v in zip(x["ids"],x["versions"]) if b==a)>x["notice_ack_version"].get(a,0)]
v7 = x["owners"] if x["disclose_owner"] else [None]*len(x["owners"])
v8 = [a for a,v in zip(x["ids"],x["versions"]) if v<=x["edition"]]
v9 = [a for a,l in zip(x["ids"],x["lot_ids"]) if l in x["eligible_lots"]]
return {'latest-award-revision':v0,'draft-result-filter':v1,'withdrawn-result-tombstone':v2,'appeal-finality-label':v3,'edition-existence':v4,'correction-quantity-replacement':v5,'correction-notice-edition':v6,'owner-redaction':v7,'edition-revision-cutoff':v8,'lot-publication-scope':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, False, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all final', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['a', 'b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}]), ('all final / all published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, False, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['a', 'b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}]), ('no withdrawal', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': [], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('first edition', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 1, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('edition published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1, 2], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('owner disclosure', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': True, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('no acknowledgments', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': [], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all lots eligible', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1', 'L2'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}])]
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))['appeal-finality-label'], 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 | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| all published | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| all final | {'a': 'provisional', 'b': 'final'} | {'a': 'final', 'b': 'final'} | Failed |
| all final / all published | {'a': 'provisional', 'b': 'final'} | {'a': 'final', 'b': 'final'} | Failed |
| no withdrawal | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| first edition | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| edition published | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| owner disclosure | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| no acknowledgments | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| all lots eligible | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
SHA-256 / 9db0693d3586f30dad785b4660f396c29cc0cb6a1eb614e9586db10085ac0439
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = {a:max(v for b,v in zip(x["ids"],x["versions"]) if b==a) for a in x["ids"]}
v1 = [a for a,d in zip(x["ids"],x["draft"]) if not d]
v2 = [a for a in x["ids"] if a not in x["withdrawn"]]
v3 = {a:("provisional" if a in x["appealed"] and a not in x["finalized"] else "final") for a in x["ids"]}
v4 = x["edition"] in x["published_editions"]
v5 = {a:x["quantities"][max((i for i,b in enumerate(x["ids"]) if b==a),key=lambda i:x["versions"][i])] for a in x["ids"]}
v6 = [a for a in dict.fromkeys(x["ids"]) if max(v for b,v in zip(x["ids"],x["versions"]) if b==a)>x["notice_ack_version"].get(a,0)]
v7 = x["owners"] if x["disclose_owner"] else [None]*len(x["owners"])
v8 = [a for a,v in zip(x["ids"],x["versions"]) if v<=x["edition"]]
v9 = [a for a,l in zip(x["ids"],x["lot_ids"]) if l in x["eligible_lots"]]
return {'latest-award-revision':v0,'draft-result-filter':v1,'withdrawn-result-tombstone':v2,'appeal-finality-label':v3,'edition-existence':v4,'correction-quantity-replacement':v5,'correction-notice-edition':v6,'owner-redaction':v7,'edition-revision-cutoff':v8,'lot-publication-scope':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, False, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all final', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['a', 'b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}]), ('all final / all published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, False, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['a', 'b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}, {'a': 'final', 'b': 'final'}]), ('no withdrawal', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': [], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('first edition', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 1, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('edition published', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1, 2], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('owner disclosure', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': True, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('no acknowledgments', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': [], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}]), ('all lots eligible', {'ids': ['a', 'b', 'a'], 'versions': [1, 1, 2], 'quantities': [3, 4, 2], 'draft': [False, True, False], 'withdrawn': ['b'], 'appealed': ['a'], 'finalized': ['b'], 'edition': 2, 'published_editions': [1], 'correction_of': {'a': 'a'}, 'announcements': ['a', 'b'], 'acknowledged': ['a'], 'disclose_owner': False, 'owners': ['x', 'y', 'x'], 'lot_ids': ['L1', 'L2', 'L1'], 'eligible_lots': ['L1', 'L2'], 'notice_ack_version': {'a': 1, 'b': 1}}, [{'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}, {'a': 'provisional', 'b': 'final'}])]
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))['appeal-finality-label'], 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 | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| all published | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| all final | {'a': 'final', 'b': 'final'} | {'a': 'final', 'b': 'final'} | Passed |
| all final / all published | {'a': 'final', 'b': 'final'} | {'a': 'final', 'b': 'final'} | Passed |
| no withdrawal | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| first edition | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| edition published | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| owner disclosure | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| no acknowledgments | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
| all lots eligible | {'a': 'provisional', 'b': 'final'} | {'a': 'provisional', 'b': 'final'} | Passed |
SHA-256 / 556a81f0ee9b4872cefa82c96f86a363ebec3e45323aeb349ba3fa0049595adc
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:17.472996+00:00.
Case digest / 57db545c3397e59111bffa0a67570c80479cbc2e5c0a4014c9ec898a83447df2