{"abstract":"An athlete with a first-attempt clearance at the best height is ranked below one who needed three.","category":"Sports scoring and tiebreakers","checks":8,"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].","contract_signature":"records","evaluation_group":"w2-sports-scoring-high-jump-countback","failed_approach":"Comparing total failures before failures at the best height applies the countback steps in the wrong order.","family":"w2-sports-scoring-high-jump-countback-best-height-misses","id":"FA-84286","implementations":{"attempt":{"sha256":"90d1d454c34b60a4ebdb3a1c00e937e7088dc1504be6ae1bb578d796d66f83db","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(records):\n    rows = []\n    nh = []\n    for name, heights in records:\n        cleared = [h for h, s in heights if 'O' in s]\n        if not cleared:\n            nh.append(name)\n            continue\n        best = max(cleared)\n        at_best = sum(s.count('X') for h, s in heights if h == best)\n        total = sum(s.count('X') for h, s in heights if h <= best)\n        rows.append((-best, total, at_best, name))\n    rows.sort()\n    out = []\n    for i, r in enumerate(rows):\n        if i and rows[i - 1][:3] == r[:3]:\n            place = out[-1][0]\n        else:\n            place = i + 1\n        out.append([place, r[3], -r[0]])\n    for name in sorted(nh):\n        out.append([None, name, None])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ndef run(args):\n    try:\n        return solve(*args)\n    except Exception as exc:\n        return 'raised ' + type(exc).__name__\ncases = [[('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Dee', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],\n     ['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXO'], [189, 'O']]]],),\n   [[1, 'Bo', 189], [2, 'Dee', 189]]),\n  ('variant scenario 1',\n   ([['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],\n     ['Eli', [[180, '-'], [183, 'XXX']]],\n     ['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Fay', [[180, 'XX-'], [183, 'O'], [186, 'XO']]]],),\n   [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]]),\n  ('variant scenario 2',\n   ([['Bo', [[180, 'X-'], [183, 'XXX']]], ['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'O']]]],),\n   [[1, 'Cy', 186], [None, 'Bo', None]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Cy', [[180, 'O'], [183, 'XXO'], [186, 'XX-']]],\n     ['Bo', [[180, 'O'], [183, 'O'], [186, 'XXO']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, 'O'], [186, '-']]],\n     ['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),\n   [[1, 'Ade', 186], [2, 'Bo', 186], [3, 'Eli', 183], [4, 'Cy', 183], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XO']]],\n     ['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'XXO'], [189, 'XX-'], [192, 'O']]],\n     ['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, '-']]],\n     ['Fay', [[180, 'XXO'], [183, 'XO'], [186, 'XX-'], [189, 'O'], [192, 'XX-']]],\n     ['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XX-'], [192, 'O']]]],),\n   [[1, 'Eli', 192], [2, 'Bo', 192], [3, 'Cy', 192], [4, 'Dee', 189], [5, 'Fay', 189]]),\n  ('variant scenario 1',\n   ([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'XXX']]],\n     ['Ade', [[180, 'O'], [183, 'XXX']]],\n     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'XO'], [192, 'X-']]]],),\n   [[1, 'Dee', 189], [2, 'Eli', 183], [3, 'Ade', 180]]),\n  ('variant scenario 2',\n   ([['Fay', [[180, 'XXX']]],\n     ['Ade', [[180, 'XO'], [183, 'XO'], [186, 'XO'], [189, '-'], [192, 'XO']]],\n     ['Bo', [[180, 'XO'], [183, '-'], [186, 'XO'], [189, 'O'], [192, 'XXO']]]],),\n   [[1, 'Ade', 192], [2, 'Bo', 192], [None, 'Fay', None]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Ade', [[180, 'O'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],\n     ['Eli', [[180, 'O'], [183, '-'], [186, 'XO'], [189, 'XXO']]],\n     ['Fay', [[180, 'XO'], [183, 'XXX']]],\n     ['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'O']]],\n     ['Dee', [[180, 'O'], [183, 'XX-'], [186, 'X-'], [189, 'XXO']]]],),\n   [[1, 'Bo', 189], [2, 'Ade', 189], [3, 'Eli', 189], [4, 'Dee', 189], [5, 'Fay', 180]]),\n  ('regression: best height misses',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]],\n     ['Dee', [[180, 'O'], [183, 'XO'], [186, '-']]],\n     ['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXX']]]],),\n   [[1, 'Bo', 183], [2, 'Dee', 183], [3, 'Ade', 180]]),\n  ('variant scenario 1',\n   ([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'O'], [189, '-'], [192, 'XX-']]],\n     ['Bo', [[180, 'XO'], [183, 'O'], [186, 'X-'], [189, 'X-'], [192, 'XXX']]],\n     ['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'XXX']]],\n     ['Fay', [[180, 'X-'], [183, 'XXX']]]],),\n   [[1, 'Cy', 186], [2, 'Eli', 186], [3, 'Bo', 183], [None, 'Fay', None]]),\n  ('variant scenario 2',\n   ([['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-']]],\n     ['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]]],),\n   [[1, 'Dee', 183], [2, 'Cy', 183]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],\n     ['Dee', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]],\n     ['Ade', [[180, 'O'], [183, 'XXO'], [186, '-']]]],),\n   [[1, 'Dee', 186], [2, 'Cy', 183], [3, 'Ade', 183]]),\n  ('regression: best height misses',\n   ([['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XXO']]],\n     ['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, '-']]],\n     ['Fay', [[180, 'X-'], [183, 'XXO'], [186, 'XX-'], [189, 'XXO']]],\n     ['Dee', [[180, 'XXO'], [183, 'X-'], [186, 'O'], [189, 'XXX']]],\n     ['Cy', [[180, 'XXX']]]],),\n   [[1, 'Eli', 189], [2, 'Fay', 189], [3, 'Dee', 186], [4, 'Ade', 186], [None, 'Cy', None]]),\n  ('variant scenario 1',\n   ([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],\n     ['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],\n     ['Ade', [[180, 'X-'], [183, '-'], [186, '-'], [189, 'XO']]],\n     ['Eli', [[180, 'XO'], [183, '-'], [186, 'XX-'], [189, 'XO']]]],),\n   [[1, 'Ade', 189], [2, 'Dee', 189], [2, 'Eli', 189], [4, 'Fay', 183]]),\n  ('variant scenario 2',\n   ([['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],\n     ['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],\n     ['Eli', [[180, '-'], [183, 'XO'], [186, '-']]]],),\n   [[1, 'Cy', 186], [2, 'Ade', 186], [3, 'Eli', 183]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Eli', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'O'], [192, 'O']]],\n     ['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'XO']]],\n     ['Bo', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XO'], [192, 'XX-']]],\n     ['Dee', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'XXO'], [192, 'XO']]],\n     ['Ade', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'XO'], [192, 'O']]]],),\n   [[1, 'Ade', 192], [2, 'Eli', 192], [3, 'Cy', 192], [4, 'Dee', 192], [5, 'Bo', 189]]),\n  ('regression: best height misses',\n   ([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'XXX']]],\n     ['Ade', [[180, 'XXO'], [183, 'O'], [186, 'O']]],\n     ['Bo', [[180, '-'], [183, 'O'], [186, 'XXO']]],\n     ['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'O']]]],),\n   [[1, 'Ade', 186], [2, 'Cy', 186], [3, 'Bo', 186], [4, 'Eli', 180]]),\n  ('variant scenario 1',\n   ([['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'O'], [195, 'XXX']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Bo', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'XO'], [192, 'XX-'], [195, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, '-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]]],),\n   [[1, 'Eli', 195], [2, 'Cy', 192], [3, 'Bo', 189], [None, 'Dee', None]]),\n  ('variant scenario 2',\n   ([['Fay', [[180, 'XXX']]], ['Eli', [[180, 'O'], [183, '-'], [186, 'XO']]]],),\n   [[1, 'Eli', 186], [None, 'Fay', None]])]]\nfor label, args, expected in cases[N - 1]:\n    check(label, run(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"97b6133cc78a33a9257925c7d46389878001cfd460fed3dd1f0604dbb434a41e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(records):\n    rows = []\n    nh = []\n    for name, heights in records:\n        cleared = [h for h, s in heights if 'O' in s]\n        if not cleared:\n            nh.append(name)\n            continue\n        best = max(cleared)\n        at_best = sum(s.count('X') for h, s in heights if h == best)\n        total = sum(s.count('X') for h, s in heights if h <= best)\n        rows.append((-best, total, total, name))\n    rows.sort()\n    out = []\n    for i, r in enumerate(rows):\n        if i and rows[i - 1][:3] == r[:3]:\n            place = out[-1][0]\n        else:\n            place = i + 1\n        out.append([place, r[3], -r[0]])\n    for name in sorted(nh):\n        out.append([None, name, None])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ndef run(args):\n    try:\n        return solve(*args)\n    except Exception as exc:\n        return 'raised ' + type(exc).__name__\ncases = [[('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Dee', [[180, 'O'], [183, 'X-'], [186, 'O'], [189, 'XO']]],\n     ['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXO'], [189, 'O']]]],),\n   [[1, 'Bo', 189], [2, 'Dee', 189]]),\n  ('variant scenario 1',\n   ([['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],\n     ['Eli', [[180, '-'], [183, 'XXX']]],\n     ['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XXX']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Fay', [[180, 'XX-'], [183, 'O'], [186, 'XO']]]],),\n   [[1, 'Cy', 186], [2, 'Fay', 186], [3, 'Ade', 183], [None, 'Dee', None], [None, 'Eli', None]]),\n  ('variant scenario 2',\n   ([['Bo', [[180, 'X-'], [183, 'XXX']]], ['Cy', [[180, 'XO'], [183, 'XX-'], [186, 'O']]]],),\n   [[1, 'Cy', 186], [None, 'Bo', None]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Cy', [[180, 'O'], [183, 'XXO'], [186, 'XX-']]],\n     ['Bo', [[180, 'O'], [183, 'O'], [186, 'XXO']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, 'O'], [186, '-']]],\n     ['Ade', [[180, 'XO'], [183, 'X-'], [186, 'O']]]],),\n   [[1, 'Ade', 186], [2, 'Bo', 186], [3, 'Eli', 183], [4, 'Cy', 183], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'XO']]],\n     ['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'XXO'], [189, 'XX-'], [192, 'O']]],\n     ['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, '-']]],\n     ['Fay', [[180, 'XXO'], [183, 'XO'], [186, 'XX-'], [189, 'O'], [192, 'XX-']]],\n     ['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XX-'], [192, 'O']]]],),\n   [[1, 'Eli', 192], [2, 'Bo', 192], [3, 'Cy', 192], [4, 'Dee', 189], [5, 'Fay', 189]]),\n  ('variant scenario 1',\n   ([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'XXX']]],\n     ['Ade', [[180, 'O'], [183, 'XXX']]],\n     ['Dee', [[180, 'O'], [183, 'XO'], [186, 'O'], [189, 'XO'], [192, 'X-']]]],),\n   [[1, 'Dee', 189], [2, 'Eli', 183], [3, 'Ade', 180]]),\n  ('variant scenario 2',\n   ([['Fay', [[180, 'XXX']]],\n     ['Ade', [[180, 'XO'], [183, 'XO'], [186, 'XO'], [189, '-'], [192, 'XO']]],\n     ['Bo', [[180, 'XO'], [183, '-'], [186, 'XO'], [189, 'O'], [192, 'XXO']]]],),\n   [[1, 'Ade', 192], [2, 'Bo', 192], [None, 'Fay', None]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Ade', [[180, 'O'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],\n     ['Eli', [[180, 'O'], [183, '-'], [186, 'XO'], [189, 'XXO']]],\n     ['Fay', [[180, 'XO'], [183, 'XXX']]],\n     ['Bo', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'O']]],\n     ['Dee', [[180, 'O'], [183, 'XX-'], [186, 'X-'], [189, 'XXO']]]],),\n   [[1, 'Bo', 189], [2, 'Ade', 189], [3, 'Eli', 189], [4, 'Dee', 189], [5, 'Fay', 180]]),\n  ('regression: best height misses',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]],\n     ['Dee', [[180, 'O'], [183, 'XO'], [186, '-']]],\n     ['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XXX']]]],),\n   [[1, 'Bo', 183], [2, 'Dee', 183], [3, 'Ade', 180]]),\n  ('variant scenario 1',\n   ([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'O'], [189, '-'], [192, 'XX-']]],\n     ['Bo', [[180, 'XO'], [183, 'O'], [186, 'X-'], [189, 'X-'], [192, 'XXX']]],\n     ['Cy', [[180, 'XO'], [183, 'O'], [186, 'O'], [189, 'XXX']]],\n     ['Fay', [[180, 'X-'], [183, 'XXX']]]],),\n   [[1, 'Cy', 186], [2, 'Eli', 186], [3, 'Bo', 183], [None, 'Fay', None]]),\n  ('variant scenario 2',\n   ([['Dee', [[180, 'O'], [183, 'XO'], [186, 'X-']]],\n     ['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]]],),\n   [[1, 'Dee', 183], [2, 'Cy', 183]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Cy', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],\n     ['Dee', [[180, 'XXO'], [183, 'XX-'], [186, 'O']]],\n     ['Ade', [[180, 'O'], [183, 'XXO'], [186, '-']]]],),\n   [[1, 'Dee', 186], [2, 'Cy', 183], [3, 'Ade', 183]]),\n  ('regression: best height misses',\n   ([['Eli', [[180, 'O'], [183, 'O'], [186, 'O'], [189, 'XXO']]],\n     ['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, '-']]],\n     ['Fay', [[180, 'X-'], [183, 'XXO'], [186, 'XX-'], [189, 'XXO']]],\n     ['Dee', [[180, 'XXO'], [183, 'X-'], [186, 'O'], [189, 'XXX']]],\n     ['Cy', [[180, 'XXX']]]],),\n   [[1, 'Eli', 189], [2, 'Fay', 189], [3, 'Dee', 186], [4, 'Ade', 186], [None, 'Cy', None]]),\n  ('variant scenario 1',\n   ([['Dee', [[180, 'XO'], [183, 'XXO'], [186, 'O'], [189, 'XO']]],\n     ['Fay', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],\n     ['Ade', [[180, 'X-'], [183, '-'], [186, '-'], [189, 'XO']]],\n     ['Eli', [[180, 'XO'], [183, '-'], [186, 'XX-'], [189, 'XO']]]],),\n   [[1, 'Ade', 189], [2, 'Dee', 189], [2, 'Eli', 189], [4, 'Fay', 183]]),\n  ('variant scenario 2',\n   ([['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],\n     ['Cy', [[180, 'O'], [183, 'O'], [186, 'O']]],\n     ['Eli', [[180, '-'], [183, 'XO'], [186, '-']]]],),\n   [[1, 'Cy', 186], [2, 'Ade', 186], [3, 'Eli', 183]])],\n [('control higher clearance wins',\n   ([['Ade', [[180, 'O'], [183, 'XXX']]], ['Bo', [[180, 'O'], [183, 'O']]]],),\n   [[1, 'Bo', 183], [2, 'Ade', 180]]),\n  ('boundary fewer misses at best',\n   ([['Ade', [[180, 'XO']]], ['Bo', [[180, 'O']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary total misses countback',\n   ([['Ade', [[177, 'XO'], [180, 'O'], [183, 'XXX']]],\n     ['Bo', [[177, 'O'], [180, 'O'], [183, 'XXX']]]],),\n   [[1, 'Bo', 180], [2, 'Ade', 180]]),\n  ('boundary true tie shares place',\n   ([['Cy', [[180, 'XO']]], ['Ade', [[180, 'XO']]], ['Bo', [[177, 'O']]]],),\n   [[1, 'Ade', 180], [1, 'Cy', 180], [3, 'Bo', 177]]),\n  ('control no height',\n   ([['Dee', [[180, 'XXX']]], ['Ade', [[180, 'O']]]],),\n   [[1, 'Ade', 180], [None, 'Dee', None]]),\n  ('regression: best height misses',\n   ([['Eli', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'O'], [192, 'O']]],\n     ['Cy', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XO'], [192, 'XO']]],\n     ['Bo', [[180, 'O'], [183, 'X-'], [186, 'XO'], [189, 'XO'], [192, 'XX-']]],\n     ['Dee', [[180, 'XX-'], [183, 'O'], [186, 'O'], [189, 'XXO'], [192, 'XO']]],\n     ['Ade', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'XO'], [192, 'O']]]],),\n   [[1, 'Ade', 192], [2, 'Eli', 192], [3, 'Cy', 192], [4, 'Dee', 192], [5, 'Bo', 189]]),\n  ('regression: best height misses',\n   ([['Eli', [[180, 'O'], [183, 'XX-'], [186, 'XXX']]],\n     ['Ade', [[180, 'XXO'], [183, 'O'], [186, 'O']]],\n     ['Bo', [[180, '-'], [183, 'O'], [186, 'XXO']]],\n     ['Cy', [[180, 'XX-'], [183, 'XXO'], [186, 'O']]]],),\n   [[1, 'Ade', 186], [2, 'Cy', 186], [3, 'Bo', 186], [4, 'Eli', 180]]),\n  ('variant scenario 1',\n   ([['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'XO'], [192, 'O'], [195, 'XXX']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Bo', [[180, 'X-'], [183, 'O'], [186, 'XXO'], [189, 'XO'], [192, 'XX-'], [195, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, '-'], [186, '-'], [189, 'O'], [192, 'O'], [195, 'XO']]]],),\n   [[1, 'Eli', 195], [2, 'Cy', 192], [3, 'Bo', 189], [None, 'Dee', None]]),\n  ('variant scenario 2',\n   ([['Fay', [[180, 'XXX']]], ['Eli', [[180, 'O'], [183, '-'], [186, 'XO']]]],),\n   [[1, 'Eli', 186], [None, 'Fay', None]])]]\nfor label, args, expected in cases[N - 1]:\n    check(label, run(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-sports-scoring-high-jump-countback-best-height-misses","generated_at":"2026-09-29T14:50:29.395929+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Vertical jump results depend on countback rules that are easy to misapply.","root_cause":"Only total failures are compared after best height.","sha256":"b5975bbbd87403b9e3b06190ac1d0ea0fb02b0feef74d4d1a278f64e535561cc","title":"Countback skips failures at the best height · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.911,"exit_code":1,"observations":[{"actual":[[1,"Bo",183],[2,"Ade",180]],"check":"control higher clearance wins","expected":[[1,"Bo",183],[2,"Ade",180]],"passed":true},{"actual":[[1,"Bo",180],[2,"Ade",180]],"check":"boundary fewer misses at best","expected":[[1,"Bo",180],[2,"Ade",180]],"passed":true},{"actual":[[1,"Bo",180],[2,"Ade",180]],"check":"boundary total misses countback","expected":[[1,"Bo",180],[2,"Ade",180]],"passed":true},{"actual":[[1,"Ade",180],[1,"Cy",180],[3,"Bo",177]],"check":"boundary true tie shares place","expected":[[1,"Ade",180],[1,"Cy",180],[3,"Bo",177]],"passed":true},{"actual":[[1,"Ade",180],[null,"Dee",null]],"check":"control no height","expected":[[1,"Ade",180],[null,"Dee",null]],"passed":true},{"actual":[[1,"Dee",189],[2,"Bo",189]],"check":"regression: best height misses","expected":[[1,"Bo",189],[2,"Dee",189]],"passed":false},{"actual":[[1,"Cy",186],[2,"Fay",186],[3,"Ade",183],[null,"Dee",null],[null,"Eli",null]],"check":"variant scenario 1","expected":[[1,"Cy",186],[2,"Fay",186],[3,"Ade",183],[null,"Dee",null],[null,"Eli",null]],"passed":true},{"actual":[[1,"Cy",186],[null,"Bo",null]],"check":"variant scenario 2","expected":[[1,"Cy",186],[null,"Bo",null]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control higher clearance wins\", \"actual\": [[1, \"Bo\", 183], [2, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 183], [2, \"Ade\", 180]], \"passed\": true}, {\"check\": \"boundary fewer misses at best\", \"actual\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"passed\": true}, {\"check\": \"boundary total misses countback\", \"actual\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"passed\": true}, {\"check\": \"boundary true tie shares place\", \"actual\": [[1, \"Ade\", 180], [1, \"Cy\", 180], [3, \"Bo\", 177]], \"expected\": [[1, \"Ade\", 180], [1, \"Cy\", 180], [3, \"Bo\", 177]], \"passed\": true}, {\"check\": \"control no height\", \"actual\": [[1, \"Ade\", 180], [null, \"Dee\", null]], \"expected\": [[1, \"Ade\", 180], [null, \"Dee\", null]], \"passed\": true}, {\"check\": \"regression: best height misses\", \"actual\": [[1, \"Dee\", 189], [2, \"Bo\", 189]], \"expected\": [[1, \"Bo\", 189], [2, \"Dee\", 189]], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [[1, \"Cy\", 186], [2, \"Fay\", 186], [3, \"Ade\", 183], [null, \"Dee\", null], [null, \"Eli\", null]], \"expected\": [[1, \"Cy\", 186], [2, \"Fay\", 186], [3, \"Ade\", 183], [null, \"Dee\", null], [null, \"Eli\", null]], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [[1, \"Cy\", 186], [null, \"Bo\", null]], \"expected\": [[1, \"Cy\", 186], [null, \"Bo\", null]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.437,"exit_code":1,"observations":[{"actual":[[1,"Bo",183],[2,"Ade",180]],"check":"control higher clearance wins","expected":[[1,"Bo",183],[2,"Ade",180]],"passed":true},{"actual":[[1,"Bo",180],[2,"Ade",180]],"check":"boundary fewer misses at best","expected":[[1,"Bo",180],[2,"Ade",180]],"passed":true},{"actual":[[1,"Bo",180],[2,"Ade",180]],"check":"boundary total misses countback","expected":[[1,"Bo",180],[2,"Ade",180]],"passed":true},{"actual":[[1,"Ade",180],[1,"Cy",180],[3,"Bo",177]],"check":"boundary true tie shares place","expected":[[1,"Ade",180],[1,"Cy",180],[3,"Bo",177]],"passed":true},{"actual":[[1,"Ade",180],[null,"Dee",null]],"check":"control no height","expected":[[1,"Ade",180],[null,"Dee",null]],"passed":true},{"actual":[[1,"Dee",189],[2,"Bo",189]],"check":"regression: best height misses","expected":[[1,"Bo",189],[2,"Dee",189]],"passed":false},{"actual":[[1,"Cy",186],[2,"Fay",186],[3,"Ade",183],[null,"Dee",null],[null,"Eli",null]],"check":"variant scenario 1","expected":[[1,"Cy",186],[2,"Fay",186],[3,"Ade",183],[null,"Dee",null],[null,"Eli",null]],"passed":true},{"actual":[[1,"Cy",186],[null,"Bo",null]],"check":"variant scenario 2","expected":[[1,"Cy",186],[null,"Bo",null]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control higher clearance wins\", \"actual\": [[1, \"Bo\", 183], [2, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 183], [2, \"Ade\", 180]], \"passed\": true}, {\"check\": \"boundary fewer misses at best\", \"actual\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"passed\": true}, {\"check\": \"boundary total misses countback\", \"actual\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"passed\": true}, {\"check\": \"boundary true tie shares place\", \"actual\": [[1, \"Ade\", 180], [1, \"Cy\", 180], [3, \"Bo\", 177]], \"expected\": [[1, \"Ade\", 180], [1, \"Cy\", 180], [3, \"Bo\", 177]], \"passed\": true}, {\"check\": \"control no height\", \"actual\": [[1, \"Ade\", 180], [null, \"Dee\", null]], \"expected\": [[1, \"Ade\", 180], [null, \"Dee\", null]], \"passed\": true}, {\"check\": \"regression: best height misses\", \"actual\": [[1, \"Dee\", 189], [2, \"Bo\", 189]], \"expected\": [[1, \"Bo\", 189], [2, \"Dee\", 189]], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [[1, \"Cy\", 186], [2, \"Fay\", 186], [3, \"Ade\", 183], [null, \"Dee\", null], [null, \"Eli\", null]], \"expected\": [[1, \"Cy\", 186], [2, \"Fay\", 186], [3, \"Ade\", 183], [null, \"Dee\", null], [null, \"Eli\", null]], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [[1, \"Cy\", 186], [null, \"Bo\", null]], \"expected\": [[1, \"Cy\", 186], [null, \"Bo\", null]], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}