Open sandbox

How the France congés payés calculator is verified

Inputs

InputFieldType
Reference period starts (YYYY-MM-DD)leaveYearStartstring
Reference period ends (YYYY-MM-DD)leaveYearEndstring
First day worked in it (YYYY-MM-DD)workStartstring
Last day worked in it (YYYY-MM-DD)workEndstring
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)
Months AccruedmonthsAccrued($m := $round(accrualFraction * 12, 0); $m > 12 ? 12 : $m)
Year Length DaysyearLengthDays$proRataDays(leaveYearStart, leaveYearEnd)
Present DayspresentDays$proRataDays(workStart, workEnd)
Accrual FractionaccrualFraction($f := presentDays / yearLengthDays; $f > 1 ? 1 : $f)
Days EntitleddaysEntitled($accrued := $const.daysPerMonthAccrued * monthsAccrued; $ceil($accrued > $const.statutoryDays ? $const.statutoryDays : $accrued))
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
daysPerMonthAccrued2.5
statutoryDays30

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 — C1 a full reference year accrues the 30 jours ouvrables

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-06-01
given workEnd2026-05-31
given daysTaken0
expect monthsAccrued12
expect daysEntitled30
expect yearLengthDays365

Case 2 — C2 five months worked is 12,5 rounded UP to 13 (service-public’s own example)

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-06-01
given workEnd2025-10-31
given daysTaken0
expect monthsAccrued5
expect daysEntitled13

Case 3 — C3 six months worked accrues 15 jours ouvrables exactly

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-06-01
given workEnd2025-11-30
given daysTaken0
expect monthsAccrued6
expect daysEntitled15

Case 4 — C4 one month worked accrues 2,5, rounded up to 3

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-06-01
given workEnd2025-06-30
given daysTaken0
expect monthsAccrued1
expect daysEntitled3

Case 5 — C5 days already taken come off the remainder

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-06-01
given workEnd2026-05-31
given daysTaken10
expect daysEntitled30
expect daysRemaining20

Case 6 — C6 the accrual is capped at the statutory 30

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-06-01
given workEnd2026-05-31
given daysTaken0
expect daysEntitled30

Case 7 — C7 joining partway through the reference period

given leaveYearStart2025-06-01
given leaveYearEnd2026-05-31
given workStart2025-12-01
given workEnd2026-05-31
given daysTaken0
expect monthsAccrued6
expect daysEntitled15

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 France congés payés calculator

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