TAXEM CIVIC TECH
NOT YET CERTIFIED TAXEM is a development-stage civic tax engine. It is not yet certified for direct electronic transmission (NETFILE) by the CRA or Revenu Québec. Active Ontario-first scope under review. Do not rely on TAXEM for official filing. Read Certification Roadmap →
CIVIC TECHNOLOGY

The Canadian tax software, built for civic trust.

Simple on the surface. Transparent all the way down. TAXEM is a calm, local-first Canadian income tax preparation environment, engineered with mathematical rigor and dual-jurisdiction control (Quebec + Federal) from day one.

TAXEM Demo is a private, early technology preview. Electronic filing is not available yet. CRA NETFILE and Revenu Québec certification are planned for a future release, not active now.

taxem-engine-v1 // output_preview
# Computing Quebec + Federal Tax Return
Year: 2025
Jurisdiction: QC + CA (Federal)
Calculations: DETERMINISTIC REPLAY OK
Audit Checksum: 0x7F9B2C4E
------------------------------------------
Net Income:       $52,400.00
Federal Tax Owed:  $5,082.00
Quebec Tax Owed:   $4,874.00
------------------------------------------
Status: Return Validated. Ready to Export.

A Paradigm Shift in Tax Software

Tax preparation should feel clear, predictable, and calm. Here is how TAXEM approaches your return.

Traditional Web Platforms

  • Complexity & Noise: Interfaces designed around marketing prompts and tiered upgrade menus.
  • Remote Cloud Storage: Sensitive slips and personal financial records stored on external corporate servers.
  • Opaque Summaries: Summary numbers computed behind closed doors without step-by-step mathematical insight.
  • Segmented Access: Higher fees or paywalls required to unlock common deductions and credits.

The TAXEM Way

  • Focused & Serene: A clean, quiet workspace built for patient review, accuracy, and ease of mind.
  • Local Data Sovereignty: Your data remains exclusively on your computer, under your private custody.
  • Explainable Ledger: Every single line item is fully auditable, explained line-by-line in plain language.
  • Complete Feature Access: Every supported calculation, deduction, and credit is available to you from day one.

Interactive Showcase

Experience the Neo-Retro design interface. Toggle between tax years, select a profile, and click on any ledger line to inspect the formulas and rules.

TAXEM WORKFLOW ENGINE // CANADIAN TAX SUMMARY

Jurisdiction: Canada (Federal) & Québec (Provincial)

TAX YEAR: 2025
STATUS: AUDITED OK

Section 1: Total & Net Income

Line 10100 Employment Income (Federal T4 / QC RL-1) $54,200.00
Line 15000 Total Income (Sum of all income sources) $54,200.00
Line 23600 Net Income (Total income minus basic adjustments) $54,200.00

Section 2: Deductions & Taxable Income

Line 20800 RRSP / REER Contribution Deductions $1,800.00
Line 22000 Childcare Expenses (Frais de garde d'enfants) $0.00
Line 26000 Taxable Income (Basis for tax calculation) $52,400.00

Section 3: Federal Calculations (Revenue Canada)

Step A Gross Federal Tax on Taxable Income $7,860.00
Line 30000 Basic Personal Amount (Non-refundable credits) $15,705.00
Step B Total Federal Non-Refundable Credits (at 15%) $2,778.00
Line 42000 Net Federal Tax Owed $5,082.00

Section 4: Provincial Calculations (Revenu Québec)

Line 299 Quebec Taxable Income $52,400.00
Line 401 Gross Quebec Tax on Taxable Income $7,860.00
Line 414 Quebec Non-Refundable Credits (at 14%) $2,986.00
Line 450 Net Quebec Tax Owed $4,874.00

Combined Tax Liability: $9,956.00
Total Taxes Withheld (at Source): $11,500.00
Expected Refund: $1,544.00

Formula & Rule Inspector

FEDERAL Section 117

Select any row in the ledger document to inspect the exact mathematical formula, provincial/federal rule coupling, and detailed breakdown.

Deterministic Formula: Select an item above
CERTIFICATION PATHWAY

Canada NETFILE Readiness Roadmap

Formal accreditation with tax authorities is an annual process. We are actively structuring the TAXEM engine to ensure compliance with the technical standards required by the Canada Revenue Agency and Revenu Québec.

We have successfully completed local verification suites and are preparing to enter official certification channels for the upcoming tax cycle.

1

Verification & Local Seams

Completed 1645-test suite validation. Gated Ontario-first filing eligibility checker and SIN masking rules.

2

Developer Registration (Fall)

Submit formal registration to the CRA Electronic Media Processing Unit (EMPU) and Revenu Québec Partner Services.

3

Validation & Testing (Winter)

Execute and submit required test-case returns and scanner-ready print layouts (IN-413-V TPF-1.U) to validation portals.

4

Gateway Opening & Launch (Feb)

Enable direct-transmission (NETFILE) features upon receiving official confirmation letters and TCIs.

verification_harness_output // ok
# Running TAXEM Certification Checker
T1 XML Schema validation: PASSED
Error Prevention (EPS): 72/72 OK
SIN display masking: ACTIVE (***-***-****)
Reconciliation cases: 10/10 PASS
Revenu QC IN-413-V proof: READY
-------------------------------------
STATUS: CALCS VERIFIED & CERTIFICATION-READY
ROADMAP

Pan-Canadian Expansion

TAXEM is built first for Canadians. Our expansion follows a deliberate, province-by-province path — ensuring the same level of mathematical rigor and provincial accuracy at every step.

Before announcing anything beyond our borders, we are committed to serving every province and territory in Canada with the same care we brought to Ontario.

1

Ontario — Active

Full T1 + ON428/ON479 support operational and verified for 2024 and 2025 tax years.

2

Western Canada (BC & Alberta)

Extending provincial form support to British Columbia and Alberta residents for the upcoming tax cycle.

3

All Provinces & Territories

Full pan-Canadian coverage, including Quebec TP-1 filing, Atlantic provinces, and all territories.

Ontario (Active) BC & Alberta All Provinces

Frequently Asked Questions

Learn more about our local-first architecture and civic principles.

Is TAXEM online or offline?

It is designed to run entirely locally. The website you are viewing now is a promo showcase, but the actual TAXEM engine compiles and runs on your machine. Your financial information never uploads to our servers.

Why do you emphasize Quebec?

Quebec has a separate, highly distinct provincial tax filing system. Most software treats it as an afterthought. We built our architecture to natively support dual-jurisdiction coupling from the ground up.

Is TAXEM certified by the CRA and Revenu Québec?

No, TAXEM is currently a development-stage prototype and is not yet certified for direct electronic transmission (NETFILE) by the CRA or Revenu Québec. We are actively organizing our calculations and structuring layouts to prepare for formal certification cycles through official channels in a future release.

What tax years and provinces are supported?

TAXEM currently supports calculations for the 2024 and 2025 tax years. Our active certification direction is Ontario-first, which supports Ontario residents filing individual returns (T1 with Form ON428 and ON479). The Quebec TP-1 calculation engine is present in our code for dual-jurisdiction future-proofing, but provincial Quebec filing is currently unsupported. For other provinces, calculations are present in the core but not yet fully wired to the user interface. Read our detailed Scope & Limitations page for more details.

How is TAXEM structured?

The platform is grounded in civic technology principles. All supported calculation features, schedules, and credits are fully accessible from day one, without paywalls for deductions or unexpected upgrade prompts.