FAILURE MAP
← Case archive

FA-84291 / Sports scoring and tiebreakers / Open access

Total failures include heights above the best · case 01

Failures at the height where the athlete went out count in the countback.

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

ROOT CAUSE

The total failure sum covers every attempted height.

THE FAILURE

The total failure sum covers every attempted height.

Unsuccessful approach: Counting only failures at cleared heights drops failures made before passing to a higher bar.

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 'O' 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)
        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: total misses range',
   ([['Fay', [[180, 'XO'], [183, 'XO'], [186, 'O'], [189, 'O'], [192, 'XXO'], [195, 'XXO']]],
     ['Ade', [[180, 'XXX']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-'], [189, '-'], [192, 'O'], [195, 'XXX']]],
     ['Eli', [[180, 'X-'], [183, '-'], [186, 'O'], [189, 'XXO'], [192, 'O'], [195, 'XX-']]],
     ['Bo', [[180, 'O'], [183, 'O'], [186, 'O'], [189, '-'], [192, '-'], [195, 'XX-']]]],),
   [[1, 'Fay', 195], [2, 'Dee', 192], [3, 'Eli', 192], [4, 'Bo', 186], [None, 'Ade', None]]),
  ('regression: total misses range',
   ([['Cy', [[180, 'XX-'], [183, 'X-'], [186, 'O']]],
     ['Ade', [[180, 'O'], [183, 'XX-'], [186, 'O']]],
     ['Fay', [[180, 'XO'], [183, 'XO'], [186, 'O']]],
     ['Bo', [[180, 'XO'], [183, 'XX-'], [186, 'XXO']]]],),
   [[1, 'Ade', 186], [1, 'Fay', 186], [3, 'Cy', 186], [4, 'Bo', 186]]),
  ('variant scenario 1',
   ([['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XXO'], [192, 'XX-']]],
     ['Bo', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'XXO']]],
     ['Eli', [[180, '-'], [183, 'XO'], [186, 'O'], [189, 'XX-'], [192, 'XXX']]]],),
   [[1, 'Bo', 192], [2, 'Cy', 189], [3, 'Eli', 186]]),
  ('variant scenario 2',
   ([['Cy', [[180, 'O'], [183, 'O'], [186, '-']]],
     ['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),
   [[1, 'Ade', 186], [2, 'Cy', 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: total misses range',
   ([['Bo', [[180, 'XXX']]],
     ['Fay', [[180, 'X-'], [183, 'XX-'], [186, 'O'], [189, 'O'], [192, 'X-']]],
     ['Eli', [[180, 'O'], [183, 'XO'], [186, 'XX-'], [189, 'XXO'], [192, 'O']]],
     ['Cy', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'O'], [192, '-']]]],),
   [[1, 'Eli', 192], [2, 'Cy', 189], [3, 'Fay', 189], [None, 'Bo', None]]),
  ('regression: total misses range',
   ([['Eli', [[180, 'XO'], [183, '-'], [186, 'O']]],
     ['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],
     ['Cy', [[180, 'XXO'], [183, 'O'], [186, '-']]],
     ['Bo', [[180, 'XXX']]],
     ['Dee', [[180, 'X-'], [183, '-'], [186, 'O']]]],),
   [[1, 'Dee', 186], [1, 'Eli', 186], [3, 'Fay', 183], [4, 'Cy', 183], [None, 'Bo', None]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XXX']]],
     ['Fay', [[180, 'O'], [183, '-'], [186, 'O'], [189, 'O'], [192, 'XO']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'XXX']]],
     ['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'XXO'], [192, 'XX-']]]],),
   [[1, 'Fay', 192], [2, 'Bo', 189], [3, 'Eli', 186], [4, 'Dee', 183]]),
  ('variant scenario 2',
   ([['Cy', [[180, 'O'], [183, 'O'], [186, 'XX-'], [189, 'O'], [192, '-']]],
     ['Fay', [[180, 'O'], [183, 'X-'], [186, '-'], [189, 'XXO'], [192, 'XXX']]],
     ['Dee', [[180, '-'], [183, '-'], [186, 'XX-'], [189, 'XXX']]],
     ['Ade', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'O'], [192, 'XO']]]],),
   [[1, 'Ade', 192], [2, 'Cy', 189], [3, 'Fay', 189], [None, 'Dee', 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: total misses range',
   ([['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'XO'], [189, 'XXO'], [192, 'O']]],
     ['Dee', [[180, '-'], [183, 'XXO'], [186, 'X-'], [189, '-'], [192, 'O']]],
     ['Ade', [[180, 'O'], [183, '-'], [186, 'O'], [189, 'O'], [192, 'O']]],
     ['Bo', [[180, 'X-'], [183, '-'], [186, 'XO'], [189, 'XX-'], [192, 'O']]]],),
   [[1, 'Ade', 192], [2, 'Dee', 192], [3, 'Bo', 192], [4, 'Cy', 192]]),
  ('regression: total misses range',
   ([['Bo', [[180, 'X-'], [183, 'XXX']]],
     ['Cy', [[180, 'O'], [183, 'O'], [186, 'X-']]],
     ['Dee', [[180, 'XXO'], [183, 'XO'], [186, 'XXO']]],
     ['Fay', [[180, 'O'], [183, 'O'], [186, '-']]]],),
   [[1, 'Dee', 186], [2, 'Cy', 183], [2, 'Fay', 183], [None, 'Bo', None]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'XXO'], [183, 'XXX']]],
     ['Fay', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XXO']]]],),
   [[1, 'Fay', 189], [2, 'Eli', 180]]),
  ('variant scenario 2',
   ([['Fay', [[180, 'XXO'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'XXO'], [195, 'XO']]],
     ['Eli', [[180, '-'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'X-'], [195, 'XXX']]],
     ['Bo', [[180, 'XX-'], [183, 'XX-'], [186, 'XO'], [189, 'XX-'], [192, 'XXO'], [195, 'X-']]],
     ['Dee', [[180, 'XO'], [183, 'XO'], [186, '-'], [189, 'XXX']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'XXO'], [192, 'XXO'], [195, 'XO']]]],),
   [[1, 'Fay', 195], [2, 'Ade', 195], [3, 'Bo', 192], [4, 'Eli', 189], [5, 'Dee', 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: total misses range',
   ([['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXO']]],
     ['Ade', [[180, 'XO'], [183, 'XX-'], [186, 'XXO']]],
     ['Bo', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]]],),
   [[1, 'Bo', 186], [2, 'Fay', 186], [3, 'Ade', 186]]),
  ('regression: total misses range',
   ([['Dee', [[180, '-'], [183, 'O'], [186, 'X-']]],
     ['Ade', [[180, 'O'], [183, 'O'], [186, 'XXX']]],
     ['Fay', [[180, 'XX-'], [183, 'XXX']]],
     ['Eli', [[180, 'O'], [183, 'X-'], [186, 'XO']]]],),
   [[1, 'Eli', 186], [2, 'Ade', 183], [2, 'Dee', 183], [None, 'Fay', None]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'O'], [183, '-'], [186, 'O']]],
     ['Dee', [[180, 'XO'], [183, '-'], [186, 'XX-']]]],),
   [[1, 'Eli', 186], [2, 'Dee', 180]]),
  ('variant scenario 2',
   ([['Cy', [[180, 'X-'], [183, 'O'], [186, '-'], [189, 'XO']]],
     ['Eli', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, '-']]]],),
   [[1, 'Cy', 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: total misses range',
   ([['Ade', [[180, 'O'], [183, 'XO'], [186, 'XX-']]],
     ['Bo', [[180, 'O'], [183, 'O'], [186, 'X-']]],
     ['Fay', [[180, 'X-'], [183, '-'], [186, 'XX-']]],
     ['Dee', [[180, 'O'], [183, 'XXX']]],
     ['Cy', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 183], [3, 'Cy', 183], [4, 'Dee', 180], [None, 'Fay', None]]),
  ('regression: total misses range',
   ([['Eli', [[180, '-'], [183, 'XO'], [186, 'O']]],
     ['Cy', [[180, 'O'], [183, 'O'], [186, 'X-']]],
     ['Fay', [[180, 'X-'], [183, 'O'], [186, 'XXX']]],
     ['Ade', [[180, 'X-'], [183, 'O'], [186, '-']]]],),
   [[1, 'Eli', 186], [2, 'Cy', 183], [3, 'Ade', 183], [3, 'Fay', 183]]),
  ('variant scenario 1',
   ([['Bo', [[180, '-'], [183, 'O'], [186, 'O']]],
     ['Cy', [[180, 'O'], [183, 'XO'], [186, 'XX-']]],
     ['Dee', [[180, 'XO'], [183, 'X-'], [186, 'X-']]]],),
   [[1, 'Bo', 186], [2, 'Cy', 183], [3, 'Dee', 180]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'X-'], [183, 'O'], [186, '-'], [189, 'XO']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XXO'], [189, 'O']]]],),
   [[1, 'Ade', 189], [2, 'Bo', 189]])]]
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: total misses range[[1, 'Fay', 195], [2, 'Dee', 192], [2, 'Eli', 192], [4, 'Bo', 186], [None, 'Ade', None]][[1, 'Fay', 195], [2, 'Dee', 192], [3, 'Eli', 192], [4, 'Bo', 186], [None, 'Ade', None]]Failed
regression: total misses range[[1, 'Ade', 186], [1, 'Fay', 186], [3, 'Cy', 186], [4, 'Bo', 186]][[1, 'Ade', 186], [1, 'Fay', 186], [3, 'Cy', 186], [4, 'Bo', 186]]Passed
variant scenario 1[[1, 'Bo', 192], [2, 'Cy', 189], [3, 'Eli', 186]][[1, 'Bo', 192], [2, 'Cy', 189], [3, 'Eli', 186]]Passed
variant scenario 2[[1, 'Ade', 186], [2, 'Cy', 183]][[1, 'Ade', 186], [2, 'Cy', 183]]Passed

