The expressions above read these as $const. They are the figures the annual refresh replaces, so they live as data rather than being written into the formulas — which is what makes a year-on-year change a one-line diff instead of an edit to arithmetic.
Constant
Value
daysBase
21
daysAfterLongService
30
longServiceYears
5
Test vectors (8)
Every case is executed against this model on each build, by the Java engine and independently by a JavaScript one. A mismatch of a single cent fails the build, so the page cannot ship advertising a figure the model no longer produces.
Case 1 — S1 a full year in the first five gives 21
given serviceYears
2
given monthsWorked
12
given daysTaken
0
expect daysEntitled
21
Case 2 — S2 four completed years is still 21
given serviceYears
4.9
given monthsWorked
12
given daysTaken
0
expect completedYears
4
expect daysEntitled
21
Case 3 — S3 five consecutive years lifts the minimum to 30
given serviceYears
5
given monthsWorked
12
given daysTaken
0
expect annualEntitlement
30
expect daysEntitled
30
Case 4 — S4 and it stays at 30
given serviceYears
25
given monthsWorked
12
given daysTaken
0
expect daysEntitled
30
Case 5 — S5 half a year at 21 is 10.5 (art. 111 proportion)
given serviceYears
1
given monthsWorked
6
given daysTaken
0
expect daysEntitled
10.5
Case 6 — S6 four months at 30 is 10
given serviceYears
6
given monthsWorked
4
given daysTaken
0
expect daysEntitled
10
Case 7 — S7 days taken come off the remainder
given serviceYears
5
given monthsWorked
12
given daysTaken
12
expect daysRemaining
18
Case 8 — S8 taking more than the entitlement never goes negative
The whole model as JSON — inputs, outputs, formulas, vectors and sources in one re-runnable document.
This model is published under CC BY 4.0: use it, adapt it, build on it, with attribution. The licence covers the model — the expression of each rule and the arrangement of the catalog. The rates and thresholds are law, and nobody licenses those; the sources above are where they come from.