FAILURE MAP
← Case archive

FA-84301 / Sports scoring and tiebreakers / Open access

Passed or failed heights counted as clearances · case 01

A height the athlete passed, or failed three times, is treated as cleared.

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

ROOT CAUSE

A height counts as cleared when it has no failures.

THE FAILURE

A height counts as cleared when it has no failures.

Unsuccessful approach: Treating anything other than XXX as cleared still credits passed heights.

Case contract

High jump placing. records rows are [name, [[height_cm, attempts], ...]] where attempts is a string of X (failure), O (clearance) or "-" (pass). Best height is the highest cleared. Rank by best height descending, then fewest failures at the best height, then fewest total failures at heights up to and including the best; athletes equal on all three share the place (the next place is skipped). Athletes without a clearance come last with place None in name order. Return [place, name, best].

Why this case matters

Vertical jump results depend on countback rules that are easy to misapply.

1 / The failure

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

N = 1
observations = []
def solve(records):
    rows = []
    nh = []
    for name, heights in records:
        cleared = [h for h, s in heights if 'X' not in s]
        if not cleared:
            nh.append(name)
            continue
        best = max(cleared)
        at_best = sum(s.count('X') for h, s in heights if h == best)
        total = sum(s.count('X') for h, s in heights if h <= best)
        rows.append((-best, at_best, total, name))
    rows.sort()
    out = []
    for i, r in enumerate(rows):
        if i and rows[i - 1][:3] == r[:3]:
            place = out[-1][0]
        else:
            place = i + 1
        out.append([place, r[3], -r[0]])
    for name in sorted(nh):
        out.append([None, name, None])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
    try:
        return solve(*args)
    except Exception as exc:
        return 'raised ' + type(exc).__name__