SHA-256 / 1c1d56c2e93c16df57616d936cbfa08ba5dc485a6a523777e9fe7fc59d15ba76

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 'O' 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 and 'O' in s)
        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: total misses range',
   ([['Fay', [[180, 'XO'], [183, 'XO'], [186, 'O'], [189, 'O'], [192, 'XXO'], [195, 'XXO']]],
     ['Ade', [[180, 'XXX']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-'], [189, '-'], [192, 'O'], [195, 'XXX']]],
     ['Eli', [[180, 'X-'], [183, '-'], [186, 'O'], [189, 'XXO'], [192, 'O'], [195, 'XX-']]],
     ['Bo', [[180, 'O'], [183, 'O'], [186, 'O'], [189, '-'], [192, '-'], [195, 'XX-']]]],),
   [[1, 'Fay', 195], [2, 'Dee', 192], [3, 'Eli', 192], [4, 'Bo', 186], [None, 'Ade', None]]),
  ('regression: total misses range',
   ([['Cy', [[180, 'XX-'], [183, 'X-'], [186, 'O']]],
     ['Ade', [[180, 'O'], [183, 'XX-'], [186, 'O']]],
     ['Fay', [[180, 'XO'], [183, 'XO'], [186, 'O']]],
     ['Bo', [[180, 'XO'], [183, 'XX-'], [186, 'XXO']]]],),
   [[1, 'Ade', 186], [1, 'Fay', 186], [3, 'Cy', 186], [4, 'Bo', 186]]),
  ('variant scenario 1',
   ([['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XXO'], [192, 'XX-']]],
     ['Bo', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'XXO']]],
     ['Eli', [[180, '-'], [183, 'XO'], [186, 'O'], [189, 'XX-'], [192, 'XXX']]]],),
   [[1, 'Bo', 192], [2, 'Cy', 189], [3, 'Eli', 186]]),
  ('variant scenario 2',
   ([['Cy', [[180, 'O'], [183, 'O'], [186, '-']]],
     ['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),
   [[1, 'Ade', 186], [2, 'Cy', 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: total misses range',
   ([['Bo', [[180, 'XXX']]],
     ['Fay', [[180, 'X-'], [183, 'XX-'], [186, 'O'], [189, 'O'], [192, 'X-']]],
     ['Eli', [[180, 'O'], [183, 'XO'], [186, 'XX-'], [189, 'XXO'], [192, 'O']]],
     ['Cy', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'O'], [192, '-']]]],),
   [[1, 'Eli', 192], [2, 'Cy', 189], [3, 'Fay', 189], [None, 'Bo', None]]),
  ('regression: total misses range',
   ([['Eli', [[180, 'XO'], [183, '-'], [186, 'O']]],
     ['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],
     ['Cy', [[180, 'XXO'], [183, 'O'], [186, '-']]],
     ['Bo', [[180, 'XXX']]],
     ['Dee', [[180, 'X-'], [183, '-'], [186, 'O']]]],),
   [[1, 'Dee', 186], [1, 'Eli', 186], [3, 'Fay', 183], [4, 'Cy', 183], [None, 'Bo', None]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XXX']]],
     ['Fay', [[180, 'O'], [183, '-'], [186, 'O'], [189, 'O'], [192, 'XO']]],
     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'XXX']]],
     ['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'XXO'], [192, 'XX-']]]],),
   [[1, 'Fay', 192], [2, 'Bo', 189], [3, 'Eli', 186], [4, 'Dee', 183]]),
  ('variant scenario 2',
   ([['Cy', [[180, 'O'], [183, 'O'], [186, 'XX-'], [189, 'O'], [192, '-']]],
     ['Fay', [[180, 'O'], [183, 'X-'], [186, '-'], [189, 'XXO'], [192, 'XXX']]],
     ['Dee', [[180, '-'], [183, '-'], [186, 'XX-'], [189, 'XXX']]],
     ['Ade', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'O'], [192, 'XO']]]],),
   [[1, 'Ade', 192], [2, 'Cy', 189], [3, 'Fay', 189], [None, 'Dee', 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: total misses range',
   ([['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'XO'], [189, 'XXO'], [192, 'O']]],
     ['Dee', [[180, '-'], [183, 'XXO'], [186, 'X-'], [189, '-'], [192, 'O']]],
     ['Ade', [[180, 'O'], [183, '-'], [186, 'O'], [189, 'O'], [192, 'O']]],
     ['Bo', [[180, 'X-'], [183, '-'], [186, 'XO'], [189, 'XX-'], [192, 'O']]]],),
   [[1, 'Ade', 192], [2, 'Dee', 192], [3, 'Bo', 192], [4, 'Cy', 192]]),
  ('regression: total misses range',
   ([['Bo', [[180, 'X-'], [183, 'XXX']]],
     ['Cy', [[180, 'O'], [183, 'O'], [186, 'X-']]],
     ['Dee', [[180, 'XXO'], [183, 'XO'], [186, 'XXO']]],
     ['Fay', [[180, 'O'], [183, 'O'], [186, '-']]]],),
   [[1, 'Dee', 186], [2, 'Cy', 183], [2, 'Fay', 183], [None, 'Bo', None]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'XXO'], [183, 'XXX']]],
     ['Fay', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XXO']]]],),
   [[1, 'Fay', 189], [2, 'Eli', 180]]),
  ('variant scenario 2',
   ([['Fay', [[180, 'XXO'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'XXO'], [195, 'XO']]],
     ['Eli', [[180, '-'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'X-'], [195, 'XXX']]],
     ['Bo', [[180, 'XX-'], [183, 'XX-'], [186, 'XO'], [189, 'XX-'], [192, 'XXO'], [195, 'X-']]],
     ['Dee', [[180, 'XO'], [183, 'XO'], [186, '-'], [189, 'XXX']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'XXO'], [192, 'XXO'], [195, 'XO']]]],),
   [[1, 'Fay', 195], [2, 'Ade', 195], [3, 'Bo', 192], [4, 'Eli', 189], [5, 'Dee', 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: total misses range',
   ([['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXO']]],
     ['Ade', [[180, 'XO'], [183, 'XX-'], [186, 'XXO']]],
     ['Bo', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]]],),
   [[1, 'Bo', 186], [2, 'Fay', 186], [3, 'Ade', 186]]),
  ('regression: total misses range',
   ([['Dee', [[180, '-'], [183, 'O'], [186, 'X-']]],
     ['Ade', [[180, 'O'], [183, 'O'], [186, 'XXX']]],
     ['Fay', [[180, 'XX-'], [183, 'XXX']]],
     ['Eli', [[180, 'O'], [183, 'X-'], [186, 'XO']]]],),
   [[1, 'Eli', 186], [2, 'Ade', 183], [2, 'Dee', 183], [None, 'Fay', None]]),
  ('variant scenario 1',
   ([['Eli', [[180, 'O'], [183, '-'], [186, 'O']]],
     ['Dee', [[180, 'XO'], [183, '-'], [186, 'XX-']]]],),
   [[1, 'Eli', 186], [2, 'Dee', 180]]),
  ('variant scenario 2',
   ([['Cy', [[180, 'X-'], [183, 'O'], [186, '-'], [189, 'XO']]],
     ['Eli', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, '-']]]],),
   [[1, 'Cy', 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: total misses range',
   ([['Ade', [[180, 'O'], [183, 'XO'], [186, 'XX-']]],
     ['Bo', [[180, 'O'], [183, 'O'], [186, 'X-']]],
     ['Fay', [[180, 'X-'], [183, '-'], [186, 'XX-']]],
     ['Dee', [[180, 'O'], [183, 'XXX']]],
     ['Cy', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]]],),
   [[1, 'Bo', 183], [2, 'Ade', 183], [3, 'Cy', 183], [4, 'Dee', 180], [None, 'Fay', None]]),
  ('regression: total misses range',
   ([['Eli', [[180, '-'], [183, 'XO'], [186, 'O']]],
     ['Cy', [[180, 'O'], [183, 'O'], [186, 'X-']]],
     ['Fay', [[180, 'X-'], [183, 'O'], [186, 'XXX']]],
     ['Ade', [[180, 'X-'], [183, 'O'], [186, '-']]]],),
   [[1, 'Eli', 186], [2, 'Cy', 183], [3, 'Ade', 183], [3, 'Fay', 183]]),
  ('variant scenario 1',
   ([['Bo', [[180, '-'], [183, 'O'], [186, 'O']]],
     ['Cy', [[180, 'O'], [183, 'XO'], [186, 'XX-']]],
     ['Dee', [[180, 'XO'], [183, 'X-'], [186, 'X-']]]],),
   [[1, 'Bo', 186], [2, 'Cy', 183], [3, 'Dee', 180]]),
  ('variant scenario 2',
   ([['Bo', [[180, 'X-'], [183, 'O'], [186, '-'], [189, 'XO']]],
     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XXO'], [189, 'O']]]],),
   [[1, 'Ade', 189], [2, 'Bo', 189]])]]
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: total misses range[[1, 'Fay', 195], [2, 'Dee', 192], [3, 'Eli', 192], [4, 'Bo', 186], [None, 'Ade', None]][[1, 'Fay', 195], [2, 'Dee', 192], [3, 'Eli', 192], [4, 'Bo', 186], [None, 'Ade', None]]Passed
regression: total misses range[[1, 'Ade', 186], [1, 'Cy', 186], [3, 'Fay', 186], [4, 'Bo', 186]][[1, 'Ade', 186], [1, 'Fay', 186], [3, 'Cy', 186], [4, 'Bo', 186]]Failed
variant scenario 1[[1, 'Bo', 192], [2, 'Cy', 189], [3, 'Eli', 186]][[1, 'Bo', 192], [2, 'Cy', 189], [3, 'Eli', 186]]Passed
variant scenario 2[[1, 'Ade', 186], [2, 'Cy', 183]][[1, 'Ade', 186], [2, 'Cy', 183]]Passed

SHA-256 / dfb616d758d2380021cb4a60e2b4c63669d6e4ef158b596c6c019946e6f4194a

HELD IN THE MEMBER ARCHIVE

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

This mechanism has 9 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.574153+00:00.

Case digest / 70443e43e9274135609c1dc48aecbffc099251d5f1accc11e35c5ac98fad5595