FAILURE MAP
← Case archive

FA-93991 / Shift rostering labor rules / Open access

Sixth consecutive day reported as a streak violation · case 01

Legal six-day runs are flagged.

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

ROOT CAUSE

The streak limit comparison is inclusive at six.

VERIFIED REPAIR

Only the seventh and later consecutive days violate the limit.

Unsuccessful approach: Raising the limit to seven hides genuine seventh-day violations.

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('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: streak limit boundary 1', ['WWWWWWO', 0], []),
  ('regression variant: streak limit boundary 2', ['OWWWWWWWWWLWOWL', 6],
   [['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]),
  ('partial repair guard 3', ['WOLWWOWLWWOOWLWWOOLOWWWWWWWW', 0], [['streak', 26], ['streak', 27]]),
  ('boundary control 4', ['WWWWWWOWWWWWWOW', 0], []),
  ('boundary control 5', ['WWWWWWWO', 0], [['streak', 6]]),
  ('normal control 6', ['WWWWLWWLLLWLWOWOWW', 3], [['streak', 3], ['rest14', 0], ['rest14', 1]]),
  ('normal control 7', ['WWWWWWOOOOOOWLWWWL', 0], []),
  ('normal control 8', ['WWWWWWWOWWWWLWOWOWWWW', 3],
   [['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]])],
 [('regression: streak limit boundary 1', ['WWWWWWWO', 0], [['streak', 6]]),
  ('regression variant: streak limit boundary 2', ['WWOWWLWWWLLOWWWWWWWWLLLWWWWW', 0],
   [['streak', 18], ['streak', 19], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7],
    ['rest14', 8], ['rest14', 9], ['rest14', 10], ['rest14', 11], ['rest14', 12], ['rest14', 13],
    ['rest14', 14]]),
  ('partial repair guard 3', ['WWWWWWWLWLWWWO', 1], [['streak', 5], ['streak', 6], ['rest14', 0]]),
  ('boundary control 4', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('boundary control 5', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('normal control 6', ['OWOOWWWOWWWLLWWWWLOWWOOWWWLW', 0], [['rest14', 4]]),
  ('normal control 7', ['WLOLOOWLWWWWWW', 3], []), ('normal control 8', ['WOOOWLLWOWWWWO', 1], [])],
 [('regression: streak limit boundary 1', ['WWOWWWWWW', 3], []),
  ('regression variant: streak limit boundary 2', ['WWWWLWWOLW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3]]),
  ('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', ['WWWWWWO', 0], []),
  ('normal control 5', ['WWOWWWWLWWWLWWW', 1], [['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWWLWWWWWWWWWWWWLWWWW', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['streak', 10], ['streak', 11], ['streak', 12],
    ['streak', 13], ['streak', 14], ['streak', 15], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('normal control 7', ['WWWWLWOOWWOWWWL', 0], []), ('normal control 8', ['WWWLWWOWOWOWLWW', 0], [])],
 [('regression: streak limit boundary 1', ['WWWWWWOWWWWWWOW', 0], []),
  ('regression variant: streak limit boundary 2', ['WWWLWLWWWWWWWWWWWWWWW', 3],
   [['streak', 12], ['streak', 13], ['streak', 14], ['streak', 15], ['streak', 16], ['streak', 17],
    ['streak', 18], ['streak', 19], ['streak', 20], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('partial repair guard 3', ['WWWOWWWWWWLWLLWOWWWWWLWWWWWL', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['rest14', 0], ['rest14', 1], ['rest14', 4], ['rest14', 5],
    ['rest14', 6], ['rest14', 7], ['rest14', 8], ['rest14', 9], ['rest14', 10], ['rest14', 11],
    ['rest14', 12], ['rest14', 13], ['rest14', 14]]),
  ('boundary control 4', ['OWWWWWWOWWWWWW', 0], []),
  ('normal control 5', ['WWWOWWWWWWWWWWLOLW', 0],
   [['streak', 10], ['streak', 11], ['streak', 12], ['streak', 13], ['rest14', 0], ['rest14', 1],
    ['rest14', 4]]),
  ('normal control 6', ['WWOWOWOWLWWOWW', 0], []), ('normal control 7', ['OWOLWWWWLLWOLL', 6], []),
  ('normal control 8', ['OWWWLWWLWWWLWWOWWOWWL', 0],
   [['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3]])],
 [('regression: streak limit boundary 1', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('regression variant: streak limit boundary 2', ['WOWWWWWWLOWLWWW', 6], [['streak', 0]]),
  ('partial repair guard 3', ['WWWWWWWWWWWWLOWWWOWWW', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6],
    ['streak', 7], ['streak', 8], ['streak', 9], ['streak', 10], ['streak', 11], ['rest14', 0], ['rest14', 1],
    ['rest14', 2], ['rest14', 3]]),
  ('boundary control 4', ['WWWWWWWO', 0], [['streak', 6]]),
  ('boundary control 5', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWOWOWWWWWWWLLOWOO', 6], [['streak', 0], ['streak', 1], ['streak', 11]]),
  ('normal control 7', ['OWWWWWWWWWLWOWL', 6], [['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]),
  ('normal control 8', ['OWWWWOOWWWWOWWWWOWWWO', 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 fixtureActualExpectedOutcome
regression: streak limit boundary 1[['streak', 5]][]Failed
regression variant: streak limit boundary 2[['streak', 6], ['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]][['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]Failed
partial repair guard 3[['streak', 25], ['streak', 26], ['streak', 27]][['streak', 26], ['streak', 27]]Failed
boundary control 4[['streak', 5], ['streak', 12]][]Failed
boundary control 5[['streak', 5], ['streak', 6]][['streak', 6]]Failed
normal control 6[['streak', 2], ['streak', 3], ['rest14', 0], ['rest14', 1]][['streak', 3], ['rest14', 0], ['rest14', 1]]Failed
normal control 7[['streak', 5]][]Failed
normal control 8[['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]][['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]]Failed

SHA-256 / 08d106a13a220e47a7f65f7b2d899e40b4e8c4679e0232d123428502a965d211

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 > 7:
                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: streak limit boundary 1', ['WWWWWWO', 0], []),
  ('regression variant: streak limit boundary 2', ['OWWWWWWWWWLWOWL', 6],
   [['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]),
  ('partial repair guard 3', ['WOLWWOWLWWOOWLWWOOLOWWWWWWWW', 0], [['streak', 26], ['streak', 27]]),
  ('boundary control 4', ['WWWWWWOWWWWWWOW', 0], []),
  ('boundary control 5', ['WWWWWWWO', 0], [['streak', 6]]),
  ('normal control 6', ['WWWWLWWLLLWLWOWOWW', 3], [['streak', 3], ['rest14', 0], ['rest14', 1]]),
  ('normal control 7', ['WWWWWWOOOOOOWLWWWL', 0], []),
  ('normal control 8', ['WWWWWWWOWWWWLWOWOWWWW', 3],
   [['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]])],
 [('regression: streak limit boundary 1', ['WWWWWWWO', 0], [['streak', 6]]),
  ('regression variant: streak limit boundary 2', ['WWOWWLWWWLLOWWWWWWWWLLLWWWWW', 0],
   [['streak', 18], ['streak', 19], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7],
    ['rest14', 8], ['rest14', 9], ['rest14', 10], ['rest14', 11], ['rest14', 12], ['rest14', 13],
    ['rest14', 14]]),
  ('partial repair guard 3', ['WWWWWWWLWLWWWO', 1], [['streak', 5], ['streak', 6], ['rest14', 0]]),
  ('boundary control 4', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('boundary control 5', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('normal control 6', ['OWOOWWWOWWWLLWWWWLOWWOOWWWLW', 0], [['rest14', 4]]),
  ('normal control 7', ['WLOLOOWLWWWWWW', 3], []), ('normal control 8', ['WOOOWLLWOWWWWO', 1], [])],
 [('regression: streak limit boundary 1', ['WWOWWWWWW', 3], []),
  ('regression variant: streak limit boundary 2', ['WWWWLWWOLW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3]]),
  ('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', ['WWWWWWO', 0], []),
  ('normal control 5', ['WWOWWWWLWWWLWWW', 1], [['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWWLWWWWWWWWWWWWLWWWW', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['streak', 10], ['streak', 11], ['streak', 12],
    ['streak', 13], ['streak', 14], ['streak', 15], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('normal control 7', ['WWWWLWOOWWOWWWL', 0], []), ('normal control 8', ['WWWLWWOWOWOWLWW', 0], [])],
 [('regression: streak limit boundary 1', ['WWWWWWOWWWWWWOW', 0], []),
  ('regression variant: streak limit boundary 2', ['WWWLWLWWWWWWWWWWWWWWW', 3],
   [['streak', 12], ['streak', 13], ['streak', 14], ['streak', 15], ['streak', 16], ['streak', 17],
    ['streak', 18], ['streak', 19], ['streak', 20], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('partial repair guard 3', ['WWWOWWWWWWLWLLWOWWWWWLWWWWWL', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['rest14', 0], ['rest14', 1], ['rest14', 4], ['rest14', 5],
    ['rest14', 6], ['rest14', 7], ['rest14', 8], ['rest14', 9], ['rest14', 10], ['rest14', 11],
    ['rest14', 12], ['rest14', 13], ['rest14', 14]]),
  ('boundary control 4', ['OWWWWWWOWWWWWW', 0], []),
  ('normal control 5', ['WWWOWWWWWWWWWWLOLW', 0],
   [['streak', 10], ['streak', 11], ['streak', 12], ['streak', 13], ['rest14', 0], ['rest14', 1],
    ['rest14', 4]]),
  ('normal control 6', ['WWOWOWOWLWWOWW', 0], []), ('normal control 7', ['OWOLWWWWLLWOLL', 6], []),
  ('normal control 8', ['OWWWLWWLWWWLWWOWWOWWL', 0],
   [['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3]])],
 [('regression: streak limit boundary 1', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('regression variant: streak limit boundary 2', ['WOWWWWWWLOWLWWW', 6], [['streak', 0]]),
  ('partial repair guard 3', ['WWWWWWWWWWWWLOWWWOWWW', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6],
    ['streak', 7], ['streak', 8], ['streak', 9], ['streak', 10], ['streak', 11], ['rest14', 0], ['rest14', 1],
    ['rest14', 2], ['rest14', 3]]),
  ('boundary control 4', ['WWWWWWWO', 0], [['streak', 6]]),
  ('boundary control 5', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWOWOWWWWWWWLLOWOO', 6], [['streak', 0], ['streak', 1], ['streak', 11]]),
  ('normal control 7', ['OWWWWWWWWWLWOWL', 6], [['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]),
  ('normal control 8', ['OWWWWOOWWWWOWWWWOWWWO', 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 fixtureActualExpectedOutcome
regression: streak limit boundary 1[][]Passed
regression variant: streak limit boundary 2[['streak', 8], ['streak', 9], ['rest14', 1]][['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]Failed
partial repair guard 3[['streak', 27]][['streak', 26], ['streak', 27]]Failed
boundary control 4[][]Passed
boundary control 5[][['streak', 6]]Failed
normal control 6[['rest14', 0], ['rest14', 1]][['streak', 3], ['rest14', 0], ['rest14', 1]]Failed
normal control 7[][]Passed
normal control 8[['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]][['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]]Failed

SHA-256 / cd68790d27dcffffa0c94095d825a9fa6947a662b35498589b70cacec3f569be

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: streak limit boundary 1', ['WWWWWWO', 0], []),
  ('regression variant: streak limit boundary 2', ['OWWWWWWWWWLWOWL', 6],
   [['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]),
  ('partial repair guard 3', ['WOLWWOWLWWOOWLWWOOLOWWWWWWWW', 0], [['streak', 26], ['streak', 27]]),
  ('boundary control 4', ['WWWWWWOWWWWWWOW', 0], []),
  ('boundary control 5', ['WWWWWWWO', 0], [['streak', 6]]),
  ('normal control 6', ['WWWWLWWLLLWLWOWOWW', 3], [['streak', 3], ['rest14', 0], ['rest14', 1]]),
  ('normal control 7', ['WWWWWWOOOOOOWLWWWL', 0], []),
  ('normal control 8', ['WWWWWWWOWWWWLWOWOWWWW', 3],
   [['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]])],
 [('regression: streak limit boundary 1', ['WWWWWWWO', 0], [['streak', 6]]),
  ('regression variant: streak limit boundary 2', ['WWOWWLWWWLLOWWWWWWWWLLLWWWWW', 0],
   [['streak', 18], ['streak', 19], ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7],
    ['rest14', 8], ['rest14', 9], ['rest14', 10], ['rest14', 11], ['rest14', 12], ['rest14', 13],
    ['rest14', 14]]),
  ('partial repair guard 3', ['WWWWWWWLWLWWWO', 1], [['streak', 5], ['streak', 6], ['rest14', 0]]),
  ('boundary control 4', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('boundary control 5', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('normal control 6', ['OWOOWWWOWWWLLWWWWLOWWOOWWWLW', 0], [['rest14', 4]]),
  ('normal control 7', ['WLOLOOWLWWWWWW', 3], []), ('normal control 8', ['WOOOWLLWOWWWWO', 1], [])],
 [('regression: streak limit boundary 1', ['WWOWWWWWW', 3], []),
  ('regression variant: streak limit boundary 2', ['WWWWLWWOLW', 5],
   [['streak', 1], ['streak', 2], ['streak', 3]]),
  ('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', ['WWWWWWO', 0], []),
  ('normal control 5', ['WWOWWWWLWWWLWWW', 1], [['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWWLWWWWWWWWWWWWLWWWW', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['streak', 10], ['streak', 11], ['streak', 12],
    ['streak', 13], ['streak', 14], ['streak', 15], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('normal control 7', ['WWWWLWOOWWOWWWL', 0], []), ('normal control 8', ['WWWLWWOWOWOWLWW', 0], [])],
 [('regression: streak limit boundary 1', ['WWWWWWOWWWWWWOW', 0], []),
  ('regression variant: streak limit boundary 2', ['WWWLWLWWWWWWWWWWWWWWW', 3],
   [['streak', 12], ['streak', 13], ['streak', 14], ['streak', 15], ['streak', 16], ['streak', 17],
    ['streak', 18], ['streak', 19], ['streak', 20], ['rest14', 0], ['rest14', 1], ['rest14', 2],
    ['rest14', 3], ['rest14', 4], ['rest14', 5], ['rest14', 6], ['rest14', 7]]),
  ('partial repair guard 3', ['WWWOWWWWWWLWLLWOWWWWWLWWWWWL', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['rest14', 0], ['rest14', 1], ['rest14', 4], ['rest14', 5],
    ['rest14', 6], ['rest14', 7], ['rest14', 8], ['rest14', 9], ['rest14', 10], ['rest14', 11],
    ['rest14', 12], ['rest14', 13], ['rest14', 14]]),
  ('boundary control 4', ['OWWWWWWOWWWWWW', 0], []),
  ('normal control 5', ['WWWOWWWWWWWWWWLOLW', 0],
   [['streak', 10], ['streak', 11], ['streak', 12], ['streak', 13], ['rest14', 0], ['rest14', 1],
    ['rest14', 4]]),
  ('normal control 6', ['WWOWOWOWLWWOWW', 0], []), ('normal control 7', ['OWOLWWWWLLWOLL', 6], []),
  ('normal control 8', ['OWWWLWWLWWWLWWOWWOWWL', 0],
   [['rest14', 0], ['rest14', 1], ['rest14', 2], ['rest14', 3]])],
 [('regression: streak limit boundary 1', ['WWWWWWOWWWWWWL', 0], [['rest14', 0]]),
  ('regression variant: streak limit boundary 2', ['WOWWWWWWLOWLWWW', 6], [['streak', 0]]),
  ('partial repair guard 3', ['WWWWWWWWWWWWLOWWWOWWW', 6],
   [['streak', 0], ['streak', 1], ['streak', 2], ['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6],
    ['streak', 7], ['streak', 8], ['streak', 9], ['streak', 10], ['streak', 11], ['rest14', 0], ['rest14', 1],
    ['rest14', 2], ['rest14', 3]]),
  ('boundary control 4', ['WWWWWWWO', 0], [['streak', 6]]),
  ('boundary control 5', ['WWWLWWWWWWWOWWWO', 0], [['streak', 10], ['rest14', 0], ['rest14', 1]]),
  ('normal control 6', ['WWOWOWWWWWWWLLOWOO', 6], [['streak', 0], ['streak', 1], ['streak', 11]]),
  ('normal control 7', ['OWWWWWWWWWLWOWL', 6], [['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]),
  ('normal control 8', ['OWWWWOOWWWWOWWWWOWWWO', 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 fixtureActualExpectedOutcome
regression: streak limit boundary 1[][]Passed
regression variant: streak limit boundary 2[['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]][['streak', 7], ['streak', 8], ['streak', 9], ['rest14', 1]]Passed
partial repair guard 3[['streak', 26], ['streak', 27]][['streak', 26], ['streak', 27]]Passed
boundary control 4[][]Passed
boundary control 5[['streak', 6]][['streak', 6]]Passed
normal control 6[['streak', 3], ['rest14', 0], ['rest14', 1]][['streak', 3], ['rest14', 0], ['rest14', 1]]Passed
normal control 7[][]Passed
normal control 8[['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]][['streak', 3], ['streak', 4], ['streak', 5], ['streak', 6], ['rest14', 0]]Passed

SHA-256 / 85de87b8091a4943f4f1c58501da8ca2a771b6c5918d804cdd3c1e1e9a9e2d70

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

Case digest / efc37208f1d9b7c4ab18972d693f6d4e17cc57426e5f9552481a0d9664c449ec