{"abstract":"Small last-minute cuts earn less than the ordinary 60-minute premium.","category":"Shift rostering labor rules","checks":8,"contract":"Each change is [kind (add/cut/cancel), notice minutes before the shift, changed minutes, initiator]. Changes initiated by the worker or mutual swaps, or with at least 14 days (20160 minutes) notice, earn nothing. Additions of at least 15 minutes earn 60 premium minutes. Cuts or cancellations earn 60, or max(60, lost // 2) with less than 24 hours notice. Return [per-change premiums, total].","contract_signature":"changes","evaluation_group":"w2-shift-rostering-labor-rules-predictive-schedule-change-premium","failed_approach":"Capping at 60 underpays large last-minute cuts.","family":"w2-shift-rostering-labor-rules-predictive-schedule-change-premium-short-notice-cut-floor","id":"FA-94186","implementations":{"attempt":{"sha256":"885dcbbc68bf9339229b59c4ce51542b964217bc1457e48793ee8e07174e4723","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(changes):\n    out = []\n    for kind, notice, delta, by in changes:\n        p = 0\n        if by not in ('worker', 'mutual') and notice < 20160:\n            if kind == 'add':\n                p = 60 if delta >= 15 else 0\n            elif notice < 1440:\n                p = min(60, delta // 2)\n            else:\n                p = 60\n        out.append(p)\n    return [out, sum(out)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: short notice cut floor 1', [[['cancel', 100, 60, 'employer']]], [[60], 60]),\n  ('regression variant: short notice cut floor 2',\n   [[['cancel', 60, 16, 'mutual'], ['cancel', 60, 60, 'employer'], ['cut', 20159, 10, 'mutual']]],\n   [[0, 60, 0], 60]),\n  ('partial repair guard 3',\n   [[['add', 60, 121, 'mutual'], ['cancel', 1439, 15, 'employer'], ['cut', 20160, 14, 'employer'],\n     ['cut', 5000, 15, 'worker']]],\n   [[0, 60, 0, 0], 60]),\n  ('boundary control 4', [[['cut', 1440, 240, 'employer']]], [[60], 60]),\n  ('boundary control 5', [[['add', 20159, 15, 'employer']]], [[60], 60]),\n  ('normal control 6',\n   [[['cancel', 60, 90, 'worker'], ['add', 5000, 480, 'employer'], ['cancel', 18720, 30, 'worker'],\n     ['add', 5000, 10, 'mutual']]],\n   [[0, 60, 0, 0], 60]),\n  ('normal control 7',\n   [[['cancel', 20161, 90, 'employer'], ['cancel', 20161, 16, 'mutual'], ['cancel', 18720, 240, 'employer'],\n     ['cut', 20160, 15, 'employer']]],\n   [[0, 0, 60, 0], 60]),\n  ('normal control 8', [[['cancel', 18720, 10, 'worker']]], [[0], 0])],\n [('regression: short notice cut floor 1', [[['add', 60, 121, 'worker'], ['cut', 1439, 30, 'employer']]],\n   [[0, 60], 60]),\n  ('regression variant: short notice cut floor 2',\n   [[['add', 5000, 240, 'mutual'], ['add', 30000, 240, 'employer'], ['cancel', 60, 15, 'employer']]],\n   [[0, 0, 60], 60]),\n  ('partial repair guard 3',\n   [[['cancel', 60, 16, 'mutual'], ['cancel', 60, 60, 'employer'], ['cut', 20159, 10, 'mutual']]],\n   [[0, 60, 0], 60]),\n  ('boundary control 4', [[['cut', 100, 300, 'mutual']]], [[0], 0]),\n  ('boundary control 5', [[['cancel', 1439, 240, 'employer']]], [[120], 120]),\n  ('normal control 6',\n   [[['cancel', 1441, 480, 'employer'], ['cancel', 20161, 240, 'employer'], ['cut', 18720, 240, 'worker'],\n     ['cancel', 20160, 30, 'mutual'], ['cut', 18720, 240, 'worker']]],\n   [[60, 0, 0, 0, 0], 60]),\n  ('normal control 7', [[['add', 1441, 480, 'mutual']]], [[0], 0]),\n  ('normal control 8',\n   [[['cancel', 1441, 240, 'employer'], ['add', 18720, 240, 'employer'], ['cancel', 30000, 60, 'employer'],\n     ['add', 18720, 15, 'employer'], ['cut', 1440, 15, 'employer']]],\n   [[60, 60, 0, 60, 60], 240])],\n [('regression: short notice cut floor 1',\n   [[['add', 20160, 121, 'worker'], ['cancel', 60, 14, 'employer'], ['cut', 1441, 16, 'employer'],\n     ['add', 1439, 480, 'employer'], ['cancel', 18720, 240, 'employer']]],\n   [[0, 60, 60, 60, 60], 240]),\n  ('regression variant: short notice cut floor 2',\n   [[['add', 5000, 480, 'mutual'], ['cut', 1439, 60, 'employer'], ['cut', 20161, 15, 'mutual'],\n     ['add', 30000, 14, 'employer']]],\n   [[0, 60, 0, 0], 60]),\n  ('partial repair guard 3', [[['cancel', 1439, 480, 'employer']]], [[240], 240]),\n  ('boundary control 4', [[['add', 1000, 14, 'employer']]], [[0], 0]),\n  ('boundary control 5', [[['add', 20160, 60, 'employer']]], [[0], 0]),\n  ('normal control 6',\n   [[['add', 20161, 480, 'employer'], ['cancel', 18720, 240, 'employer'], ['add', 1440, 240, 'mutual'],\n     ['cut', 20160, 60, 'employer'], ['add', 20160, 60, 'mutual']]],\n   [[0, 60, 0, 0, 0], 60]),\n  ('normal control 7',\n   [[['add', 18720, 121, 'employer'], ['cut', 5000, 90, 'employer'], ['cancel', 1440, 90, 'employer']]],\n   [[60, 60, 60], 180]),\n  ('normal control 8',\n   [[['cut', 20159, 10, 'mutual'], ['cut', 18720, 90, 'employer'], ['add', 5000, 121, 'employer'],\n     ['cancel', 20161, 60, 'mutual'], ['cancel', 1441, 16, 'employer']]],\n   [[0, 60, 60, 0, 60], 180])],\n [('regression: short notice cut floor 1',\n   [[['add', 60, 16, 'mutual'], ['cut', 1441, 10, 'employer'], ['cut', 5000, 121, 'employer'],\n     ['cut', 60, 60, 'employer']]],\n   [[0, 60, 60, 60], 180]),\n  ('regression variant: short notice cut floor 2',\n   [[['add', 18720, 16, 'employer'], ['cancel', 1441, 16, 'worker'], ['cancel', 60, 30, 'employer'],\n     ['cancel', 1440, 60, 'worker'], ['add', 1439, 90, 'mutual']]],\n   [[60, 0, 60, 0, 0], 120]),\n  ('partial repair guard 3',\n   [[['cancel', 30000, 14, 'mutual'], ['cancel', 60, 30, 'employer'], ['add', 1441, 16, 'worker']]],\n   [[0, 60, 0], 60]),\n  ('boundary control 4', [[['cancel', 100, 60, 'employer']]], [[60], 60]),\n  ('boundary control 5', [[['cut', 1440, 240, 'employer']]], [[60], 60]),\n  ('normal control 6', [[['add', 18720, 16, 'employer'], ['cancel', 20159, 30, 'employer']]],\n   [[60, 60], 120]),\n  ('normal control 7',\n   [[['add', 60, 121, 'mutual'], ['cancel', 1439, 15, 'employer'], ['cut', 20160, 14, 'employer'],\n     ['cut', 5000, 15, 'worker']]],\n   [[0, 60, 0, 0], 60]),\n  ('normal control 8', [[['cancel', 18720, 10, 'worker']]], [[0], 0])],\n [('regression: short notice cut floor 1',\n   [[['cut', 30000, 480, 'employer'], ['cancel', 60, 60, 'worker'], ['cut', 20161, 16, 'employer'],\n     ['add', 5000, 14, 'worker'], ['cut', 60, 16, 'employer']]],\n   [[0, 0, 0, 0, 60], 60]),\n  ('regression variant: short notice cut floor 2',\n   [[['cancel', 1439, 30, 'employer'], ['cut', 30000, 10, 'employer'], ['add', 20159, 15, 'worker'],\n     ['cut', 20160, 10, 'employer'], ['cut', 20161, 10, 'employer']]],\n   [[60, 0, 0, 0, 0], 60]),\n  ('partial repair guard 3',\n   [[['cut', 60, 480, 'employer'], ['cancel', 20160, 15, 'worker'], ['add', 1439, 90, 'employer'],\n     ['add', 20161, 16, 'employer']]],\n   [[240, 0, 60, 0], 300]),\n  ('boundary control 4', [[['add', 20159, 15, 'employer']]], [[60], 60]),\n  ('boundary control 5', [[['cut', 100, 300, 'mutual']]], [[0], 0]),\n  ('normal control 6',\n   [[['add', 20159, 240, 'employer'], ['cancel', 5000, 15, 'employer'], ['cut', 60, 60, 'employer'],\n     ['cut', 20160, 14, 'employer']]],\n   [[60, 60, 60, 0], 180]),\n  ('normal control 7',\n   [[['cancel', 1440, 121, 'employer'], ['cancel', 1440, 90, 'worker'], ['cut', 20161, 90, 'employer'],\n     ['add', 18720, 30, 'mutual']]],\n   [[60, 0, 0, 0], 60]),\n  ('normal control 8', [[['cancel', 60, 30, 'employer'], ['cut', 20161, 240, 'mutual']]], [[60, 0], 60])]]\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":"d17bf4ce0e80da500c7574ea5302cadf6847b4d0f17bd8c24fc0095c4ac7b606","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(changes):\n    out = []\n    for kind, notice, delta, by in changes:\n        p = 0\n        if by not in ('worker', 'mutual') and notice < 20160:\n            if kind == 'add':\n                p = 60 if delta >= 15 else 0\n            elif notice < 1440:\n                p = delta // 2\n            else:\n                p = 60\n        out.append(p)\n    return [out, sum(out)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: short notice cut floor 1', [[['cancel', 100, 60, 'employer']]], [[60], 60]),\n  ('regression variant: short notice cut floor 2',\n   [[['cancel', 60, 16, 'mutual'], ['cancel', 60, 60, 'employer'], ['cut', 20159, 10, 'mutual']]],\n   [[0, 60, 0], 60]),\n  ('partial repair guard 3',\n   [[['add', 60, 121, 'mutual'], ['cancel', 1439, 15, 'employer'], ['cut', 20160, 14, 'employer'],\n     ['cut', 5000, 15, 'worker']]],\n   [[0, 60, 0, 0], 60]),\n  ('boundary control 4', [[['cut', 1440, 240, 'employer']]], [[60], 60]),\n  ('boundary control 5', [[['add', 20159, 15, 'employer']]], [[60], 60]),\n  ('normal control 6',\n   [[['cancel', 60, 90, 'worker'], ['add', 5000, 480, 'employer'], ['cancel', 18720, 30, 'worker'],\n     ['add', 5000, 10, 'mutual']]],\n   [[0, 60, 0, 0], 60]),\n  ('normal control 7',\n   [[['cancel', 20161, 90, 'employer'], ['cancel', 20161, 16, 'mutual'], ['cancel', 18720, 240, 'employer'],\n     ['cut', 20160, 15, 'employer']]],\n   [[0, 0, 60, 0], 60]),\n  ('normal control 8', [[['cancel', 18720, 10, 'worker']]], [[0], 0])],\n [('regression: short notice cut floor 1', [[['add', 60, 121, 'worker'], ['cut', 1439, 30, 'employer']]],\n   [[0, 60], 60]),\n  ('regression variant: short notice cut floor 2',\n   [[['add', 5000, 240, 'mutual'], ['add', 30000, 240, 'employer'], ['cancel', 60, 15, 'employer']]],\n   [[0, 0, 60], 60]),\n  ('partial repair guard 3',\n   [[['cancel', 60, 16, 'mutual'], ['cancel', 60, 60, 'employer'], ['cut', 20159, 10, 'mutual']]],\n   [[0, 60, 0], 60]),\n  ('boundary control 4', [[['cut', 100, 300, 'mutual']]], [[0], 0]),\n  ('boundary control 5', [[['cancel', 1439, 240, 'employer']]], [[120], 120]),\n  ('normal control 6',\n   [[['cancel', 1441, 480, 'employer'], ['cancel', 20161, 240, 'employer'], ['cut', 18720, 240, 'worker'],\n     ['cancel', 20160, 30, 'mutual'], ['cut', 18720, 240, 'worker']]],\n   [[60, 0, 0, 0, 0], 60]),\n  ('normal control 7', [[['add', 1441, 480, 'mutual']]], [[0], 0]),\n  ('normal control 8',\n   [[['cancel', 1441, 240, 'employer'], ['add', 18720, 240, 'employer'], ['cancel', 30000, 60, 'employer'],\n     ['add', 18720, 15, 'employer'], ['cut', 1440, 15, 'employer']]],\n   [[60, 60, 0, 60, 60], 240])],\n [('regression: short notice cut floor 1',\n   [[['add', 20160, 121, 'worker'], ['cancel', 60, 14, 'employer'], ['cut', 1441, 16, 'employer'],\n     ['add', 1439, 480, 'employer'], ['cancel', 18720, 240, 'employer']]],\n   [[0, 60, 60, 60, 60], 240]),\n  ('regression variant: short notice cut floor 2',\n   [[['add', 5000, 480, 'mutual'], ['cut', 1439, 60, 'employer'], ['cut', 20161, 15, 'mutual'],\n     ['add', 30000, 14, 'employer']]],\n   [[0, 60, 0, 0], 60]),\n  ('partial repair guard 3', [[['cancel', 1439, 480, 'employer']]], [[240], 240]),\n  ('boundary control 4', [[['add', 1000, 14, 'employer']]], [[0], 0]),\n  ('boundary control 5', [[['add', 20160, 60, 'employer']]], [[0], 0]),\n  ('normal control 6',\n   [[['add', 20161, 480, 'employer'], ['cancel', 18720, 240, 'employer'], ['add', 1440, 240, 'mutual'],\n     ['cut', 20160, 60, 'employer'], ['add', 20160, 60, 'mutual']]],\n   [[0, 60, 0, 0, 0], 60]),\n  ('normal control 7',\n   [[['add', 18720, 121, 'employer'], ['cut', 5000, 90, 'employer'], ['cancel', 1440, 90, 'employer']]],\n   [[60, 60, 60], 180]),\n  ('normal control 8',\n   [[['cut', 20159, 10, 'mutual'], ['cut', 18720, 90, 'employer'], ['add', 5000, 121, 'employer'],\n     ['cancel', 20161, 60, 'mutual'], ['cancel', 1441, 16, 'employer']]],\n   [[0, 60, 60, 0, 60], 180])],\n [('regression: short notice cut floor 1',\n   [[['add', 60, 16, 'mutual'], ['cut', 1441, 10, 'employer'], ['cut', 5000, 121, 'employer'],\n     ['cut', 60, 60, 'employer']]],\n   [[0, 60, 60, 60], 180]),\n  ('regression variant: short notice cut floor 2',\n   [[['add', 18720, 16, 'employer'], ['cancel', 1441, 16, 'worker'], ['cancel', 60, 30, 'employer'],\n     ['cancel', 1440, 60, 'worker'], ['add', 1439, 90, 'mutual']]],\n   [[60, 0, 60, 0, 0], 120]),\n  ('partial repair guard 3',\n   [[['cancel', 30000, 14, 'mutual'], ['cancel', 60, 30, 'employer'], ['add', 1441, 16, 'worker']]],\n   [[0, 60, 0], 60]),\n  ('boundary control 4', [[['cancel', 100, 60, 'employer']]], [[60], 60]),\n  ('boundary control 5', [[['cut', 1440, 240, 'employer']]], [[60], 60]),\n  ('normal control 6', [[['add', 18720, 16, 'employer'], ['cancel', 20159, 30, 'employer']]],\n   [[60, 60], 120]),\n  ('normal control 7',\n   [[['add', 60, 121, 'mutual'], ['cancel', 1439, 15, 'employer'], ['cut', 20160, 14, 'employer'],\n     ['cut', 5000, 15, 'worker']]],\n   [[0, 60, 0, 0], 60]),\n  ('normal control 8', [[['cancel', 18720, 10, 'worker']]], [[0], 0])],\n [('regression: short notice cut floor 1',\n   [[['cut', 30000, 480, 'employer'], ['cancel', 60, 60, 'worker'], ['cut', 20161, 16, 'employer'],\n     ['add', 5000, 14, 'worker'], ['cut', 60, 16, 'employer']]],\n   [[0, 0, 0, 0, 60], 60]),\n  ('regression variant: short notice cut floor 2',\n   [[['cancel', 1439, 30, 'employer'], ['cut', 30000, 10, 'employer'], ['add', 20159, 15, 'worker'],\n     ['cut', 20160, 10, 'employer'], ['cut', 20161, 10, 'employer']]],\n   [[60, 0, 0, 0, 0], 60]),\n  ('partial repair guard 3',\n   [[['cut', 60, 480, 'employer'], ['cancel', 20160, 15, 'worker'], ['add', 1439, 90, 'employer'],\n     ['add', 20161, 16, 'employer']]],\n   [[240, 0, 60, 0], 300]),\n  ('boundary control 4', [[['add', 20159, 15, 'employer']]], [[60], 60]),\n  ('boundary control 5', [[['cut', 100, 300, 'mutual']]], [[0], 0]),\n  ('normal control 6',\n   [[['add', 20159, 240, 'employer'], ['cancel', 5000, 15, 'employer'], ['cut', 60, 60, 'employer'],\n     ['cut', 20160, 14, 'employer']]],\n   [[60, 60, 60, 0], 180]),\n  ('normal control 7',\n   [[['cancel', 1440, 121, 'employer'], ['cancel', 1440, 90, 'worker'], ['cut', 20161, 90, 'employer'],\n     ['add', 18720, 30, 'mutual']]],\n   [[60, 0, 0, 0], 60]),\n  ('normal control 8', [[['cancel', 60, 30, 'employer'], ['cut', 20161, 240, 'mutual']]], [[60, 0], 60])]]\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-predictive-schedule-change-premium-short-notice-cut-floor","generated_at":"2026-09-29T14:52:01.974599+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Fair-workweek predictability pay depends on precise notice thresholds and exemptions.","root_cause":"The half-lost-time premium is not floored at 60 minutes.","sha256":"37c2aac179364c9fd3a5538633d9c9d29808b92aa11f7db8525fcc09ae43a15d","title":"Short-notice cut pays half the lost time without the floor · 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":43.541,"exit_code":1,"observations":[{"actual":[[30],30],"check":"regression: short notice cut floor 1","expected":[[60],60],"passed":false},{"actual":[[0,30,0],30],"check":"regression variant: short notice cut floor 2","expected":[[0,60,0],60],"passed":false},{"actual":[[0,7,0,0],7],"check":"partial repair guard 3","expected":[[0,60,0,0],60],"passed":false},{"actual":[[60],60],"check":"boundary control 4","expected":[[60],60],"passed":true},{"actual":[[60],60],"check":"boundary control 5","expected":[[60],60],"passed":true},{"actual":[[0,60,0,0],60],"check":"normal control 6","expected":[[0,60,0,0],60],"passed":true},{"actual":[[0,0,60,0],60],"check":"normal control 7","expected":[[0,0,60,0],60],"passed":true},{"actual":[[0],0],"check":"normal control 8","expected":[[0],0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: short notice cut floor 1\", \"actual\": [[30], 30], \"expected\": [[60], 60], \"passed\": false}, {\"check\": \"regression variant: short notice cut floor 2\", \"actual\": [[0, 30, 0], 30], \"expected\": [[0, 60, 0], 60], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[0, 7, 0, 0], 7], \"expected\": [[0, 60, 0, 0], 60], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[60], 60], \"expected\": [[60], 60], \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": [[60], 60], \"expected\": [[60], 60], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [[0, 60, 0, 0], 60], \"expected\": [[0, 60, 0, 0], 60], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[0, 0, 60, 0], 60], \"expected\": [[0, 0, 60, 0], 60], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[0], 0], \"expected\": [[0], 0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.484,"exit_code":1,"observations":[{"actual":[[30],30],"check":"regression: short notice cut floor 1","expected":[[60],60],"passed":false},{"actual":[[0,30,0],30],"check":"regression variant: short notice cut floor 2","expected":[[0,60,0],60],"passed":false},{"actual":[[0,7,0,0],7],"check":"partial repair guard 3","expected":[[0,60,0,0],60],"passed":false},{"actual":[[60],60],"check":"boundary control 4","expected":[[60],60],"passed":true},{"actual":[[60],60],"check":"boundary control 5","expected":[[60],60],"passed":true},{"actual":[[0,60,0,0],60],"check":"normal control 6","expected":[[0,60,0,0],60],"passed":true},{"actual":[[0,0,60,0],60],"check":"normal control 7","expected":[[0,0,60,0],60],"passed":true},{"actual":[[0],0],"check":"normal control 8","expected":[[0],0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: short notice cut floor 1\", \"actual\": [[30], 30], \"expected\": [[60], 60], \"passed\": false}, {\"check\": \"regression variant: short notice cut floor 2\", \"actual\": [[0, 30, 0], 30], \"expected\": [[0, 60, 0], 60], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[0, 7, 0, 0], 7], \"expected\": [[0, 60, 0, 0], 60], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[60], 60], \"expected\": [[60], 60], \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": [[60], 60], \"expected\": [[60], 60], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [[0, 60, 0, 0], 60], \"expected\": [[0, 60, 0, 0], 60], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[0, 0, 60, 0], 60], \"expected\": [[0, 0, 60, 0], 60], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[0], 0], \"expected\": [[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."}}