How the Lithuania pvm (vat) calculator is verified

Inputs

Input	Field	Type
Amount	`amount`	number
Direction	`direction`	string
What is being supplied	`category`	string
Turnover this year	`annualTurnover`	number
B2B reverse charge applies	`reverseCharge`	boolean
Turnover last year	`priorYearTurnover`	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)
Rate	`rate`	`category = 'reduced1' ? $const.reducedRate1 : category = 'reduced2' ? $const.reducedRate2 : $const.standardRate`
Effective Rate	`effectiveRate`	`reverseCharge ? 0 : rate`
Net Amount	`netAmount`	`direction = 'remove' ? $round(amount / (1 + effectiveRate), 2) : $round(amount, 2)`
Vat Amount	`vatAmount`	`$round(netAmount * effectiveRate, 2)`
Gross Amount	`grossAmount`	`$round(netAmount + vatAmount, 2)`
Must Register	`mustRegister`	`priorYearTurnover > $const.registrationThreshold or annualTurnover > $const.registrationThreshold`

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
`standardRate`	0.21
`reducedRate1`	0.12
`reducedRate2`	0.05
`registrationThreshold`	45000

Test vectors (6)

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 100 EUR net at 21%

given `amount`	100
given `direction`	add
given `category`	standard
given `reverseCharge`	no
given `annualTurnover`	0
given `priorYearTurnover`	0
expect `vatAmount`	21
expect `grossAmount`	121
expect `netAmount`	100

Case 2 — L2 121 EUR gross back to net

given `amount`	121
given `direction`	remove
given `category`	standard
given `reverseCharge`	no
given `annualTurnover`	0
given `priorYearTurnover`	0
expect `netAmount`	100
expect `vatAmount`	21

Case 3 — L3 accommodation at 12%

given `amount`	100
given `direction`	add
given `category`	reduced1
given `reverseCharge`	no
given `annualTurnover`	0
given `priorYearTurnover`	0
expect `vatAmount`	12

Case 4 — L4 a book at 5%

given `amount`	100
given `direction`	add
given `category`	reduced2
given `reverseCharge`	no
given `annualTurnover`	0
given `priorYearTurnover`	0
expect `vatAmount`	5

Case 5 — L5 EUR 45,000 last year and this year: still within the scheme

given `amount`	0
given `direction`	add
given `category`	standard
given `reverseCharge`	no
given `annualTurnover`	45000
given `priorYearTurnover`	45000
expect `mustRegister`	false

Case 6 — L6 above EUR 45,000 last year: must register

given `amount`	0
given `direction`	add
given `category`	standard
given `reverseCharge`	no
given `annualTurnover`	10000
given `priorYearTurnover`	45001
expect `mustRegister`	true

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 Lithuania pvm (vat) calculator

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