How the Pakistan annual leave calculator is verified

Inputs

InputFieldType
Months of continuous service with this employerserviceMonthsnumber
Days already taken this leave yeardaysTakennumber

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$n(serviceMonths) >= $const.qualifyingMonths ? $const.annualLeaveDays : 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
qualifyingMonths12
annualLeaveDays14

Test vectors (5)

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 — L1 twelve months of continuous service: 14 days

given serviceMonths12
given daysTaken0
expect daysEntitled14

Case 2 — L2 eleven months: no statutory annual leave yet

given serviceMonths11
given daysTaken0
expect daysEntitled0

Case 3 — L3 ten years: still 14 — the statute has no service bands

given serviceMonths120
given daysTaken0
expect daysEntitled14

Case 4 — L4 days taken come off the remainder

given serviceMonths24
given daysTaken5
expect daysRemaining9

Case 5 — L5 the remainder never goes negative

given serviceMonths24
given daysTaken20
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 Pakistan annual leave calculator

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