How the France tva (vat) calculator is verified

Inputs

InputFieldType
Amountamountnumber
Directiondirectionstring
What is being suppliedcategorystring
Turnover this calendar 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 : $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
Payer FrompayerFromsupplyType = 'goods' ? (annualTurnover > $const.registrationThresholdGoodsMajore ? 'immediately' : annualTurnover > $const.registrationThresholdGoods ? '1 January next year' : 'not required') : (annualTurnover > $const.registrationThresholdServicesMajore ? 'immediately' : annualTurnover > $const.registrationThresholdServices ? '1 January next year' : 'not required')

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
superReducedRate0.021
reducedRate10.055
reducedRate20.1
registrationThresholdGoods85000
registrationThresholdGoodsMajore93500
registrationThresholdServices37500
registrationThresholdServicesMajore41250

Test vectors (11)

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 taux normal

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

Case 2 — S2 120.00 EUR gross back to net at 20%

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

Case 3 — S3 100.00 EUR net at the 10% taux intermediaire

given amount100
given directionadd
given categoryreduced2
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount10
expect grossAmount110

Case 4 — S4 200.00 EUR net at the 5,5% taux reduit

given amount200
given directionadd
given categoryreduced1
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount11
expect grossAmount211

Case 5 — S5 1000.00 EUR net of press at 2,1%

given amount1000
given directionadd
given categorysuperReduced
given reverseChargeno
given annualTurnover0
given supplyTypegoods
expect vatAmount21
expect grossAmount1021

Case 6 — S6 goods under the base limit: franchise stands

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover80000
given supplyTypegoods
expect mustRegisterfalse
expect payerFromnot required

Case 7 — S7 goods between base and majore: TVA from next January

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover90000
given supplyTypegoods
expect mustRegistertrue
expect payerFrom1 January next year

Case 8 — S8 goods over the majore limit: TVA immediately

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

Case 9 — S9 services between base and majore: the lower pair applies

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover40000
given supplyTypeservices
expect mustRegistertrue
expect payerFrom1 January next year

Case 10 — S10 services over the majore limit

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover42000
given supplyTypeservices
expect mustRegistertrue
expect payerFromimmediately

Case 11 — S11 services turnover that would be safe for goods

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover80000
given supplyTypeservices
expect mustRegistertrue
expect payerFromimmediately

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 France tva (vat) calculator

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