{"abstract":"After a side-out the wrong player is shown serving.","category":"Sports scoring and tiebreakers","checks":10,"contract":"One badminton singles game. rallies is a string of rally winners (A/B). A game is won at 21 points with a two-point lead, or by the first player to 30 points (29-29 next point wins). The rally winner serves next. The server serves from the right court when the server's own score is even and from the left court when odd. Return [a, b, winner, None, None] when finished (later rallies ignored) or [a, b, None, next server, \"right\"/\"left\"].","contract_signature":"rallies, first_server","evaluation_group":"w2-sports-scoring-badminton-rally-court","failed_approach":"Alternating the serve after every rally copies table-tennis style service and is still wrong.","family":"w2-sports-scoring-badminton-rally-court-serve-follows-rally","id":"FA-83941","implementations":{"attempt":{"sha256":"95a929465c8497c249f4ac6994e74c4c17de1a4b9a1ecc587c35ab9bd8b19576","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rallies, first_server):\n    a = b = 0\n    server = first_server\n    for r in rallies:\n        if r == 'A':\n            a += 1\n        else:\n            b += 1\n        server = 'B' if server == 'A' else 'A'\n        if (max(a, b) >= 21 and abs(a - b) >= 2) or max(a, b) == 30:\n            return [a, b, r, None, None]\n    own = a if server == 'A' else b\n    return [a, b, None, server, 'right' if own % 2 == 0 else 'left']\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 opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally', ('BBBBAABAABABBBBAA', 'A'), [7, 10, None, 'A', 'left']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [19, 19, None, 'B', 'left']),\n  ('variant scenario 1',\n   ('BABBAAABBBAABBBABBABABAABABAABAAAAAAAA', 'A'),\n   [21, 16, 'A', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABBB', 'B'),\n   [28, 30, 'B', None, None])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally',\n   ('AAAABAAABABBBAAABABBAABBBBAABBAB', 'A'),\n   [17, 15, None, 'B', 'left']),\n  ('variant scenario 1', ('BAABBAABAAABAAAAAAAABBAAAABBBBBBAABB', 'B'), [21, 13, 'A', None, None]),\n  ('variant scenario 2', ('BBBAAABABABBABABAAB', 'B'), [9, 10, None, 'B', 'right'])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally', ('AAABAAABBBBA', 'B'), [7, 5, None, 'A', 'left']),\n  ('variant scenario 1',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABBAA', 'A'),\n   [29, 30, 'B', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABBAA', 'B'),\n   [28, 27, None, 'A', 'right'])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [26, 26, None, 'B', 'right']),\n  ('variant scenario 1',\n   ('BBBBBABABBBBBAABBABABABBAAAABAAAABABABABAABBBBBAAABABABABBBBBA', 'B'),\n   [17, 21, 'B', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABAB', 'B'),\n   [21, 21, None, 'B', 'left'])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABBAA', 'B'),\n   [25, 24, None, 'A', 'left']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [27, 27, None, 'B', 'left']),\n  ('variant scenario 1',\n   ('ABABABABABABABABABABABABABABABABABABABAA', 'B'),\n   [21, 19, 'A', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABA', 'B'),\n   [26, 25, None, 'A', 'right'])]]\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":"6d21410558213907366fadbfc5b7f80e69a796a90b05482e2787b1a43fcf4899","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rallies, first_server):\n    a = b = 0\n    server = first_server\n    for r in rallies:\n        if r == 'A':\n            a += 1\n        else:\n            b += 1\n        if (max(a, b) >= 21 and abs(a - b) >= 2) or max(a, b) == 30:\n            return [a, b, r, None, None]\n    own = a if server == 'A' else b\n    return [a, b, None, server, 'right' if own % 2 == 0 else 'left']\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 opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally', ('BBBBAABAABABBBBAA', 'A'), [7, 10, None, 'A', 'left']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [19, 19, None, 'B', 'left']),\n  ('variant scenario 1',\n   ('BABBAAABBBAABBBABBABABAABABAABAAAAAAAA', 'A'),\n   [21, 16, 'A', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABBB', 'B'),\n   [28, 30, 'B', None, None])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally',\n   ('AAAABAAABABBBAAABABBAABBBBAABBAB', 'A'),\n   [17, 15, None, 'B', 'left']),\n  ('variant scenario 1', ('BAABBAABAAABAAAAAAAABBAAAABBBBBBAABB', 'B'), [21, 13, 'A', None, None]),\n  ('variant scenario 2', ('BBBAAABABABBABABAAB', 'B'), [9, 10, None, 'B', 'right'])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally', ('AAABAAABBBBA', 'B'), [7, 5, None, 'A', 'left']),\n  ('variant scenario 1',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABBAA', 'A'),\n   [29, 30, 'B', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABBAA', 'B'),\n   [28, 27, None, 'A', 'right'])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [26, 26, None, 'B', 'right']),\n  ('variant scenario 1',\n   ('BBBBBABABBBBBAABBABABABBAAAABAAAABABABABAABBBBBAAABABABABBBBBA', 'B'),\n   [17, 21, 'B', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABAB', 'B'),\n   [21, 21, None, 'B', 'left'])],\n [('control opening serve', ('', 'B'), [0, 0, None, 'B', 'right']),\n  ('control server wins odd point', ('A', 'A'), [1, 0, None, 'A', 'left']),\n  ('boundary receiver wins rally', ('AB', 'A'), [1, 1, None, 'B', 'left']),\n  ('boundary game at 21-19',\n   ('AAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBAA', 'A'),\n   [21, 19, 'A', None, None]),\n  ('boundary cap at 30',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABB', 'A'),\n   [29, 30, 'B', None, None]),\n  ('control 20-all continues',\n   ('ABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [20, 20, None, 'B', 'right']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABBAA', 'B'),\n   [25, 24, None, 'A', 'left']),\n  ('regression: serve follows rally',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABABAB', 'A'),\n   [27, 27, None, 'B', 'left']),\n  ('variant scenario 1',\n   ('ABABABABABABABABABABABABABABABABABABABAA', 'B'),\n   [21, 19, 'A', None, None]),\n  ('variant scenario 2',\n   ('ABABABABABABABABABABABABABABABABABABABABABABABABABA', 'B'),\n   [26, 25, None, 'A', 'right'])]]\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-badminton-rally-court-serve-follows-rally","generated_at":"2026-09-29T14:50:26.344738+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Umpire scoring pads show the service court and server after each rally.","root_cause":"The server is never updated from the rally winner.","sha256":"15ba88e4302554bcb59657b3a2d0e1209ca36902b4532c7049fb28d847fa91e7","title":"Serve alternates instead of following the rally winner · 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":40.655,"exit_code":1,"observations":[{"actual":[0,0,null,"B","right"],"check":"control opening serve","expected":[0,0,null,"B","right"],"passed":true},{"actual":[1,0,null,"B","right"],"check":"control server wins odd point","expected":[1,0,null,"A","left"],"passed":false},{"actual":[1,1,null,"A","left"],"check":"boundary receiver wins rally","expected":[1,1,null,"B","left"],"passed":false},{"actual":[21,19,"A",null,null],"check":"boundary game at 21-19","expected":[21,19,"A",null,null],"passed":true},{"actual":[29,30,"B",null,null],"check":"boundary cap at 30","expected":[29,30,"B",null,null],"passed":true},{"actual":[20,20,null,"A","right"],"check":"control 20-all continues","expected":[20,20,null,"B","right"],"passed":false},{"actual":[7,10,null,"B","right"],"check":"regression: serve follows rally","expected":[7,10,null,"A","left"],"passed":false},{"actual":[19,19,null,"A","left"],"check":"regression: serve follows rally","expected":[19,19,null,"B","left"],"passed":false},{"actual":[21,16,"A",null,null],"check":"variant scenario 1","expected":[21,16,"A",null,null],"passed":true},{"actual":[28,30,"B",null,null],"check":"variant scenario 2","expected":[28,30,"B",null,null],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control opening serve\", \"actual\": [0, 0, null, \"B\", \"right\"], \"expected\": [0, 0, null, \"B\", \"right\"], \"passed\": true}, {\"check\": \"control server wins odd point\", \"actual\": [1, 0, null, \"B\", \"right\"], \"expected\": [1, 0, null, \"A\", \"left\"], \"passed\": false}, {\"check\": \"boundary receiver wins rally\", \"actual\": [1, 1, null, \"A\", \"left\"], \"expected\": [1, 1, null, \"B\", \"left\"], \"passed\": false}, {\"check\": \"boundary game at 21-19\", \"actual\": [21, 19, \"A\", null, null], \"expected\": [21, 19, \"A\", null, null], \"passed\": true}, {\"check\": \"boundary cap at 30\", \"actual\": [29, 30, \"B\", null, null], \"expected\": [29, 30, \"B\", null, null], \"passed\": true}, {\"check\": \"control 20-all continues\", \"actual\": [20, 20, null, \"A\", \"right\"], \"expected\": [20, 20, null, \"B\", \"right\"], \"passed\": false}, {\"check\": \"regression: serve follows rally\", \"actual\": [7, 10, null, \"B\", \"right\"], \"expected\": [7, 10, null, \"A\", \"left\"], \"passed\": false}, {\"check\": \"regression: serve follows rally\", \"actual\": [19, 19, null, \"A\", \"left\"], \"expected\": [19, 19, null, \"B\", \"left\"], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [21, 16, \"A\", null, null], \"expected\": [21, 16, \"A\", null, null], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [28, 30, \"B\", null, null], \"expected\": [28, 30, \"B\", null, null], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.43,"exit_code":1,"observations":[{"actual":[0,0,null,"B","right"],"check":"control opening serve","expected":[0,0,null,"B","right"],"passed":true},{"actual":[1,0,null,"A","left"],"check":"control server wins odd point","expected":[1,0,null,"A","left"],"passed":true},{"actual":[1,1,null,"A","left"],"check":"boundary receiver wins rally","expected":[1,1,null,"B","left"],"passed":false},{"actual":[21,19,"A",null,null],"check":"boundary game at 21-19","expected":[21,19,"A",null,null],"passed":true},{"actual":[29,30,"B",null,null],"check":"boundary cap at 30","expected":[29,30,"B",null,null],"passed":true},{"actual":[20,20,null,"A","right"],"check":"control 20-all continues","expected":[20,20,null,"B","right"],"passed":false},{"actual":[7,10,null,"A","left"],"check":"regression: serve follows rally","expected":[7,10,null,"A","left"],"passed":true},{"actual":[19,19,null,"A","left"],"check":"regression: serve follows rally","expected":[19,19,null,"B","left"],"passed":false},{"actual":[21,16,"A",null,null],"check":"variant scenario 1","expected":[21,16,"A",null,null],"passed":true},{"actual":[28,30,"B",null,null],"check":"variant scenario 2","expected":[28,30,"B",null,null],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control opening serve\", \"actual\": [0, 0, null, \"B\", \"right\"], \"expected\": [0, 0, null, \"B\", \"right\"], \"passed\": true}, {\"check\": \"control server wins odd point\", \"actual\": [1, 0, null, \"A\", \"left\"], \"expected\": [1, 0, null, \"A\", \"left\"], \"passed\": true}, {\"check\": \"boundary receiver wins rally\", \"actual\": [1, 1, null, \"A\", \"left\"], \"expected\": [1, 1, null, \"B\", \"left\"], \"passed\": false}, {\"check\": \"boundary game at 21-19\", \"actual\": [21, 19, \"A\", null, null], \"expected\": [21, 19, \"A\", null, null], \"passed\": true}, {\"check\": \"boundary cap at 30\", \"actual\": [29, 30, \"B\", null, null], \"expected\": [29, 30, \"B\", null, null], \"passed\": true}, {\"check\": \"control 20-all continues\", \"actual\": [20, 20, null, \"A\", \"right\"], \"expected\": [20, 20, null, \"B\", \"right\"], \"passed\": false}, {\"check\": \"regression: serve follows rally\", \"actual\": [7, 10, null, \"A\", \"left\"], \"expected\": [7, 10, null, \"A\", \"left\"], \"passed\": true}, {\"check\": \"regression: serve follows rally\", \"actual\": [19, 19, null, \"A\", \"left\"], \"expected\": [19, 19, null, \"B\", \"left\"], \"passed\": false}, {\"check\": \"variant scenario 1\", \"actual\": [21, 16, \"A\", null, null], \"expected\": [21, 16, \"A\", null, null], \"passed\": true}, {\"check\": \"variant scenario 2\", \"actual\": [28, 30, \"B\", null, null], \"expected\": [28, 30, \"B\", null, 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."}}