FAILURE MAP
← Case archive

FA-93931 / Shift rostering labor rules / Open access

Exactly five-hour shift requires a meal period · case 01

Shifts of precisely 300 minutes are flagged as missing a meal.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The first meal threshold is inclusive.

VERIFIED REPAIR

A meal is required only when the shift exceeds 300 minutes.

Unsuccessful approach: Subtracting the meal length first waives the meal for shifts up to 330 minutes.

Case 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.

Why this case matters

Break-entitlement checks gate roster publication and trigger premium pay; every boundary here is a distinct audit finding.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(shift, breaks):
    s, e = shift
    L = e - s
    need_meal = (L >= 300) + (L > 600)
    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)
    late = [k + 1 for k, start in enumerate(meals[:need_meal]) if start > s + 300 * (k + 1)]
    need_rest = 0 if L < 210 else (L + 120) // 240
    rests = sum(1 for b in breaks if b[2] == 'rest' and b[1] - b[0] >= 10)
    return {'meals_required': need_meal, 'late': late, 'missing_meal': max(need_meal - len(meals), 0),
            'missing_rest': max(need_rest - rests, 0)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: meal threshold boundary 1', [[420, 720], []],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2', [[420, 720], [[700, 710, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('partial repair guard 3',
   [[420, 721], [[540, 570, 'meal'], [1020, 1030, 'meal'], [716, 731, 'rest'], [980, 990, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('boundary control 4', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('boundary control 5', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],
   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[360, 570], [[480, 495, 'rest'], [690, 700, 'rest'], [550, 565, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('normal control 7',
   [[0, 360], [[301, 310, 'rest'], [200, 229, 'meal'], [300, 315, 'meal'], [560, 590, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 8', [[1320, 1980], [[1380, 1400, 'meal'], [1440, 1471, 'meal'], [1440, 1469, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3})],
 [('regression: meal threshold boundary 1', [[0, 300], [[300, 330, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2',
   [[360, 660], [[920, 930, 'rest'], [640, 649, 'meal'], [320, 351, 'meal'], [640, 660, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[420, 721], [[480, 489, 'rest'], [710, 725, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),
  ('boundary control 4', [[0, 210], [[100, 110, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('boundary control 5', [[60, 720], [[200, 230, 'meal'], [500, 530, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[420, 750], [[750, 759, 'meal'], [750, 770, 'meal'], [710, 719, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 7', [[1320, 1800], [[1620, 1629, 'meal'], [1920, 1930, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 8', [[0, 301], [[296, 306, 'rest'], [290, 305, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0})],
 [('regression: meal threshold boundary 1', [[1320, 1620], []],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2',
   [[1320, 1620], [[1650, 1660, 'meal'], [1280, 1290, 'meal'], [1920, 1930, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[0, 301], [[120, 135, 'meal'], [560, 590, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('boundary control 4', [[0, 480], [[310, 340, 'meal'], [100, 109, 'rest']]],
   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 2}),
  ('boundary control 5', [[100, 800], [[600, 630, 'meal'], [300, 330, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[420, 1020], [[380, 390, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 7', [[0, 720], [[290, 319, 'meal'], [600, 615, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),
  ('normal control 8', [[360, 661], []],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1})],
 [('regression: meal threshold boundary 1', [[1320, 1620], [[1620, 1650, 'meal'], [1650, 1679, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2', [[360, 660], [[320, 329, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('partial repair guard 3', [[360, 690], [[660, 689, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('boundary control 4', [[0, 660], [[250, 280, 'meal'], [590, 620, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('boundary control 5', [[420, 721], [[700, 730, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 6',
   [[420, 750], [[730, 739, 'rest'], [690, 699, 'rest'], [540, 550, 'rest'], [480, 490, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),
  ('normal control 7', [[1320, 1920], [[1280, 1289, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('normal control 8', [[420, 629], [[380, 395, 'rest'], [690, 735, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0})],
 [('regression: meal threshold boundary 1',
   [[360, 660], [[660, 691, 'meal'], [640, 655, 'meal'], [920, 951, 'meal'], [560, 570, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('regression variant: meal threshold boundary 2',
   [[1320, 1620], [[1440, 1470, 'meal'], [1620, 1640, 'meal'], [1650, 1665, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[0, 301], [[60, 90, 'meal'], [330, 339, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('boundary control 4', [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),
  ('boundary control 5', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 6',
   [[420, 780], [[721, 730, 'rest'], [380, 389, 'meal'], [620, 629, 'rest'], [380, 389, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 7', [[1320, 1920], [[1280, 1289, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('normal control 8', [[420, 720], [[700, 710, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1})]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: meal threshold boundary 1{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 1}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}Failed
regression variant: meal threshold boundary 2{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 1}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}Failed
partial repair guard 3{'late': [], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 0}{'late': [], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 0}Passed
boundary control 4{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}Passed
boundary control 5{'late': [1], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 3}{'late': [1], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 3}Passed
normal control 6{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}Passed
normal control 7{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 2}{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 2}Passed
normal control 8{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}Passed

SHA-256 / 9f3aaa706e80956d66c969bc2a86500e5f4f9a3ccdad45c05283c9f81afa991a

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(shift, breaks):
    s, e = shift
    L = e - s
    need_meal = (L - 30 > 300) + (L > 600)
    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)
    late = [k + 1 for k, start in enumerate(meals[:need_meal]) if start > s + 300 * (k + 1)]
    need_rest = 0 if L < 210 else (L + 120) // 240
    rests = sum(1 for b in breaks if b[2] == 'rest' and b[1] - b[0] >= 10)
    return {'meals_required': need_meal, 'late': late, 'missing_meal': max(need_meal - len(meals), 0),
            'missing_rest': max(need_rest - rests, 0)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: meal threshold boundary 1', [[420, 720], []],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2', [[420, 720], [[700, 710, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('partial repair guard 3',
   [[420, 721], [[540, 570, 'meal'], [1020, 1030, 'meal'], [716, 731, 'rest'], [980, 990, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('boundary control 4', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('boundary control 5', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],
   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[360, 570], [[480, 495, 'rest'], [690, 700, 'rest'], [550, 565, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('normal control 7',
   [[0, 360], [[301, 310, 'rest'], [200, 229, 'meal'], [300, 315, 'meal'], [560, 590, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 8', [[1320, 1980], [[1380, 1400, 'meal'], [1440, 1471, 'meal'], [1440, 1469, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3})],
 [('regression: meal threshold boundary 1', [[0, 300], [[300, 330, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2',
   [[360, 660], [[920, 930, 'rest'], [640, 649, 'meal'], [320, 351, 'meal'], [640, 660, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[420, 721], [[480, 489, 'rest'], [710, 725, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),
  ('boundary control 4', [[0, 210], [[100, 110, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('boundary control 5', [[60, 720], [[200, 230, 'meal'], [500, 530, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[420, 750], [[750, 759, 'meal'], [750, 770, 'meal'], [710, 719, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 7', [[1320, 1800], [[1620, 1629, 'meal'], [1920, 1930, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 8', [[0, 301], [[296, 306, 'rest'], [290, 305, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0})],
 [('regression: meal threshold boundary 1', [[1320, 1620], []],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2',
   [[1320, 1620], [[1650, 1660, 'meal'], [1280, 1290, 'meal'], [1920, 1930, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[0, 301], [[120, 135, 'meal'], [560, 590, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('boundary control 4', [[0, 480], [[310, 340, 'meal'], [100, 109, 'rest']]],
   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 2}),
  ('boundary control 5', [[100, 800], [[600, 630, 'meal'], [300, 330, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[420, 1020], [[380, 390, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 7', [[0, 720], [[290, 319, 'meal'], [600, 615, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),
  ('normal control 8', [[360, 661], []],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1})],
 [('regression: meal threshold boundary 1', [[1320, 1620], [[1620, 1650, 'meal'], [1650, 1679, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2', [[360, 660], [[320, 329, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('partial repair guard 3', [[360, 690], [[660, 689, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('boundary control 4', [[0, 660], [[250, 280, 'meal'], [590, 620, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('boundary control 5', [[420, 721], [[700, 730, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 6',
   [[420, 750], [[730, 739, 'rest'], [690, 699, 'rest'], [540, 550, 'rest'], [480, 490, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),
  ('normal control 7', [[1320, 1920], [[1280, 1289, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('normal control 8', [[420, 629], [[380, 395, 'rest'], [690, 735, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0})],
 [('regression: meal threshold boundary 1',
   [[360, 660], [[660, 691, 'meal'], [640, 655, 'meal'], [920, 951, 'meal'], [560, 570, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('regression variant: meal threshold boundary 2',
   [[1320, 1620], [[1440, 1470, 'meal'], [1620, 1640, 'meal'], [1650, 1665, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[0, 301], [[60, 90, 'meal'], [330, 339, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('boundary control 4', [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),
  ('boundary control 5', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 6',
   [[420, 780], [[721, 730, 'rest'], [380, 389, 'meal'], [620, 629, 'rest'], [380, 389, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 7', [[1320, 1920], [[1280, 1289, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('normal control 8', [[420, 720], [[700, 710, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1})]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: meal threshold boundary 1{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}Passed
regression variant: meal threshold boundary 2{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}Passed
partial repair guard 3{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}{'late': [], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 0}Failed
boundary control 4{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}Passed
boundary control 5{'late': [1], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 3}{'late': [1], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 3}Passed
normal control 6{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}Passed
normal control 7{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 2}{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 2}Passed
normal control 8{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}Passed

SHA-256 / c733eaf2c17322e198301031e6988c689b5cd6eec8f269d1aa0a4c0e3101ea75

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(shift, breaks):
    s, e = shift
    L = e - s
    need_meal = (L > 300) + (L > 600)
    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)
    late = [k + 1 for k, start in enumerate(meals[:need_meal]) if start > s + 300 * (k + 1)]
    need_rest = 0 if L < 210 else (L + 120) // 240
    rests = sum(1 for b in breaks if b[2] == 'rest' and b[1] - b[0] >= 10)
    return {'meals_required': need_meal, 'late': late, 'missing_meal': max(need_meal - len(meals), 0),
            'missing_rest': max(need_rest - rests, 0)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: meal threshold boundary 1', [[420, 720], []],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2', [[420, 720], [[700, 710, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('partial repair guard 3',
   [[420, 721], [[540, 570, 'meal'], [1020, 1030, 'meal'], [716, 731, 'rest'], [980, 990, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('boundary control 4', [[420, 1021], [[600, 630, 'meal'], [1000, 1021, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('boundary control 5', [[0, 600], [[-40, -10, 'meal'], [330, 360, 'meal']]],
   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[360, 570], [[480, 495, 'rest'], [690, 700, 'rest'], [550, 565, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('normal control 7',
   [[0, 360], [[301, 310, 'rest'], [200, 229, 'meal'], [300, 315, 'meal'], [560, 590, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 8', [[1320, 1980], [[1380, 1400, 'meal'], [1440, 1471, 'meal'], [1440, 1469, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 1, 'missing_rest': 3})],
 [('regression: meal threshold boundary 1', [[0, 300], [[300, 330, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2',
   [[360, 660], [[920, 930, 'rest'], [640, 649, 'meal'], [320, 351, 'meal'], [640, 660, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[420, 721], [[480, 489, 'rest'], [710, 725, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),
  ('boundary control 4', [[0, 210], [[100, 110, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('boundary control 5', [[60, 720], [[200, 230, 'meal'], [500, 530, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[420, 750], [[750, 759, 'meal'], [750, 770, 'meal'], [710, 719, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 7', [[1320, 1800], [[1620, 1629, 'meal'], [1920, 1930, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 8', [[0, 301], [[296, 306, 'rest'], [290, 305, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0})],
 [('regression: meal threshold boundary 1', [[1320, 1620], []],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2',
   [[1320, 1620], [[1650, 1660, 'meal'], [1280, 1290, 'meal'], [1920, 1930, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[0, 301], [[120, 135, 'meal'], [560, 590, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('boundary control 4', [[0, 480], [[310, 340, 'meal'], [100, 109, 'rest']]],
   {'meals_required': 1, 'late': [1], 'missing_meal': 0, 'missing_rest': 2}),
  ('boundary control 5', [[100, 800], [[600, 630, 'meal'], [300, 330, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('normal control 6', [[420, 1020], [[380, 390, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 7', [[0, 720], [[290, 319, 'meal'], [600, 615, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 2, 'missing_rest': 3}),
  ('normal control 8', [[360, 661], []],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1})],
 [('regression: meal threshold boundary 1', [[1320, 1620], [[1620, 1650, 'meal'], [1650, 1679, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('regression variant: meal threshold boundary 2', [[360, 660], [[320, 329, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('partial repair guard 3', [[360, 690], [[660, 689, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('boundary control 4', [[0, 660], [[250, 280, 'meal'], [590, 620, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 3}),
  ('boundary control 5', [[420, 721], [[700, 730, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 1}),
  ('normal control 6',
   [[420, 750], [[730, 739, 'rest'], [690, 699, 'rest'], [540, 550, 'rest'], [480, 490, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 0}),
  ('normal control 7', [[1320, 1920], [[1280, 1289, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('normal control 8', [[420, 629], [[380, 395, 'rest'], [690, 735, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0})],
 [('regression: meal threshold boundary 1',
   [[360, 660], [[660, 691, 'meal'], [640, 655, 'meal'], [920, 951, 'meal'], [560, 570, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('regression variant: meal threshold boundary 2',
   [[1320, 1620], [[1440, 1470, 'meal'], [1620, 1640, 'meal'], [1650, 1665, 'rest']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 0}),
  ('partial repair guard 3', [[0, 301], [[60, 90, 'meal'], [330, 339, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 0, 'missing_rest': 1}),
  ('boundary control 4', [[0, 650], [[550, 580, 'rest'], [500, 530, 'meal'], [250, 280, 'meal']]],
   {'meals_required': 2, 'late': [], 'missing_meal': 0, 'missing_rest': 2}),
  ('boundary control 5', [[1320, 1920], [[1600, 1629, 'meal'], [1450, 1460, 'rest']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 6',
   [[420, 780], [[721, 730, 'rest'], [380, 389, 'meal'], [620, 629, 'rest'], [380, 389, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 2}),
  ('normal control 7', [[1320, 1920], [[1280, 1289, 'meal']]],
   {'meals_required': 1, 'late': [], 'missing_meal': 1, 'missing_rest': 3}),
  ('normal control 8', [[420, 720], [[700, 710, 'meal']]],
   {'meals_required': 0, 'late': [], 'missing_meal': 0, 'missing_rest': 1})]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: meal threshold boundary 1{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}Passed
regression variant: meal threshold boundary 2{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 1}Passed
partial repair guard 3{'late': [], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 0}{'late': [], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 0}Passed
boundary control 4{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}Passed
boundary control 5{'late': [1], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 3}{'late': [1], 'meals_required': 1, 'missing_meal': 0, 'missing_rest': 3}Passed
normal control 6{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}{'late': [], 'meals_required': 0, 'missing_meal': 0, 'missing_rest': 0}Passed
normal control 7{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 2}{'late': [], 'meals_required': 1, 'missing_meal': 1, 'missing_rest': 2}Passed
normal control 8{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}{'late': [], 'meals_required': 2, 'missing_meal': 1, 'missing_rest': 3}Passed

SHA-256 / 03a5c58a7a9236d9b68f7f73ebd8e0a5decd2d31737aa0c9481417e1183abdbe

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:51:59.614922+00:00.

Case digest / f19b69f43f486053a265c716f4b6f92a84989781a3ad966a2bddb2d3a6bbd9ba