FA-57356 / Auction allocation rules / Open access

Contingent awards: release certificate revision · case 01

A seller release for a different award revision activates the current contingent award.

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

ROOT CAUSE

A seller release for a different award revision activates the current contingent award.

VERIFIED REPAIR

For release certificate revision, apply the stipulated decision [a for a in x["proposed"] if x["release_revisions"].get(a)==x["award_revisions"].get(a) and a in x["release_revisions"]].

Unsuccessful approach: The attempted repair uses [a for a in x["proposed"] if x["release_revisions"].get(a,0)>=x["award_revisions"].get(a,0)]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

A proposed auction award set is certified against named conditional offers. Conditions distinguish requiring another award, requiring its absence, requiring same-owner award, seller release, and externally confirmed options. These are certificates on a proposed set, not an optimizer. Named decision release-certificate-revision: For release certificate revision, apply the stipulated decision [a for a in x["proposed"] if x["release_revisions"].get(a)==x["award_revisions"].get(a) and a in x["release_revisions"]].

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 = next((b for b in x["activation_bundles"] if set(b)<=set(x["proposed"])),None)
    v1 = all(a in x["waived"] or not set(x["excludes"].get(a,[]))&set(x["proposed"]) for a in x["proposed"])
    v2 = all(x["owners"].get(a)==x["owners"].get(b) for a,b in x["same_owner"] if a in x["proposed"] and b in x["proposed"])
    v3 = [a for a in x["proposed"] if a in x["release_revisions"]]
    v4 = all(x["options"][a] in x["confirmed"] for a in x["proposed"] if a in x["options"])
    v5 = len(set(x["proposed"]))>=x["minimum_set"]
    v6 = len(set(x["proposed"]))<=x["maximum_set"]
    v7 = [a for a in x["conditional"] if a not in x["waived"] or a in x["locked"]]
    v8 = not (set(x["conditional"])&set(x["proposed"])) or bool(set(x["activation"])&set(x["proposed"]))
    v9 = [a for a in x["proposed"] if x["options"].get(a) not in x["expired"]]
    return {'alternative-trigger-bundles':v0,'conditional-exclusion-exception':v1,'same-owner-companion':v2,'release-certificate-revision':v3,'option-confirmation':v4,'minimum-award-set':v5,'maximum-award-set':v6,'locked-condition-waiver':v7,'activation-presence':v8,'expired-option-veto':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('complete prerequisite set', {'proposed': ['A', 'B', 'C'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no conditional award', {'proposed': ['A'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('same owner pair', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'x', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('seller releases all', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A', 'B'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('all options confirmed', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1', 'opt2'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no expired options', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': [], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('waived condition', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': ['B'], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no activator', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': [], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []])]
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))['release-certificate-revision'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
normal contract	`['A', 'B']`	`[]`	Failed
complete prerequisite set	`['A', 'B']`	`[]`	Failed
no conditional award	`['A']`	`[]`	Failed
same owner pair	`['A', 'B']`	`[]`	Failed
seller releases all	`['A', 'B']`	`[]`	Failed
all options confirmed	`['A', 'B']`	`[]`	Failed
no expired options	`['A', 'B']`	`[]`	Failed
waived condition	`['A', 'B']`	`[]`	Failed
no activator	`['A', 'B']`	`[]`	Failed

SHA-256 / 77092810f518ce5868f09af314a9678a8620c59b70c1c4249c175aa7d4eccdcf

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    v0 = next((b for b in x["activation_bundles"] if set(b)<=set(x["proposed"])),None)
    v1 = all(a in x["waived"] or not set(x["excludes"].get(a,[]))&set(x["proposed"]) for a in x["proposed"])
    v2 = all(x["owners"].get(a)==x["owners"].get(b) for a,b in x["same_owner"] if a in x["proposed"] and b in x["proposed"])
    v3 = [a for a in x["proposed"] if x["release_revisions"].get(a,0)>=x["award_revisions"].get(a,0)]
    v4 = all(x["options"][a] in x["confirmed"] for a in x["proposed"] if a in x["options"])
    v5 = len(set(x["proposed"]))>=x["minimum_set"]
    v6 = len(set(x["proposed"]))<=x["maximum_set"]
    v7 = [a for a in x["conditional"] if a not in x["waived"] or a in x["locked"]]
    v8 = not (set(x["conditional"])&set(x["proposed"])) or bool(set(x["activation"])&set(x["proposed"]))
    v9 = [a for a in x["proposed"] if x["options"].get(a) not in x["expired"]]
    return {'alternative-trigger-bundles':v0,'conditional-exclusion-exception':v1,'same-owner-companion':v2,'release-certificate-revision':v3,'option-confirmation':v4,'minimum-award-set':v5,'maximum-award-set':v6,'locked-condition-waiver':v7,'activation-presence':v8,'expired-option-veto':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('complete prerequisite set', {'proposed': ['A', 'B', 'C'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no conditional award', {'proposed': ['A'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('same owner pair', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'x', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('seller releases all', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A', 'B'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('all options confirmed', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1', 'opt2'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no expired options', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': [], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('waived condition', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': ['B'], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no activator', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': [], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []])]
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))['release-certificate-revision'], 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	`['B']`	`[]`	Failed
complete prerequisite set	`['B', 'C']`	`[]`	Failed
no conditional award	`[]`	`[]`	Passed
same owner pair	`['B']`	`[]`	Failed
seller releases all	`['B']`	`[]`	Failed
all options confirmed	`['B']`	`[]`	Failed
no expired options	`['B']`	`[]`	Failed
waived condition	`['B']`	`[]`	Failed
no activator	`['B']`	`[]`	Failed

SHA-256 / 5ebdbba045dee31ba5e80e3267ffb0a46a19fef8179bcbd2965b6411f4cf401b

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(x):
    v0 = next((b for b in x["activation_bundles"] if set(b)<=set(x["proposed"])),None)
    v1 = all(a in x["waived"] or not set(x["excludes"].get(a,[]))&set(x["proposed"]) for a in x["proposed"])
    v2 = all(x["owners"].get(a)==x["owners"].get(b) for a,b in x["same_owner"] if a in x["proposed"] and b in x["proposed"])
    v3 = [a for a in x["proposed"] if x["release_revisions"].get(a)==x["award_revisions"].get(a) and a in x["release_revisions"]]
    v4 = all(x["options"][a] in x["confirmed"] for a in x["proposed"] if a in x["options"])
    v5 = len(set(x["proposed"]))>=x["minimum_set"]
    v6 = len(set(x["proposed"]))<=x["maximum_set"]
    v7 = [a for a in x["conditional"] if a not in x["waived"] or a in x["locked"]]
    v8 = not (set(x["conditional"])&set(x["proposed"])) or bool(set(x["activation"])&set(x["proposed"]))
    v9 = [a for a in x["proposed"] if x["options"].get(a) not in x["expired"]]
    return {'alternative-trigger-bundles':v0,'conditional-exclusion-exception':v1,'same-owner-companion':v2,'release-certificate-revision':v3,'option-confirmation':v4,'minimum-award-set':v5,'maximum-award-set':v6,'locked-condition-waiver':v7,'activation-presence':v8,'expired-option-veto':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('complete prerequisite set', {'proposed': ['A', 'B', 'C'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no conditional award', {'proposed': ['A'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('same owner pair', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'x', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('seller releases all', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A', 'B'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('all options confirmed', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1', 'opt2'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no expired options', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': [], 'expired': [], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('waived condition', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': ['A'], 'waived': ['B'], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []]), ('no activator', {'proposed': ['A', 'B'], 'requires': {'B': ['A', 'C']}, 'excludes': {'A': ['C']}, 'owners': {'A': 'x', 'B': 'y', 'C': 'x'}, 'same_owner': [['A', 'B']], 'released': ['A'], 'seller_required': ['A', 'B'], 'confirmed': ['opt1'], 'options': {'A': 'opt1', 'B': 'opt2'}, 'minimum_set': 2, 'maximum_set': 3, 'locked': ['C'], 'conditional': ['B'], 'activation': [], 'waived': [], 'expired': ['opt2'], 'activation_bundles': [['A', 'C'], ['B']], 'release_revisions': {'A': 1, 'B': 3}, 'award_revisions': {'A': 2, 'B': 2}}, [[], [], [], [], []])]
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))['release-certificate-revision'], 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	`[]`	`[]`	Passed
complete prerequisite set	`[]`	`[]`	Passed
no conditional award	`[]`	`[]`	Passed
same owner pair	`[]`	`[]`	Passed
seller releases all	`[]`	`[]`	Passed
all options confirmed	`[]`	`[]`	Passed
no expired options	`[]`	`[]`	Passed
waived condition	`[]`	`[]`	Passed
no activator	`[]`	`[]`	Passed

SHA-256 / 9a473e1b2ce350ac1d73664937862d38a947efeb869bc8d1d7f457fb7c237ad9

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

Case digest / f4dd049c826bbc72140c3a87bfa653cbff22adff6c4a0448ffbe43ebe17eaa29