How the Czechia paušální daň calculator is verified

Inputs

InputFieldType
Annual revenue (CZK)annualRevenuenumber

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)
Flat payment / monthmonthlyPaymentannualRevenue <= $const.band1Limit ? $const.band1Monthly : (annualRevenue <= $const.band2Limit ? $const.band2Monthly : $const.band3Monthly)
Flat payment / yearannualPayment$round(monthlyPayment * 12, 2)
Net income / yearnetIncome$round($max([0, annualRevenue - annualPayment]), 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.

ConstantValue
band1Limit1000000
band2Limit1500000
band1Monthly9984
band2Monthly16745
band3Monthly27139

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 — 900,000 CZK revenue — band 1

given annualRevenue900000
expect monthlyPayment9984
expect annualPayment119808
expect netIncome780192

Case 2 — 1,400,000 CZK revenue — band 2

given annualRevenue1400000
expect monthlyPayment16745
expect annualPayment200940
expect netIncome1199060

Case 3 — 1,800,000 CZK revenue — band 3, the top of the regime

given annualRevenue1800000
expect monthlyPayment27139
expect annualPayment325668
expect netIncome1474332

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 Czechia paušální daň calculator

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