FA-94085 / Shift rostering labor rules / Member archive

School-day cap assumed for every weekday · case 05

Holiday weekdays are capped at three hours and weekend school days are not.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Toy youth rule: age 16 or older has no restrictions. Otherwise each shift [day, start, end] must lie within 07:00-19:00 (start >= 420, end <= 1140); daily total minutes may not exceed 180 on a listed school day or 480 otherwise; the weekly total may not exceed 1080 if the week has any school day, else 2400. Return window violations in shift order, then daily caps by day, then the weekly cap as ["weekly_cap", -1].

Why this case matters

Minor-worker hour limits are strict roster constraints with many boundary conditions.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: school day lookup 1	`[["hours_window", 4], ["daily_cap", 3], ["daily_cap", 4]]`	`[["hours_window", 4], ["daily_cap", 3]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.