How the Slovakia diaľničná známka calculator is verified
Inputs
| Input | Field | Type |
|---|---|---|
| Platnosť (1 = deň, 2 = 10 dní, 3 = 30 dní, 4 = rok) | period | number |
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) |
|---|---|---|
| Cena známky | tax | ($p := period; $round($p <= 1 ? $const.day1 : $p <= 2 ? $const.day10 : $p <= 3 ? $const.day30 : $const.annualVignette, 2)) |
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 |
|---|---|
day1 | 8.1 |
day10 | 10.8 |
day30 | 17.1 |
annualVignette | 90 |
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 — C1 annual vignette
given period | 4 |
|---|---|
expect tax | 90 |
Case 2 — C2 10-day vignette
given period | 2 |
|---|---|
expect tax | 10.8 |
Case 3 — C3 electric car pays the same annual price — no EV exemption in Slovakia
given period | 4 |
|---|---|
expect tax | 90 |
Sources
- eznamka.sk · checked 2026-08-04
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 Slovakia diaľničná známka calculator
Built with Valem — a live, verifiable calculator you can fork and embed.