{"abstract":"Athletes identical on every criterion receive different places.","category":"Sports scoring and tiebreakers","checks":9,"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 only the first two criteria shares places that the total-failure countback separates.","family":"w2-sports-scoring-high-jump-countback-shared-place-key","id":"FA-84296","implementations":{"attempt":{"sha256":"8ad3f257b39366e9aab93e648b6dfab749e046361dd399c171636ec941ff5a0b","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, at_best, total, name))\n    rows.sort()\n    out = []\n    for i, r in enumerate(rows):\n        if i and rows[i - 1][:2] == r[:2]:\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: shared place key',\n   ([['Dee', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, 'XXO'], [192, 'O'], [195, 'O']]],\n     ['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'X-'], [189, 'XO'], [192, 'O'], [195, 'O']]],\n     ['Ade', [[180, 'XXX']]]],),\n   [[1, 'Dee', 195], [2, 'Bo', 195], [None, 'Ade', None]]),\n  ('regression: shared place key',\n   ([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'O']]],\n     ['Fay', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],\n     ['Dee', [[180, 'XO'], [183, 'X-'], [186, 'X-']]],\n     ['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],\n     ['Cy', [[180, 'XO'], [183, '-'], [186, 'XX-']]]],),\n   [[1, 'Eli', 186], [2, 'Ade', 186], [3, 'Fay', 183], [4, 'Cy', 180], [4, 'Dee', 180]]),\n  ('variant scenario 1',\n   ([['Cy', [[180, 'X-'], [183, 'XO'], [186, 'O'], [189, '-'], [192, 'XO'], [195, 'O']]],\n     ['Eli', [[180, 'XXX']]],\n     ['Dee', [[180, 'XO'], [183, 'O'], [186, 'XXX']]]],),\n   [[1, 'Cy', 195], [2, 'Dee', 183], [None, 'Eli', None]]),\n  ('variant scenario 2',\n   ([['Eli', [[180, 'XX-'], [183, 'X-'], [186, 'O'], [189, 'O'], [192, 'XXO']]],\n     ['Fay', [[180, 'O'], [183, 'O'], [186, 'XXX']]]],),\n   [[1, 'Eli', 192], [2, 'Fay', 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: shared place key',\n   ([['Bo', [[180, 'O'], [183, 'O'], [186, 'XX-'], [189, 'XX-'], [192, 'XO']]],\n     ['Eli', [[180, 'O'], [183, '-'], [186, 'XXO'], [189, 'X-'], [192, 'O']]],\n     ['Fay', [[180, 'X-'], [183, 'X-'], [186, 'XX-'], [189, 'O'], [192, 'XO']]]],),\n   [[1, 'Eli', 192], [2, 'Bo', 192], [2, 'Fay', 192]]),\n  ('regression: shared place key',\n   ([['Bo', [[180, 'XO'], [183, 'XX-'], [186, 'XX-']]],\n     ['Ade', [[180, 'XXX']]],\n     ['Dee', [[180, 'O'], [183, '-'], [186, 'O']]],\n     ['Cy', [[180, 'O'], [183, 'XXO'], [186, 'O']]],\n     ['Eli', [[180, 'XXO'], [183, '-'], [186, 'O']]]],),\n   [[1, 'Dee', 186], [2, 'Cy', 186], [2, 'Eli', 186], [4, 'Bo', 180], [None, 'Ade', None]]),\n  ('variant scenario 1',\n   ([['Eli', [[180, 'XX-'], [183, 'X-'], [186, '-'], [189, 'O'], [192, 'XO']]],\n     ['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, 'XXO'], [192, 'O']]],\n     ['Bo', [[180, 'X-'], [183, 'XX-'], [186, 'XX-'], [189, '-'], [192, 'XXX']]],\n     ['Cy', [[180, 'XXX']]]],),\n   [[1, 'Ade', 192], [2, 'Eli', 192], [None, 'Bo', None], [None, 'Cy', None]]),\n  ('variant scenario 2',\n   ([['Eli', [[180, 'XO'], [183, 'X-'], [186, 'X-']]],\n     ['Cy', [[180, 'X-'], [183, 'XX-'], [186, 'X-']]]],),\n   [[1, 'Eli', 180], [None, 'Cy', 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: shared place key',\n   ([['Bo', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],\n     ['Eli', [[180, 'XXO'], [183, 'X-'], [186, 'XXO']]],\n     ['Dee', [[180, 'O'], [183, '-'], [186, 'XXO']]],\n     ['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XX-']]]],),\n   [[1, 'Dee', 186], [2, 'Eli', 186], [3, 'Bo', 183], [4, 'Ade', 183]]),\n  ('regression: shared place key',\n   ([['Dee', [[180, 'XO'], [183, 'O'], [186, 'O']]],\n     ['Ade', [[180, '-'], [183, 'X-'], [186, 'O']]],\n     ['Eli', [[180, 'XO'], [183, 'XXX']]]],),\n   [[1, 'Ade', 186], [1, 'Dee', 186], [3, 'Eli', 180]]),\n  ('variant scenario 1',\n   ([['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XX-']]],\n     ['Cy', [[180, 'O'], [183, '-'], [186, 'XX-']]],\n     ['Dee', [[180, '-'], [183, '-'], [186, 'XO']]]],),\n   [[1, 'Dee', 186], [2, 'Bo', 183], [3, 'Cy', 180]]),\n  ('variant scenario 2',\n   ([['Fay', [[180, 'XXX']]],\n     ['Ade', [[180, 'XXO'], [183, '-'], [186, 'O'], [189, 'XXX']]],\n     ['Cy', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'O']]]],),\n   [[1, 'Cy', 189], [2, 'Ade', 186], [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: shared place key',\n   ([['Dee', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'X-'], [192, 'O'], [195, 'O']]],\n     ['Bo', [[180, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, 'O'], [186, 'XO'], [189, 'XX-'], [192, 'X-'], [195, 'XO']]],\n     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'O'], [195, 'XO']]],\n     ['Fay', [[180, 'XXX']]]],),\n   [[1, 'Dee', 195], [2, 'Ade', 195], [3, 'Eli', 195], [None, 'Bo', None], [None, 'Fay', None]]),\n  ('regression: shared place key',\n   ([['Dee', [[180, '-'], [183, 'XXO'], [186, 'XXX']]],\n     ['Cy', [[180, 'O'], [183, 'XXO'], [186, 'X-']]],\n     ['Ade', [[180, 'X-'], [183, 'X-'], [186, 'O']]]],),\n   [[1, 'Ade', 186], [2, 'Cy', 183], [2, 'Dee', 183]]),\n  ('variant scenario 1',\n   ([['Bo', [[180, 'XO'], [183, '-'], [186, 'O'], [189, '-']]],\n     ['Cy', [[180, '-'], [183, 'XXX']]],\n     ['Fay', [[180, 'XXO'], [183, 'XXX']]],\n     ['Eli', [[180, 'X-'], [183, 'O'], [186, 'O'], [189, 'O']]]],),\n   [[1, 'Eli', 189], [2, 'Bo', 186], [3, 'Fay', 180], [None, 'Cy', None]]),\n  ('variant scenario 2',\n   ([['Dee', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XXO'], [192, 'O']]],\n     ['Eli', [[180, 'X-'], [183, 'XXO'], [186, '-'], [189, 'XX-'], [192, '-']]]],),\n   [[1, 'Dee', 192], [2, '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: shared place key',\n   ([['Eli', [[180, '-'], [183, 'XO'], [186, 'X-'], [189, 'XO'], [192, 'X-']]],\n     ['Bo', [[180, 'O'], [183, 'X-'], [186, 'XXX']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Ade', [[180, 'O'], [183, '-'], [186, 'O'], [189, 'O'], [192, 'O']]],\n     ['Fay', [[180, 'O'], [183, 'XX-'], [186, 'XO'], [189, '-'], [192, 'O']]]],),\n   [[1, 'Ade', 192], [2, 'Fay', 192], [3, 'Eli', 189], [4, 'Bo', 180], [None, 'Dee', None]]),\n  ('regression: shared place key',\n   ([['Bo', [[180, 'XXO'], [183, 'XXX']]],\n     ['Ade', [[180, '-'], [183, 'XO'], [186, 'XXX']]],\n     ['Fay', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'O']]],\n     ['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'O']]],\n     ['Dee', [[180, 'O'], [183, '-'], [186, 'X-'], [189, 'X-']]]],),\n   [[1, 'Cy', 189], [1, 'Fay', 189], [3, 'Ade', 183], [4, 'Dee', 180], [5, 'Bo', 180]]),\n  ('variant scenario 1',\n   ([['Ade', [[180, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, 'XO'], [186, '-'], [189, 'XXO'], [192, 'XXO']]],\n     ['Dee', [[180, 'XXX']]]],),\n   [[1, 'Eli', 192], [None, 'Ade', None], [None, 'Dee', None]]),\n  ('variant scenario 2',\n   ([['Ade', [[180, 'XXX']]],\n     ['Eli', [[180, 'O'], [183, 'XXO'], [186, '-']]],\n     ['Cy', [[180, 'XO'], [183, 'O'], [186, 'XO']]]],),\n   [[1, 'Cy', 186], [2, 'Eli', 183], [None, 'Ade', 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":"76972bd6316676ddb46265bd917b5cfed455efe79cb3a22fdadf5d2ba35cba76","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, at_best, total, name))\n    rows.sort()\n    out = []\n    for i, r in enumerate(rows):\n        if i and rows[i - 1] == r:\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: shared place key',\n   ([['Dee', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, 'XXO'], [192, 'O'], [195, 'O']]],\n     ['Bo', [[180, 'XX-'], [183, 'XO'], [186, 'X-'], [189, 'XO'], [192, 'O'], [195, 'O']]],\n     ['Ade', [[180, 'XXX']]]],),\n   [[1, 'Dee', 195], [2, 'Bo', 195], [None, 'Ade', None]]),\n  ('regression: shared place key',\n   ([['Eli', [[180, 'O'], [183, 'XXO'], [186, 'O']]],\n     ['Fay', [[180, 'XO'], [183, 'XO'], [186, 'XX-']]],\n     ['Dee', [[180, 'XO'], [183, 'X-'], [186, 'X-']]],\n     ['Ade', [[180, '-'], [183, '-'], [186, 'XO']]],\n     ['Cy', [[180, 'XO'], [183, '-'], [186, 'XX-']]]],),\n   [[1, 'Eli', 186], [2, 'Ade', 186], [3, 'Fay', 183], [4, 'Cy', 180], [4, 'Dee', 180]]),\n  ('variant scenario 1',\n   ([['Cy', [[180, 'X-'], [183, 'XO'], [186, 'O'], [189, '-'], [192, 'XO'], [195, 'O']]],\n     ['Eli', [[180, 'XXX']]],\n     ['Dee', [[180, 'XO'], [183, 'O'], [186, 'XXX']]]],),\n   [[1, 'Cy', 195], [2, 'Dee', 183], [None, 'Eli', None]]),\n  ('variant scenario 2',\n   ([['Eli', [[180, 'XX-'], [183, 'X-'], [186, 'O'], [189, 'O'], [192, 'XXO']]],\n     ['Fay', [[180, 'O'], [183, 'O'], [186, 'XXX']]]],),\n   [[1, 'Eli', 192], [2, 'Fay', 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: shared place key',\n   ([['Bo', [[180, 'O'], [183, 'O'], [186, 'XX-'], [189, 'XX-'], [192, 'XO']]],\n     ['Eli', [[180, 'O'], [183, '-'], [186, 'XXO'], [189, 'X-'], [192, 'O']]],\n     ['Fay', [[180, 'X-'], [183, 'X-'], [186, 'XX-'], [189, 'O'], [192, 'XO']]]],),\n   [[1, 'Eli', 192], [2, 'Bo', 192], [2, 'Fay', 192]]),\n  ('regression: shared place key',\n   ([['Bo', [[180, 'XO'], [183, 'XX-'], [186, 'XX-']]],\n     ['Ade', [[180, 'XXX']]],\n     ['Dee', [[180, 'O'], [183, '-'], [186, 'O']]],\n     ['Cy', [[180, 'O'], [183, 'XXO'], [186, 'O']]],\n     ['Eli', [[180, 'XXO'], [183, '-'], [186, 'O']]]],),\n   [[1, 'Dee', 186], [2, 'Cy', 186], [2, 'Eli', 186], [4, 'Bo', 180], [None, 'Ade', None]]),\n  ('variant scenario 1',\n   ([['Eli', [[180, 'XX-'], [183, 'X-'], [186, '-'], [189, 'O'], [192, 'XO']]],\n     ['Ade', [[180, 'O'], [183, 'O'], [186, 'XXO'], [189, 'XXO'], [192, 'O']]],\n     ['Bo', [[180, 'X-'], [183, 'XX-'], [186, 'XX-'], [189, '-'], [192, 'XXX']]],\n     ['Cy', [[180, 'XXX']]]],),\n   [[1, 'Ade', 192], [2, 'Eli', 192], [None, 'Bo', None], [None, 'Cy', None]]),\n  ('variant scenario 2',\n   ([['Eli', [[180, 'XO'], [183, 'X-'], [186, 'X-']]],\n     ['Cy', [[180, 'X-'], [183, 'XX-'], [186, 'X-']]]],),\n   [[1, 'Eli', 180], [None, 'Cy', 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: shared place key',\n   ([['Bo', [[180, 'XO'], [183, 'O'], [186, 'XXX']]],\n     ['Eli', [[180, 'XXO'], [183, 'X-'], [186, 'XXO']]],\n     ['Dee', [[180, 'O'], [183, '-'], [186, 'XXO']]],\n     ['Ade', [[180, 'X-'], [183, 'XO'], [186, 'XX-']]]],),\n   [[1, 'Dee', 186], [2, 'Eli', 186], [3, 'Bo', 183], [4, 'Ade', 183]]),\n  ('regression: shared place key',\n   ([['Dee', [[180, 'XO'], [183, 'O'], [186, 'O']]],\n     ['Ade', [[180, '-'], [183, 'X-'], [186, 'O']]],\n     ['Eli', [[180, 'XO'], [183, 'XXX']]]],),\n   [[1, 'Ade', 186], [1, 'Dee', 186], [3, 'Eli', 180]]),\n  ('variant scenario 1',\n   ([['Bo', [[180, 'XX-'], [183, 'O'], [186, 'XX-']]],\n     ['Cy', [[180, 'O'], [183, '-'], [186, 'XX-']]],\n     ['Dee', [[180, '-'], [183, '-'], [186, 'XO']]]],),\n   [[1, 'Dee', 186], [2, 'Bo', 183], [3, 'Cy', 180]]),\n  ('variant scenario 2',\n   ([['Fay', [[180, 'XXX']]],\n     ['Ade', [[180, 'XXO'], [183, '-'], [186, 'O'], [189, 'XXX']]],\n     ['Cy', [[180, 'O'], [183, 'XO'], [186, 'XO'], [189, 'O']]]],),\n   [[1, 'Cy', 189], [2, 'Ade', 186], [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: shared place key',\n   ([['Dee', [[180, 'XO'], [183, 'O'], [186, '-'], [189, 'X-'], [192, 'O'], [195, 'O']]],\n     ['Bo', [[180, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, 'O'], [186, 'XO'], [189, 'XX-'], [192, 'X-'], [195, 'XO']]],\n     ['Ade', [[180, 'XO'], [183, 'XXO'], [186, 'XO'], [189, 'O'], [192, 'O'], [195, 'XO']]],\n     ['Fay', [[180, 'XXX']]]],),\n   [[1, 'Dee', 195], [2, 'Ade', 195], [3, 'Eli', 195], [None, 'Bo', None], [None, 'Fay', None]]),\n  ('regression: shared place key',\n   ([['Dee', [[180, '-'], [183, 'XXO'], [186, 'XXX']]],\n     ['Cy', [[180, 'O'], [183, 'XXO'], [186, 'X-']]],\n     ['Ade', [[180, 'X-'], [183, 'X-'], [186, 'O']]]],),\n   [[1, 'Ade', 186], [2, 'Cy', 183], [2, 'Dee', 183]]),\n  ('variant scenario 1',\n   ([['Bo', [[180, 'XO'], [183, '-'], [186, 'O'], [189, '-']]],\n     ['Cy', [[180, '-'], [183, 'XXX']]],\n     ['Fay', [[180, 'XXO'], [183, 'XXX']]],\n     ['Eli', [[180, 'X-'], [183, 'O'], [186, 'O'], [189, 'O']]]],),\n   [[1, 'Eli', 189], [2, 'Bo', 186], [3, 'Fay', 180], [None, 'Cy', None]]),\n  ('variant scenario 2',\n   ([['Dee', [[180, 'O'], [183, 'O'], [186, 'XO'], [189, 'XXO'], [192, 'O']]],\n     ['Eli', [[180, 'X-'], [183, 'XXO'], [186, '-'], [189, 'XX-'], [192, '-']]]],),\n   [[1, 'Dee', 192], [2, '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: shared place key',\n   ([['Eli', [[180, '-'], [183, 'XO'], [186, 'X-'], [189, 'XO'], [192, 'X-']]],\n     ['Bo', [[180, 'O'], [183, 'X-'], [186, 'XXX']]],\n     ['Dee', [[180, 'XXX']]],\n     ['Ade', [[180, 'O'], [183, '-'], [186, 'O'], [189, 'O'], [192, 'O']]],\n     ['Fay', [[180, 'O'], [183, 'XX-'], [186, 'XO'], [189, '-'], [192, 'O']]]],),\n   [[1, 'Ade', 192], [2, 'Fay', 192], [3, 'Eli', 189], [4, 'Bo', 180], [None, 'Dee', None]]),\n  ('regression: shared place key',\n   ([['Bo', [[180, 'XXO'], [183, 'XXX']]],\n     ['Ade', [[180, '-'], [183, 'XO'], [186, 'XXX']]],\n     ['Fay', [[180, 'O'], [183, 'O'], [186, '-'], [189, 'O']]],\n     ['Cy', [[180, '-'], [183, 'O'], [186, 'O'], [189, 'O']]],\n     ['Dee', [[180, 'O'], [183, '-'], [186, 'X-'], [189, 'X-']]]],),\n   [[1, 'Cy', 189], [1, 'Fay', 189], [3, 'Ade', 183], [4, 'Dee', 180], [5, 'Bo', 180]]),\n  ('variant scenario 1',\n   ([['Ade', [[180, 'XXX']]],\n     ['Eli', [[180, 'XO'], [183, 'XO'], [186, '-'], [189, 'XXO'], [192, 'XXO']]],\n     ['Dee', [[180, 'XXX']]]],),\n   [[1, 'Eli', 192], [None, 'Ade', None], [None, 'Dee', None]]),\n  ('variant scenario 2',\n   ([['Ade', [[180, 'XXX']]],\n     ['Eli', [[180, 'O'], [183, 'XXO'], [186, '-']]],\n     ['Cy', [[180, 'XO'], [183, 'O'], [186, 'XO']]]],),\n   [[1, 'Cy', 186], [2, 'Eli', 183], [None, 'Ade', 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-shared-place-key","generated_at":"2026-09-29T14:50:29.616440+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":"The tie comparison includes the athlete name.","sha256":"8577e64794c3a5db1abd86c4901d16b969ea536397cacb020ec4a84c5fb398fd","title":"Genuine ties split by name or partial countback · 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.531,"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],[1,"Ade",180]],"check":"boundary total misses countback","expected":[[1,"Bo",180],[2,"Ade",180]],"passed":false},{"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",195],[1,"Bo",195],[null,"Ade",null]],"check":"regression: shared place key","expected":[[1,"Dee",195],[2,"Bo",195],[null,"Ade",null]],"passed":false},{"actual":[[1,"Eli",186],[2,"Ade",186],[3,"Fay",183],[4,"Cy",180],[4,"Dee",180]],"check":"regression: shared place key","expected":[[1,"Eli",186],[2,"Ade",186],[3,"Fay",183],[4,"Cy",180],[4,"Dee",180]],"passed":true},{"actual":[[1,"Cy",195],[2,"Dee",183],[null,"Eli",null]],"check":"variant scenario 1","expected":[[1,"Cy",195],[2,"Dee",183],[null,"Eli",null]],"passed":true},{"actual":[[1,"Eli",192],[2,"Fay",183]],"check":"variant scenario 2","expected":[[1,"Eli",192],[2,"Fay",183]],"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], [1, \"Ade\", 180]], \"expected\": [[1, \"Bo\", 180], [2, \"Ade\", 180]], \"passed\": false}, {\"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: shared place key\", \"actual\": [[1, \"Dee\", 195], [1, \"Bo\", 195], [null, \"Ade\", null]], \"expected\": [[1, \"Dee\", 195], [2, \"Bo\", 195], [null, \"Ade\", null]], \"passed\": false}, {\"check\": \"regression: shared place key\", \"actual\": [[1, \"Eli\", 186], [2, \"Ade\", 186], [3, \"Fay\", 183], [4, \"Cy\", 180], [4, \"Dee\", 180]], \"expected\": [[1, \"Eli\", 186], [2, \"Ade\", 186], [3, \"Fay\", 183], [4, \"Cy\", 180], [4, \"Dee\", 180]], \"passed\": true}, {\"check\": \"variant scenario 1\", \"actual\": [[1, \"Cy\", 195], [2, \"Dee\", 183], [null, \"Eli\", null]], \"expected\": [[1, \"Cy\", 195], [2, \"Dee\", 183], [null, \"Eli\", null]], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [[1, \"Eli\", 192], [2, \"Fay\", 183]], \"expected\": [[1, \"Eli\", 192], [2, \"Fay\", 183]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.13,"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],[2,"Cy",180],[3,"Bo",177]],"check":"boundary true tie shares place","expected":[[1,"Ade",180],[1,"Cy",180],[3,"Bo",177]],"passed":false},{"actual":[[1,"Ade",180],[null,"Dee",null]],"check":"control no height","expected":[[1,"Ade",180],[null,"Dee",null]],"passed":true},{"actual":[[1,"Dee",195],[2,"Bo",195],[null,"Ade",null]],"check":"regression: shared place key","expected":[[1,"Dee",195],[2,"Bo",195],[null,"Ade",null]],"passed":true},{"actual":[[1,"Eli",186],[2,"Ade",186],[3,"Fay",183],[4,"Cy",180],[5,"Dee",180]],"check":"regression: shared place key","expected":[[1,"Eli",186],[2,"Ade",186],[3,"Fay",183],[4,"Cy",180],[4,"Dee",180]],"passed":false},{"actual":[[1,"Cy",195],[2,"Dee",183],[null,"Eli",null]],"check":"variant scenario 1","expected":[[1,"Cy",195],[2,"Dee",183],[null,"Eli",null]],"passed":true},{"actual":[[1,"Eli",192],[2,"Fay",183]],"check":"variant scenario 2","expected":[[1,"Eli",192],[2,"Fay",183]],"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], [2, \"Cy\", 180], [3, \"Bo\", 177]], \"expected\": [[1, \"Ade\", 180], [1, \"Cy\", 180], [3, \"Bo\", 177]], \"passed\": false}, {\"check\": \"control no height\", \"actual\": [[1, \"Ade\", 180], [null, \"Dee\", null]], \"expected\": [[1, \"Ade\", 180], [null, \"Dee\", null]], \"passed\": true}, {\"check\": \"regression: shared place key\", \"actual\": [[1, \"Dee\", 195], [2, \"Bo\", 195], [null, \"Ade\", null]], \"expected\": [[1, \"Dee\", 195], [2, \"Bo\", 195], [null, \"Ade\", null]], \"passed\": true}, {\"check\": \"regression: shared place key\", \"actual\": [[1, \"Eli\", 186], [2, \"Ade\", 186], [3, \"Fay\", 183], [4, \"Cy\", 180], [5, \"Dee\", 180]], \"expected\": [[1, \"Eli\", 186], [2, \"Ade\", 186], [3, \"Fay\", 183], [4, \"Cy\", 180], [4, \"Dee\", 180]], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [[1, \"Cy\", 195], [2, \"Dee\", 183], [null, \"Eli\", null]], \"expected\": [[1, \"Cy\", 195], [2, \"Dee\", 183], [null, \"Eli\", null]], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [[1, \"Eli\", 192], [2, \"Fay\", 183]], \"expected\": [[1, \"Eli\", 192], [2, \"Fay\", 183]], \"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."}}