How the New Zealand annual holidays calculator is verified

Inputs

InputFieldType
Days you work per weekdaysPerWeeknumber
Months of continuous employmentmonthsWorkednumber
Days already takendaysTakennumber

The formula

Each derived value below is computed by the Valem engine from the expression shown, in this order. Nothing else runs — there is no hidden code path.

Derived valueFieldFormula (JSONata)
Full Year DaysfullYearDays$const.statutoryWeeks * $n(daysPerWeek)
Days EntitleddaysEntitled($m := $clampFloorCap($n(monthsWorked), 0, $const.qualifyingMonths); $m >= $const.qualifyingMonths ? fullYearDays : 0)
Days RemainingdaysRemaining($r := daysEntitled - $n(daysTaken); $r < 0 ? 0 : $round($r, 1))

Rates and thresholds

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.

ConstantValue
statutoryWeeks4
qualifyingMonths12

Test vectors (7)

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 — N1 four weeks on a five-day week is 20 days

given daysPerWeek5
given monthsWorked12
given daysTaken0
expect fullYearDays20
expect daysEntitled20

Case 2 — N2 a four-day week gets 16

given daysPerWeek4
given monthsWorked12
given daysTaken0
expect daysEntitled16

Case 3 — N3 a six-day week gets 24

given daysPerWeek6
given monthsWorked12
given daysTaken0
expect daysEntitled24

Case 4 — N4 the entitlement arises AFTER twelve months, so eleven gives nothing

given daysPerWeek5
given monthsWorked11
given daysTaken0
expect daysEntitled0

Case 5 — N5 at exactly twelve months it arises in full

given daysPerWeek5
given monthsWorked12
given daysTaken0
expect daysEntitled20

Case 6 — N6 days already taken come off the remainder

given daysPerWeek5
given monthsWorked12
given daysTaken8
expect daysRemaining12

Case 7 — N7 taking more than the entitlement never goes negative

given daysPerWeek5
given monthsWorked12
given daysTaken40
expect daysRemaining0

Sources

Check it yourself — and reuse it

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.

← Back to the New Zealand annual holidays calculator

Built with Valem — a live, verifiable calculator you can fork and embed.