How the Japan consumption tax calculator is verified

Inputs

InputFieldType
Amountamountnumber
Directiondirectionstring
What is being suppliedcategorystring
Taxable sales in the base periodannualTurnovernumber
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 : $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.1
reducedRate10.08
registrationThreshold10000000

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 1000 JPY net at the standard rate

given amount1000
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover0
expect vatAmount100
expect grossAmount1100
expect netAmount1000

Case 2 — S2 1100 JPY gross back to net at 10%

given amount1100
given directionremove
given categorystandard
given reverseChargeno
given annualTurnover0
expect netAmount1000
expect vatAmount100

Case 3 — S3 1000 JPY of groceries at the 8% reduced rate

given amount1000
given directionadd
given categoryreduced1
given reverseChargeno
given annualTurnover0
expect vatAmount80
expect grossAmount1080

Case 4 — S4 reverse charge: the supplier charges no tax

given amount1000
given directionadd
given categorystandard
given reverseChargeyes
given annualTurnover0
expect vatAmount0
expect grossAmount1000

Case 5 — S5 base-period sales above 10 million yen: taxable enterprise

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover12000000
expect mustRegistertrue

Case 6 — S6 base-period sales of exactly 10 million yen: exempt (the statute says "equal to or less than")

given amount100
given directionadd
given categorystandard
given reverseChargeno
given annualTurnover10000000
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 Japan consumption tax calculator

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