How the Finland vuosiloma calculator is verified

Inputs

InputFieldType
Full qualifying months in the leave yearqualifyingMonthsnumber
Employment had lasted under a year by the end of the leave yearserviceUnderOneYearboolean
Days you work per weekdaysPerWeeknumber
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)
Accrual RateaccrualRate(serviceUnderOneYear = true ? $const.accrualDaysPerMonthShortService : $const.accrualDaysPerMonth)
Arkipaiva EntitledarkipaivaEntitled($m := $clampFloorCap($n(qualifyingMonths), 0, $const.monthsPerLeaveYear); $ceil($m * accrualRate))
Weeks EntitledweeksEntitledarkipaivaEntitled / $const.statutoryBasisDays
Days EntitleddaysEntitled$round(weeksEntitled * $n(daysPerWeek), 1)
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
accrualDaysPerMonth2.5
accrualDaysPerMonthShortService2
statutoryBasisDays6
qualifyingDaysPerMonth14
qualifyingHoursPerMonth35
monthsPerLeaveYear12

Test vectors (10)

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 a full year on a five-day week is 25 working days, not the 30 that gets published

given qualifyingMonths12
given serviceUnderOneYearno
given daysPerWeek5
given daysTaken0
expect arkipaivaEntitled30
expect weeksEntitled5
expect daysEntitled25

Case 2 — N2 a six-day week is where the statutory 30 arkipäivää lands as 30 days

given qualifyingMonths12
given serviceUnderOneYearno
given daysPerWeek6
given daysTaken0
expect daysEntitled30

Case 3 — N3 under a year of service accrues 2 a month, so a full year is 24 arkipäivää = 20 days

given qualifyingMonths12
given serviceUnderOneYearyes
given daysPerWeek5
given daysTaken0
expect accrualRate2
expect arkipaivaEntitled24
expect daysEntitled20

Case 4 — N4 5 § rounds a part day UP: 7 months x 2,5 is 17,5 and therefore 18 arkipäivää

given qualifyingMonths7
given serviceUnderOneYearno
given daysPerWeek5
given daysTaken0
expect arkipaivaEntitled18
expect daysEntitled15

Case 5 — N5 an odd month count on the short-service rate needs no rounding at all

given qualifyingMonths7
given serviceUnderOneYearyes
given daysPerWeek5
given daysTaken0
expect arkipaivaEntitled14

Case 6 — N6 no qualifying month earns nothing

given qualifyingMonths0
given serviceUnderOneYearno
given daysPerWeek5
given daysTaken0
expect arkipaivaEntitled0
expect daysEntitled0

Case 7 — N7 a four-day week gets four fifths of the five-day answer

given qualifyingMonths12
given serviceUnderOneYearno
given daysPerWeek4
given daysTaken0
expect daysEntitled20

Case 8 — N8 days already taken come off the remainder

given qualifyingMonths12
given serviceUnderOneYearno
given daysPerWeek5
given daysTaken10
expect daysRemaining15

Case 9 — N9 taking more than the entitlement never goes negative

given qualifyingMonths12
given serviceUnderOneYearno
given daysPerWeek5
given daysTaken40
expect daysRemaining0

Case 10 — N10 twelve qualifying months is the ceiling the leave year sets

given qualifyingMonths12
given serviceUnderOneYearno
given daysPerWeek6
given daysTaken0
expect arkipaivaEntitled30
expect daysEntitled30

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 Finland vuosiloma calculator

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