{"abstract":"Busy weeks show negative guaranteed-hours top-ups that offset pay.","category":"Shift rostering labor rules","checks":8,"contract":"Contract minutes per week and worked minutes per week. Per week: top-up = shortfall below contract; additional = minutes between contract and 2400; supplement base = additional minutes beyond a tolerance of contract // 10; overtime = minutes above 2400. Return [top-up, additional, supplement base, overtime] per week.","contract_signature":"contract, weeks","evaluation_group":"w2-shift-rostering-labor-rules-part-time-additional-hours","failed_approach":"Absolute value pays top-up for weeks above contract.","family":"w2-shift-rostering-labor-rules-part-time-additional-hours-top-up-clamp","id":"FA-94316","implementations":{"attempt":{"sha256":"c7ea579ac1ff6c917c1bcf375456eddcf77671de571a26d9e33126034fcb64bb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(contract, weeks):\n    out = []\n    free = contract // 10\n    for w in weeks:\n        top = abs(contract - w)\n        add = max(min(w, 2400) - contract, 0)\n        sup = max(add - free, 0)\n        ot = max(w - 2400, 0)\n        out.append([top, add, sup, ot])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: top up clamp 1', [1200, [1320, 1321]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('regression variant: top up clamp 2', [1234, [2880, 1056, 2880, 2400, 1357]],\n   [[0, 1166, 1043, 480], [178, 0, 0, 0], [0, 1166, 1043, 480], [0, 1166, 1043, 0], [0, 123, 0, 0]]),\n  ('partial repair guard 3', [1500, [2880, 2880, 2880]],\n   [[0, 900, 750, 480], [0, 900, 750, 480], [0, 900, 750, 480]]),\n  ('boundary control 4', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('normal control 5', [1200, [2267, 2400]], [[0, 1067, 947, 0], [0, 1200, 1080, 0]]),\n  ('normal control 6', [1500, [1651, 1650, 2400]], [[0, 151, 1, 0], [0, 150, 0, 0], [0, 900, 750, 0]]),\n  ('normal control 7', [2100, [2100, 2400]], [[0, 0, 0, 0], [0, 300, 90, 0]]),\n  ('normal control 8', [1500, [0, 1440]], [[1500, 0, 0, 0], [60, 0, 0, 0]])],\n [('regression: top up clamp 1', [1205, [1325, 1326]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('regression variant: top up clamp 2', [1800, [1740, 2880]], [[60, 0, 0, 0], [0, 600, 420, 480]]),\n  ('partial repair guard 3', [1500, [1500, 2500, 1651]], [[0, 0, 0, 0], [0, 900, 750, 100], [0, 151, 1, 0]]),\n  ('boundary control 4', [1500, [2500, 1000]], [[0, 900, 750, 100], [500, 0, 0, 0]]),\n  ('boundary control 5', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('normal control 6', [1800, [0, 1981]], [[1800, 0, 0, 0], [0, 181, 1, 0]]),\n  ('normal control 7', [1205, [2500, 0, 2400, 1145, 1325]],\n   [[0, 1195, 1075, 100], [1205, 0, 0, 0], [0, 1195, 1075, 0], [60, 0, 0, 0], [0, 120, 0, 0]]),\n  ('normal control 8', [2100, [2100, 2040, 2289]], [[0, 0, 0, 0], [60, 0, 0, 0], [0, 189, 0, 0]])],\n [('regression: top up clamp 1', [1500, [2500, 1000]], [[0, 900, 750, 100], [500, 0, 0, 0]]),\n  ('regression variant: top up clamp 2', [1234, [1174, 2400, 1358]],\n   [[60, 0, 0, 0], [0, 1166, 1043, 0], [0, 124, 1, 0]]),\n  ('partial repair guard 3', [1800, [2880, 0, 2500, 1488, 1981]],\n   [[0, 600, 420, 480], [1800, 0, 0, 0], [0, 600, 420, 100], [312, 0, 0, 0], [0, 181, 1, 0]]),\n  ('boundary control 4', [1205, [1325, 1326]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('normal control 5', [1800, [1800, 0, 1981, 2500]],\n   [[0, 0, 0, 0], [1800, 0, 0, 0], [0, 181, 1, 0], [0, 600, 420, 100]]),\n  ('normal control 6', [1500, [2400, 2880, 1432]], [[0, 900, 750, 0], [0, 900, 750, 480], [68, 0, 0, 0]]),\n  ('normal control 7', [1200, [0, 1321, 2400, 1200, 1140]],\n   [[1200, 0, 0, 0], [0, 121, 1, 0], [0, 1200, 1080, 0], [0, 0, 0, 0], [60, 0, 0, 0]]),\n  ('normal control 8', [1200, [1200, 1321]], [[0, 0, 0, 0], [0, 121, 1, 0]])],\n [('regression: top up clamp 1', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('regression variant: top up clamp 2', [1800, [0, 1981]], [[1800, 0, 0, 0], [0, 181, 1, 0]]),\n  ('partial repair guard 3', [1500, [1500, 0, 2880, 0]],\n   [[0, 0, 0, 0], [1500, 0, 0, 0], [0, 900, 750, 480], [1500, 0, 0, 0]]),\n  ('boundary control 4', [1200, [1320, 1321]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('boundary control 5', [1205, [1325, 1326]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('normal control 6', [1205, [2400, 2500, 1145]], [[0, 1195, 1075, 0], [0, 1195, 1075, 100], [60, 0, 0, 0]]),\n  ('normal control 7', [1205, [1326, 1145, 2400, 1205, 2880]],\n   [[0, 121, 1, 0], [60, 0, 0, 0], [0, 1195, 1075, 0], [0, 0, 0, 0], [0, 1195, 1075, 480]]),\n  ('normal control 8', [1200, [1140, 1320, 1140, 1140]],\n   [[60, 0, 0, 0], [0, 120, 0, 0], [60, 0, 0, 0], [60, 0, 0, 0]])],\n [('regression: top up clamp 1', [1500, [1650, 1500]], [[0, 150, 0, 0], [0, 0, 0, 0]]),\n  ('regression variant: top up clamp 2', [1500, [1500, 1957, 1500]],\n   [[0, 0, 0, 0], [0, 457, 307, 0], [0, 0, 0, 0]]),\n  ('partial repair guard 3', [1800, [2500, 2500]], [[0, 600, 420, 100], [0, 600, 420, 100]]),\n  ('boundary control 4', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('boundary control 5', [1200, [1320, 1321]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('normal control 6', [1500, [1650, 1650, 1440]], [[0, 150, 0, 0], [0, 150, 0, 0], [60, 0, 0, 0]]),\n  ('normal control 7', [1500, [0, 2400, 1651, 1651]],\n   [[1500, 0, 0, 0], [0, 900, 750, 0], [0, 151, 1, 0], [0, 151, 1, 0]]),\n  ('normal control 8', [1205, [1325, 2400]], [[0, 120, 0, 0], [0, 1195, 1075, 0]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*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":"1572afe58e7b807c60e983462965bb7126ba249727948736f43504107816395d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(contract, weeks):\n    out = []\n    free = contract // 10\n    for w in weeks:\n        top = contract - w\n        add = max(min(w, 2400) - contract, 0)\n        sup = max(add - free, 0)\n        ot = max(w - 2400, 0)\n        out.append([top, add, sup, ot])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: top up clamp 1', [1200, [1320, 1321]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('regression variant: top up clamp 2', [1234, [2880, 1056, 2880, 2400, 1357]],\n   [[0, 1166, 1043, 480], [178, 0, 0, 0], [0, 1166, 1043, 480], [0, 1166, 1043, 0], [0, 123, 0, 0]]),\n  ('partial repair guard 3', [1500, [2880, 2880, 2880]],\n   [[0, 900, 750, 480], [0, 900, 750, 480], [0, 900, 750, 480]]),\n  ('boundary control 4', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('normal control 5', [1200, [2267, 2400]], [[0, 1067, 947, 0], [0, 1200, 1080, 0]]),\n  ('normal control 6', [1500, [1651, 1650, 2400]], [[0, 151, 1, 0], [0, 150, 0, 0], [0, 900, 750, 0]]),\n  ('normal control 7', [2100, [2100, 2400]], [[0, 0, 0, 0], [0, 300, 90, 0]]),\n  ('normal control 8', [1500, [0, 1440]], [[1500, 0, 0, 0], [60, 0, 0, 0]])],\n [('regression: top up clamp 1', [1205, [1325, 1326]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('regression variant: top up clamp 2', [1800, [1740, 2880]], [[60, 0, 0, 0], [0, 600, 420, 480]]),\n  ('partial repair guard 3', [1500, [1500, 2500, 1651]], [[0, 0, 0, 0], [0, 900, 750, 100], [0, 151, 1, 0]]),\n  ('boundary control 4', [1500, [2500, 1000]], [[0, 900, 750, 100], [500, 0, 0, 0]]),\n  ('boundary control 5', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('normal control 6', [1800, [0, 1981]], [[1800, 0, 0, 0], [0, 181, 1, 0]]),\n  ('normal control 7', [1205, [2500, 0, 2400, 1145, 1325]],\n   [[0, 1195, 1075, 100], [1205, 0, 0, 0], [0, 1195, 1075, 0], [60, 0, 0, 0], [0, 120, 0, 0]]),\n  ('normal control 8', [2100, [2100, 2040, 2289]], [[0, 0, 0, 0], [60, 0, 0, 0], [0, 189, 0, 0]])],\n [('regression: top up clamp 1', [1500, [2500, 1000]], [[0, 900, 750, 100], [500, 0, 0, 0]]),\n  ('regression variant: top up clamp 2', [1234, [1174, 2400, 1358]],\n   [[60, 0, 0, 0], [0, 1166, 1043, 0], [0, 124, 1, 0]]),\n  ('partial repair guard 3', [1800, [2880, 0, 2500, 1488, 1981]],\n   [[0, 600, 420, 480], [1800, 0, 0, 0], [0, 600, 420, 100], [312, 0, 0, 0], [0, 181, 1, 0]]),\n  ('boundary control 4', [1205, [1325, 1326]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('normal control 5', [1800, [1800, 0, 1981, 2500]],\n   [[0, 0, 0, 0], [1800, 0, 0, 0], [0, 181, 1, 0], [0, 600, 420, 100]]),\n  ('normal control 6', [1500, [2400, 2880, 1432]], [[0, 900, 750, 0], [0, 900, 750, 480], [68, 0, 0, 0]]),\n  ('normal control 7', [1200, [0, 1321, 2400, 1200, 1140]],\n   [[1200, 0, 0, 0], [0, 121, 1, 0], [0, 1200, 1080, 0], [0, 0, 0, 0], [60, 0, 0, 0]]),\n  ('normal control 8', [1200, [1200, 1321]], [[0, 0, 0, 0], [0, 121, 1, 0]])],\n [('regression: top up clamp 1', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('regression variant: top up clamp 2', [1800, [0, 1981]], [[1800, 0, 0, 0], [0, 181, 1, 0]]),\n  ('partial repair guard 3', [1500, [1500, 0, 2880, 0]],\n   [[0, 0, 0, 0], [1500, 0, 0, 0], [0, 900, 750, 480], [1500, 0, 0, 0]]),\n  ('boundary control 4', [1200, [1320, 1321]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('boundary control 5', [1205, [1325, 1326]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('normal control 6', [1205, [2400, 2500, 1145]], [[0, 1195, 1075, 0], [0, 1195, 1075, 100], [60, 0, 0, 0]]),\n  ('normal control 7', [1205, [1326, 1145, 2400, 1205, 2880]],\n   [[0, 121, 1, 0], [60, 0, 0, 0], [0, 1195, 1075, 0], [0, 0, 0, 0], [0, 1195, 1075, 480]]),\n  ('normal control 8', [1200, [1140, 1320, 1140, 1140]],\n   [[60, 0, 0, 0], [0, 120, 0, 0], [60, 0, 0, 0], [60, 0, 0, 0]])],\n [('regression: top up clamp 1', [1500, [1650, 1500]], [[0, 150, 0, 0], [0, 0, 0, 0]]),\n  ('regression variant: top up clamp 2', [1500, [1500, 1957, 1500]],\n   [[0, 0, 0, 0], [0, 457, 307, 0], [0, 0, 0, 0]]),\n  ('partial repair guard 3', [1800, [2500, 2500]], [[0, 600, 420, 100], [0, 600, 420, 100]]),\n  ('boundary control 4', [1800, [2400, 3000]], [[0, 600, 420, 0], [0, 600, 420, 600]]),\n  ('boundary control 5', [1200, [1320, 1321]], [[0, 120, 0, 0], [0, 121, 1, 0]]),\n  ('normal control 6', [1500, [1650, 1650, 1440]], [[0, 150, 0, 0], [0, 150, 0, 0], [60, 0, 0, 0]]),\n  ('normal control 7', [1500, [0, 2400, 1651, 1651]],\n   [[1500, 0, 0, 0], [0, 900, 750, 0], [0, 151, 1, 0], [0, 151, 1, 0]]),\n  ('normal control 8', [1205, [1325, 2400]], [[0, 120, 0, 0], [0, 1195, 1075, 0]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*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 toy labor rule for a bounded roster model; it is not legal advice and does not claim conformance with any jurisdiction, award, or collective agreement. 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-shift-rostering-labor-rules-part-time-additional-hours-top-up-clamp","generated_at":"2026-09-29T14:52:03.274391+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Part-time contracts pay guaranteed hours, additional hours and supplements; each band has its own boundary.","root_cause":"The shortfall is not clamped at zero.","sha256":"cc4cc04fca97a6e995dff2a38d28348d535690a734445548ed825af716d6ce10","title":"Negative top-up recorded for weeks above contract · 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.402,"exit_code":1,"observations":[{"actual":[[120,120,0,0],[121,121,1,0]],"check":"regression: top up clamp 1","expected":[[0,120,0,0],[0,121,1,0]],"passed":false},{"actual":[[1646,1166,1043,480],[178,0,0,0],[1646,1166,1043,480],[1166,1166,1043,0],[123,123,0,0]],"check":"regression variant: top up clamp 2","expected":[[0,1166,1043,480],[178,0,0,0],[0,1166,1043,480],[0,1166,1043,0],[0,123,0,0]],"passed":false},{"actual":[[1380,900,750,480],[1380,900,750,480],[1380,900,750,480]],"check":"partial repair guard 3","expected":[[0,900,750,480],[0,900,750,480],[0,900,750,480]],"passed":false},{"actual":[[600,600,420,0],[1200,600,420,600]],"check":"boundary control 4","expected":[[0,600,420,0],[0,600,420,600]],"passed":false},{"actual":[[1067,1067,947,0],[1200,1200,1080,0]],"check":"normal control 5","expected":[[0,1067,947,0],[0,1200,1080,0]],"passed":false},{"actual":[[151,151,1,0],[150,150,0,0],[900,900,750,0]],"check":"normal control 6","expected":[[0,151,1,0],[0,150,0,0],[0,900,750,0]],"passed":false},{"actual":[[0,0,0,0],[300,300,90,0]],"check":"normal control 7","expected":[[0,0,0,0],[0,300,90,0]],"passed":false},{"actual":[[1500,0,0,0],[60,0,0,0]],"check":"normal control 8","expected":[[1500,0,0,0],[60,0,0,0]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: top up clamp 1\", \"actual\": [[120, 120, 0, 0], [121, 121, 1, 0]], \"expected\": [[0, 120, 0, 0], [0, 121, 1, 0]], \"passed\": false}, {\"check\": \"regression variant: top up clamp 2\", \"actual\": [[1646, 1166, 1043, 480], [178, 0, 0, 0], [1646, 1166, 1043, 480], [1166, 1166, 1043, 0], [123, 123, 0, 0]], \"expected\": [[0, 1166, 1043, 480], [178, 0, 0, 0], [0, 1166, 1043, 480], [0, 1166, 1043, 0], [0, 123, 0, 0]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[1380, 900, 750, 480], [1380, 900, 750, 480], [1380, 900, 750, 480]], \"expected\": [[0, 900, 750, 480], [0, 900, 750, 480], [0, 900, 750, 480]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[600, 600, 420, 0], [1200, 600, 420, 600]], \"expected\": [[0, 600, 420, 0], [0, 600, 420, 600]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[1067, 1067, 947, 0], [1200, 1200, 1080, 0]], \"expected\": [[0, 1067, 947, 0], [0, 1200, 1080, 0]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[151, 151, 1, 0], [150, 150, 0, 0], [900, 900, 750, 0]], \"expected\": [[0, 151, 1, 0], [0, 150, 0, 0], [0, 900, 750, 0]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[0, 0, 0, 0], [300, 300, 90, 0]], \"expected\": [[0, 0, 0, 0], [0, 300, 90, 0]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[1500, 0, 0, 0], [60, 0, 0, 0]], \"expected\": [[1500, 0, 0, 0], [60, 0, 0, 0]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.843,"exit_code":1,"observations":[{"actual":[[-120,120,0,0],[-121,121,1,0]],"check":"regression: top up clamp 1","expected":[[0,120,0,0],[0,121,1,0]],"passed":false},{"actual":[[-1646,1166,1043,480],[178,0,0,0],[-1646,1166,1043,480],[-1166,1166,1043,0],[-123,123,0,0]],"check":"regression variant: top up clamp 2","expected":[[0,1166,1043,480],[178,0,0,0],[0,1166,1043,480],[0,1166,1043,0],[0,123,0,0]],"passed":false},{"actual":[[-1380,900,750,480],[-1380,900,750,480],[-1380,900,750,480]],"check":"partial repair guard 3","expected":[[0,900,750,480],[0,900,750,480],[0,900,750,480]],"passed":false},{"actual":[[-600,600,420,0],[-1200,600,420,600]],"check":"boundary control 4","expected":[[0,600,420,0],[0,600,420,600]],"passed":false},{"actual":[[-1067,1067,947,0],[-1200,1200,1080,0]],"check":"normal control 5","expected":[[0,1067,947,0],[0,1200,1080,0]],"passed":false},{"actual":[[-151,151,1,0],[-150,150,0,0],[-900,900,750,0]],"check":"normal control 6","expected":[[0,151,1,0],[0,150,0,0],[0,900,750,0]],"passed":false},{"actual":[[0,0,0,0],[-300,300,90,0]],"check":"normal control 7","expected":[[0,0,0,0],[0,300,90,0]],"passed":false},{"actual":[[1500,0,0,0],[60,0,0,0]],"check":"normal control 8","expected":[[1500,0,0,0],[60,0,0,0]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: top up clamp 1\", \"actual\": [[-120, 120, 0, 0], [-121, 121, 1, 0]], \"expected\": [[0, 120, 0, 0], [0, 121, 1, 0]], \"passed\": false}, {\"check\": \"regression variant: top up clamp 2\", \"actual\": [[-1646, 1166, 1043, 480], [178, 0, 0, 0], [-1646, 1166, 1043, 480], [-1166, 1166, 1043, 0], [-123, 123, 0, 0]], \"expected\": [[0, 1166, 1043, 480], [178, 0, 0, 0], [0, 1166, 1043, 480], [0, 1166, 1043, 0], [0, 123, 0, 0]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[-1380, 900, 750, 480], [-1380, 900, 750, 480], [-1380, 900, 750, 480]], \"expected\": [[0, 900, 750, 480], [0, 900, 750, 480], [0, 900, 750, 480]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[-600, 600, 420, 0], [-1200, 600, 420, 600]], \"expected\": [[0, 600, 420, 0], [0, 600, 420, 600]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[-1067, 1067, 947, 0], [-1200, 1200, 1080, 0]], \"expected\": [[0, 1067, 947, 0], [0, 1200, 1080, 0]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[-151, 151, 1, 0], [-150, 150, 0, 0], [-900, 900, 750, 0]], \"expected\": [[0, 151, 1, 0], [0, 150, 0, 0], [0, 900, 750, 0]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[0, 0, 0, 0], [-300, 300, 90, 0]], \"expected\": [[0, 0, 0, 0], [0, 300, 90, 0]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[1500, 0, 0, 0], [60, 0, 0, 0]], \"expected\": [[1500, 0, 0, 0], [60, 0, 0, 0]], \"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."}}