FA-57071 / Auction allocation rules / Open access
Consortium bid: affiliate rival exclusion · case 01
Affiliate conflicts of a nonrepresentative member escape review.
ROOT CAUSE
Affiliate conflicts of a nonrepresentative member escape review.
VERIFIED REPAIR
For affiliate rival exclusion, apply the stipulated decision not any(set(x["affiliates"].get(m,[]))&set(x["rivals"]) for m in x["members"]).
Unsuccessful approach: The attempted repair uses not set(x["affiliates"].get(x["representative"],[]))&set(x["rivals"]); the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
A consortium submits one joint bid with named members and a designated representative. Member approvals are scope-specific. Award shares are literal integer units, member exits cannot strand assigned units, and affiliate conflicts are checked against both consortiums. Named decision affiliate-rival-exclusion: For affiliate rival exclusion, apply the stipulated decision not any(set(x["affiliates"].get(m,[]))&set(x["rivals"]) for m in x["members"]).
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["representative"] in x["members"]
v1 = set(x["members"])<=set(x["signers"])
v2 = all(set(x["lots"])<=set(x["approved_lots"].get(m,[])) for m in x["members"])
v3 = sum(x["shares"].get(m,0) for m in x["members"])==x["award"]
v4 = all(x["shares"].get(m,0)==0 for m in x["exits"])
v5 = x["replacement"] in x["approved_members"] and x["replacement"] not in x["members"]
v6 = not set(x["members"])&set(x["rivals"])
v7 = {m:x["award"] if x["joint"] else x["shares"].get(m,0) for m in x["members"]}
v8 = all(x["shares"].get(m,0)<=x["member_caps"].get(m,0) for m in x["members"])
v9 = not x["dissolved"] and all(x["payments"].get(m,0)>=x["required"].get(m,0) for m in x["members"])
return {'representative-membership':v0,'unanimous-bid-signature':v1,'joint-lot-mandate':v2,'share-conservation':v3,'exit-assignment-guard':v4,'replacement-member-approval':v5,'affiliate-rival-exclusion':v6,'joint-exposure':v7,'member-cap-certification':v8,'dissolution-settlement':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('member not signer', {'members': ['a', 'b'], 'representative': 'b', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('outsider signs', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a', 'c'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('overassigned award', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 4, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('existing replacement', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'a', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('all signed', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a', 'b'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('outsider representative', {'members': ['a', 'b'], 'representative': 'c', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('single lot mandate', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('unallocated award', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 6, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False])]
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))['affiliate-rival-exclusion'], 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 | True | False | Failed |
| member not signer | True | False | Failed |
| outsider signs | True | False | Failed |
| overassigned award | True | False | Failed |
| existing replacement | True | False | Failed |
| all signed | True | False | Failed |
| outsider representative | True | False | Failed |
| single lot mandate | True | False | Failed |
| unallocated award | True | False | Failed |
SHA-256 / b950bc698552b4211f61139ede36ba07256dc1ed2c679a966cf7a5b58fe491af
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = x["representative"] in x["members"]
v1 = set(x["members"])<=set(x["signers"])
v2 = all(set(x["lots"])<=set(x["approved_lots"].get(m,[])) for m in x["members"])
v3 = sum(x["shares"].get(m,0) for m in x["members"])==x["award"]
v4 = all(x["shares"].get(m,0)==0 for m in x["exits"])
v5 = x["replacement"] in x["approved_members"] and x["replacement"] not in x["members"]
v6 = not set(x["affiliates"].get(x["representative"],[]))&set(x["rivals"])
v7 = {m:x["award"] if x["joint"] else x["shares"].get(m,0) for m in x["members"]}
v8 = all(x["shares"].get(m,0)<=x["member_caps"].get(m,0) for m in x["members"])
v9 = not x["dissolved"] and all(x["payments"].get(m,0)>=x["required"].get(m,0) for m in x["members"])
return {'representative-membership':v0,'unanimous-bid-signature':v1,'joint-lot-mandate':v2,'share-conservation':v3,'exit-assignment-guard':v4,'replacement-member-approval':v5,'affiliate-rival-exclusion':v6,'joint-exposure':v7,'member-cap-certification':v8,'dissolution-settlement':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('member not signer', {'members': ['a', 'b'], 'representative': 'b', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('outsider signs', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a', 'c'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('overassigned award', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 4, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('existing replacement', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'a', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('all signed', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a', 'b'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('outsider representative', {'members': ['a', 'b'], 'representative': 'c', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('single lot mandate', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('unallocated award', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 6, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False])]
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))['affiliate-rival-exclusion'], 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 | True | False | Failed |
| member not signer | False | False | Passed |
| outsider signs | True | False | Failed |
| overassigned award | True | False | Failed |
| existing replacement | True | False | Failed |
| all signed | True | False | Failed |
| outsider representative | True | False | Failed |
| single lot mandate | True | False | Failed |
| unallocated award | True | False | Failed |
SHA-256 / 2eb2f56af239d6846c9414519b34112603ac867b905a85040ad44109efde6b9c
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = x["representative"] in x["members"]
v1 = set(x["members"])<=set(x["signers"])
v2 = all(set(x["lots"])<=set(x["approved_lots"].get(m,[])) for m in x["members"])
v3 = sum(x["shares"].get(m,0) for m in x["members"])==x["award"]
v4 = all(x["shares"].get(m,0)==0 for m in x["exits"])
v5 = x["replacement"] in x["approved_members"] and x["replacement"] not in x["members"]
v6 = not any(set(x["affiliates"].get(m,[]))&set(x["rivals"]) for m in x["members"])
v7 = {m:x["award"] if x["joint"] else x["shares"].get(m,0) for m in x["members"]}
v8 = all(x["shares"].get(m,0)<=x["member_caps"].get(m,0) for m in x["members"])
v9 = not x["dissolved"] and all(x["payments"].get(m,0)>=x["required"].get(m,0) for m in x["members"])
return {'representative-membership':v0,'unanimous-bid-signature':v1,'joint-lot-mandate':v2,'share-conservation':v3,'exit-assignment-guard':v4,'replacement-member-approval':v5,'affiliate-rival-exclusion':v6,'joint-exposure':v7,'member-cap-certification':v8,'dissolution-settlement':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('member not signer', {'members': ['a', 'b'], 'representative': 'b', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('outsider signs', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a', 'c'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('overassigned award', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 4, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('existing replacement', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'a', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('all signed', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a', 'b'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('outsider representative', {'members': ['a', 'b'], 'representative': 'c', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('single lot mandate', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1'], 'shares': {'a': 3, 'b': 2}, 'award': 5, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False]), ('unallocated award', {'members': ['a', 'b'], 'representative': 'a', 'signers': ['a'], 'approved_lots': {'a': ['L1', 'L2'], 'b': ['L1']}, 'lots': ['L1', 'L2'], 'shares': {'a': 3, 'b': 2}, 'award': 6, 'exits': ['b'], 'replacement': 'c', 'approved_members': ['a', 'b'], 'affiliates': {'a': ['x'], 'b': ['y']}, 'rivals': ['y'], 'joint': True, 'member_caps': {'a': 4, 'b': 3}, 'payments': {'a': 3, 'b': 1}, 'required': {'a': 3, 'b': 2}, 'dissolved': False}, [False, False, False, False, False])]
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))['affiliate-rival-exclusion'], 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 | False | False | Passed |
| member not signer | False | False | Passed |
| outsider signs | False | False | Passed |
| overassigned award | False | False | Passed |
| existing replacement | False | False | Passed |
| all signed | False | False | Passed |
| outsider representative | False | False | Passed |
| single lot mandate | False | False | Passed |
| unallocated award | False | False | Passed |
SHA-256 / dcf470fb4355c859d015b3ff82fe5a722735b6732f32dea4179c388a87d25964
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:13.119214+00:00.
Case digest / 3f5fb61c366d4ee5d8a5b5561a0677f904729ab43918cc69ef93a0db01f34e0b