FA-84286 / Sports scoring and tiebreakers / Open access
Countback skips failures at the best height · case 01
An athlete with a first-attempt clearance at the best height is ranked below one who needed three.
ROOT CAUSE
Only total failures are compared after best height.
VERIFIED REPAIR
Compare failures at the best height before total failures.
Unsuccessful approach: Comparing total failures before failures at the best height applies the countback steps in the wrong order.
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 if h <= best)
rows.append((-best, total, 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: best height misses',
([['Dee', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],
['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXO'], [189, 'O']]]],),
[[1, 'Bo', 189], [2, 'Dee', 189]]),
('variant scenario 1',
([['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],
['Eli', [[180, '-'], [183, 'XXX']]],
['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]],
['Dee', [[180, 'XXX']]],
['Fay', [[180, 'XX-'], [183, 'O'], [186, 'XO']]]],),
[[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]]),
('variant scenario 2',
([['Bo', [[180, 'X-'], [183, 'XXX']]], ['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'O']]]],),
[[1, 'Cy', 186], [None, 'Bo', 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: best height misses',
([['Cy', [[180, 'O'], [183, 'XXO'], [186, 'XX-']]],
['Bo', [[180, 'O'], [183, 'O'], [186, 'XXO']]],
['Dee', [[180, 'XXX']]],
['Eli', [[180, 'XO'], [183, 'O'], [186, '-']]],
['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),
[[1, 'Ade', 186], [2, 'Bo', 186], [3, 'Eli', 183], [4, 'Cy', 183], [None, 'Dee', None]]),
('regression: best height misses',
([['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XO']]],
['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'XXO'], [189, 'XX-'], [192, 'O']]],
['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, '-']]],
['Fay', [[180, 'XXO'], [183, 'XO'], [186, 'XX-'], [189, 'O'], [192, 'XX-']]],
['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XX-'], [192, 'O']]]],),
[[1, 'Eli', 192], [2, 'Bo', 192], [3, 'Cy', 192], [4, 'Dee', 189], [5, 'Fay', 189]]),
('variant scenario 1',
([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'XXX']]],
['Ade', [[180, 'O'], [183, 'XXX']]],
['Dee', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'XO'], [192, 'X-']]]],),
[[1, 'Dee', 189], [2, 'Eli', 183], [3, 'Ade', 180]]),
('variant scenario 2',
([['Fay', [[180, 'XXX']]],
['Ade', [[180, 'XO'], [183, 'XO'], [186, 'XO'], [189, '-'], [192, 'XO']]],
['Bo', [[180, 'XO'], [183, '-'], [186, 'XO'], [189, 'O'], [192, 'XXO']]]],),
[[1, 'Ade', 192], [2, 'Bo', 192], [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: best height misses',
([['Ade', [[180, 'O'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],
['Eli', [[180, 'O'], [183, '-'], [186, 'XO'], [189, 'XXO']]],
['Fay', [[180, 'XO'], [183, 'XXX']]],
['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'O']]],
['Dee', [[180, 'O'], [183, 'XX-'], [186, 'X-'], [189, 'XXO']]]],),
[[1, 'Bo', 189], [2, 'Ade', 189], [3, 'Eli', 189], [4, 'Dee', 189], [5, 'Fay', 180]]),
('regression: best height misses',
([['Ade', [[180, 'O'], [183, 'XXX']]],
['Dee', [[180, 'O'], [183, 'XO'], [186, '-']]],
['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXX']]]],),
[[1, 'Bo', 183], [2, 'Dee', 183], [3, 'Ade', 180]]),
('variant scenario 1',
([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'O'], [189, '-'], [192, 'XX-']]],
['Bo', [[180, 'XO'], [183, 'O'], [186, 'X-'], [189, 'X-'], [192, 'XXX']]],
['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'XXX']]],
['Fay', [[180, 'X-'], [183, 'XXX']]]],),
[[1, 'Cy', 186], [2, 'Eli', 186], [3, 'Bo', 183], [None, 'Fay', None]]),
('variant scenario 2',
([['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-']]],
['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]]],),
[[1, 'Dee', 183], [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: best height misses',
([['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],
['Dee', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]],
['Ade', [[180, 'O'], [183, 'XXO'], [186, '-']]]],),
[[1, 'Dee', 186], [2, 'Cy', 183], [3, 'Ade', 183]]),
('regression: best height misses',
([['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XXO']]],
['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, '-']]],
['Fay', [[180, 'X-'], [183, 'XXO'], [186, 'XX-'], [189, 'XXO']]],
['Dee', [[180, 'XXO'], [183, 'X-'], [186, 'O'], [189, 'XXX']]],
['Cy', [[180, 'XXX']]]],),
[[1, 'Eli', 189], [2, 'Fay', 189], [3, 'Dee', 186], [4, 'Ade', 186], [None, 'Cy', None]]),
('variant scenario 1',
([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],
['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],
['Ade', [[180, 'X-'], [183, '-'], [186, '-'], [189, 'XO']]],
['Eli', [[180, 'XO'], [183, '-'], [186, 'XX-'], [189, 'XO']]]],),
[[1, 'Ade', 189], [2, 'Dee', 189], [2, 'Eli', 189], [4, 'Fay', 183]]),
('variant scenario 2',
([['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],
['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],
['Eli', [[180, '-'], [183, 'XO'], [186, '-']]]],),
[[1, 'Cy', 186], [2, 'Ade', 186], [3, 'Eli', 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: best height misses',
([['Eli', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'O'], [192, 'O']]],
['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'XO']]],
['Bo', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XO'], [192, 'XX-']]],
['Dee', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'XXO'], [192, 'XO']]],
['Ade', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'XO'], [192, 'O']]]],),
[[1, 'Ade', 192], [2, 'Eli', 192], [3, 'Cy', 192], [4, 'Dee', 192], [5, 'Bo', 189]]),
('regression: best height misses',
([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'XXX']]],
['Ade', [[180, 'XXO'], [183, 'O'], [186, 'O']]],
['Bo', [[180, '-'], [183, 'O'], [186, 'XXO']]],
['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'O']]]],),
[[1, 'Ade', 186], [2, 'Cy', 186], [3, 'Bo', 186], [4, 'Eli', 180]]),
('variant scenario 1',
([['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'O'], [195, 'XXX']]],
['Dee', [[180, 'XXX']]],
['Bo', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'XO'], [192, 'XX-'], [195, 'XXX']]],
['Eli', [[180, 'XO'], [183, '-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]]],),
[[1, 'Eli', 195], [2, 'Cy', 192], [3, 'Bo', 189], [None, 'Dee', None]]),
('variant scenario 2',
([['Fay', [[180, 'XXX']]], ['Eli', [[180, 'O'], [183, '-'], [186, 'XO']]]],),
[[1, 'Eli', 186], [None, 'Fay', 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 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: best height misses | [[1, 'Dee', 189], [2, 'Bo', 189]] | [[1, 'Bo', 189], [2, 'Dee', 189]] | Failed |
| variant scenario 1 | [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]] | [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]] | Passed |
| variant scenario 2 | [[1, 'Cy', 186], [None, 'Bo', None]] | [[1, 'Cy', 186], [None, 'Bo', None]] | Passed |
SHA-256 / 97b6133cc78a33a9257925c7d46389878001cfd460fed3dd1f0604dbb434a41e
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)
rows.append((-best, total, at_best, 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: best height misses',
([['Dee', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],
['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXO'], [189, 'O']]]],),
[[1, 'Bo', 189], [2, 'Dee', 189]]),
('variant scenario 1',
([['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],
['Eli', [[180, '-'], [183, 'XXX']]],
['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]],
['Dee', [[180, 'XXX']]],
['Fay', [[180, 'XX-'], [183, 'O'], [186, 'XO']]]],),
[[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]]),
('variant scenario 2',
([['Bo', [[180, 'X-'], [183, 'XXX']]], ['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'O']]]],),
[[1, 'Cy', 186], [None, 'Bo', 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: best height misses',
([['Cy', [[180, 'O'], [183, 'XXO'], [186, 'XX-']]],
['Bo', [[180, 'O'], [183, 'O'], [186, 'XXO']]],
['Dee', [[180, 'XXX']]],
['Eli', [[180, 'XO'], [183, 'O'], [186, '-']]],
['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),
[[1, 'Ade', 186], [2, 'Bo', 186], [3, 'Eli', 183], [4, 'Cy', 183], [None, 'Dee', None]]),
('regression: best height misses',
([['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XO']]],
['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'XXO'], [189, 'XX-'], [192, 'O']]],
['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, '-']]],
['Fay', [[180, 'XXO'], [183, 'XO'], [186, 'XX-'], [189, 'O'], [192, 'XX-']]],
['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XX-'], [192, 'O']]]],),
[[1, 'Eli', 192], [2, 'Bo', 192], [3, 'Cy', 192], [4, 'Dee', 189], [5, 'Fay', 189]]),
('variant scenario 1',
([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'XXX']]],
['Ade', [[180, 'O'], [183, 'XXX']]],
['Dee', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'XO'], [192, 'X-']]]],),
[[1, 'Dee', 189], [2, 'Eli', 183], [3, 'Ade', 180]]),
('variant scenario 2',
([['Fay', [[180, 'XXX']]],
['Ade', [[180, 'XO'], [183, 'XO'], [186, 'XO'], [189, '-'], [192, 'XO']]],
['Bo', [[180, 'XO'], [183, '-'], [186, 'XO'], [189, 'O'], [192, 'XXO']]]],),
[[1, 'Ade', 192], [2, 'Bo', 192], [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: best height misses',
([['Ade', [[180, 'O'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],
['Eli', [[180, 'O'], [183, '-'], [186, 'XO'], [189, 'XXO']]],
['Fay', [[180, 'XO'], [183, 'XXX']]],
['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'O']]],
['Dee', [[180, 'O'], [183, 'XX-'], [186, 'X-'], [189, 'XXO']]]],),
[[1, 'Bo', 189], [2, 'Ade', 189], [3, 'Eli', 189], [4, 'Dee', 189], [5, 'Fay', 180]]),
('regression: best height misses',
([['Ade', [[180, 'O'], [183, 'XXX']]],
['Dee', [[180, 'O'], [183, 'XO'], [186, '-']]],
['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXX']]]],),
[[1, 'Bo', 183], [2, 'Dee', 183], [3, 'Ade', 180]]),
('variant scenario 1',
([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'O'], [189, '-'], [192, 'XX-']]],
['Bo', [[180, 'XO'], [183, 'O'], [186, 'X-'], [189, 'X-'], [192, 'XXX']]],
['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'XXX']]],
['Fay', [[180, 'X-'], [183, 'XXX']]]],),
[[1, 'Cy', 186], [2, 'Eli', 186], [3, 'Bo', 183], [None, 'Fay', None]]),
('variant scenario 2',
([['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-']]],
['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]]],),
[[1, 'Dee', 183], [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: best height misses',
([['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],
['Dee', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]],
['Ade', [[180, 'O'], [183, 'XXO'], [186, '-']]]],),
[[1, 'Dee', 186], [2, 'Cy', 183], [3, 'Ade', 183]]),
('regression: best height misses',
([['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XXO']]],
['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, '-']]],
['Fay', [[180, 'X-'], [183, 'XXO'], [186, 'XX-'], [189, 'XXO']]],
['Dee', [[180, 'XXO'], [183, 'X-'], [186, 'O'], [189, 'XXX']]],
['Cy', [[180, 'XXX']]]],),
[[1, 'Eli', 189], [2, 'Fay', 189], [3, 'Dee', 186], [4, 'Ade', 186], [None, 'Cy', None]]),
('variant scenario 1',
([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],
['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],
['Ade', [[180, 'X-'], [183, '-'], [186, '-'], [189, 'XO']]],
['Eli', [[180, 'XO'], [183, '-'], [186, 'XX-'], [189, 'XO']]]],),
[[1, 'Ade', 189], [2, 'Dee', 189], [2, 'Eli', 189], [4, 'Fay', 183]]),
('variant scenario 2',
([['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],
['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],
['Eli', [[180, '-'], [183, 'XO'], [186, '-']]]],),
[[1, 'Cy', 186], [2, 'Ade', 186], [3, 'Eli', 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: best height misses',
([['Eli', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'O'], [192, 'O']]],
['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'XO']]],
['Bo', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XO'], [192, 'XX-']]],
['Dee', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'XXO'], [192, 'XO']]],
['Ade', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'XO'], [192, 'O']]]],),
[[1, 'Ade', 192], [2, 'Eli', 192], [3, 'Cy', 192], [4, 'Dee', 192], [5, 'Bo', 189]]),
('regression: best height misses',
([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'XXX']]],
['Ade', [[180, 'XXO'], [183, 'O'], [186, 'O']]],
['Bo', [[180, '-'], [183, 'O'], [186, 'XXO']]],
['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'O']]]],),
[[1, 'Ade', 186], [2, 'Cy', 186], [3, 'Bo', 186], [4, 'Eli', 180]]),
('variant scenario 1',
([['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'O'], [195, 'XXX']]],
['Dee', [[180, 'XXX']]],
['Bo', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'XO'], [192, 'XX-'], [195, 'XXX']]],
['Eli', [[180, 'XO'], [183, '-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]]],),
[[1, 'Eli', 195], [2, 'Cy', 192], [3, 'Bo', 189], [None, 'Dee', None]]),
('variant scenario 2',
([['Fay', [[180, 'XXX']]], ['Eli', [[180, 'O'], [183, '-'], [186, 'XO']]]],),
[[1, 'Eli', 186], [None, 'Fay', 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 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: best height misses | [[1, 'Dee', 189], [2, 'Bo', 189]] | [[1, 'Bo', 189], [2, 'Dee', 189]] | Failed |
| variant scenario 1 | [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]] | [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]] | Passed |
| variant scenario 2 | [[1, 'Cy', 186], [None, 'Bo', None]] | [[1, 'Cy', 186], [None, 'Bo', None]] | Passed |
SHA-256 / 90d1d454c34b60a4ebdb3a1c00e937e7088dc1504be6ae1bb578d796d66f83db
3 / The verified repair
Exit 0"""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)
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: best height misses',
([['Dee', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],
['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXO'], [189, 'O']]]],),
[[1, 'Bo', 189], [2, 'Dee', 189]]),
('variant scenario 1',
([['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],
['Eli', [[180, '-'], [183, 'XXX']]],
['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]],
['Dee', [[180, 'XXX']]],
['Fay', [[180, 'XX-'], [183, 'O'], [186, 'XO']]]],),
[[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]]),
('variant scenario 2',
([['Bo', [[180, 'X-'], [183, 'XXX']]], ['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'O']]]],),
[[1, 'Cy', 186], [None, 'Bo', 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: best height misses',
([['Cy', [[180, 'O'], [183, 'XXO'], [186, 'XX-']]],
['Bo', [[180, 'O'], [183, 'O'], [186, 'XXO']]],
['Dee', [[180, 'XXX']]],
['Eli', [[180, 'XO'], [183, 'O'], [186, '-']]],
['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),
[[1, 'Ade', 186], [2, 'Bo', 186], [3, 'Eli', 183], [4, 'Cy', 183], [None, 'Dee', None]]),
('regression: best height misses',
([['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XO']]],
['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'XXO'], [189, 'XX-'], [192, 'O']]],
['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, '-']]],
['Fay', [[180, 'XXO'], [183, 'XO'], [186, 'XX-'], [189, 'O'], [192, 'XX-']]],
['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XX-'], [192, 'O']]]],),
[[1, 'Eli', 192], [2, 'Bo', 192], [3, 'Cy', 192], [4, 'Dee', 189], [5, 'Fay', 189]]),
('variant scenario 1',
([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'XXX']]],
['Ade', [[180, 'O'], [183, 'XXX']]],
['Dee', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'XO'], [192, 'X-']]]],),
[[1, 'Dee', 189], [2, 'Eli', 183], [3, 'Ade', 180]]),
('variant scenario 2',
([['Fay', [[180, 'XXX']]],
['Ade', [[180, 'XO'], [183, 'XO'], [186, 'XO'], [189, '-'], [192, 'XO']]],
['Bo', [[180, 'XO'], [183, '-'], [186, 'XO'], [189, 'O'], [192, 'XXO']]]],),
[[1, 'Ade', 192], [2, 'Bo', 192], [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: best height misses',
([['Ade', [[180, 'O'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],
['Eli', [[180, 'O'], [183, '-'], [186, 'XO'], [189, 'XXO']]],
['Fay', [[180, 'XO'], [183, 'XXX']]],
['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'O']]],
['Dee', [[180, 'O'], [183, 'XX-'], [186, 'X-'], [189, 'XXO']]]],),
[[1, 'Bo', 189], [2, 'Ade', 189], [3, 'Eli', 189], [4, 'Dee', 189], [5, 'Fay', 180]]),
('regression: best height misses',
([['Ade', [[180, 'O'], [183, 'XXX']]],
['Dee', [[180, 'O'], [183, 'XO'], [186, '-']]],
['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXX']]]],),
[[1, 'Bo', 183], [2, 'Dee', 183], [3, 'Ade', 180]]),
('variant scenario 1',
([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'O'], [189, '-'], [192, 'XX-']]],
['Bo', [[180, 'XO'], [183, 'O'], [186, 'X-'], [189, 'X-'], [192, 'XXX']]],
['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'XXX']]],
['Fay', [[180, 'X-'], [183, 'XXX']]]],),
[[1, 'Cy', 186], [2, 'Eli', 186], [3, 'Bo', 183], [None, 'Fay', None]]),
('variant scenario 2',
([['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-']]],
['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]]],),
[[1, 'Dee', 183], [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: best height misses',
([['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],
['Dee', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]],
['Ade', [[180, 'O'], [183, 'XXO'], [186, '-']]]],),
[[1, 'Dee', 186], [2, 'Cy', 183], [3, 'Ade', 183]]),
('regression: best height misses',
([['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XXO']]],
['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, '-']]],
['Fay', [[180, 'X-'], [183, 'XXO'], [186, 'XX-'], [189, 'XXO']]],
['Dee', [[180, 'XXO'], [183, 'X-'], [186, 'O'], [189, 'XXX']]],
['Cy', [[180, 'XXX']]]],),
[[1, 'Eli', 189], [2, 'Fay', 189], [3, 'Dee', 186], [4, 'Ade', 186], [None, 'Cy', None]]),
('variant scenario 1',
([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],
['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],
['Ade', [[180, 'X-'], [183, '-'], [186, '-'], [189, 'XO']]],
['Eli', [[180, 'XO'], [183, '-'], [186, 'XX-'], [189, 'XO']]]],),
[[1, 'Ade', 189], [2, 'Dee', 189], [2, 'Eli', 189], [4, 'Fay', 183]]),
('variant scenario 2',
([['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],
['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],
['Eli', [[180, '-'], [183, 'XO'], [186, '-']]]],),
[[1, 'Cy', 186], [2, 'Ade', 186], [3, 'Eli', 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: best height misses',
([['Eli', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'O'], [192, 'O']]],
['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'XO']]],
['Bo', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XO'], [192, 'XX-']]],
['Dee', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'XXO'], [192, 'XO']]],
['Ade', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'XO'], [192, 'O']]]],),
[[1, 'Ade', 192], [2, 'Eli', 192], [3, 'Cy', 192], [4, 'Dee', 192], [5, 'Bo', 189]]),
('regression: best height misses',
([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'XXX']]],
['Ade', [[180, 'XXO'], [183, 'O'], [186, 'O']]],
['Bo', [[180, '-'], [183, 'O'], [186, 'XXO']]],
['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'O']]]],),
[[1, 'Ade', 186], [2, 'Cy', 186], [3, 'Bo', 186], [4, 'Eli', 180]]),
('variant scenario 1',
([['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'O'], [195, 'XXX']]],
['Dee', [[180, 'XXX']]],
['Bo', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'XO'], [192, 'XX-'], [195, 'XXX']]],
['Eli', [[180, 'XO'], [183, '-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]]],),
[[1, 'Eli', 195], [2, 'Cy', 192], [3, 'Bo', 189], [None, 'Dee', None]]),
('variant scenario 2',
([['Fay', [[180, 'XXX']]], ['Eli', [[180, 'O'], [183, '-'], [186, 'XO']]]],),
[[1, 'Eli', 186], [None, 'Fay', 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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 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: best height misses | [[1, 'Bo', 189], [2, 'Dee', 189]] | [[1, 'Bo', 189], [2, 'Dee', 189]] | Passed |
| variant scenario 1 | [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]] | [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]] | Passed |
| variant scenario 2 | [[1, 'Cy', 186], [None, 'Bo', None]] | [[1, 'Cy', 186], [None, 'Bo', None]] | Passed |
SHA-256 / 6b118f507fb4400b1e2b3252ff0b488f0d33dea0038bd8fea80431b9f16cf5cc
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.395929+00:00.
Case digest / 601e2c707e5e181cc578148d55cd0318565bf02cdf2d1e264ded23be85667ae6