FA-94137 / Shift rostering labor rules / Member archive

Leave taken before the accrual cap is enforced · case 02

Workers at the cap keep accrual they should have forfeited because leave was deducted first.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Per pay period [worked minutes, leave minutes requested]. Accrual is worked * rate_bp / 10000 minutes with the fractional remainder (in 1/10000 minutes) carried to later periods. After accrual the balance is capped (excess forfeited), then the request is approved up to the balance; unapproved minutes accumulate. Return [balance, forfeited, unapproved].

Why this case matters

Leave accrual ledgers attached to rosters must carry fractions and apply caps in the right order.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: cap before usage 1	`[290, 0, 3412]`	`[290, 188, 3600]`	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.