How the Luxembourg congé annuel calculator is verified

Inputs

InputFieldType
Full months worked this yearmonthsWorkednumber
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)
Days EntitleddaysEntitled($m := $clampFloorCap($floor($n(monthsWorked)), 0, $const.monthsPerYear); $round($const.annualWorkingDays * $m / $const.monthsPerYear, 1))
Months Until TakeablemonthsUntilTakeable($r := $const.qualifyingMonths - $n(monthsWorked); $r < 0 ? 0 : $round($r, 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
annualWorkingDays26
qualifyingMonths3
monthsPerYear12

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 — N1 a full year is 26 working days

given monthsWorked12
given daysTaken0
expect daysEntitled26
expect monthsUntilTakeable0

Case 2 — N2 six full months accrue half

given monthsWorked6
given daysTaken0
expect daysEntitled13

Case 3 — N3 a twelfth per month, so one month is 2,2 days

given monthsWorked1
given daysTaken0
expect daysEntitled2.2

Case 4 — N4 a part month does not count — 1,9 months is one full month

given monthsWorked1.9
given daysTaken0
expect daysEntitled2.2

Case 5 — N5 at two months the leave has accrued but cannot be taken for another month

given monthsWorked2
given daysTaken0
expect daysEntitled4.3
expect monthsUntilTakeable1

Case 6 — N6 at three months the waiting period is over

given monthsWorked3
given daysTaken0
expect daysEntitled6.5
expect monthsUntilTakeable0

Case 7 — N7 no full month earns nothing

given monthsWorked0
given daysTaken0
expect daysEntitled0

Case 8 — N8 days already taken come off the remainder

given monthsWorked12
given daysTaken10
expect daysRemaining16

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

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 Luxembourg congé annuel calculator

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