FA-94154 / Shift rostering labor rules / Member archive

Seven-minute remainder rounds up to the next quarter hour · case 04

Punches exactly seven minutes past a quarter move forward, shifting paid time.

Member previewVariant 4 · 3 implementations · 8 checks per implementation

Case contract

Scheduled [start, end] and raw punches in minutes. A punch in at most 7 minutes before the scheduled start is treated as the start; a punch out at most 7 minutes after the scheduled end is treated as the end. Then each time is rounded to the quarter hour: remainder 0-7 down, 8-14 up. Return [in, out, max(out - in, 0)].

Why this case matters

Punch rounding and grace periods must be neutral; asymmetric boundaries systematically underpay.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: quarter hour midpoint 1	`[495, 975, 480]`	`[480, 960, 480]`	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.