FA-57826 / Auction allocation rules / Open access
Award assignment: assignment provenance · case 01
Assignment overwrites original award provenance or reverses transfer parties.
ROOT CAUSE
Assignment overwrites original award provenance or reverses transfer parties.
VERIFIED REPAIR
For assignment provenance, apply the stipulated decision [x["new_id"],x["source_id"],x["original"],x["assignee"]].
Unsuccessful approach: The attempted repair uses [x["new_id"],x["source_id"],x["assignee"],x["original"]]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.
Case contract
A winning bidder assigns an award subject to buyer, seller and assignee consents. Assignment transfers only undelivered units and the matching unpaid obligation. Partial assignments preserve original provenance and do not release an original guarantee without novation. Named decision assignment-provenance: For assignment provenance, apply the stipulated decision [x["new_id"],x["source_id"],x["original"],x["assignee"]].
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["seller_consents"] and x["buyer_consents"] and x["assignee_accepts"]
v1 = min(x["assign"],max(0,x["award"]-x["delivered"]))
v2 = max(0,x["award"]-x["delivered"]-x["assign"])
v3 = min(x["assign"],max(0,x["award"]-x["paid_units"]))
v4 = 0 if x["novation"] and x["completed"] else x["guarantee"]
v5 = x["assignee"] in x["approved_assignees"] and x["assignee"] not in x["banned"]
v6 = 0 if x["assignee"]==x["original"] else x["assign"]
v7 = [x["new_id"],x["new_id"],x["assignee"],x["assignee"]]
v8 = x["new_id"]!=x["source_id"]
v9 = x["escrow"]>=x["required_escrow"]+x["assignment_fee"]
return {'three-party-consent':v0,'undelivered-assignment-cap':v1,'remaining-original-obligation':v2,'assigned-unpaid-units':v3,'guarantee-novation':v4,'assignee-admission':v5,'self-assignment-noop':v6,'assignment-provenance':v7,'distinct-assignment-id':v8,'escrow-and-assignment-fee':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('approved banned assignee', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['b'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('unapproved unbanned assignee', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': [], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('fee exceeds residual escrow', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 9, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('all consents', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': True, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('seller refuses', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': False, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('buyer refuses', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': False, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('overassignment', {'award': 8, 'delivered': 3, 'assign': 7, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('all delivered', {'award': 8, 'delivered': 8, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']])]
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))['assignment-provenance'], 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 | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| approved banned assignee | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| unapproved unbanned assignee | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| fee exceeds residual escrow | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| all consents | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| seller refuses | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| buyer refuses | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| overassignment | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
| all delivered | ['w2', 'w2', 'b', 'b'] | ['w2', 'w1', 'a', 'b'] | Failed |
SHA-256 / 0b9ee5aef309dfe7dc55bae0d37ffb234618dd8f2d7317dcb0a13c250bf86432
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = x["seller_consents"] and x["buyer_consents"] and x["assignee_accepts"]
v1 = min(x["assign"],max(0,x["award"]-x["delivered"]))
v2 = max(0,x["award"]-x["delivered"]-x["assign"])
v3 = min(x["assign"],max(0,x["award"]-x["paid_units"]))
v4 = 0 if x["novation"] and x["completed"] else x["guarantee"]
v5 = x["assignee"] in x["approved_assignees"] and x["assignee"] not in x["banned"]
v6 = 0 if x["assignee"]==x["original"] else x["assign"]
v7 = [x["new_id"],x["source_id"],x["assignee"],x["original"]]
v8 = x["new_id"]!=x["source_id"]
v9 = x["escrow"]>=x["required_escrow"]+x["assignment_fee"]
return {'three-party-consent':v0,'undelivered-assignment-cap':v1,'remaining-original-obligation':v2,'assigned-unpaid-units':v3,'guarantee-novation':v4,'assignee-admission':v5,'self-assignment-noop':v6,'assignment-provenance':v7,'distinct-assignment-id':v8,'escrow-and-assignment-fee':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('approved banned assignee', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['b'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('unapproved unbanned assignee', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': [], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('fee exceeds residual escrow', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 9, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('all consents', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': True, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('seller refuses', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': False, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('buyer refuses', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': False, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('overassignment', {'award': 8, 'delivered': 3, 'assign': 7, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('all delivered', {'award': 8, 'delivered': 8, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']])]
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))['assignment-provenance'], 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 | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| approved banned assignee | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| unapproved unbanned assignee | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| fee exceeds residual escrow | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| all consents | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| seller refuses | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| buyer refuses | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| overassignment | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
| all delivered | ['w2', 'w1', 'b', 'a'] | ['w2', 'w1', 'a', 'b'] | Failed |
SHA-256 / 24ec2771eea5e9808f676efa5e731f054aa0d2c38db4db8c714ab67a8e4ab50a
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
v0 = x["seller_consents"] and x["buyer_consents"] and x["assignee_accepts"]
v1 = min(x["assign"],max(0,x["award"]-x["delivered"]))
v2 = max(0,x["award"]-x["delivered"]-x["assign"])
v3 = min(x["assign"],max(0,x["award"]-x["paid_units"]))
v4 = 0 if x["novation"] and x["completed"] else x["guarantee"]
v5 = x["assignee"] in x["approved_assignees"] and x["assignee"] not in x["banned"]
v6 = 0 if x["assignee"]==x["original"] else x["assign"]
v7 = [x["new_id"],x["source_id"],x["original"],x["assignee"]]
v8 = x["new_id"]!=x["source_id"]
v9 = x["escrow"]>=x["required_escrow"]+x["assignment_fee"]
return {'three-party-consent':v0,'undelivered-assignment-cap':v1,'remaining-original-obligation':v2,'assigned-unpaid-units':v3,'guarantee-novation':v4,'assignee-admission':v5,'self-assignment-noop':v6,'assignment-provenance':v7,'distinct-assignment-id':v8,'escrow-and-assignment-fee':v9}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('approved banned assignee', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['b'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('unapproved unbanned assignee', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': [], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('fee exceeds residual escrow', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 9, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('all consents', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': True, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('seller refuses', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': False, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('buyer refuses', {'award': 8, 'delivered': 3, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': False, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('overassignment', {'award': 8, 'delivered': 3, 'assign': 7, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']]), ('all delivered', {'award': 8, 'delivered': 8, 'assign': 4, 'original': 'a', 'assignee': 'b', 'seller_consents': True, 'buyer_consents': True, 'assignee_accepts': False, 'paid_units': 2, 'guarantee': 10, 'novation': False, 'approved_assignees': ['b'], 'banned': ['c'], 'assignments': [['b', 2], ['c', 1]], 'source_id': 'w1', 'new_id': 'w2', 'completed': False, 'escrow': 12, 'required_escrow': 8, 'assignment_fee': 2}, [['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b'], ['w2', 'w1', 'a', 'b']])]
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))['assignment-provenance'], 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 | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| approved banned assignee | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| unapproved unbanned assignee | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| fee exceeds residual escrow | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| all consents | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| seller refuses | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| buyer refuses | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| overassignment | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
| all delivered | ['w2', 'w1', 'a', 'b'] | ['w2', 'w1', 'a', 'b'] | Passed |
SHA-256 / 5a844de8fa7a2666c56bef722f9f207061e3548adca2252516c53fcc9f43e426
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:20.792193+00:00.
Case digest / 349ed4751771638ca3cb0db46843c04a345546fa97cea7d1cdcbbbca6d42d8b8