FAILURE MAP
← Case archive

FA-94144 / Shift rostering labor rules / Member archive

Leave approved beyond the available balance · case 04

Balances go negative and no unapproved minutes are reported.

Member previewVariant 4 · 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 fixtureActualExpectedOutcome
regression: negative balance 1[-3122, 0, 0][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.

Sign in to the archive ↗