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.
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 fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 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 ↗