FA-57336 / Auction allocation rules / Open access

Bid disclosure: appeal audit retention · case 01

Bid evidence is purged while an auction appeal is open.

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

ROOT CAUSE

Bid evidence is purged while an auction appeal is open.

THE FAILURE

Bid evidence is purged while an auction appeal is open.

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

Case contract

Toy auction disclosure views distinguish bidder self-view, public preclose statistics, anonymized postclose results, and auditor-only linkage. List records have fields [bidder, quantity, value]; suppression thresholds count distinct bidders, not submitted records. Named decision appeal-audit-retention: For appeal audit retention, apply the stipulated decision x["records"] if x["appeal_open"] or x["auditor"] else [].

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 = [r for r in x["records"] if r[0]==x["viewer"]]
    v1 = [r[2] for r in x["records"]] if x["closed"] else []
    v2 = len({r[0] for r in x["records"]})>=x["threshold"]
    v3 = [[x["aliases"].get(r[0],"anonymous"),r[1]] for r in x["records"]]
    v4 = x["aliases"] if x["auditor"] else {}
    v5 = [r[0] for r in x["records"] if r[0] in x["consenting"] and r[0] not in x["revoked"]]
    v6 = sum(r[1] for r in x["records"] if r[0] not in x["withdrawn"])
    v7 = [{k:r[i] for k,i in (("quantity",1),("value",2)) if k in x["published_fields"]} for r in x["records"]]
    v8 = x["winner"] if x["closed"] and not x["embargo"] else None
    v9 = x["records"] if x["auditor"] else []
    return {'self-view-scope':v0,'preclose-value-embargo':v1,'distinct-bidder-suppression':v2,'alias-result-view':v3,'auditor-linkage':v4,'consent-qualified-disclosure':v5,'withdrawn-demand-statistic':v6,'field-projection':v7,'embargo-final-result':v8,'appeal-audit-retention':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('closed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[], [], [], [], []]), ('closed / no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[], [], [], [], []]), ('auditor view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': True, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('outsider view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'z', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('threshold met', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 2, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('all consent', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a', 'b'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('embargo active', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': True, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('all revoked', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a', 'b']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 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))['appeal-audit-retention'], 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', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed
closed	`[]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed
no appeal	`[]`	`[]`	Passed
closed / no appeal	`[]`	`[]`	Passed
auditor view	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
outsider view	`[]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed
threshold met	`[]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed
all consent	`[]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed
embargo active	`[]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed
all revoked	`[]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Failed

SHA-256 / 327c6e5239ba8ddf7f0b2dc84b316f34a0625b653ce8d0803ae5d40c5a31ff38

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    v0 = [r for r in x["records"] if r[0]==x["viewer"]]
    v1 = [r[2] for r in x["records"]] if x["closed"] else []
    v2 = len({r[0] for r in x["records"]})>=x["threshold"]
    v3 = [[x["aliases"].get(r[0],"anonymous"),r[1]] for r in x["records"]]
    v4 = x["aliases"] if x["auditor"] else {}
    v5 = [r[0] for r in x["records"] if r[0] in x["consenting"] and r[0] not in x["revoked"]]
    v6 = sum(r[1] for r in x["records"] if r[0] not in x["withdrawn"])
    v7 = [{k:r[i] for k,i in (("quantity",1),("value",2)) if k in x["published_fields"]} for r in x["records"]]
    v8 = x["winner"] if x["closed"] and not x["embargo"] else None
    v9 = x["records"]
    return {'self-view-scope':v0,'preclose-value-embargo':v1,'distinct-bidder-suppression':v2,'alias-result-view':v3,'auditor-linkage':v4,'consent-qualified-disclosure':v5,'withdrawn-demand-statistic':v6,'field-projection':v7,'embargo-final-result':v8,'appeal-audit-retention':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('closed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[], [], [], [], []]), ('closed / no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[], [], [], [], []]), ('auditor view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': True, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('outsider view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'z', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('threshold met', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 2, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('all consent', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a', 'b'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('embargo active', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': True, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 30]]]), ('all revoked', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a', 'b']}, [[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], [['a', 4, 14], ['b', 6, 18], ['a', 2, 12]], [['a', 6, 21], ['b', 9, 27], ['a', 3, 18]], [['a', 8, 28], ['b', 12, 36], ['a', 4, 24]], [['a', 10, 35], ['b', 15, 45], ['a', 5, 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))['appeal-audit-retention'], 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', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
closed	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
no appeal	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[]`	Failed
closed / no appeal	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[]`	Failed
auditor view	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
outsider view	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
threshold met	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
all consent	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
embargo active	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed
all revoked	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	`[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]]`	Passed

SHA-256 / 03ca90a6f28e4bf910eaa1e611900bc212008531cb30e6f53760df3e0f8932dc

HELD IN THE MEMBER ARCHIVE

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

This mechanism has 10 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:15.751396+00:00.

Case digest / 92dd03ff4e41904586584d8b57f031b54a807e4ca88884280063557ad52ab67f