FAILURE MAP
← Case archive

FA-57291 / Auction allocation rules / Open access

Bid disclosure: self view scope · case 01

A bidder self-view includes other participants offers.

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

ROOT CAUSE

A bidder self-view includes other participants offers.

VERIFIED REPAIR

For self view scope, apply the stipulated decision [r for r in x["records"] if r[0]==x["viewer"]].

Unsuccessful approach: The attempted repair uses [r for r in x["records"] if r[0] in x["consenting"]]; 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 self-view-scope: For self view scope, apply the stipulated decision [r for r in x["records"] if r[0]==x["viewer"]].

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["records"]
    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["appeal_open"] or 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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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']}, [[], [], [], [], []]), ('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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['a', 5, 30]]]), ('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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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']}, [[['a', 2, 7], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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))['self-view-scope'], 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
normal contract[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
closed[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
outsider view[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][]Failed
all consent[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
auditor view[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
threshold met[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
embargo active[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
no appeal[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
all revoked[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed

SHA-256 / da17b21dfd4a6f4cb28aa0e64fd2c458736bb9b767b0aef1510aa5486ae79f55

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] in x["consenting"]]
    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["appeal_open"] or 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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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']}, [[], [], [], [], []]), ('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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['a', 5, 30]]]), ('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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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']}, [[['a', 2, 7], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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))['self-view-scope'], 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
normal contract[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
closed[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
outsider view[['a', 2, 7], ['a', 1, 6]][]Failed
all consent[['a', 2, 7], ['b', 3, 9], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Failed
auditor view[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
threshold met[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
embargo active[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
no appeal[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
all revoked[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed

SHA-256 / 0a57e000b1421c6c8f7107ebd3e0eb0f1758266605304e8b04902d0511a6152d

3 / The verified repair

Exit 0
"""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["appeal_open"] or 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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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']}, [[], [], [], [], []]), ('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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['a', 5, 30]]]), ('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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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']}, [[['a', 2, 7], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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], ['a', 1, 6]], [['a', 4, 14], ['a', 2, 12]], [['a', 6, 21], ['a', 3, 18]], [['a', 8, 28], ['a', 4, 24]], [['a', 10, 35], ['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))['self-view-scope'], 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
normal contract[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
closed[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
outsider view[][]Passed
all consent[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
auditor view[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
threshold met[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
embargo active[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
no appeal[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed
all revoked[['a', 2, 7], ['a', 1, 6]][['a', 2, 7], ['a', 1, 6]]Passed

SHA-256 / 79c07957a69d9ab01baab7f0f4d6cb7bb79a50b52069f53c4f8b606a43286e6a

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

Case digest / 39624be89f6f66e980b23d3f15cbaaf06bb6077c197dd7a58dbc345dc3e3498a