FA-94064 / Shift rostering labor rules / Member archive

Sixteen-year-olds restricted as minors · case 04

Workers who just turned 16 are rejected for evening shifts.

Member previewVariant 4 · 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: age boundary 1	`[["hours_window", 3], ["hours_window", 5], ["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.