cases = [[('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Eli', [[180, 'XXO'], [183, 'O'], [186, 'O']]],
     ['Bo', [[180, 'XXO'], [183, 'O'], [186, 'XXO']]],
     ['Ade', [[180, 'XO'], [183, 'XO'], [186, '-']]],
     ['Dee', [[180, 'XO'], [183, 'O'], [186, 'XX-']]],
     ['Cy', [[180, 'XO'], [183, 'XO'], [186, 'O']]]],),
   [[1, 'Cy', 186], [1, 'Eli', 186], [3, 'Bo', 186], [4, 'Dee', 183], [5, 'Ade', 183]]),
  ('variant scenario 1',
   ([['Cy', [[180, 'XXO'], [183, 'XO'], [186, 'XXX']]],
     ['Bo', [[180, 'O'], [183, 'XX-'], [186, 'XX-'], [189, 'O']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'XO']]],
     ['Eli', [[180, 'X-'], [183, 'O'], [186, 'O'], [189, 'O']]],
     ['Fay', [[180, '-'], [183, 'XO'], [186, 'O'], [189, 'O']]]],),
   [[1, 'Eli', 189], [1, 'Fay', 189], [3, 'Bo', 189], [4, 'Dee', 189], [5, 'Cy', 183]]),
  ('variant scenario 2',
   ([['Dee', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XO']]],
     ['Fay', [[180, 'XXX']]],
     ['Eli', [[180, 'XO'], [183, 'XX-'], [186, 'X-'], [189, 'XXX']]],
     ['Bo', [[180, 'O'], [183, 'XXX']]]],),
   [[1, 'Dee', 189], [2, 'Bo', 180], [3, 'Eli', 180], [None, 'Fay', None]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Bo', [[180, 'X-'], [183, 'XXO'], [186, 'X-']]],
     ['Eli', [[180, 'O'], [183, 'O'], [186, 'XXO']]]],),
   [[1, 'Eli', 186], [2, 'Bo', 183]]),
  ('variant scenario 1',
   ([['Bo', [[180, 'XO'], [183, 'XX-'], [186, 'X-'], [189, 'X-'], [192, 'O'], [195, '-']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XXO'], [189, 'O'], [192, 'O'], [195, 'XX-']]],
     ['Eli', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, 'X-'], [192, 'O'], [195, 'XO']]]],),
   [[1, 'Eli', 195], [2, 'Ade', 192], [2, 'Bo', 192]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, '-']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, '-'], [189, '-']]],
     ['Cy', [[180, 'XXO'], [183, 'XXO'], [186, '-'], [189, 'O']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'O']]]],),
   [[1, 'Dee', 189], [2, 'Cy', 189], [3, 'Bo', 186], [4, 'Ade', 183]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Dee', [[180, 'XO'], [183, 'X-'], [186, 'XXX']]],
     ['Fay', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'XXX']]]],),
   [[1, 'Fay', 186], [2, 'Dee', 180]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],
     ['Fay', [[180, 'XX-'], [183, 'XXO'], [186, 'O'], [189, 'XXX']]],
     ['Ade', [[180, 'XXX']]]],),
   [[1, 'Eli', 189], [2, 'Fay', 186], [None, 'Ade', None]]),
  ('variant scenario 2',
   ([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'XO']]],
     ['Eli', [[180, 'XO'], [183, 'O'], [186, 'XXO'], [189, '-']]]],),
   [[1, 'Dee', 189], [2, 'Eli', 186]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Fay', [[180, 'O'], [183, 'X-'], [186, 'XX-'], [189, '-'], [192, 'XO']]],
     ['Cy', [[180, 'O'], [183, 'XXX']]],
     ['Dee', [[180, 'O'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XXX']]],
     ['Eli', [[180, '-'], [183, 'XO'], [186, 'O'], [189, 'XXX']]],
     ['Bo', [[180, 'X-'], [183, 'X-'], [186, '-'], [189, 'XX-'], [192, 'O']]]],),
   [[1, 'Bo', 192], [2, 'Fay', 192], [3, 'Dee', 189], [4, 'Eli', 186], [5, 'Cy', 180]]),
  ('regression: clearance detection',
   ([['Ade', [[180, '-'], [183, 'XX-'], [186, 'XXO'], [189, 'O']]],
     ['Bo', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XO']]],
     ['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'O']]],
     ['Eli', [[180, '-'], [183, 'O'], [186, 'XO'], [189, '-']]]],),
   [[1, 'Cy', 189], [2, 'Ade', 189], [3, 'Bo', 189], [4, 'Eli', 186]]),
  ('variant scenario 1',
   ([['Ade', [[180, 'XO'], [183, 'O'], [186, 'O']]],
     ['Cy', [[180, 'XO'], [183, '-'], [186, 'XXX']]],
     ['Dee', [[180, 'O'], [183, 'O'], [186, 'XXX']]]],),
   [[1, 'Ade', 186], [2, 'Dee', 183], [3, 'Cy', 180]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'XO'], [183, 'X-'], [186, '-']]],
     ['Ade', [[180, 'XXO'], [183, 'XXO'], [186, 'XXX']]]],),
   [[1, 'Ade', 183], [2, 'Bo', 180]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Fay', [[180, 'XO'], [183, 'XX-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]],
     ['Eli', [[180, 'XO'], [183, 'XX-'], [186, 'XXO'], [189, 'X-'], [192, 'XX-'], [195, 'XO']]],
     ['Cy', [[180, 'XXX']]],
     ['Ade', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'O'], [192, 'XO'], [195, 'XX-']]],
     ['Dee', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'O'], [192, 'XX-'], [195, '-']]]],),
   [[1, 'Fay', 195], [2, 'Eli', 195], [3, 'Ade', 192], [4, 'Dee', 189], [None, 'Cy', None]]),
  ('variant scenario 1',
   ([['Ade', [[180, 'XXO'], [183, 'O'], [186, '-'], [189, 'XXO']]],
     ['Eli', [[180, 'X-'], [183, 'O'], [186, 'O'], [189, 'XXO']]],
     ['Cy', [[180, 'XXO'], [183, 'XXO'], [186, 'XX-'], [189, 'O']]]],),
   [[1, 'Cy', 189], [2, 'Eli', 189], [3, 'Ade', 189]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'XXO'], [183, 'XO'], [186, 'XO'], [189, 'XXX']]],
     ['Eli', [[180, 'XXX']]],
     ['Ade', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XX-']]],
     ['Fay', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XO']]]],),
   [[1, 'Fay', 189], [2, 'Ade', 186], [3, 'Bo', 186], [None, 'Eli', None]])]]
