{"abstract":"Slots with half the required staff pass.","category":"Shift rostering labor rules","checks":8,"contract":"Shifts [worker, role, start, end], a list of required headcount per slot and a slot length. A shift covers slot k only if it spans the whole slot [k*slot, (k+1)*slot). Coverage is counted in half-heads: trainees 1, staff and supervisors 2; a worker counts once per slot at their best role weight. Return [slot, have, need] (half-heads) for every understaffed slot.","evaluation_group":"w2-shift-rostering-labor-rules-slot-coverage-headcount","failed_approach":"Rounding a single trainee up to a whole head still accepts under-coverage.","family":"w2-shift-rostering-labor-rules-slot-coverage-headcount-half-head-comparison","id":"FA-94101","implementations":{"attempt":{"sha256":"c4f76ad0a5f78e57bac997314b928577d17c953e5123f910df188f590711249c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shifts, need, slot):\n    out = []\n    for k, req in enumerate(need):\n        a, b = k * slot, (k + 1) * slot\n        seen = {}\n        for w, role, s, e in shifts:\n            if s <= a and e >= b:\n                seen[w] = max(seen.get(w, 0), 1 if role == 'trainee' else 2)\n        have = sum(seen.values())\n        if (have + 1) // 2 < req:\n            out.append([k, have, 2 * req])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: half head comparison 1', [[['w1', 'staff', 0, 120], ['w1', 'trainee', 0, 60]], [2, 1], 60],\n   [[0, 2, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w4', 'staff', 120, 360], ['w2', 'supervisor', 60, 150], ['w4', 'staff', 0, 180],\n     ['w3', 'staff', 180, 270]],\n    [2, 2, 0, 2, 1], 60],\n   [[0, 2, 4]]),\n  ('partial repair guard 3', [[['w2', 'trainee', 60, 120], ['w1', 'staff', 120, 300]], [0, 1, 3, 1, 1], 60],\n   [[1, 1, 2], [2, 2, 6]]),\n  ('normal control 4',\n   [[['w3', 'supervisor', 60, 150], ['w4', 'staff', 60, 300], ['w1', 'staff', 90, 210]], [0, 0, 0, 3, 0], 60],\n   [[3, 2, 6]]),\n  ('normal control 5',\n   [[['w2', 'supervisor', 0, 120], ['w1', 'supervisor', 60, 90], ['w1', 'supervisor', 0, 120],\n     ['w2', 'trainee', 90, 210]],\n    [0, 3, 1, 3], 60],\n   [[1, 4, 6], [2, 1, 2], [3, 0, 6]]),\n  ('normal control 6',\n   [[['w1', 'trainee', 90, 180], ['w3', 'staff', 90, 270], ['w3', 'staff', 30, 60], ['w3', 'trainee', 0, 240],\n     ['w3', 'supervisor', 60, 90], ['w3', 'trainee', 30, 150]],\n    [1, 0, 0, 0, 3], 60],\n   [[0, 1, 2], [4, 0, 6]]),\n  ('normal control 7',\n   [[['w3', 'trainee', 90, 210], ['w4', 'staff', 90, 150], ['w3', 'trainee', 60, 300],\n     ['w3', 'staff', 90, 120], ['w4', 'staff', 0, 240], ['w2', 'staff', 90, 150],\n     ['w4', 'supervisor', 30, 210]],\n    [3, 3, 2, 0], 60],\n   [[0, 2, 6], [1, 3, 6], [2, 3, 4]]),\n  ('normal control 8',\n   [[['w2', 'staff', 0, 30], ['w2', 'staff', 90, 120], ['w2', 'trainee', 180, 300],\n     ['w1', 'supervisor', 180, 240], ['w3', 'staff', 120, 150]],\n    [1, 2, 0, 2, 1, 3], 60],\n   [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]])],\n [('regression: half head comparison 1', [[['w1', 'supervisor', 0, 60], ['w2', 'trainee', 0, 60]], [2], 60],\n   [[0, 3, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w1', 'trainee', 120, 360], ['w3', 'staff', 60, 180], ['w3', 'supervisor', 30, 60]], [0, 3, 2], 60],\n   [[1, 2, 6], [2, 3, 4]]),\n  ('partial repair guard 3',\n   [[['w2', 'staff', 0, 30], ['w2', 'staff', 90, 120], ['w2', 'trainee', 180, 300],\n     ['w1', 'supervisor', 180, 240], ['w3', 'staff', 120, 150]],\n    [1, 2, 0, 2, 1, 3], 60],\n   [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]]),\n  ('boundary control 4', [[['w1', 'staff', 30, 120]], [1, 1], 60], [[0, 0, 2]]),\n  ('normal control 5', [[['w1', 'staff', 60, 150], ['w1', 'staff', 0, 120]], [0, 3, 3, 3, 1, 2], 60],\n   [[1, 2, 6], [2, 0, 6], [3, 0, 6], [4, 0, 2], [5, 0, 4]]),\n  ('normal control 6',\n   [[['w1', 'supervisor', 90, 180], ['w1', 'staff', 30, 120], ['w2', 'staff', 0, 180]], [0, 1, 0, 1, 0, 1],\n    60],\n   [[3, 0, 2], [5, 0, 2]]),\n  ('normal control 7',\n   [[['w2', 'staff', 0, 90], ['w4', 'staff', 180, 270], ['w3', 'trainee', 180, 210],\n     ['w3', 'staff', 180, 360], ['w2', 'staff', 0, 90], ['w2', 'staff', 90, 180],\n     ['w1', 'trainee', 120, 300]],\n    [1, 0, 1], 60],\n   []),\n  ('normal control 8',\n   [[['w2', 'supervisor', 180, 240], ['w2', 'staff', 0, 30], ['w2', 'staff', 120, 180],\n     ['w2', 'trainee', 180, 420], ['w2', 'supervisor', 180, 240], ['w4', 'staff', 30, 150]],\n    [2, 0, 1, 3], 60],\n   [[0, 0, 4], [3, 2, 6]])],\n [('regression: half head comparison 1',\n   [[['w4', 'supervisor', 120, 360], ['w3', 'supervisor', 30, 270], ['w2', 'trainee', 120, 180],\n     ['w2', 'trainee', 0, 120], ['w2', 'trainee', 180, 420], ['w3', 'trainee', 30, 210]],\n    [2, 1, 3, 3], 60],\n   [[0, 1, 4], [2, 5, 6], [3, 5, 6]]),\n  ('regression variant: half head comparison 2',\n   [[['w3', 'staff', 0, 240], ['w1', 'supervisor', 180, 270], ['w1', 'trainee', 120, 240]], [1, 1, 2, 0], 60],\n   [[2, 3, 4]]),\n  ('partial repair guard 3',\n   [[['w2', 'trainee', 0, 60], ['w2', 'staff', 30, 120], ['w4', 'supervisor', 0, 90],\n     ['w1', 'supervisor', 0, 90], ['w3', 'staff', 120, 300], ['w2', 'staff', 180, 360],\n     ['w4', 'supervisor', 0, 60]],\n    [3, 3, 2, 0, 3, 0], 60],\n   [[0, 5, 6], [1, 2, 6], [2, 2, 4], [4, 4, 6]]),\n  ('boundary control 4', [[['w1', 'supervisor', 0, 60], ['w2', 'trainee', 0, 60]], [2], 60], [[0, 3, 4]]),\n  ('normal control 5', [[['w1', 'trainee', 30, 90], ['w1', 'supervisor', 30, 210]], [0, 0, 3, 2, 1], 60],\n   [[2, 2, 6], [3, 0, 4], [4, 0, 2]]),\n  ('normal control 6',\n   [[['w2', 'staff', 60, 90], ['w2', 'supervisor', 180, 420], ['w2', 'staff', 0, 30],\n     ['w4', 'staff', 120, 300], ['w3', 'trainee', 90, 150], ['w3', 'staff', 180, 300]],\n    [3, 2, 1, 2, 0], 60],\n   [[0, 0, 6], [1, 0, 4]]),\n  ('normal control 7',\n   [[['w3', 'trainee', 0, 240], ['w1', 'supervisor', 0, 90], ['w2', 'supervisor', 30, 120],\n     ['w3', 'supervisor', 0, 120], ['w4', 'staff', 0, 120]],\n    [1, 1, 3], 60],\n   [[2, 1, 6]]),\n  ('normal control 8',\n   [[['w4', 'staff', 90, 330], ['w4', 'supervisor', 120, 210], ['w4', 'supervisor', 60, 180],\n     ['w2', 'supervisor', 120, 210], ['w3', 'staff', 30, 210], ['w4', 'supervisor', 120, 300],\n     ['w1', 'trainee', 120, 240]],\n    [2, 1, 2, 2, 3], 60],\n   [[0, 0, 4], [3, 3, 4], [4, 2, 6]])],\n [('regression: half head comparison 1',\n   [[['w3', 'staff', 120, 240], ['w4', 'supervisor', 90, 330], ['w2', 'staff', 60, 150],\n     ['w1', 'staff', 180, 270], ['w1', 'trainee', 90, 180], ['w1', 'staff', 30, 90]],\n    [1, 3, 3], 60],\n   [[0, 0, 2], [1, 2, 6], [2, 5, 6]]),\n  ('regression variant: half head comparison 2',\n   [[['w2', 'staff', 90, 270], ['w4', 'trainee', 90, 270], ['w1', 'staff', 180, 420],\n     ['w4', 'trainee', 90, 210], ['w1', 'supervisor', 180, 360], ['w3', 'staff', 60, 180],\n     ['w2', 'trainee', 180, 360]],\n    [0, 0, 2, 0, 3], 60],\n   [[4, 3, 6]]),\n  ('partial repair guard 3',\n   [[['w2', 'staff', 30, 210], ['w1', 'trainee', 0, 240], ['w2', 'staff', 30, 120], ['w4', 'staff', 60, 300]],\n    [2, 3, 1], 60],\n   [[0, 1, 4], [1, 5, 6]]),\n  ('boundary control 4', [[['w1', 'trainee', 0, 60], ['w2', 'trainee', 0, 60]], [1], 60], []),\n  ('normal control 5',\n   [[['w1', 'staff', 60, 240], ['w3', 'trainee', 0, 180], ['w3', 'trainee', 0, 60],\n     ['w2', 'trainee', 0, 120]],\n    [0, 0, 0, 0], 60],\n   []),\n  ('normal control 6',\n   [[['w2', 'staff', 90, 210], ['w1', 'supervisor', 60, 300], ['w1', 'staff', 60, 90],\n     ['w4', 'staff', 180, 270], ['w4', 'staff', 30, 210]],\n    [2, 0, 0, 0], 60],\n   [[0, 0, 4]]),\n  ('normal control 7',\n   [[['w1', 'staff', 0, 180], ['w3', 'staff', 120, 180], ['w2', 'staff', 0, 90]], [0, 0, 0], 60], []),\n  ('normal control 8', [[['w4', 'staff', 180, 420], ['w2', 'supervisor', 120, 300]], [1, 3, 0, 2, 1], 60],\n   [[0, 0, 2], [1, 0, 6]])],\n [('regression: half head comparison 1',\n   [[['w2', 'trainee', 0, 90], ['w3', 'trainee', 120, 240], ['w4', 'staff', 0, 90],\n     ['w3', 'supervisor', 0, 180], ['w3', 'supervisor', 120, 180], ['w4', 'staff', 120, 360]],\n    [1, 3, 2, 3, 3, 2], 60],\n   [[1, 2, 6], [3, 3, 6], [4, 2, 6], [5, 2, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w1', 'supervisor', 60, 180], ['w1', 'staff', 180, 210], ['w1', 'staff', 90, 270]], [3, 2, 2, 1], 60],\n   [[0, 0, 6], [1, 2, 4], [2, 2, 4]]),\n  ('partial repair guard 3',\n   [[['w4', 'staff', 90, 330], ['w4', 'supervisor', 120, 210], ['w4', 'supervisor', 60, 180],\n     ['w2', 'supervisor', 120, 210], ['w3', 'staff', 30, 210], ['w4', 'supervisor', 120, 300],\n     ['w1', 'trainee', 120, 240]],\n    [2, 1, 2, 2, 3], 60],\n   [[0, 0, 4], [3, 3, 4], [4, 2, 6]]),\n  ('boundary control 4', [[['w1', 'staff', 0, 60]], [1, 1], 60], [[1, 0, 2]]),\n  ('normal control 5',\n   [[['w4', 'staff', 30, 150], ['w1', 'trainee', 30, 120], ['w1', 'trainee', 90, 120],\n     ['w1', 'supervisor', 90, 180], ['w4', 'trainee', 120, 150], ['w4', 'trainee', 180, 360]],\n    [3, 3, 3, 1, 3, 1], 60],\n   [[0, 0, 6], [1, 3, 6], [2, 2, 6], [3, 1, 2], [4, 1, 6], [5, 1, 2]]),\n  ('normal control 6',\n   [[['w1', 'staff', 180, 300], ['w1', 'staff', 90, 210], ['w4', 'supervisor', 120, 360],\n     ['w1', 'staff', 90, 270], ['w4', 'supervisor', 180, 210], ['w2', 'trainee', 0, 30],\n     ['w4', 'staff', 90, 270]],\n    [1, 2, 3, 0, 2], 60],\n   [[0, 0, 2], [1, 0, 4], [2, 4, 6]]),\n  ('normal control 7',\n   [[['w2', 'staff', 90, 180], ['w4', 'supervisor', 0, 180], ['w3', 'supervisor', 0, 30]], [0, 1, 3, 1, 3, 1],\n    60],\n   [[2, 4, 6], [3, 0, 2], [4, 0, 6], [5, 0, 2]]),\n  ('normal control 8',\n   [[['w3', 'staff', 180, 270], ['w4', 'staff', 30, 60], ['w4', 'staff', 120, 180]], [3, 1, 1], 60],\n   [[0, 0, 6], [1, 0, 2]])]]\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":"f84f8845540ab7fad32af123432a4da90f39e812ed2fa66dd47bb650a0eb5d30","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shifts, need, slot):\n    out = []\n    for k, req in enumerate(need):\n        a, b = k * slot, (k + 1) * slot\n        seen = {}\n        for w, role, s, e in shifts:\n            if s <= a and e >= b:\n                seen[w] = max(seen.get(w, 0), 1 if role == 'trainee' else 2)\n        have = sum(seen.values())\n        if have < req:\n            out.append([k, have, 2 * req])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: half head comparison 1', [[['w1', 'staff', 0, 120], ['w1', 'trainee', 0, 60]], [2, 1], 60],\n   [[0, 2, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w4', 'staff', 120, 360], ['w2', 'supervisor', 60, 150], ['w4', 'staff', 0, 180],\n     ['w3', 'staff', 180, 270]],\n    [2, 2, 0, 2, 1], 60],\n   [[0, 2, 4]]),\n  ('partial repair guard 3', [[['w2', 'trainee', 60, 120], ['w1', 'staff', 120, 300]], [0, 1, 3, 1, 1], 60],\n   [[1, 1, 2], [2, 2, 6]]),\n  ('normal control 4',\n   [[['w3', 'supervisor', 60, 150], ['w4', 'staff', 60, 300], ['w1', 'staff', 90, 210]], [0, 0, 0, 3, 0], 60],\n   [[3, 2, 6]]),\n  ('normal control 5',\n   [[['w2', 'supervisor', 0, 120], ['w1', 'supervisor', 60, 90], ['w1', 'supervisor', 0, 120],\n     ['w2', 'trainee', 90, 210]],\n    [0, 3, 1, 3], 60],\n   [[1, 4, 6], [2, 1, 2], [3, 0, 6]]),\n  ('normal control 6',\n   [[['w1', 'trainee', 90, 180], ['w3', 'staff', 90, 270], ['w3', 'staff', 30, 60], ['w3', 'trainee', 0, 240],\n     ['w3', 'supervisor', 60, 90], ['w3', 'trainee', 30, 150]],\n    [1, 0, 0, 0, 3], 60],\n   [[0, 1, 2], [4, 0, 6]]),\n  ('normal control 7',\n   [[['w3', 'trainee', 90, 210], ['w4', 'staff', 90, 150], ['w3', 'trainee', 60, 300],\n     ['w3', 'staff', 90, 120], ['w4', 'staff', 0, 240], ['w2', 'staff', 90, 150],\n     ['w4', 'supervisor', 30, 210]],\n    [3, 3, 2, 0], 60],\n   [[0, 2, 6], [1, 3, 6], [2, 3, 4]]),\n  ('normal control 8',\n   [[['w2', 'staff', 0, 30], ['w2', 'staff', 90, 120], ['w2', 'trainee', 180, 300],\n     ['w1', 'supervisor', 180, 240], ['w3', 'staff', 120, 150]],\n    [1, 2, 0, 2, 1, 3], 60],\n   [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]])],\n [('regression: half head comparison 1', [[['w1', 'supervisor', 0, 60], ['w2', 'trainee', 0, 60]], [2], 60],\n   [[0, 3, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w1', 'trainee', 120, 360], ['w3', 'staff', 60, 180], ['w3', 'supervisor', 30, 60]], [0, 3, 2], 60],\n   [[1, 2, 6], [2, 3, 4]]),\n  ('partial repair guard 3',\n   [[['w2', 'staff', 0, 30], ['w2', 'staff', 90, 120], ['w2', 'trainee', 180, 300],\n     ['w1', 'supervisor', 180, 240], ['w3', 'staff', 120, 150]],\n    [1, 2, 0, 2, 1, 3], 60],\n   [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]]),\n  ('boundary control 4', [[['w1', 'staff', 30, 120]], [1, 1], 60], [[0, 0, 2]]),\n  ('normal control 5', [[['w1', 'staff', 60, 150], ['w1', 'staff', 0, 120]], [0, 3, 3, 3, 1, 2], 60],\n   [[1, 2, 6], [2, 0, 6], [3, 0, 6], [4, 0, 2], [5, 0, 4]]),\n  ('normal control 6',\n   [[['w1', 'supervisor', 90, 180], ['w1', 'staff', 30, 120], ['w2', 'staff', 0, 180]], [0, 1, 0, 1, 0, 1],\n    60],\n   [[3, 0, 2], [5, 0, 2]]),\n  ('normal control 7',\n   [[['w2', 'staff', 0, 90], ['w4', 'staff', 180, 270], ['w3', 'trainee', 180, 210],\n     ['w3', 'staff', 180, 360], ['w2', 'staff', 0, 90], ['w2', 'staff', 90, 180],\n     ['w1', 'trainee', 120, 300]],\n    [1, 0, 1], 60],\n   []),\n  ('normal control 8',\n   [[['w2', 'supervisor', 180, 240], ['w2', 'staff', 0, 30], ['w2', 'staff', 120, 180],\n     ['w2', 'trainee', 180, 420], ['w2', 'supervisor', 180, 240], ['w4', 'staff', 30, 150]],\n    [2, 0, 1, 3], 60],\n   [[0, 0, 4], [3, 2, 6]])],\n [('regression: half head comparison 1',\n   [[['w4', 'supervisor', 120, 360], ['w3', 'supervisor', 30, 270], ['w2', 'trainee', 120, 180],\n     ['w2', 'trainee', 0, 120], ['w2', 'trainee', 180, 420], ['w3', 'trainee', 30, 210]],\n    [2, 1, 3, 3], 60],\n   [[0, 1, 4], [2, 5, 6], [3, 5, 6]]),\n  ('regression variant: half head comparison 2',\n   [[['w3', 'staff', 0, 240], ['w1', 'supervisor', 180, 270], ['w1', 'trainee', 120, 240]], [1, 1, 2, 0], 60],\n   [[2, 3, 4]]),\n  ('partial repair guard 3',\n   [[['w2', 'trainee', 0, 60], ['w2', 'staff', 30, 120], ['w4', 'supervisor', 0, 90],\n     ['w1', 'supervisor', 0, 90], ['w3', 'staff', 120, 300], ['w2', 'staff', 180, 360],\n     ['w4', 'supervisor', 0, 60]],\n    [3, 3, 2, 0, 3, 0], 60],\n   [[0, 5, 6], [1, 2, 6], [2, 2, 4], [4, 4, 6]]),\n  ('boundary control 4', [[['w1', 'supervisor', 0, 60], ['w2', 'trainee', 0, 60]], [2], 60], [[0, 3, 4]]),\n  ('normal control 5', [[['w1', 'trainee', 30, 90], ['w1', 'supervisor', 30, 210]], [0, 0, 3, 2, 1], 60],\n   [[2, 2, 6], [3, 0, 4], [4, 0, 2]]),\n  ('normal control 6',\n   [[['w2', 'staff', 60, 90], ['w2', 'supervisor', 180, 420], ['w2', 'staff', 0, 30],\n     ['w4', 'staff', 120, 300], ['w3', 'trainee', 90, 150], ['w3', 'staff', 180, 300]],\n    [3, 2, 1, 2, 0], 60],\n   [[0, 0, 6], [1, 0, 4]]),\n  ('normal control 7',\n   [[['w3', 'trainee', 0, 240], ['w1', 'supervisor', 0, 90], ['w2', 'supervisor', 30, 120],\n     ['w3', 'supervisor', 0, 120], ['w4', 'staff', 0, 120]],\n    [1, 1, 3], 60],\n   [[2, 1, 6]]),\n  ('normal control 8',\n   [[['w4', 'staff', 90, 330], ['w4', 'supervisor', 120, 210], ['w4', 'supervisor', 60, 180],\n     ['w2', 'supervisor', 120, 210], ['w3', 'staff', 30, 210], ['w4', 'supervisor', 120, 300],\n     ['w1', 'trainee', 120, 240]],\n    [2, 1, 2, 2, 3], 60],\n   [[0, 0, 4], [3, 3, 4], [4, 2, 6]])],\n [('regression: half head comparison 1',\n   [[['w3', 'staff', 120, 240], ['w4', 'supervisor', 90, 330], ['w2', 'staff', 60, 150],\n     ['w1', 'staff', 180, 270], ['w1', 'trainee', 90, 180], ['w1', 'staff', 30, 90]],\n    [1, 3, 3], 60],\n   [[0, 0, 2], [1, 2, 6], [2, 5, 6]]),\n  ('regression variant: half head comparison 2',\n   [[['w2', 'staff', 90, 270], ['w4', 'trainee', 90, 270], ['w1', 'staff', 180, 420],\n     ['w4', 'trainee', 90, 210], ['w1', 'supervisor', 180, 360], ['w3', 'staff', 60, 180],\n     ['w2', 'trainee', 180, 360]],\n    [0, 0, 2, 0, 3], 60],\n   [[4, 3, 6]]),\n  ('partial repair guard 3',\n   [[['w2', 'staff', 30, 210], ['w1', 'trainee', 0, 240], ['w2', 'staff', 30, 120], ['w4', 'staff', 60, 300]],\n    [2, 3, 1], 60],\n   [[0, 1, 4], [1, 5, 6]]),\n  ('boundary control 4', [[['w1', 'trainee', 0, 60], ['w2', 'trainee', 0, 60]], [1], 60], []),\n  ('normal control 5',\n   [[['w1', 'staff', 60, 240], ['w3', 'trainee', 0, 180], ['w3', 'trainee', 0, 60],\n     ['w2', 'trainee', 0, 120]],\n    [0, 0, 0, 0], 60],\n   []),\n  ('normal control 6',\n   [[['w2', 'staff', 90, 210], ['w1', 'supervisor', 60, 300], ['w1', 'staff', 60, 90],\n     ['w4', 'staff', 180, 270], ['w4', 'staff', 30, 210]],\n    [2, 0, 0, 0], 60],\n   [[0, 0, 4]]),\n  ('normal control 7',\n   [[['w1', 'staff', 0, 180], ['w3', 'staff', 120, 180], ['w2', 'staff', 0, 90]], [0, 0, 0], 60], []),\n  ('normal control 8', [[['w4', 'staff', 180, 420], ['w2', 'supervisor', 120, 300]], [1, 3, 0, 2, 1], 60],\n   [[0, 0, 2], [1, 0, 6]])],\n [('regression: half head comparison 1',\n   [[['w2', 'trainee', 0, 90], ['w3', 'trainee', 120, 240], ['w4', 'staff', 0, 90],\n     ['w3', 'supervisor', 0, 180], ['w3', 'supervisor', 120, 180], ['w4', 'staff', 120, 360]],\n    [1, 3, 2, 3, 3, 2], 60],\n   [[1, 2, 6], [3, 3, 6], [4, 2, 6], [5, 2, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w1', 'supervisor', 60, 180], ['w1', 'staff', 180, 210], ['w1', 'staff', 90, 270]], [3, 2, 2, 1], 60],\n   [[0, 0, 6], [1, 2, 4], [2, 2, 4]]),\n  ('partial repair guard 3',\n   [[['w4', 'staff', 90, 330], ['w4', 'supervisor', 120, 210], ['w4', 'supervisor', 60, 180],\n     ['w2', 'supervisor', 120, 210], ['w3', 'staff', 30, 210], ['w4', 'supervisor', 120, 300],\n     ['w1', 'trainee', 120, 240]],\n    [2, 1, 2, 2, 3], 60],\n   [[0, 0, 4], [3, 3, 4], [4, 2, 6]]),\n  ('boundary control 4', [[['w1', 'staff', 0, 60]], [1, 1], 60], [[1, 0, 2]]),\n  ('normal control 5',\n   [[['w4', 'staff', 30, 150], ['w1', 'trainee', 30, 120], ['w1', 'trainee', 90, 120],\n     ['w1', 'supervisor', 90, 180], ['w4', 'trainee', 120, 150], ['w4', 'trainee', 180, 360]],\n    [3, 3, 3, 1, 3, 1], 60],\n   [[0, 0, 6], [1, 3, 6], [2, 2, 6], [3, 1, 2], [4, 1, 6], [5, 1, 2]]),\n  ('normal control 6',\n   [[['w1', 'staff', 180, 300], ['w1', 'staff', 90, 210], ['w4', 'supervisor', 120, 360],\n     ['w1', 'staff', 90, 270], ['w4', 'supervisor', 180, 210], ['w2', 'trainee', 0, 30],\n     ['w4', 'staff', 90, 270]],\n    [1, 2, 3, 0, 2], 60],\n   [[0, 0, 2], [1, 0, 4], [2, 4, 6]]),\n  ('normal control 7',\n   [[['w2', 'staff', 90, 180], ['w4', 'supervisor', 0, 180], ['w3', 'supervisor', 0, 30]], [0, 1, 3, 1, 3, 1],\n    60],\n   [[2, 4, 6], [3, 0, 2], [4, 0, 6], [5, 0, 2]]),\n  ('normal control 8',\n   [[['w3', 'staff', 180, 270], ['w4', 'staff', 30, 60], ['w4', 'staff', 120, 180]], [3, 1, 1], 60],\n   [[0, 0, 6], [1, 0, 2]])]]\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"},"fixed":{"sha256":"6de89325eb4ccb9b648c3583715c82a084e832b633d04bbb6180dbfc76a996a2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shifts, need, slot):\n    out = []\n    for k, req in enumerate(need):\n        a, b = k * slot, (k + 1) * slot\n        seen = {}\n        for w, role, s, e in shifts:\n            if s <= a and e >= b:\n                seen[w] = max(seen.get(w, 0), 1 if role == 'trainee' else 2)\n        have = sum(seen.values())\n        if have < 2 * req:\n            out.append([k, have, 2 * req])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: half head comparison 1', [[['w1', 'staff', 0, 120], ['w1', 'trainee', 0, 60]], [2, 1], 60],\n   [[0, 2, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w4', 'staff', 120, 360], ['w2', 'supervisor', 60, 150], ['w4', 'staff', 0, 180],\n     ['w3', 'staff', 180, 270]],\n    [2, 2, 0, 2, 1], 60],\n   [[0, 2, 4]]),\n  ('partial repair guard 3', [[['w2', 'trainee', 60, 120], ['w1', 'staff', 120, 300]], [0, 1, 3, 1, 1], 60],\n   [[1, 1, 2], [2, 2, 6]]),\n  ('normal control 4',\n   [[['w3', 'supervisor', 60, 150], ['w4', 'staff', 60, 300], ['w1', 'staff', 90, 210]], [0, 0, 0, 3, 0], 60],\n   [[3, 2, 6]]),\n  ('normal control 5',\n   [[['w2', 'supervisor', 0, 120], ['w1', 'supervisor', 60, 90], ['w1', 'supervisor', 0, 120],\n     ['w2', 'trainee', 90, 210]],\n    [0, 3, 1, 3], 60],\n   [[1, 4, 6], [2, 1, 2], [3, 0, 6]]),\n  ('normal control 6',\n   [[['w1', 'trainee', 90, 180], ['w3', 'staff', 90, 270], ['w3', 'staff', 30, 60], ['w3', 'trainee', 0, 240],\n     ['w3', 'supervisor', 60, 90], ['w3', 'trainee', 30, 150]],\n    [1, 0, 0, 0, 3], 60],\n   [[0, 1, 2], [4, 0, 6]]),\n  ('normal control 7',\n   [[['w3', 'trainee', 90, 210], ['w4', 'staff', 90, 150], ['w3', 'trainee', 60, 300],\n     ['w3', 'staff', 90, 120], ['w4', 'staff', 0, 240], ['w2', 'staff', 90, 150],\n     ['w4', 'supervisor', 30, 210]],\n    [3, 3, 2, 0], 60],\n   [[0, 2, 6], [1, 3, 6], [2, 3, 4]]),\n  ('normal control 8',\n   [[['w2', 'staff', 0, 30], ['w2', 'staff', 90, 120], ['w2', 'trainee', 180, 300],\n     ['w1', 'supervisor', 180, 240], ['w3', 'staff', 120, 150]],\n    [1, 2, 0, 2, 1, 3], 60],\n   [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]])],\n [('regression: half head comparison 1', [[['w1', 'supervisor', 0, 60], ['w2', 'trainee', 0, 60]], [2], 60],\n   [[0, 3, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w1', 'trainee', 120, 360], ['w3', 'staff', 60, 180], ['w3', 'supervisor', 30, 60]], [0, 3, 2], 60],\n   [[1, 2, 6], [2, 3, 4]]),\n  ('partial repair guard 3',\n   [[['w2', 'staff', 0, 30], ['w2', 'staff', 90, 120], ['w2', 'trainee', 180, 300],\n     ['w1', 'supervisor', 180, 240], ['w3', 'staff', 120, 150]],\n    [1, 2, 0, 2, 1, 3], 60],\n   [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]]),\n  ('boundary control 4', [[['w1', 'staff', 30, 120]], [1, 1], 60], [[0, 0, 2]]),\n  ('normal control 5', [[['w1', 'staff', 60, 150], ['w1', 'staff', 0, 120]], [0, 3, 3, 3, 1, 2], 60],\n   [[1, 2, 6], [2, 0, 6], [3, 0, 6], [4, 0, 2], [5, 0, 4]]),\n  ('normal control 6',\n   [[['w1', 'supervisor', 90, 180], ['w1', 'staff', 30, 120], ['w2', 'staff', 0, 180]], [0, 1, 0, 1, 0, 1],\n    60],\n   [[3, 0, 2], [5, 0, 2]]),\n  ('normal control 7',\n   [[['w2', 'staff', 0, 90], ['w4', 'staff', 180, 270], ['w3', 'trainee', 180, 210],\n     ['w3', 'staff', 180, 360], ['w2', 'staff', 0, 90], ['w2', 'staff', 90, 180],\n     ['w1', 'trainee', 120, 300]],\n    [1, 0, 1], 60],\n   []),\n  ('normal control 8',\n   [[['w2', 'supervisor', 180, 240], ['w2', 'staff', 0, 30], ['w2', 'staff', 120, 180],\n     ['w2', 'trainee', 180, 420], ['w2', 'supervisor', 180, 240], ['w4', 'staff', 30, 150]],\n    [2, 0, 1, 3], 60],\n   [[0, 0, 4], [3, 2, 6]])],\n [('regression: half head comparison 1',\n   [[['w4', 'supervisor', 120, 360], ['w3', 'supervisor', 30, 270], ['w2', 'trainee', 120, 180],\n     ['w2', 'trainee', 0, 120], ['w2', 'trainee', 180, 420], ['w3', 'trainee', 30, 210]],\n    [2, 1, 3, 3], 60],\n   [[0, 1, 4], [2, 5, 6], [3, 5, 6]]),\n  ('regression variant: half head comparison 2',\n   [[['w3', 'staff', 0, 240], ['w1', 'supervisor', 180, 270], ['w1', 'trainee', 120, 240]], [1, 1, 2, 0], 60],\n   [[2, 3, 4]]),\n  ('partial repair guard 3',\n   [[['w2', 'trainee', 0, 60], ['w2', 'staff', 30, 120], ['w4', 'supervisor', 0, 90],\n     ['w1', 'supervisor', 0, 90], ['w3', 'staff', 120, 300], ['w2', 'staff', 180, 360],\n     ['w4', 'supervisor', 0, 60]],\n    [3, 3, 2, 0, 3, 0], 60],\n   [[0, 5, 6], [1, 2, 6], [2, 2, 4], [4, 4, 6]]),\n  ('boundary control 4', [[['w1', 'supervisor', 0, 60], ['w2', 'trainee', 0, 60]], [2], 60], [[0, 3, 4]]),\n  ('normal control 5', [[['w1', 'trainee', 30, 90], ['w1', 'supervisor', 30, 210]], [0, 0, 3, 2, 1], 60],\n   [[2, 2, 6], [3, 0, 4], [4, 0, 2]]),\n  ('normal control 6',\n   [[['w2', 'staff', 60, 90], ['w2', 'supervisor', 180, 420], ['w2', 'staff', 0, 30],\n     ['w4', 'staff', 120, 300], ['w3', 'trainee', 90, 150], ['w3', 'staff', 180, 300]],\n    [3, 2, 1, 2, 0], 60],\n   [[0, 0, 6], [1, 0, 4]]),\n  ('normal control 7',\n   [[['w3', 'trainee', 0, 240], ['w1', 'supervisor', 0, 90], ['w2', 'supervisor', 30, 120],\n     ['w3', 'supervisor', 0, 120], ['w4', 'staff', 0, 120]],\n    [1, 1, 3], 60],\n   [[2, 1, 6]]),\n  ('normal control 8',\n   [[['w4', 'staff', 90, 330], ['w4', 'supervisor', 120, 210], ['w4', 'supervisor', 60, 180],\n     ['w2', 'supervisor', 120, 210], ['w3', 'staff', 30, 210], ['w4', 'supervisor', 120, 300],\n     ['w1', 'trainee', 120, 240]],\n    [2, 1, 2, 2, 3], 60],\n   [[0, 0, 4], [3, 3, 4], [4, 2, 6]])],\n [('regression: half head comparison 1',\n   [[['w3', 'staff', 120, 240], ['w4', 'supervisor', 90, 330], ['w2', 'staff', 60, 150],\n     ['w1', 'staff', 180, 270], ['w1', 'trainee', 90, 180], ['w1', 'staff', 30, 90]],\n    [1, 3, 3], 60],\n   [[0, 0, 2], [1, 2, 6], [2, 5, 6]]),\n  ('regression variant: half head comparison 2',\n   [[['w2', 'staff', 90, 270], ['w4', 'trainee', 90, 270], ['w1', 'staff', 180, 420],\n     ['w4', 'trainee', 90, 210], ['w1', 'supervisor', 180, 360], ['w3', 'staff', 60, 180],\n     ['w2', 'trainee', 180, 360]],\n    [0, 0, 2, 0, 3], 60],\n   [[4, 3, 6]]),\n  ('partial repair guard 3',\n   [[['w2', 'staff', 30, 210], ['w1', 'trainee', 0, 240], ['w2', 'staff', 30, 120], ['w4', 'staff', 60, 300]],\n    [2, 3, 1], 60],\n   [[0, 1, 4], [1, 5, 6]]),\n  ('boundary control 4', [[['w1', 'trainee', 0, 60], ['w2', 'trainee', 0, 60]], [1], 60], []),\n  ('normal control 5',\n   [[['w1', 'staff', 60, 240], ['w3', 'trainee', 0, 180], ['w3', 'trainee', 0, 60],\n     ['w2', 'trainee', 0, 120]],\n    [0, 0, 0, 0], 60],\n   []),\n  ('normal control 6',\n   [[['w2', 'staff', 90, 210], ['w1', 'supervisor', 60, 300], ['w1', 'staff', 60, 90],\n     ['w4', 'staff', 180, 270], ['w4', 'staff', 30, 210]],\n    [2, 0, 0, 0], 60],\n   [[0, 0, 4]]),\n  ('normal control 7',\n   [[['w1', 'staff', 0, 180], ['w3', 'staff', 120, 180], ['w2', 'staff', 0, 90]], [0, 0, 0], 60], []),\n  ('normal control 8', [[['w4', 'staff', 180, 420], ['w2', 'supervisor', 120, 300]], [1, 3, 0, 2, 1], 60],\n   [[0, 0, 2], [1, 0, 6]])],\n [('regression: half head comparison 1',\n   [[['w2', 'trainee', 0, 90], ['w3', 'trainee', 120, 240], ['w4', 'staff', 0, 90],\n     ['w3', 'supervisor', 0, 180], ['w3', 'supervisor', 120, 180], ['w4', 'staff', 120, 360]],\n    [1, 3, 2, 3, 3, 2], 60],\n   [[1, 2, 6], [3, 3, 6], [4, 2, 6], [5, 2, 4]]),\n  ('regression variant: half head comparison 2',\n   [[['w1', 'supervisor', 60, 180], ['w1', 'staff', 180, 210], ['w1', 'staff', 90, 270]], [3, 2, 2, 1], 60],\n   [[0, 0, 6], [1, 2, 4], [2, 2, 4]]),\n  ('partial repair guard 3',\n   [[['w4', 'staff', 90, 330], ['w4', 'supervisor', 120, 210], ['w4', 'supervisor', 60, 180],\n     ['w2', 'supervisor', 120, 210], ['w3', 'staff', 30, 210], ['w4', 'supervisor', 120, 300],\n     ['w1', 'trainee', 120, 240]],\n    [2, 1, 2, 2, 3], 60],\n   [[0, 0, 4], [3, 3, 4], [4, 2, 6]]),\n  ('boundary control 4', [[['w1', 'staff', 0, 60]], [1, 1], 60], [[1, 0, 2]]),\n  ('normal control 5',\n   [[['w4', 'staff', 30, 150], ['w1', 'trainee', 30, 120], ['w1', 'trainee', 90, 120],\n     ['w1', 'supervisor', 90, 180], ['w4', 'trainee', 120, 150], ['w4', 'trainee', 180, 360]],\n    [3, 3, 3, 1, 3, 1], 60],\n   [[0, 0, 6], [1, 3, 6], [2, 2, 6], [3, 1, 2], [4, 1, 6], [5, 1, 2]]),\n  ('normal control 6',\n   [[['w1', 'staff', 180, 300], ['w1', 'staff', 90, 210], ['w4', 'supervisor', 120, 360],\n     ['w1', 'staff', 90, 270], ['w4', 'supervisor', 180, 210], ['w2', 'trainee', 0, 30],\n     ['w4', 'staff', 90, 270]],\n    [1, 2, 3, 0, 2], 60],\n   [[0, 0, 2], [1, 0, 4], [2, 4, 6]]),\n  ('normal control 7',\n   [[['w2', 'staff', 90, 180], ['w4', 'supervisor', 0, 180], ['w3', 'supervisor', 0, 30]], [0, 1, 3, 1, 3, 1],\n    60],\n   [[2, 4, 6], [3, 0, 2], [4, 0, 6], [5, 0, 2]]),\n  ('normal control 8',\n   [[['w3', 'staff', 180, 270], ['w4', 'staff', 30, 60], ['w4', 'staff', 120, 180]], [3, 1, 1], 60],\n   [[0, 0, 6], [1, 0, 2]])]]\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-slot-coverage-headcount-half-head-comparison","generated_at":"2026-09-29T14:52:01.268118+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Coverage checks decide whether a roster meets minimum staffing ratios.","repair":"Compare against twice the required headcount.","root_cause":"The half-head total is compared with the requirement in whole heads.","sha256":"ecfdd7438b1061fb8b7799532342315faa792a79138aa66abf3fef5dbed02b98","title":"Half-head coverage compared against whole-head requirement · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.757,"exit_code":1,"observations":[{"actual":[[0,2,4]],"check":"regression: half head comparison 1","expected":[[0,2,4]],"passed":true},{"actual":[[0,2,4]],"check":"regression variant: half head comparison 2","expected":[[0,2,4]],"passed":true},{"actual":[[2,2,6]],"check":"partial repair guard 3","expected":[[1,1,2],[2,2,6]],"passed":false},{"actual":[[3,2,6]],"check":"normal control 4","expected":[[3,2,6]],"passed":true},{"actual":[[1,4,6],[3,0,6]],"check":"normal control 5","expected":[[1,4,6],[2,1,2],[3,0,6]],"passed":false},{"actual":[[4,0,6]],"check":"normal control 6","expected":[[0,1,2],[4,0,6]],"passed":false},{"actual":[[0,2,6],[1,3,6]],"check":"normal control 7","expected":[[0,2,6],[1,3,6],[2,3,4]],"passed":false},{"actual":[[0,0,2],[1,0,4],[5,0,6]],"check":"normal control 8","expected":[[0,0,2],[1,0,4],[3,3,4],[4,1,2],[5,0,6]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: half head comparison 1\", \"actual\": [[0, 2, 4]], \"expected\": [[0, 2, 4]], \"passed\": true}, {\"check\": \"regression variant: half head comparison 2\", \"actual\": [[0, 2, 4]], \"expected\": [[0, 2, 4]], \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": [[2, 2, 6]], \"expected\": [[1, 1, 2], [2, 2, 6]], \"passed\": false}, {\"check\": \"normal control 4\", \"actual\": [[3, 2, 6]], \"expected\": [[3, 2, 6]], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[1, 4, 6], [3, 0, 6]], \"expected\": [[1, 4, 6], [2, 1, 2], [3, 0, 6]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[4, 0, 6]], \"expected\": [[0, 1, 2], [4, 0, 6]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[0, 2, 6], [1, 3, 6]], \"expected\": [[0, 2, 6], [1, 3, 6], [2, 3, 4]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[0, 0, 2], [1, 0, 4], [5, 0, 6]], \"expected\": [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.586,"exit_code":1,"observations":[{"actual":[],"check":"regression: half head comparison 1","expected":[[0,2,4]],"passed":false},{"actual":[],"check":"regression variant: half head comparison 2","expected":[[0,2,4]],"passed":false},{"actual":[[2,2,6]],"check":"partial repair guard 3","expected":[[1,1,2],[2,2,6]],"passed":false},{"actual":[[3,2,6]],"check":"normal control 4","expected":[[3,2,6]],"passed":true},{"actual":[[3,0,6]],"check":"normal control 5","expected":[[1,4,6],[2,1,2],[3,0,6]],"passed":false},{"actual":[[4,0,6]],"check":"normal control 6","expected":[[0,1,2],[4,0,6]],"passed":false},{"actual":[[0,2,6]],"check":"normal control 7","expected":[[0,2,6],[1,3,6],[2,3,4]],"passed":false},{"actual":[[0,0,2],[1,0,4],[5,0,6]],"check":"normal control 8","expected":[[0,0,2],[1,0,4],[3,3,4],[4,1,2],[5,0,6]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: half head comparison 1\", \"actual\": [], \"expected\": [[0, 2, 4]], \"passed\": false}, {\"check\": \"regression variant: half head comparison 2\", \"actual\": [], \"expected\": [[0, 2, 4]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[2, 2, 6]], \"expected\": [[1, 1, 2], [2, 2, 6]], \"passed\": false}, {\"check\": \"normal control 4\", \"actual\": [[3, 2, 6]], \"expected\": [[3, 2, 6]], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[3, 0, 6]], \"expected\": [[1, 4, 6], [2, 1, 2], [3, 0, 6]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[4, 0, 6]], \"expected\": [[0, 1, 2], [4, 0, 6]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[0, 2, 6]], \"expected\": [[0, 2, 6], [1, 3, 6], [2, 3, 4]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[0, 0, 2], [1, 0, 4], [5, 0, 6]], \"expected\": [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.337,"exit_code":0,"observations":[{"actual":[[0,2,4]],"check":"regression: half head comparison 1","expected":[[0,2,4]],"passed":true},{"actual":[[0,2,4]],"check":"regression variant: half head comparison 2","expected":[[0,2,4]],"passed":true},{"actual":[[1,1,2],[2,2,6]],"check":"partial repair guard 3","expected":[[1,1,2],[2,2,6]],"passed":true},{"actual":[[3,2,6]],"check":"normal control 4","expected":[[3,2,6]],"passed":true},{"actual":[[1,4,6],[2,1,2],[3,0,6]],"check":"normal control 5","expected":[[1,4,6],[2,1,2],[3,0,6]],"passed":true},{"actual":[[0,1,2],[4,0,6]],"check":"normal control 6","expected":[[0,1,2],[4,0,6]],"passed":true},{"actual":[[0,2,6],[1,3,6],[2,3,4]],"check":"normal control 7","expected":[[0,2,6],[1,3,6],[2,3,4]],"passed":true},{"actual":[[0,0,2],[1,0,4],[3,3,4],[4,1,2],[5,0,6]],"check":"normal control 8","expected":[[0,0,2],[1,0,4],[3,3,4],[4,1,2],[5,0,6]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: half head comparison 1\", \"actual\": [[0, 2, 4]], \"expected\": [[0, 2, 4]], \"passed\": true}, {\"check\": \"regression variant: half head comparison 2\", \"actual\": [[0, 2, 4]], \"expected\": [[0, 2, 4]], \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": [[1, 1, 2], [2, 2, 6]], \"expected\": [[1, 1, 2], [2, 2, 6]], \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": [[3, 2, 6]], \"expected\": [[3, 2, 6]], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[1, 4, 6], [2, 1, 2], [3, 0, 6]], \"expected\": [[1, 4, 6], [2, 1, 2], [3, 0, 6]], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [[0, 1, 2], [4, 0, 6]], \"expected\": [[0, 1, 2], [4, 0, 6]], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[0, 2, 6], [1, 3, 6], [2, 3, 4]], \"expected\": [[0, 2, 6], [1, 3, 6], [2, 3, 4]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]], \"expected\": [[0, 0, 2], [1, 0, 4], [3, 3, 4], [4, 1, 2], [5, 0, 6]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}