FA-93888 / Shift rostering labor rules / Member archive

Seventh-day double time starts at the ordinary 12-hour mark · case 03

Minutes 8 to 12 on the seventh consecutive day vanish from pay entirely.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Seven daily worked minutes (Mon..Sun) and an hourly rate in cents. Daily: first 480 minutes regular, next 240 at 1.5x, beyond 720 at 2x. If all seven days are worked, day 7 pays its first 480 minutes at 1.5x and the rest at 2x. Regular minutes above 2400 in the week move to 1.5x (daily overtime minutes never count toward the weekly threshold). Pay is computed exactly and rounded half up to a cent once. Return [regular, ot15, ot2, pay_cents].

Why this case matters

Overtime classification mistakes are a classic payroll-roster defect: pyramiding, seventh-day rules and rounding stage all change what workers are paid.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: seventh day double threshold 1	`[2400, 1200, 180, 171000]`	`[2400, 1200, 240, 175500]`	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.