How the South Korea 개인사업자 calculator is verified

Inputs

InputFieldType
Annual business income after expenses (KRW)annualBusinessIncomenumber

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)
Taxable IncometaxableIncome$round($max([0, annualBusinessIncome - $const.basicDeduction]), 2)
National income taxnationalTax($t := taxableIncome; $round($const.r1 * $min([$t, $const.b1]) + $const.r2 * $max([0, $min([$t, $const.b2]) - $const.b1]) + $const.r3 * $max([0, $min([$t, $const.b3]) - $const.b2]) + $const.r4 * $max([0, $min([$t, $const.b4]) - $const.b3]) + $const.r5 * $max([0, $min([$t, $const.b5]) - $const.b4]) + $const.r6 * $max([0, $min([$t, $const.b6]) - $const.b5]) + $const.r7 * $max([0, $min([$t, $const.b7]) - $const.b6]) + $const.r8 * $max([0, $t - $const.b7]), 2))
Local income tax (10% of it)localIncomeTax$round(nationalTax * $const.localRate, 2)
Net income / yearnetIncome$round($max([0, annualBusinessIncome - nationalTax - localIncomeTax]), 2)

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
basicDeduction1500000
localRate0.1
b114000000
b250000000
b388000000
b4150000000
b5300000000
b6500000000
b71000000000
r10.06
r20.15
r30.24
r40.35
r50.38
r60.4
r70.42
r80.45

Test vectors (3)

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 — 60,000,000 KRW business income — a typical full-time sole proprietor

given annualBusinessIncome60000000
expect taxableIncome58500000
expect nationalTax8280000
expect localIncomeTax828000
expect netIncome50892000

Case 2 — 20,000,000 KRW — part-time

given annualBusinessIncome20000000
expect taxableIncome18500000
expect nationalTax1515000
expect localIncomeTax151500
expect netIncome18333500

Case 3 — 200,000,000 KRW — into the 38% band

given annualBusinessIncome200000000
expect taxableIncome198500000
expect nationalTax55490000
expect localIncomeTax5549000
expect netIncome138961000

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 South Korea 개인사업자 calculator

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