FAILURE MAP
← Case archive

FA-57206 / Auction allocation rules / Open access

Bilateral confirmation: partial fill reservation · case 01

Trade hold release uses proposed size instead of actual held units.

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

ROOT CAUSE

Trade hold release uses proposed size instead of actual held units.

VERIFIED REPAIR

For partial fill reservation, apply the stipulated decision max(0,x["held"]-x["fill"]).

Unsuccessful approach: The attempted repair uses max(0,x["proposed"]-x["fill"]); the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

After an auction allocation, buyer and seller confirmations reserve a specific trade version. A trade is final only when both parties confirm the same proposed version; rejection releases reservations but does not erase executed trades. Match identity differs from party identity. Named decision partial-fill-reservation: For partial fill reservation, apply the stipulated decision max(0,x["held"]-x["fill"]).

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["buyer_accept"] and x["seller_accept"]
    v1 = x["buyer_version"]==x["seller_version"]==x["version"]
    v2 = x["held"] if x["rejected"] and not x["executed"] else 0
    v3 = x["held"]
    v4 = x["buyer_signer"]==x["buyer"] and x["buyer_accept"]
    v5 = (x["seller_signer"]==x["seller"] or x["seller_signer"] in x["seller_delegates"]) and x["seller_accept"]
    v6 = 0 if x["match_id"]==x["last_match"] else x["fill"]
    v7 = x["reversed"] and x["executed"]
    v8 = x["held"] if x["timeout"] and not x["executed"] else 0
    v9 = [m for m in x["matched"] if m not in x["reported"]]
    return {'both-party-confirmation':v0,'same-proposal-version':v1,'rejection-release':v2,'partial-fill-reservation':v3,'buyer-confirmation-author':v4,'seller-delegate-authorization':v5,'execution-match-replay':v6,'reversal-execution-guard':v7,'timeout-release-guard':v8,'unreported-match-output':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('both current', {'version': 2, 'buyer_version': 2, 'seller_version': 2, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('overheld trade', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 8, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [6, 12, 18, 24, 30]), ('both current / overheld trade', {'version': 2, 'buyer_version': 2, 'seller_version': 2, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 8, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [6, 12, 18, 24, 30]), ('buyer rejects', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': False, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('seller rejects', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': False, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('trade rejected', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': True, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('already executed', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': True, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('wrong buyer signer', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 's', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('wrong seller signer', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 'b', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('match replay', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm1', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15])]
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))['partial-fill-reservation'], 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 contract53Failed
both current53Failed
overheld trade86Failed
both current / overheld trade86Failed
buyer rejects53Failed
seller rejects53Failed
trade rejected53Failed
already executed53Failed
wrong buyer signer53Failed
wrong seller signer53Failed
match replay53Failed

SHA-256 / f06f09cb644f05a767acae56958b4d9850914606106f958516586a1977efa332

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    v0 = x["buyer_accept"] and x["seller_accept"]
    v1 = x["buyer_version"]==x["seller_version"]==x["version"]
    v2 = x["held"] if x["rejected"] and not x["executed"] else 0
    v3 = max(0,x["proposed"]-x["fill"])
    v4 = x["buyer_signer"]==x["buyer"] and x["buyer_accept"]
    v5 = (x["seller_signer"]==x["seller"] or x["seller_signer"] in x["seller_delegates"]) and x["seller_accept"]
    v6 = 0 if x["match_id"]==x["last_match"] else x["fill"]
    v7 = x["reversed"] and x["executed"]
    v8 = x["held"] if x["timeout"] and not x["executed"] else 0
    v9 = [m for m in x["matched"] if m not in x["reported"]]
    return {'both-party-confirmation':v0,'same-proposal-version':v1,'rejection-release':v2,'partial-fill-reservation':v3,'buyer-confirmation-author':v4,'seller-delegate-authorization':v5,'execution-match-replay':v6,'reversal-execution-guard':v7,'timeout-release-guard':v8,'unreported-match-output':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('both current', {'version': 2, 'buyer_version': 2, 'seller_version': 2, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('overheld trade', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 8, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [6, 12, 18, 24, 30]), ('both current / overheld trade', {'version': 2, 'buyer_version': 2, 'seller_version': 2, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 8, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [6, 12, 18, 24, 30]), ('buyer rejects', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': False, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('seller rejects', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': False, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('trade rejected', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': True, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('already executed', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': True, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('wrong buyer signer', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 's', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('wrong seller signer', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 'b', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('match replay', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm1', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15])]
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))['partial-fill-reservation'], 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 contract33Passed
both current33Passed
overheld trade36Failed
both current / overheld trade36Failed
buyer rejects33Passed
seller rejects33Passed
trade rejected33Passed
already executed33Passed
wrong buyer signer33Passed
wrong seller signer33Passed
match replay33Passed

SHA-256 / 42ef128fb76e0cd36cb0fc9f40508eeb7fedde9c77b2c37c37a7f04b1f705aef

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    v0 = x["buyer_accept"] and x["seller_accept"]
    v1 = x["buyer_version"]==x["seller_version"]==x["version"]
    v2 = x["held"] if x["rejected"] and not x["executed"] else 0
    v3 = max(0,x["held"]-x["fill"])
    v4 = x["buyer_signer"]==x["buyer"] and x["buyer_accept"]
    v5 = (x["seller_signer"]==x["seller"] or x["seller_signer"] in x["seller_delegates"]) and x["seller_accept"]
    v6 = 0 if x["match_id"]==x["last_match"] else x["fill"]
    v7 = x["reversed"] and x["executed"]
    v8 = x["held"] if x["timeout"] and not x["executed"] else 0
    v9 = [m for m in x["matched"] if m not in x["reported"]]
    return {'both-party-confirmation':v0,'same-proposal-version':v1,'rejection-release':v2,'partial-fill-reservation':v3,'buyer-confirmation-author':v4,'seller-delegate-authorization':v5,'execution-match-replay':v6,'reversal-execution-guard':v7,'timeout-release-guard':v8,'unreported-match-output':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('both current', {'version': 2, 'buyer_version': 2, 'seller_version': 2, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('overheld trade', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 8, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [6, 12, 18, 24, 30]), ('both current / overheld trade', {'version': 2, 'buyer_version': 2, 'seller_version': 2, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 8, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [6, 12, 18, 24, 30]), ('buyer rejects', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': False, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('seller rejects', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': False, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('trade rejected', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': True, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('already executed', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': True, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('wrong buyer signer', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 's', 'seller_signer': 's', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('wrong seller signer', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 'b', 'match_id': 'm2', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15]), ('match replay', {'version': 2, 'buyer_version': 2, 'seller_version': 1, 'buyer_accept': True, 'seller_accept': True, 'rejected': False, 'executed': False, 'proposed': 5, 'held': 5, 'fill': 2, 'buyer': 'b', 'seller': 's', 'buyer_signer': 'b', 'seller_signer': 's', 'match_id': 'm1', 'last_match': 'm1', 'reversed': False, 'timeout': False, 'reported': ['m1'], 'matched': ['m1', 'm2'], 'seller_delegates': ['agent']}, [3, 6, 9, 12, 15])]
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))['partial-fill-reservation'], 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 contract33Passed
both current33Passed
overheld trade66Passed
both current / overheld trade66Passed
buyer rejects33Passed
seller rejects33Passed
trade rejected33Passed
already executed33Passed
wrong buyer signer33Passed
wrong seller signer33Passed
match replay33Passed

SHA-256 / cab2795eed8e4e79f76c6ece512c8068ac3e3c2389c869dc2ab5e195c23da2a2

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

Case digest / 23b08a8d9f133b4dd495cc051f17a054c75fccf07eace6e7bc0a6a0bd2d09046