for label, args, expected in cases[N - 1]:
    check(label, run(args), expected)
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
control higher clearance wins[[1, 'Bo', 183], [2, 'Ade', 180]][[1, 'Bo', 183], [2, 'Ade', 180]]Passed
boundary fewer misses at best[[1, 'Bo', 180], [None, 'Ade', None]][[1, 'Bo', 180], [2, 'Ade', 180]]Failed
boundary total misses countback[[1, 'Bo', 180], [2, 'Ade', 180]][[1, 'Bo', 180], [2, 'Ade', 180]]Passed
boundary true tie shares place[[1, 'Bo', 177], [None, 'Ade', None], [None, 'Cy', None]][[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]Failed
control no height[[1, 'Ade', 180], [None, 'Dee', None]][[1, 'Ade', 180], [None, 'Dee', None]]Passed
regression: clearance detection[[1, 'Ade', 186], [1, 'Cy', 186], [1, 'Eli', 186], [4, 'Dee', 183], [5, 'Bo', 183]][[1, 'Cy', 186], [1, 'Eli', 186], [3, 'Bo', 186], [4, 'Dee', 183], [5, 'Ade', 183]]Failed
variant scenario 1[[1, 'Eli', 189], [1, 'Fay', 189], [3, 'Bo', 189], [4, 'Dee', 180], [None, 'Cy', None]][[1, 'Eli', 189], [1, 'Fay', 189], [3, 'Bo', 189], [4, 'Dee', 189], [5, 'Cy', 183]]Failed
variant scenario 2[[1, 'Dee', 186], [2, 'Bo', 180], [None, 'Eli', None], [None, 'Fay', None]][[1, 'Dee', 189], [2, 'Bo', 180], [3, 'Eli', 180], [None, 'Fay', None]]Failed

SHA-256 / 80c9ff11b1b623027fd377047eca3016b0bcc51523b922dad4a8713ffb82aea2

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(records):
    rows = []
    nh = []
    for name, heights in records:
        cleared = [h for h, s in heights if s != 'XXX']
        if not cleared:
            nh.append(name)
            continue
        best = max(cleared)
        at_best = sum(s.count('X') for h, s in heights if h == best)
        total = sum(s.count('X') for h, s in heights if h <= best)
        rows.append((-best, at_best, total, name))
    rows.sort()
    out = []
    for i, r in enumerate(rows):
        if i and rows[i - 1][:3] == r[:3]:
            place = out[-1][0]
        else:
            place = i + 1
        out.append([place, r[3], -r[0]])
    for name in sorted(nh):
        out.append([None, name, None])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
    try:
        return solve(*args)
    except Exception as exc:
        return 'raised ' + type(exc).__name__
cases = [[('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Eli', [[180, 'XXO'], [183, 'O'], [186, 'O']]],
     ['Bo', [[180, 'XXO'], [183, 'O'], [186, 'XXO']]],
     ['Ade', [[180, 'XO'], [183, 'XO'], [186, '-']]],
     ['Dee', [[180, 'XO'], [183, 'O'], [186, 'XX-']]],
     ['Cy', [[180, 'XO'], [183, 'XO'], [186, 'O']]]],),
   [[1, 'Cy', 186], [1, 'Eli', 186], [3, 'Bo', 186], [4, 'Dee', 183], [5, 'Ade', 183]]),
  ('variant scenario 1',
   ([['Cy', [[180, 'XXO'], [183, 'XO'], [186, 'XXX']]],
     ['Bo', [[180, 'O'], [183, 'XX-'], [186, 'XX-'], [189, 'O']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'XO']]],
     ['Eli', [[180, 'X-'], [183, 'O'], [186, 'O'], [189, 'O']]],
     ['Fay', [[180, '-'], [183, 'XO'], [186, 'O'], [189, 'O']]]],),
   [[1, 'Eli', 189], [1, 'Fay', 189], [3, 'Bo', 189], [4, 'Dee', 189], [5, 'Cy', 183]]),
  ('variant scenario 2',
   ([['Dee', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XO']]],
     ['Fay', [[180, 'XXX']]],
     ['Eli', [[180, 'XO'], [183, 'XX-'], [186, 'X-'], [189, 'XXX']]],
     ['Bo', [[180, 'O'], [183, 'XXX']]]],),
   [[1, 'Dee', 189], [2, 'Bo', 180], [3, 'Eli', 180], [None, 'Fay', None]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Bo', [[180, 'X-'], [183, 'XXO'], [186, 'X-']]],
     ['Eli', [[180, 'O'], [183, 'O'], [186, 'XXO']]]],),
   [[1, 'Eli', 186], [2, 'Bo', 183]]),
  ('variant scenario 1',
   ([['Bo', [[180, 'XO'], [183, 'XX-'], [186, 'X-'], [189, 'X-'], [192, 'O'], [195, '-']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XXO'], [189, 'O'], [192, 'O'], [195, 'XX-']]],
     ['Eli', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, 'X-'], [192, 'O'], [195, 'XO']]]],),
   [[1, 'Eli', 195], [2, 'Ade', 192], [2, 'Bo', 192]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, '-']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, '-'], [189, '-']]],
     ['Cy', [[180, 'XXO'], [183, 'XXO'], [186, '-'], [189, 'O']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'O']]]],),
   [[1, 'Dee', 189], [2, 'Cy', 189], [3, 'Bo', 186], [4, 'Ade', 183]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Dee', [[180, 'XO'], [183, 'X-'], [186, 'XXX']]],
     ['Fay', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'XXX']]]],),
   [[1, 'Fay', 186], [2, 'Dee', 180]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],
     ['Fay', [[180, 'XX-'], [183, 'XXO'], [186, 'O'], [189, 'XXX']]],
     ['Ade', [[180, 'XXX']]]],),
   [[1, 'Eli', 189], [2, 'Fay', 186], [None, 'Ade', None]]),
  ('variant scenario 2',
   ([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'XO']]],
     ['Eli', [[180, 'XO'], [183, 'O'], [186, 'XXO'], [189, '-']]]],),
   [[1, 'Dee', 189], [2, 'Eli', 186]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Fay', [[180, 'O'], [183, 'X-'], [186, 'XX-'], [189, '-'], [192, 'XO']]],
     ['Cy', [[180, 'O'], [183, 'XXX']]],
     ['Dee', [[180, 'O'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XXX']]],
     ['Eli', [[180, '-'], [183, 'XO'], [186, 'O'], [189, 'XXX']]],
     ['Bo', [[180, 'X-'], [183, 'X-'], [186, '-'], [189, 'XX-'], [192, 'O']]]],),
   [[1, 'Bo', 192], [2, 'Fay', 192], [3, 'Dee', 189], [4, 'Eli', 186], [5, 'Cy', 180]]),
  ('regression: clearance detection',
   ([['Ade', [[180, '-'], [183, 'XX-'], [186, 'XXO'], [189, 'O']]],
     ['Bo', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XO']]],
     ['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'O']]],
     ['Eli', [[180, '-'], [183, 'O'], [186, 'XO'], [189, '-']]]],),
   [[1, 'Cy', 189], [2, 'Ade', 189], [3, 'Bo', 189], [4, 'Eli', 186]]),
  ('variant scenario 1',
   ([['Ade', [[180, 'XO'], [183, 'O'], [186, 'O']]],
     ['Cy', [[180, 'XO'], [183, '-'], [186, 'XXX']]],
     ['Dee', [[180, 'O'], [183, 'O'], [186, 'XXX']]]],),
   [[1, 'Ade', 186], [2, 'Dee', 183], [3, 'Cy', 180]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'XO'], [183, 'X-'], [186, '-']]],
     ['Ade', [[180, 'XXO'], [183, 'XXO'], [186, 'XXX']]]],),
   [[1, 'Ade', 183], [2, 'Bo', 180]])],
 [('control higher clearance wins',
   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 180]]),
  ('boundary fewer misses at best',
   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary total misses countback',
   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],
     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),
   [[1, 'Bo', 180], [2, 'Ade', 180]]),
  ('boundary true tie shares place',
   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),
   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),
  ('control no height',
   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),
   [[1, 'Ade', 180], [None, 'Dee', None]]),
  ('regression: clearance detection',
   ([['Fay', [[180, 'XO'], [183, 'XX-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]],
     ['Eli', [[180, 'XO'], [183, 'XX-'], [186, 'XXO'], [189, 'X-'], [192, 'XX-'], [195, 'XO']]],
     ['Cy', [[180, 'XXX']]],
     ['Ade', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'O'], [192, 'XO'], [195, 'XX-']]],
     ['Dee', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'O'], [192, 'XX-'], [195, '-']]]],),
   [[1, 'Fay', 195], [2, 'Eli', 195], [3, 'Ade', 192], [4, 'Dee', 189], [None, 'Cy', None]]),
  ('variant scenario 1',
   ([['Ade', [[180, 'XXO'], [183, 'O'], [186, '-'], [189, 'XXO']]],
     ['Eli', [[180, 'X-'], [183, 'O'], [186, 'O'], [189, 'XXO']]],
     ['Cy', [[180, 'XXO'], [183, 'XXO'], [186, 'XX-'], [189, 'O']]]],),
   [[1, 'Cy', 189], [2, 'Eli', 189], [3, 'Ade', 189]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'XXO'], [183, 'XO'], [186, 'XO'], [189, 'XXX']]],
     ['Eli', [[180, 'XXX']]],
     ['Ade', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XX-']]],
     ['Fay', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XO']]]],),
   [[1, 'Fay', 189], [2, 'Ade', 186], [3, 'Bo', 186], [None, 'Eli', None]])]]
