{"abstract":"A 6-hour shift gets one rest break instead of two.","category":"Shift rostering labor rules","checks":8,"contract":"Shift [start, end] and breaks [start, end, kind]. Meals required: one if the shift exceeds 300 minutes, two if it exceeds 600. A meal counts if it lasts at least 30 minutes and lies inside the shift; the k-th counted meal (by start) is late if it starts after shift start + 300*k. Rest breaks required: none under 210 minutes, else (L + 120) // 240 (one per four hours or major fraction); a rest counts if kind is rest and it lasts at least 10 minutes. Return required meals, late meal ordinals, missing meals and missing rests.","evaluation_group":"w2-shift-rostering-labor-rules-meal-and-rest-break-entitlement","failed_approach":"Ceiling division grants a rest for any fraction, over-requiring rests on short remainders.","family":"w2-shift-rostering-labor-rules-meal-and-rest-break-entitlement-rest-major-fraction","id":"FA-93941","implementations":{"attempt":{"sha256":"99848d1b5dfd6eee21aaa6b15a0efd1912b8fd2b5ff433348d8c7e316d9b316e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shift, breaks):\n    s, e = shift\n    L = e - s\n    need_meal = (L > 300) + (L > 600)\n    meals = sorted(b[0] for b in breaks if b[2] == 'meal' and b[1] - b[0] >= 30 and b[0] >= s and b[1] <= e)\n    late = [k + 1 for k, start in enumerate(meals[:need_meal]) if start > s + 300 * (k + 1)]\n    need_rest = 0 if L < 210 else -(-L // 240)\n    rests = sum(1 for b in breaks if b[2] == 'rest' and b[1] - b[0] >= 10)\n    return {'meals_required': need_meal, 'late': late, 'missing_meal': max(need_meal - len(meals), 0),\n            'missing_rest': max(need_rest - rests, 0)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: rest major fraction 1', [[420, 1020], [[720, 750, 'meal'], [900, 930, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2',\n   [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('partial repair guard 3', [[0, 301], [[-40, -25, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('boundary control 4', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),\n  ('boundary control 5', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[0, 301], [[296, 306, 'rest'], [290, 305, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('normal control 7',\n   [[360, 600], [[660, 705, 'meal'], [920, 951, 'meal'], [661, 676, 'meal'], [690, 719, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('normal control 8', [[0, 240], [[560, 591, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1})],\n [('regression: rest major fraction 1', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2',\n   [[1320, 1680], [[1675, 1704, 'meal'], [1620, 1629, 'meal'], [1610, 1641, 'meal'], [1880, 1895, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('partial repair guard 3', [[420, 721], []],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 210], [[100, 110, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('boundary control 5', [[60, 720], [[200, 230, 'meal'], [500, 530, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[0, 359], [[560, 570, 'rest'], [339, 348, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('normal control 7', [[0, 240], []],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('normal control 8', [[0, 330], [[301, 310, 'meal'], [270, 290, 'meal'], [310, 325, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1})],\n [('regression: rest major fraction 1', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('regression variant: rest major fraction 2', [[420, 780], [[380, 395, 'meal'], [540, 549, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('partial repair guard 3', [[0, 301], [[-40, -30, 'meal'], [200, 209, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 480], [[310, 340, 'meal'], [100, 109, 'rest']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 2}),\n  ('boundary control 5', [[100, 800], [[600, 630, 'meal'], [300, 330, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[360, 690], [[661, 670, 'rest'], [661, 681, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 7', [[0, 209], [[600, 615, 'rest'], [204, 249, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('normal control 8', [[360, 1080], [[661, 670, 'rest']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3})],\n [('regression: rest major fraction 1',\n   [[0, 360], [[200, 230, 'meal'], [100, 110, 'rest'], [300, 310, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('regression variant: rest major fraction 2', [[360, 960], [[955, 965, 'rest'], [480, 495, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('partial repair guard 3',\n   [[360, 660], [[660, 691, 'meal'], [640, 655, 'meal'], [920, 951, 'meal'], [560, 570, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('boundary control 4', [[0, 660], [[250, 280, 'meal'], [590, 620, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('boundary control 5', [[420, 721], [[700, 730, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 6', [[0, 660], [[-40, -9, 'meal'], [330, 359, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('normal control 7', [[1320, 1620], [[1650, 1660, 'meal'], [1280, 1290, 'meal'], [1920, 1930, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('normal control 8', [[360, 720], [[560, 569, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2})],\n [('regression: rest major fraction 1', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2', [[1320, 1921], []],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('partial repair guard 3', [[360, 690], [[661, 670, 'rest'], [661, 681, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('boundary control 5', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('normal control 6', [[360, 690], [[660, 689, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 7', [[420, 1021], [[480, 509, 'meal'], [980, 1000, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('normal control 8', [[360, 720], []],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 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":"b92555d976305a6dbac102429a3ee819cc66d0f107cd682bce253c5c78d1bf68","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shift, breaks):\n    s, e = shift\n    L = e - s\n    need_meal = (L > 300) + (L > 600)\n    meals = sorted(b[0] for b in breaks if b[2] == 'meal' and b[1] - b[0] >= 30 and b[0] >= s and b[1] <= e)\n    late = [k + 1 for k, start in enumerate(meals[:need_meal]) if start > s + 300 * (k + 1)]\n    need_rest = 0 if L < 210 else L // 240\n    rests = sum(1 for b in breaks if b[2] == 'rest' and b[1] - b[0] >= 10)\n    return {'meals_required': need_meal, 'late': late, 'missing_meal': max(need_meal - len(meals), 0),\n            'missing_rest': max(need_rest - rests, 0)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: rest major fraction 1', [[420, 1020], [[720, 750, 'meal'], [900, 930, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2',\n   [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('partial repair guard 3', [[0, 301], [[-40, -25, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('boundary control 4', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),\n  ('boundary control 5', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[0, 301], [[296, 306, 'rest'], [290, 305, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('normal control 7',\n   [[360, 600], [[660, 705, 'meal'], [920, 951, 'meal'], [661, 676, 'meal'], [690, 719, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('normal control 8', [[0, 240], [[560, 591, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1})],\n [('regression: rest major fraction 1', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2',\n   [[1320, 1680], [[1675, 1704, 'meal'], [1620, 1629, 'meal'], [1610, 1641, 'meal'], [1880, 1895, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('partial repair guard 3', [[420, 721], []],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 210], [[100, 110, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('boundary control 5', [[60, 720], [[200, 230, 'meal'], [500, 530, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[0, 359], [[560, 570, 'rest'], [339, 348, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('normal control 7', [[0, 240], []],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('normal control 8', [[0, 330], [[301, 310, 'meal'], [270, 290, 'meal'], [310, 325, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1})],\n [('regression: rest major fraction 1', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('regression variant: rest major fraction 2', [[420, 780], [[380, 395, 'meal'], [540, 549, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('partial repair guard 3', [[0, 301], [[-40, -30, 'meal'], [200, 209, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 480], [[310, 340, 'meal'], [100, 109, 'rest']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 2}),\n  ('boundary control 5', [[100, 800], [[600, 630, 'meal'], [300, 330, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[360, 690], [[661, 670, 'rest'], [661, 681, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 7', [[0, 209], [[600, 615, 'rest'], [204, 249, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('normal control 8', [[360, 1080], [[661, 670, 'rest']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3})],\n [('regression: rest major fraction 1',\n   [[0, 360], [[200, 230, 'meal'], [100, 110, 'rest'], [300, 310, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('regression variant: rest major fraction 2', [[360, 960], [[955, 965, 'rest'], [480, 495, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('partial repair guard 3',\n   [[360, 660], [[660, 691, 'meal'], [640, 655, 'meal'], [920, 951, 'meal'], [560, 570, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('boundary control 4', [[0, 660], [[250, 280, 'meal'], [590, 620, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('boundary control 5', [[420, 721], [[700, 730, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 6', [[0, 660], [[-40, -9, 'meal'], [330, 359, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('normal control 7', [[1320, 1620], [[1650, 1660, 'meal'], [1280, 1290, 'meal'], [1920, 1930, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('normal control 8', [[360, 720], [[560, 569, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2})],\n [('regression: rest major fraction 1', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2', [[1320, 1921], []],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('partial repair guard 3', [[360, 690], [[661, 670, 'rest'], [661, 681, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('boundary control 5', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('normal control 6', [[360, 690], [[660, 689, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 7', [[420, 1021], [[480, 509, 'meal'], [980, 1000, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('normal control 8', [[360, 720], []],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 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":"e1123665df4ea17176e64db7779b05712270b6dac02a910ff2f8e299f441f613","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shift, breaks):\n    s, e = shift\n    L = e - s\n    need_meal = (L > 300) + (L > 600)\n    meals = sorted(b[0] for b in breaks if b[2] == 'meal' and b[1] - b[0] >= 30 and b[0] >= s and b[1] <= e)\n    late = [k + 1 for k, start in enumerate(meals[:need_meal]) if start > s + 300 * (k + 1)]\n    need_rest = 0 if L < 210 else (L + 120) // 240\n    rests = sum(1 for b in breaks if b[2] == 'rest' and b[1] - b[0] >= 10)\n    return {'meals_required': need_meal, 'late': late, 'missing_meal': max(need_meal - len(meals), 0),\n            'missing_rest': max(need_rest - rests, 0)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: rest major fraction 1', [[420, 1020], [[720, 750, 'meal'], [900, 930, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2',\n   [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('partial repair guard 3', [[0, 301], [[-40, -25, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('boundary control 4', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),\n  ('boundary control 5', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[0, 301], [[296, 306, 'rest'], [290, 305, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('normal control 7',\n   [[360, 600], [[660, 705, 'meal'], [920, 951, 'meal'], [661, 676, 'meal'], [690, 719, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('normal control 8', [[0, 240], [[560, 591, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1})],\n [('regression: rest major fraction 1', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2',\n   [[1320, 1680], [[1675, 1704, 'meal'], [1620, 1629, 'meal'], [1610, 1641, 'meal'], [1880, 1895, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('partial repair guard 3', [[420, 721], []],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 210], [[100, 110, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('boundary control 5', [[60, 720], [[200, 230, 'meal'], [500, 530, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[0, 359], [[560, 570, 'rest'], [339, 348, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),\n  ('normal control 7', [[0, 240], []],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('normal control 8', [[0, 330], [[301, 310, 'meal'], [270, 290, 'meal'], [310, 325, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1})],\n [('regression: rest major fraction 1', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('regression variant: rest major fraction 2', [[420, 780], [[380, 395, 'meal'], [540, 549, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('partial repair guard 3', [[0, 301], [[-40, -30, 'meal'], [200, 209, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 480], [[310, 340, 'meal'], [100, 109, 'rest']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 2}),\n  ('boundary control 5', [[100, 800], [[600, 630, 'meal'], [300, 330, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('normal control 6', [[360, 690], [[661, 670, 'rest'], [661, 681, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 7', [[0, 209], [[600, 615, 'rest'], [204, 249, 'meal']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('normal control 8', [[360, 1080], [[661, 670, 'rest']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3})],\n [('regression: rest major fraction 1',\n   [[0, 360], [[200, 230, 'meal'], [100, 110, 'rest'], [300, 310, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),\n  ('regression variant: rest major fraction 2', [[360, 960], [[955, 965, 'rest'], [480, 495, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('partial repair guard 3',\n   [[360, 660], [[660, 691, 'meal'], [640, 655, 'meal'], [920, 951, 'meal'], [560, 570, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('boundary control 4', [[0, 660], [[250, 280, 'meal'], [590, 620, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),\n  ('boundary control 5', [[420, 721], [[700, 730, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 6', [[0, 660], [[-40, -9, 'meal'], [330, 359, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('normal control 7', [[1320, 1620], [[1650, 1660, 'meal'], [1280, 1290, 'meal'], [1920, 1930, 'rest']]],\n   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),\n  ('normal control 8', [[360, 720], [[560, 569, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2})],\n [('regression: rest major fraction 1', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],\n   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),\n  ('regression variant: rest major fraction 2', [[1320, 1921], []],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('partial repair guard 3', [[360, 690], [[661, 670, 'rest'], [661, 681, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('boundary control 4', [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),\n  ('boundary control 5', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),\n  ('normal control 6', [[360, 690], [[660, 689, 'meal']]],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),\n  ('normal control 7', [[420, 1021], [[480, 509, 'meal'], [980, 1000, 'meal']]],\n   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),\n  ('normal control 8', [[360, 720], []],\n   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 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-meal-and-rest-break-entitlement-rest-major-fraction","generated_at":"2026-09-29T14:51:59.738677+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Break-entitlement checks gate roster publication and trigger premium pay; every boundary here is a distinct audit finding.","repair":"One rest per four hours or major fraction: (L + 120) // 240.","root_cause":"Rest entitlement floors whole four-hour blocks, dropping the major fraction.","sha256":"10bfd0f461c27ec9ba6ee23c2c54b637105f701561c05d6e12c2912a3e0f5db3","title":"Rest break count ignores the major-fraction rule · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.913,"exit_code":1,"observations":[{"actual":{"late":[],"meals_required":1,"missing_meal":0,"missing_rest":3},"check":"regression: rest major fraction 1","expected":{"late":[],"meals_required":1,"missing_meal":0,"missing_rest":3},"passed":true},{"actual":{"late":[],"meals_required":2,"missing_meal":0,"missing_rest":2},"check":"regression variant: rest major fraction 2","expected":{"late":[],"meals_required":2,"missing_meal":0,"missing_rest":2},"passed":true},{"actual":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":1},"check":"partial repair guard 3","expected":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"passed":false},{"actual":{"late":[],"meals_required":2,"missing_meal":1,"missing_rest":3},"check":"boundary control 4","expected":{"late":[],"meals_required":2,"missing_meal":1,"missing_rest":3},"passed":true},{"actual":{"late":[1],"meals_required":1,"missing_meal":0,"missing_rest":3},"check":"boundary control 5","expected":{"late":[1],"meals_required":1,"missing_meal":0,"missing_rest":3},"passed":true},{"actual":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"check":"normal control 6","expected":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"passed":true},{"actual":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"check":"normal control 7","expected":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"passed":true},{"actual":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"check":"normal control 8","expected":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: rest major fraction 1\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 3}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 3}, \"passed\": true}, {\"check\": \"regression variant: rest major fraction 2\", \"actual\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 2}, \"expected\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 2}, \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 3}, \"expected\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 3}, \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": {\"meals_required\": 1, \"late\": [1], \"missing_meal\": 0, \"missing_rest\": 3}, \"expected\": {\"meals_required\": 1, \"late\": [1], \"missing_meal\": 0, \"missing_rest\": 3}, \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.66,"exit_code":1,"observations":[{"actual":{"late":[],"meals_required":1,"missing_meal":0,"missing_rest":2},"check":"regression: rest major fraction 1","expected":{"late":[],"meals_required":1,"missing_meal":0,"missing_rest":3},"passed":false},{"actual":{"late":[],"meals_required":2,"missing_meal":0,"missing_rest":1},"check":"regression variant: rest major fraction 2","expected":{"late":[],"meals_required":2,"missing_meal":0,"missing_rest":2},"passed":false},{"actual":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"check":"partial repair guard 3","expected":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"passed":true},{"actual":{"late":[],"meals_required":2,"missing_meal":1,"missing_rest":2},"check":"boundary control 4","expected":{"late":[],"meals_required":2,"missing_meal":1,"missing_rest":3},"passed":false},{"actual":{"late":[1],"meals_required":1,"missing_meal":0,"missing_rest":2},"check":"boundary control 5","expected":{"late":[1],"meals_required":1,"missing_meal":0,"missing_rest":3},"passed":false},{"actual":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"check":"normal control 6","expected":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"passed":true},{"actual":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"check":"normal control 7","expected":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"passed":true},{"actual":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"check":"normal control 8","expected":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: rest major fraction 1\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 2}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 3}, \"passed\": false}, {\"check\": \"regression variant: rest major fraction 2\", \"actual\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 2}, \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"passed\": true}, {\"check\": \"boundary control 4\", \"actual\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 2}, \"expected\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 3}, \"passed\": false}, {\"check\": \"boundary control 5\", \"actual\": {\"meals_required\": 1, \"late\": [1], \"missing_meal\": 0, \"missing_rest\": 2}, \"expected\": {\"meals_required\": 1, \"late\": [1], \"missing_meal\": 0, \"missing_rest\": 3}, \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.896,"exit_code":0,"observations":[{"actual":{"late":[],"meals_required":1,"missing_meal":0,"missing_rest":3},"check":"regression: rest major fraction 1","expected":{"late":[],"meals_required":1,"missing_meal":0,"missing_rest":3},"passed":true},{"actual":{"late":[],"meals_required":2,"missing_meal":0,"missing_rest":2},"check":"regression variant: rest major fraction 2","expected":{"late":[],"meals_required":2,"missing_meal":0,"missing_rest":2},"passed":true},{"actual":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"check":"partial repair guard 3","expected":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"passed":true},{"actual":{"late":[],"meals_required":2,"missing_meal":1,"missing_rest":3},"check":"boundary control 4","expected":{"late":[],"meals_required":2,"missing_meal":1,"missing_rest":3},"passed":true},{"actual":{"late":[1],"meals_required":1,"missing_meal":0,"missing_rest":3},"check":"boundary control 5","expected":{"late":[1],"meals_required":1,"missing_meal":0,"missing_rest":3},"passed":true},{"actual":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"check":"normal control 6","expected":{"late":[],"meals_required":1,"missing_meal":1,"missing_rest":0},"passed":true},{"actual":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"check":"normal control 7","expected":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"passed":true},{"actual":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"check":"normal control 8","expected":{"late":[],"meals_required":0,"missing_meal":0,"missing_rest":1},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: rest major fraction 1\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 3}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 3}, \"passed\": true}, {\"check\": \"regression variant: rest major fraction 2\", \"actual\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 2}, \"expected\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 2}, \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"passed\": true}, {\"check\": \"boundary control 4\", \"actual\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 3}, \"expected\": {\"meals_required\": 2, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 3}, \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": {\"meals_required\": 1, \"late\": [1], \"missing_meal\": 0, \"missing_rest\": 3}, \"expected\": {\"meals_required\": 1, \"late\": [1], \"missing_meal\": 0, \"missing_rest\": 3}, \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"expected\": {\"meals_required\": 1, \"late\": [], \"missing_meal\": 1, \"missing_rest\": 0}, \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"expected\": {\"meals_required\": 0, \"late\": [], \"missing_meal\": 0, \"missing_rest\": 1}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}