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
baseDays
10
qualifyingMonths
6
attendancePercent
80
bandYear1
1
addAfter1Year
1
bandYear2
2
addAfter2Years
2
bandYear3
3
addAfter3Years
4
bandYear4
4
addAfter4Years
6
bandYear5
5
addAfter5Years
8
bandYear6
6
addAfter6Years
10
Test vectors (9)
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 — K1 under six months there is no entitlement at all
given serviceMonths
5
given attendanceRate
100
given daysTaken
0
expect qualifies
false
expect daysEntitled
0
Case 2 — K2 at six months exactly, art. 39(1)'s ten working days
given serviceMonths
6
given attendanceRate
100
given daysTaken
0
expect qualifies
true
expect yearsAfterQualifying
0
expect daysEntitled
10
Case 3 — K3 one year past the six-month mark adds one day
given serviceMonths
18
given attendanceRate
100
given daysTaken
0
expect yearsAfterQualifying
1
expect addedDays
1
expect daysEntitled
11
Case 4 — K4 the table is not linear: three years past adds four days, not three
given serviceMonths
42
given attendanceRate
100
given daysTaken
0
expect yearsAfterQualifying
3
expect addedDays
4
expect daysEntitled
14
Case 5 — K5 six years past the mark is the statutory ceiling of twenty
given serviceMonths
78
given attendanceRate
100
given daysTaken
0
expect yearsAfterQualifying
6
expect addedDays
10
expect daysEntitled
20
Case 6 — K6 and it plateaus: thirty years' service is still twenty days
given serviceMonths
360
given attendanceRate
100
given daysTaken
0
expect daysEntitled
20
Case 7 — K7 the 80% attendance test is a gate, not a reduction: 79% is nothing
given serviceMonths
78
given attendanceRate
79
given daysTaken
0
expect qualifies
false
expect daysEntitled
0
Case 8 — K8 and 80% exactly qualifies in full — the statute says 八割以上, eight tenths or more
given serviceMonths
78
given attendanceRate
80
given daysTaken
0
expect qualifies
true
expect daysEntitled
20
Case 9 — K9 days already taken come off the remainder, and it 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.