FA-94006 / Shift rostering labor rules / Open access

Leave days satisfy the fortnightly day-off minimum · case 01

Windows containing leave but no rostered days off pass the rest check.

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

ROOT CAUSE

The rest check counts every non-worked day, including leave, as a day off.

VERIFIED REPAIR

Count only rostered O days toward the two-days-off minimum.

Unsuccessful approach: Requiring more than two O days rejects compliant windows with exactly two days off.

Case contract

A day pattern (W worked, O rostered off, L leave) and the count of consecutive worked days immediately before it. Any worked day that makes the streak exceed six is a streak violation; O or L ends a streak. Every 14-day window fully inside the pattern (each start index) needs at least two O days; leave does not count as a rostered day off. Return [kind, index] rows: streaks in day order, then windows.

Why this case matters

Consecutive-day limits and fortnightly day-off minimums are standard roster labor rules.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(pattern, carry_in):
    out = []
    run = carry_in
    for i, c in enumerate(pattern):
        if c == 'W':
            run += 1
            if run > 6:
                out.append(['streak', i])
        else:
            run = 0
    for i in range(len(pattern) - 13):
        if pattern[i:i + 14].count('W') > 12:
            out.append(['rest14', i])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: leave counted as rest 1', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('regression variant: leave counted as rest 2', ['WWLWLWWWOWWWWLWWWW', 0],
   [['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]),
  ('partial repair guard 3', ['LLWWWWLWWWWWWOWOWW', 0], [['rest14', 0], ['rest14', 1]]),
  ('boundary control 4', ['WWWWWWOWWWWWWOW', 0], []),
  ('boundary control 5', ['WWWWWWWO', 0], [['streak', 6]]), ('normal control 6', ['WWOWLWWWWWLOWW', 0], []),
  ('normal control 7', ['WLWWWWOWWWWWLLWWLWWWW', 6],
   [['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5],
    ['rest14', 6], ['rest14', 7]]),
  ('normal control 8', ['OWWLLWWWWWWOWWWWLWWOL', 6],
   [['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]])],
 [('regression: leave counted as rest 1', ['WWWLWWWWWWWOWWWO', 0],
   [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('regression variant: leave counted as rest 2', ['WWWWWWWLWWOWWWWOOWWWWLLWWWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0],
    ['rest14', 1]]),
  ('partial repair guard 3', ['OWWLOWWWWLOWWOWLWWWOW', 1], []),
  ('boundary control 4', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('normal control 5', ['LWOWLWWWWWWWWWWOWWLWWLWWWWWW', 3],
   [['streak', 11], ['streak', 12], ['streak', 13], ['streak', 14], ['rest14', 0], ['rest14', 1],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7], ['rest14', 8], ['rest14', 9],
    ['rest14', 10], ['rest14', 11], ['rest14', 12], ['rest14', 13], ['rest14', 14]]),
  ('normal control 6', ['WLLWWLWWWL', 6], [['streak', 0]]), ('normal control 7', ['WWOLWWOWOL', 0], []),
  ('normal control 8', ['OOWWWOWWWWOWLWWOWWOWW', 5], [])],
 [('regression: leave counted as rest 1', ['WWOWLOWWLWWWWWWWWW', 3],
   [['streak', 15], ['streak', 16], ['streak', 17], ['rest14', 3], ['rest14', 4]]),
  ('regression variant: leave counted as rest 2', ['WLLOWWWOWWWWWWWWLWWWW', 0],
   [['streak', 14], ['streak', 15], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('partial repair guard 3', ['WLOWWWWLWLWOWWWOLW', 3], []), ('boundary control 4', ['WWOWWWWWW', 3], []),
  ('boundary control 5', ['WWWWWWO', 0], []),
  ('normal control 6', ['WWWWWWWLOWLOWW', 1], [['streak', 5], ['streak', 6]]),
  ('normal control 7', ['WWWOOWWWLWWWWWWWWW', 1],
   [['streak', 15], ['streak', 16], ['streak', 17], ['rest14', 4]]),
  ('normal control 8', ['WWWOOWWWOWWWWW', 0], [])],
 [('regression: leave counted as rest 1', ['LLWWWWLWWWWWWOWOWW', 0], [['rest14', 0], ['rest14', 1]]),
  ('regression variant: leave counted as rest 2', ['WWWWWWOOOWWWLWWWWWWOLLWWWOWW', 0],
   [['rest14', 9], ['rest14', 10], ['rest14', 11]]),
  ('partial repair guard 3', ['WWWWWWWLWWOWWWWOOWWWWLLWWWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0],
    ['rest14', 1]]),
  ('boundary control 4', ['OWWWWWWOWWWWWW', 0], []), ('boundary control 5', ['WWWWWWOWWWWWWOW', 0], []),
  ('normal control 6', ['OOWWWOWWWWOWLWWOWWOWW', 5], []),
  ('normal control 7', ['WOWWWWWWWWOLWOWWWW', 0], [['streak', 8], ['streak', 9]]),
  ('normal control 8', ['OWWWWWWLWOWLWW', 1], [])],
 [('regression: leave counted as rest 1', ['WWWWLWWWWWWWWWWWWOLOL', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 11], ['streak', 12], ['streak', 13],
    ['streak', 14], ['streak', 15], ['streak', 16], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5]]),
  ('regression variant: leave counted as rest 2', ['WWWOWWWWWWWWWWLOLW', 0],
   [['streak', 10], ['streak', 11], ['streak', 12], ['streak', 13], ['rest14', 0], ['rest14', 1],
    ['rest14', 4]]),
  ('partial repair guard 3', ['WWWWWOWWWLWLOWLWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4]]),
  ('boundary control 4', ['WWWWWWWO', 0], [['streak', 6]]),
  ('boundary control 5', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWWWWWWWWLWWLOWWOLWWWWLWWOWW', 0],
   [['streak', 6], ['streak', 7], ['streak', 8], ['rest14', 0], ['rest14', 1], ['rest14', 2]]),
  ('normal control 7', ['WWLWWWWWOW', 0], []),
  ('normal control 8', ['WWWWWWLWWWLLWW', 1], [['streak', 5], ['rest14', 0]])]]
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 fixture	Actual	Expected	Outcome
regression: leave counted as rest 1	`[]`	`[['rest14', 0]]`	Failed
regression variant: leave counted as rest 2	`[]`	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]`	Failed
partial repair guard 3	`[]`	`[['rest14', 0], ['rest14', 1]]`	Failed
boundary control 4	`[]`	`[]`	Passed
boundary control 5	`[['streak', 6]]`	`[['streak', 6]]`	Passed
normal control 6	`[]`	`[]`	Passed
normal control 7	`[['streak', 0]]`	`[['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]`	Failed
normal control 8	`[]`	`[['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]]`	Failed

SHA-256 / be4f069a58e45cc04a5b253b63e0cfe356c8889381a9f1afc50ab7a39c0c2d77

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(pattern, carry_in):
    out = []
    run = carry_in
    for i, c in enumerate(pattern):
        if c == 'W':
            run += 1
            if run > 6:
                out.append(['streak', i])
        else:
            run = 0
    for i in range(len(pattern) - 13):
        if pattern[i:i + 14].count('O') <= 2:
            out.append(['rest14', i])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: leave counted as rest 1', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('regression variant: leave counted as rest 2', ['WWLWLWWWOWWWWLWWWW', 0],
   [['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]),
  ('partial repair guard 3', ['LLWWWWLWWWWWWOWOWW', 0], [['rest14', 0], ['rest14', 1]]),
  ('boundary control 4', ['WWWWWWOWWWWWWOW', 0], []),
  ('boundary control 5', ['WWWWWWWO', 0], [['streak', 6]]), ('normal control 6', ['WWOWLWWWWWLOWW', 0], []),
  ('normal control 7', ['WLWWWWOWWWWWLLWWLWWWW', 6],
   [['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5],
    ['rest14', 6], ['rest14', 7]]),
  ('normal control 8', ['OWWLLWWWWWWOWWWWLWWOL', 6],
   [['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]])],
 [('regression: leave counted as rest 1', ['WWWLWWWWWWWOWWWO', 0],
   [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('regression variant: leave counted as rest 2', ['WWWWWWWLWWOWWWWOOWWWWLLWWWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0],
    ['rest14', 1]]),
  ('partial repair guard 3', ['OWWLOWWWWLOWWOWLWWWOW', 1], []),
  ('boundary control 4', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('normal control 5', ['LWOWLWWWWWWWWWWOWWLWWLWWWWWW', 3],
   [['streak', 11], ['streak', 12], ['streak', 13], ['streak', 14], ['rest14', 0], ['rest14', 1],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7], ['rest14', 8], ['rest14', 9],
    ['rest14', 10], ['rest14', 11], ['rest14', 12], ['rest14', 13], ['rest14', 14]]),
  ('normal control 6', ['WLLWWLWWWL', 6], [['streak', 0]]), ('normal control 7', ['WWOLWWOWOL', 0], []),
  ('normal control 8', ['OOWWWOWWWWOWLWWOWWOWW', 5], [])],
 [('regression: leave counted as rest 1', ['WWOWLOWWLWWWWWWWWW', 3],
   [['streak', 15], ['streak', 16], ['streak', 17], ['rest14', 3], ['rest14', 4]]),
  ('regression variant: leave counted as rest 2', ['WLLOWWWOWWWWWWWWLWWWW', 0],
   [['streak', 14], ['streak', 15], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('partial repair guard 3', ['WLOWWWWLWLWOWWWOLW', 3], []), ('boundary control 4', ['WWOWWWWWW', 3], []),
  ('boundary control 5', ['WWWWWWO', 0], []),
  ('normal control 6', ['WWWWWWWLOWLOWW', 1], [['streak', 5], ['streak', 6]]),
  ('normal control 7', ['WWWOOWWWLWWWWWWWWW', 1],
   [['streak', 15], ['streak', 16], ['streak', 17], ['rest14', 4]]),
  ('normal control 8', ['WWWOOWWWOWWWWW', 0], [])],
 [('regression: leave counted as rest 1', ['LLWWWWLWWWWWWOWOWW', 0], [['rest14', 0], ['rest14', 1]]),
  ('regression variant: leave counted as rest 2', ['WWWWWWOOOWWWLWWWWWWOLLWWWOWW', 0],
   [['rest14', 9], ['rest14', 10], ['rest14', 11]]),
  ('partial repair guard 3', ['WWWWWWWLWWOWWWWOOWWWWLLWWWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0],
    ['rest14', 1]]),
  ('boundary control 4', ['OWWWWWWOWWWWWW', 0], []), ('boundary control 5', ['WWWWWWOWWWWWWOW', 0], []),
  ('normal control 6', ['OOWWWOWWWWOWLWWOWWOWW', 5], []),
  ('normal control 7', ['WOWWWWWWWWOLWOWWWW', 0], [['streak', 8], ['streak', 9]]),
  ('normal control 8', ['OWWWWWWLWOWLWW', 1], [])],
 [('regression: leave counted as rest 1', ['WWWWLWWWWWWWWWWWWOLOL', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 11], ['streak', 12], ['streak', 13],
    ['streak', 14], ['streak', 15], ['streak', 16], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5]]),
  ('regression variant: leave counted as rest 2', ['WWWOWWWWWWWWWWLOLW', 0],
   [['streak', 10], ['streak', 11], ['streak', 12], ['streak', 13], ['rest14', 0], ['rest14', 1],
    ['rest14', 4]]),
  ('partial repair guard 3', ['WWWWWOWWWLWLOWLWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4]]),
  ('boundary control 4', ['WWWWWWWO', 0], [['streak', 6]]),
  ('boundary control 5', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWWWWWWWWLWWLOWWOLWWWWLWWOWW', 0],
   [['streak', 6], ['streak', 7], ['streak', 8], ['rest14', 0], ['rest14', 1], ['rest14', 2]]),
  ('normal control 7', ['WWLWWWWWOW', 0], []),
  ('normal control 8', ['WWWWWWLWWWLLWW', 1], [['streak', 5], ['rest14', 0]])]]
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 fixture	Actual	Expected	Outcome
regression: leave counted as rest 1	`[['rest14', 0]]`	`[['rest14', 0]]`	Passed
regression variant: leave counted as rest 2	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]`	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]`	Passed
partial repair guard 3	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]`	`[['rest14', 0], ['rest14', 1]]`	Failed
boundary control 4	`[['rest14', 0], ['rest14', 1]]`	`[]`	Failed
boundary control 5	`[['streak', 6]]`	`[['streak', 6]]`	Passed
normal control 6	`[['rest14', 0]]`	`[]`	Failed
normal control 7	`[['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]`	`[['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]`	Passed
normal control 8	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]`	`[['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]]`	Failed

SHA-256 / 529d8323b257c6324f7eb332c235317927b34db7ce04898e643b7a9c002c6f6a

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(pattern, carry_in):
    out = []
    run = carry_in
    for i, c in enumerate(pattern):
        if c == 'W':
            run += 1
            if run > 6:
                out.append(['streak', i])
        else:
            run = 0
    for i in range(len(pattern) - 13):
        if pattern[i:i + 14].count('O') < 2:
            out.append(['rest14', i])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: leave counted as rest 1', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('regression variant: leave counted as rest 2', ['WWLWLWWWOWWWWLWWWW', 0],
   [['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]),
  ('partial repair guard 3', ['LLWWWWLWWWWWWOWOWW', 0], [['rest14', 0], ['rest14', 1]]),
  ('boundary control 4', ['WWWWWWOWWWWWWOW', 0], []),
  ('boundary control 5', ['WWWWWWWO', 0], [['streak', 6]]), ('normal control 6', ['WWOWLWWWWWLOWW', 0], []),
  ('normal control 7', ['WLWWWWOWWWWWLLWWLWWWW', 6],
   [['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5],
    ['rest14', 6], ['rest14', 7]]),
  ('normal control 8', ['OWWLLWWWWWWOWWWWLWWOL', 6],
   [['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]])],
 [('regression: leave counted as rest 1', ['WWWLWWWWWWWOWWWO', 0],
   [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('regression variant: leave counted as rest 2', ['WWWWWWWLWWOWWWWOOWWWWLLWWWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0],
    ['rest14', 1]]),
  ('partial repair guard 3', ['OWWLOWWWWLOWWOWLWWWOW', 1], []),
  ('boundary control 4', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('normal control 5', ['LWOWLWWWWWWWWWWOWWLWWLWWWWWW', 3],
   [['streak', 11], ['streak', 12], ['streak', 13], ['streak', 14], ['rest14', 0], ['rest14', 1],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7], ['rest14', 8], ['rest14', 9],
    ['rest14', 10], ['rest14', 11], ['rest14', 12], ['rest14', 13], ['rest14', 14]]),
  ('normal control 6', ['WLLWWLWWWL', 6], [['streak', 0]]), ('normal control 7', ['WWOLWWOWOL', 0], []),
  ('normal control 8', ['OOWWWOWWWWOWLWWOWWOWW', 5], [])],
 [('regression: leave counted as rest 1', ['WWOWLOWWLWWWWWWWWW', 3],
   [['streak', 15], ['streak', 16], ['streak', 17], ['rest14', 3], ['rest14', 4]]),
  ('regression variant: leave counted as rest 2', ['WLLOWWWOWWWWWWWWLWWWW', 0],
   [['streak', 14], ['streak', 15], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('partial repair guard 3', ['WLOWWWWLWLWOWWWOLW', 3], []), ('boundary control 4', ['WWOWWWWWW', 3], []),
  ('boundary control 5', ['WWWWWWO', 0], []),
  ('normal control 6', ['WWWWWWWLOWLOWW', 1], [['streak', 5], ['streak', 6]]),
  ('normal control 7', ['WWWOOWWWLWWWWWWWWW', 1],
   [['streak', 15], ['streak', 16], ['streak', 17], ['rest14', 4]]),
  ('normal control 8', ['WWWOOWWWOWWWWW', 0], [])],
 [('regression: leave counted as rest 1', ['LLWWWWLWWWWWWOWOWW', 0], [['rest14', 0], ['rest14', 1]]),
  ('regression variant: leave counted as rest 2', ['WWWWWWOOOWWWLWWWWWWOLLWWWOWW', 0],
   [['rest14', 9], ['rest14', 10], ['rest14', 11]]),
  ('partial repair guard 3', ['WWWWWWWLWWOWWWWOOWWWWLLWWWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0],
    ['rest14', 1]]),
  ('boundary control 4', ['OWWWWWWOWWWWWW', 0], []), ('boundary control 5', ['WWWWWWOWWWWWWOW', 0], []),
  ('normal control 6', ['OOWWWOWWWWOWLWWOWWOWW', 5], []),
  ('normal control 7', ['WOWWWWWWWWOLWOWWWW', 0], [['streak', 8], ['streak', 9]]),
  ('normal control 8', ['OWWWWWWLWOWLWW', 1], [])],
 [('regression: leave counted as rest 1', ['WWWWLWWWWWWWWWWWWOLOL', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 11], ['streak', 12], ['streak', 13],
    ['streak', 14], ['streak', 15], ['streak', 16], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5]]),
  ('regression variant: leave counted as rest 2', ['WWWOWWWWWWWWWWLOLW', 0],
   [['streak', 10], ['streak', 11], ['streak', 12], ['streak', 13], ['rest14', 0], ['rest14', 1],
    ['rest14', 4]]),
  ('partial repair guard 3', ['WWWWWOWWWLWLOWLWWW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4]]),
  ('boundary control 4', ['WWWWWWWO', 0], [['streak', 6]]),
  ('boundary control 5', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWWWWWWWWLWWLOWWOLWWWWLWWOWW', 0],
   [['streak', 6], ['streak', 7], ['streak', 8], ['rest14', 0], ['rest14', 1], ['rest14', 2]]),
  ('normal control 7', ['WWLWWWWWOW', 0], []),
  ('normal control 8', ['WWWWWWLWWWLLWW', 1], [['streak', 5], ['rest14', 0]])]]
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 fixture	Actual	Expected	Outcome
regression: leave counted as rest 1	`[['rest14', 0]]`	`[['rest14', 0]]`	Passed
regression variant: leave counted as rest 2	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]`	`[['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4]]`	Passed
partial repair guard 3	`[['rest14', 0], ['rest14', 1]]`	`[['rest14', 0], ['rest14', 1]]`	Passed
boundary control 4	`[]`	`[]`	Passed
boundary control 5	`[['streak', 6]]`	`[['streak', 6]]`	Passed
normal control 6	`[]`	`[]`	Passed
normal control 7	`[['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]`	`[['streak', 0], ['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]`	Passed
normal control 8	`[['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]]`	`[['rest14', 1], ['rest14', 2], ['rest14', 3], ['rest14', 4], ['rest14', 5]]`	Passed

SHA-256 / 467fabe9a124a44cceecf7297269cd9c44bff9bcd1fd7be8013a8330977c678b

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:52:00.294661+00:00.

Case digest / 4c30130ee24a3495cb8c16a4cb45a1922bab250429df0a949d6b7d73e4f18cfe