How the United Kingdom vat calculator is verified

Inputs

InputFieldType
Amountamountnumber
Directiondirectionstring
What is being suppliedcategorystring
Taxable turnover, last 12 monthsannualTurnovernumber
B2B reverse charge appliesreverseChargeboolean

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 = '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 RegistermustRegisterannualTurnover > $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.

ConstantValue
standardRate0.2
reducedRate10.05
zeroRate0
registrationThreshold90000

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

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover0
expect vatAmount20
expect grossAmount120
expect netAmount100

Case 2 — S2 120.00 GBP gross back to net at the standard rate

given amount120
given directionremove
given categorystandard
given reverseChargeno
given annualTurnover0
expect netAmount100
expect vatAmount20

Case 3 — S3 100.00 GBP net at the reduced rate

given amount100
given directionadd
given categoryreduced1
given reverseChargeno
given annualTurnover0
expect vatAmount5
expect grossAmount105

Case 4 — S4 zero-rated: a rate of nil, not an exemption

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

Case 5 — S5 rolling turnover over 90,000 forces registration

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover95000
expect mustRegistertrue

Case 6 — S6 rolling turnover under the threshold

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover85000
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 United Kingdom vat calculator

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