for label, args, expected in cases[N - 1]:
    check(label, run(args), expected)
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
control higher clearance wins[[1, 'Bo', 183], [2, 'Ade', 180]][[1, 'Bo', 183], [2, 'Ade', 180]]Passed
boundary fewer misses at best[[1, 'Bo', 180], [2, 'Ade', 180]][[1, 'Bo', 180], [2, 'Ade', 180]]Passed
boundary total misses countback[[1, 'Bo', 180], [2, 'Ade', 180]][[1, 'Bo', 180], [2, 'Ade', 180]]Passed
boundary true tie shares place[[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]][[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]Passed
control no height[[1, 'Ade', 180], [None, 'Dee', None]][[1, 'Ade', 180], [None, 'Dee', None]]Passed
regression: clearance detection[[1, 'Ade', 186], [1, 'Cy', 186], [1, 'Eli', 186], [4, 'Dee', 186], [5, 'Bo', 186]][[1, 'Cy', 186], [1, 'Eli', 186], [3, 'Bo', 186], [4, 'Dee', 183], [5, 'Ade', 183]]Failed
variant scenario 1[[1, 'Eli', 189], [1, 'Fay', 189], [3, 'Bo', 189], [4, 'Dee', 189], [5, 'Cy', 183]][[1, 'Eli', 189], [1, 'Fay', 189], [3, 'Bo', 189], [4, 'Dee', 189], [5, 'Cy', 183]]Passed
variant scenario 2[[1, 'Dee', 189], [2, 'Eli', 186], [3, 'Bo', 180], [None, 'Fay', None]][[1, 'Dee', 189], [2, 'Bo', 180], [3, 'Eli', 180], [None, 'Fay', None]]Failed

SHA-256 / 3db640e3075c39aa150c5be3a5b5aa80970aaa13caf7308ac5a96feb1d71b746

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

Stipulated, bounded toy contract stated in the contract field; not a claim of conformance with any governing body rulebook or operator house rules. 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:50:29.698579+00:00.

Case digest / c5148c581eed5ac1990e3d5c963773050fe56155fae778f6d0a5c6ad168cc322