How the Ireland vat calculator is verified

Inputs

InputFieldType
Amountamountnumber
Directiondirectionstring
What is being suppliedcategorystring
Turnover this yearannualTurnovernumber
B2B reverse charge appliesreverseChargeboolean
What do you supplysupplyTypestring

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)
Rateratecategory = 'reduced1' ? $const.reducedRate1 : category = 'reduced2' ? $const.reducedRate2 : category = 'superReduced' ? $const.superReducedRate : category = 'zero' ? $const.zeroRate : $const.standardRate
Effective RateeffectiveRatereverseCharge ? 0 : rate
Net AmountnetAmountdirection = 'remove' ? $round(amount / (1 + effectiveRate), 2) : $round(amount, 2)
Vat AmountvatAmount$round(netAmount * effectiveRate, 2)
Gross AmountgrossAmount$round(netAmount + vatAmount, 2)
Must RegistermustRegistersupplyType = 'goods' ? annualTurnover > $const.registrationThresholdGoods : annualTurnover > $const.registrationThresholdServices

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
standardRate0.23
reducedRate10.09
reducedRate20.135
superReducedRate0.048
zeroRate0
registrationThresholdGoods85000
registrationThresholdServices42500

Test vectors (8)

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 — S1 100.00 EUR net at the standard rate

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount23
expect grossAmount123
expect netAmount100

Case 2 — S2 123.00 EUR gross back to net at the standard rate

given amount123
given directionremove
given categorystandard
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect netAmount100
expect vatAmount23

Case 3 — S3 100.00 EUR net at the 13.5% reduced rate

given amount100
given directionadd
given categoryreduced2
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount13.5
expect grossAmount113.5

Case 4 — S4 100.00 EUR net at the 9% second reduced rate

given amount100
given directionadd
given categoryreduced1
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount9
expect grossAmount109

Case 5 — S5 100.00 EUR net at the 4.8% livestock rate

given amount100
given directionadd
given categorysuperReduced
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount4.8
expect grossAmount104.8

Case 6 — S6 zero-rated food: a rate of nil, not an exemption

given amount100
given directionadd
given categoryzero
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount0
expect grossAmount100

Case 7 — S7 services at 50,000 EUR: over the 42,500 services threshold

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover50000
given supplyTypeservices
expect mustRegistertrue

Case 8 — S8 the same 50,000 EUR in goods: under the 85,000 goods threshold

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover50000
given supplyTypegoods
expect mustRegisterfalse

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 Ireland vat calculator

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