{"abstract":"A team is credited with stones that lie behind the opponent's closest stone.","category":"Sports scoring and tiebreakers","checks":10,"contract":"Curling end result. stones rows are [team, distance_mm] from the button to the stone centre; a stone counts only if it touches the house: distance <= 1830 + 145 (house radius plus stone radius). The team with the closest counting stone scores one point for each of its counting stones strictly closer than the opponent's closest counting stone (all its counting stones if the opponent has none). If no stone counts, or the two closest counting stones of different teams are at the same distance, the end is blank and the hammer stays. After a score the hammer goes to the team that did not score. Return [scoring team or None, points, hammer for next end].","contract_signature":"stones, hammer","evaluation_group":"w2-sports-scoring-curling-end-count","failed_approach":"Counting only the shot stone when the opponent has no stone in the house undercounts.","family":"w2-sports-scoring-curling-end-count-counting-limit","id":"FA-84241","implementations":{"attempt":{"sha256":"77c224dae1f381539e9d0ed2a30a9df045e7f064a943187f0a92aa2a6365063c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(stones, hammer):\n    inside = sorted((d, t) for t, d in stones if d <= 1830 + 145)\n    tie = bool(inside) and any(d == inside[0][0] and t != inside[0][1] for d, t in inside)\n    if not inside or tie:\n        return [None, 0, hammer]\n    best_d, team = inside[0]\n    opp = [d for d, t in inside if t != team]\n    limit = min(opp) if opp else None\n    points = sum(1 for d, t in inside if t == team and (d < limit if limit is not None else d == best_d))\n    nxt = 'B' if team == 'A' else 'A'\n    return [team, points, nxt]\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 single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['A', 406],\n     ['B', 399],\n     ['B', 898],\n     ['A', 2048],\n     ['B', 1613],\n     ['B', 1262],\n     ['B', 412],\n     ['B', 1363],\n     ['B', 406]],\n    'B'),\n   ['B', 1, 'A']),\n  ('regression: counting limit',\n   ([['B', 371], ['B', 1920], ['B', 433], ['A', 2318], ['B', 194], ['B', 118], ['B', 409]], 'A'),\n   ['B', 6, 'A']),\n  ('variant scenario 1',\n   ([['A', 454], ['A', 400], ['B', 1405], ['A', 1720], ['A', 1746]], 'A'),\n   ['A', 2, 'B']),\n  ('variant scenario 2', ([['B', 598], ['A', 2040], ['A', 127]], 'A'), ['A', 1, 'B'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['A', 432], ['A', 1730], ['B', 1904], ['A', 584], ['B', 2380], ['B', 1638], ['A', 1972]], 'B'),\n   ['A', 2, 'B']),\n  ('regression: counting limit', ([['B', 1314], ['B', 531]], 'B'), ['B', 2, 'A']),\n  ('variant scenario 1', ([['A', 308], ['B', 924]], 'A'), ['A', 1, 'B']),\n  ('variant scenario 2',\n   ([['B', 1722], ['B', 465], ['A', 1918], ['A', 571], ['B', 1958]], 'A'),\n   ['B', 1, 'A'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['B', 318],\n     ['A', 2016],\n     ['A', 1759],\n     ['B', 98],\n     ['B', 24],\n     ['A', 2032],\n     ['B', 1781],\n     ['A', 1850]],\n    'A'),\n   ['B', 3, 'A']),\n  ('regression: counting limit', ([['B', 430], ['B', 1878]], 'A'), ['B', 2, 'A']),\n  ('variant scenario 1', ([['B', 805]], 'B'), ['B', 1, 'A']),\n  ('variant scenario 2',\n   ([['A', 1716], ['A', 1304], ['B', 1756], ['B', 36], ['A', 2270]], 'A'),\n   ['B', 1, 'A'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit', ([['A', 361], ['A', 240]], 'A'), ['A', 2, 'B']),\n  ('regression: counting limit',\n   ([['A', 1727], ['A', 392], ['A', 1729], ['B', 732], ['A', 2097]], 'A'),\n   ['A', 1, 'B']),\n  ('variant scenario 1',\n   ([['A', 187], ['B', 456], ['B', 142], ['B', 1993], ['B', 187]], 'A'),\n   ['B', 1, 'A']),\n  ('variant scenario 2',\n   ([['B', 552],\n     ['B', 476],\n     ['B', 561],\n     ['B', 1762],\n     ['A', 418],\n     ['A', 194],\n     ['A', 1127],\n     ['B', 1615]],\n    'A'),\n   ['A', 2, 'B'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['B', 585],\n     ['A', 132],\n     ['A', 1567],\n     ['B', 1729],\n     ['A', 948],\n     ['B', 121],\n     ['A', 523],\n     ['B', 910]],\n    'B'),\n   ['B', 1, 'A']),\n  ('regression: counting limit', ([['B', 1969], ['B', 163]], 'B'), ['B', 2, 'A']),\n  ('variant scenario 1',\n   ([['A', 231],\n     ['A', 14],\n     ['A', 1952],\n     ['A', 2020],\n     ['B', 238],\n     ['A', 2269],\n     ['B', 1723],\n     ['B', 231]],\n    'B'),\n   ['A', 1, 'B']),\n  ('variant scenario 2', ([['A', 390]], 'A'), ['A', 1, 'B'])]]\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":"94a29ee598530aa8cd308f2e27525162ff349917e8a058d47c292b1c6382764a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(stones, hammer):\n    inside = sorted((d, t) for t, d in stones if d <= 1830 + 145)\n    tie = bool(inside) and any(d == inside[0][0] and t != inside[0][1] for d, t in inside)\n    if not inside or tie:\n        return [None, 0, hammer]\n    best_d, team = inside[0]\n    opp = [d for d, t in inside if t != team]\n    limit = min(opp) if opp else None\n    points = sum(1 for d, t in inside if t == team and True)\n    nxt = 'B' if team == 'A' else 'A'\n    return [team, points, nxt]\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 single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['A', 406],\n     ['B', 399],\n     ['B', 898],\n     ['A', 2048],\n     ['B', 1613],\n     ['B', 1262],\n     ['B', 412],\n     ['B', 1363],\n     ['B', 406]],\n    'B'),\n   ['B', 1, 'A']),\n  ('regression: counting limit',\n   ([['B', 371], ['B', 1920], ['B', 433], ['A', 2318], ['B', 194], ['B', 118], ['B', 409]], 'A'),\n   ['B', 6, 'A']),\n  ('variant scenario 1',\n   ([['A', 454], ['A', 400], ['B', 1405], ['A', 1720], ['A', 1746]], 'A'),\n   ['A', 2, 'B']),\n  ('variant scenario 2', ([['B', 598], ['A', 2040], ['A', 127]], 'A'), ['A', 1, 'B'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['A', 432], ['A', 1730], ['B', 1904], ['A', 584], ['B', 2380], ['B', 1638], ['A', 1972]], 'B'),\n   ['A', 2, 'B']),\n  ('regression: counting limit', ([['B', 1314], ['B', 531]], 'B'), ['B', 2, 'A']),\n  ('variant scenario 1', ([['A', 308], ['B', 924]], 'A'), ['A', 1, 'B']),\n  ('variant scenario 2',\n   ([['B', 1722], ['B', 465], ['A', 1918], ['A', 571], ['B', 1958]], 'A'),\n   ['B', 1, 'A'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['B', 318],\n     ['A', 2016],\n     ['A', 1759],\n     ['B', 98],\n     ['B', 24],\n     ['A', 2032],\n     ['B', 1781],\n     ['A', 1850]],\n    'A'),\n   ['B', 3, 'A']),\n  ('regression: counting limit', ([['B', 430], ['B', 1878]], 'A'), ['B', 2, 'A']),\n  ('variant scenario 1', ([['B', 805]], 'B'), ['B', 1, 'A']),\n  ('variant scenario 2',\n   ([['A', 1716], ['A', 1304], ['B', 1756], ['B', 36], ['A', 2270]], 'A'),\n   ['B', 1, 'A'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit', ([['A', 361], ['A', 240]], 'A'), ['A', 2, 'B']),\n  ('regression: counting limit',\n   ([['A', 1727], ['A', 392], ['A', 1729], ['B', 732], ['A', 2097]], 'A'),\n   ['A', 1, 'B']),\n  ('variant scenario 1',\n   ([['A', 187], ['B', 456], ['B', 142], ['B', 1993], ['B', 187]], 'A'),\n   ['B', 1, 'A']),\n  ('variant scenario 2',\n   ([['B', 552],\n     ['B', 476],\n     ['B', 561],\n     ['B', 1762],\n     ['A', 418],\n     ['A', 194],\n     ['A', 1127],\n     ['B', 1615]],\n    'A'),\n   ['A', 2, 'B'])],\n [('control single shot', ([['A', 100], ['B', 400]], 'A'), ['A', 1, 'B']),\n  ('boundary stone biting house edge', ([['B', 1975]], 'A'), ['B', 1, 'A']),\n  ('boundary stone just outside', ([['B', 1976]], 'A'), [None, 0, 'A']),\n  ('control steal of two', ([['B', 50], ['B', 300], ['A', 500]], 'A'), ['B', 2, 'A']),\n  ('boundary measured tie', ([['A', 200], ['B', 200]], 'B'), [None, 0, 'B']),\n  ('control empty house', ([], 'A'), [None, 0, 'A']),\n  ('regression: counting limit',\n   ([['B', 585],\n     ['A', 132],\n     ['A', 1567],\n     ['B', 1729],\n     ['A', 948],\n     ['B', 121],\n     ['A', 523],\n     ['B', 910]],\n    'B'),\n   ['B', 1, 'A']),\n  ('regression: counting limit', ([['B', 1969], ['B', 163]], 'B'), ['B', 2, 'A']),\n  ('variant scenario 1',\n   ([['A', 231],\n     ['A', 14],\n     ['A', 1952],\n     ['A', 2020],\n     ['B', 238],\n     ['A', 2269],\n     ['B', 1723],\n     ['B', 231]],\n    'B'),\n   ['A', 1, 'B']),\n  ('variant scenario 2', ([['A', 390]], 'A'), ['A', 1, 'B'])]]\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-curling-end-count-counting-limit","generated_at":"2026-09-29T14:50:29.131523+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Curling scoreboards compute end scores and hammer possession from measured stone positions.","root_cause":"The counting predicate ignores the opponent's closest stone.","sha256":"cfb0af66f2465abae2a26d4bfeff3aa1ff1d7e524ae84db985b4928fe7d0857b","title":"Every counting stone of the shot team scores · 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":41.93,"exit_code":1,"observations":[{"actual":["A",1,"B"],"check":"control single shot","expected":["A",1,"B"],"passed":true},{"actual":["B",1,"A"],"check":"boundary stone biting house edge","expected":["B",1,"A"],"passed":true},{"actual":[null,0,"A"],"check":"boundary stone just outside","expected":[null,0,"A"],"passed":true},{"actual":["B",2,"A"],"check":"control steal of two","expected":["B",2,"A"],"passed":true},{"actual":[null,0,"B"],"check":"boundary measured tie","expected":[null,0,"B"],"passed":true},{"actual":[null,0,"A"],"check":"control empty house","expected":[null,0,"A"],"passed":true},{"actual":["B",1,"A"],"check":"regression: counting limit","expected":["B",1,"A"],"passed":true},{"actual":["B",1,"A"],"check":"regression: counting limit","expected":["B",6,"A"],"passed":false},{"actual":["A",2,"B"],"check":"variant scenario 1","expected":["A",2,"B"],"passed":true},{"actual":["A",1,"B"],"check":"variant scenario 2","expected":["A",1,"B"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control single shot\", \"actual\": [\"A\", 1, \"B\"], \"expected\": [\"A\", 1, \"B\"], \"passed\": true}, {\"check\": \"boundary stone biting house edge\", \"actual\": [\"B\", 1, \"A\"], \"expected\": [\"B\", 1, \"A\"], \"passed\": true}, {\"check\": \"boundary stone just outside\", \"actual\": [null, 0, \"A\"], \"expected\": [null, 0, \"A\"], \"passed\": true}, {\"check\": \"control steal of two\", \"actual\": [\"B\", 2, \"A\"], \"expected\": [\"B\", 2, \"A\"], \"passed\": true}, {\"check\": \"boundary measured tie\", \"actual\": [null, 0, \"B\"], \"expected\": [null, 0, \"B\"], \"passed\": true}, {\"check\": \"control empty house\", \"actual\": [null, 0, \"A\"], \"expected\": [null, 0, \"A\"], \"passed\": true}, {\"check\": \"regression: counting limit\", \"actual\": [\"B\", 1, \"A\"], \"expected\": [\"B\", 1, \"A\"], \"passed\": true}, {\"check\": \"regression: counting limit\", \"actual\": [\"B\", 1, \"A\"], \"expected\": [\"B\", 6, \"A\"], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [\"A\", 2, \"B\"], \"expected\": [\"A\", 2, \"B\"], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [\"A\", 1, \"B\"], \"expected\": [\"A\", 1, \"B\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.414,"exit_code":1,"observations":[{"actual":["A",1,"B"],"check":"control single shot","expected":["A",1,"B"],"passed":true},{"actual":["B",1,"A"],"check":"boundary stone biting house edge","expected":["B",1,"A"],"passed":true},{"actual":[null,0,"A"],"check":"boundary stone just outside","expected":[null,0,"A"],"passed":true},{"actual":["B",2,"A"],"check":"control steal of two","expected":["B",2,"A"],"passed":true},{"actual":[null,0,"B"],"check":"boundary measured tie","expected":[null,0,"B"],"passed":true},{"actual":[null,0,"A"],"check":"control empty house","expected":[null,0,"A"],"passed":true},{"actual":["B",7,"A"],"check":"regression: counting limit","expected":["B",1,"A"],"passed":false},{"actual":["B",6,"A"],"check":"regression: counting limit","expected":["B",6,"A"],"passed":true},{"actual":["A",4,"B"],"check":"variant scenario 1","expected":["A",2,"B"],"passed":false},{"actual":["A",1,"B"],"check":"variant scenario 2","expected":["A",1,"B"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control single shot\", \"actual\": [\"A\", 1, \"B\"], \"expected\": [\"A\", 1, \"B\"], \"passed\": true}, {\"check\": \"boundary stone biting house edge\", \"actual\": [\"B\", 1, \"A\"], \"expected\": [\"B\", 1, \"A\"], \"passed\": true}, {\"check\": \"boundary stone just outside\", \"actual\": [null, 0, \"A\"], \"expected\": [null, 0, \"A\"], \"passed\": true}, {\"check\": \"control steal of two\", \"actual\": [\"B\", 2, \"A\"], \"expected\": [\"B\", 2, \"A\"], \"passed\": true}, {\"check\": \"boundary measured tie\", \"actual\": [null, 0, \"B\"], \"expected\": [null, 0, \"B\"], \"passed\": true}, {\"check\": \"control empty house\", \"actual\": [null, 0, \"A\"], \"expected\": [null, 0, \"A\"], \"passed\": true}, {\"check\": \"regression: counting limit\", \"actual\": [\"B\", 7, \"A\"], \"expected\": [\"B\", 1, \"A\"], \"passed\": false}, {\"check\": \"regression: counting limit\", \"actual\": [\"B\", 6, \"A\"], \"expected\": [\"B\", 6, \"A\"], \"passed\": true}, {\"check\": \"variant scenario 1\", \"actual\": [\"A\", 4, \"B\"], \"expected\": [\"A\", 2, \"B\"], \"passed\": false}, {\"check\": \"variant scenario 2\", \"actual\": [\"A\", 1, \"B\"], \"expected\": [\"A\", 1, \"B\"], \"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."}}