How the Saudi Arabia مكافأة نهاية الخدمة (end of service) calculator is verified
Inputs
| Input | Field | Type |
|---|---|---|
| Monthly wage | wageMonthly | number |
| Years of service | years | number |
| How the employment ended | leaving | string |
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 value | Field | Formula (JSONata) |
|---|---|---|
| End-of-service award | eos | $round(eosFull * resignFactor, 2) |
| Eos Full | eosFull | ($w := wageMonthly; $f := years < $const.tierYears ? years : $const.tierYears; $b := years > $const.tierYears ? years - $const.tierYears : 0; $round($w * $const.firstFactor * $f + $w * $const.beyondFactor * $b, 2)) |
| Resign Factor | resignFactor | (leaving = 'resigned' ? (years < $const.resignMinYears ? 0 : years < $const.tierYears ? $const.resignFracLow : years < $const.resignMidYears ? $const.resignFracMid : 1) : 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.
| Constant | Value |
|---|---|
firstFactor | 0.5 |
beyondFactor | 1 |
tierYears | 5 |
resignMinYears | 2 |
resignMidYears | 10 |
resignFracLow | 0.3333333333333333 |
resignFracMid | 0.6666666666666666 |
Test vectors (3)
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 — E1 wage 8,000 SAR, 4 years, terminated
given wageMonthly | 8000 |
|---|---|
given years | 4 |
given leaving | terminated |
expect eos | 16000 |
Case 2 — E2 wage 8,000 SAR, 12 years
given wageMonthly | 8000 |
|---|---|
given years | 12 |
given leaving | terminated |
expect eos | 76000 |
Case 3 — E3 same 4 years but resigned — Article 84 pays only one third
given wageMonthly | 8000 |
|---|---|
given years | 4 |
given leaving | resigned |
expect eosFull | 16000 |
expect eos | 5333.33 |
Sources
- Labour Law (Royal Decree M/51), art. 84 — end-of-service award · checked 2026-10-05
- Labour Law (Royal Decree M/51), art. 85 — reduction on resignation · checked 2026-10-05
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 Saudi Arabia مكافأة نهاية الخدمة (end of service) calculator
Built with Valem — a live, verifiable calculator you can fork and embed.