Deterministic calculations
Fixed-precision component calculations keep financial math outside the language model.
Inputs + outputs + lineageExplore calculations, rule evidence, and transaction history in your tax workspace. Tax research is being built around approved source evidence.
TransactionFacts normalized
RuleEffective version
ResultComponent math
Evidence attachedAuthority source · Rule version · Input snapshot
Designed for finance teams, accounting practices, marketplaces, and operators who need speed without losing traceability.
Fixed-precision component calculations keep financial math outside the language model.
Inputs + outputs + lineageThe base-rate can illustrate missing-fact guidance. Production answers stay disabled until approved tenant-scoped evidence content is ingested and retrieved.
Grounded production path is roadmapA planned workflow for tracking physical and economic signals, thresholds, and registrations.
Roadmap capabilityA planned review surface for invoices, exemption certificates, notices, and extracted facts.
Roadmap capabilityA future import workflow with validation, progress, retries, and row-level exceptions.
Roadmap capabilityPreserve transaction inputs, rule versions, component results, and evidence for later review.
Available in the base-rateEffective-dated rules and fixed-precision code remain the only source of calculated amounts. Any future model output will require approved evidence and professional review.
Start with amount, transaction date, jurisdiction, and exemption status.
Select an explicit jurisdiction rule and its effective version.
Apply component rates with deterministic fixed-precision math.
Inspect the source, assumptions, limitations, and saved history.
The current calculator supports base-rate examples for six jurisdictions. It does not claim complete local-rate, nexus, product-taxability, filing, or legal-advice coverage.
TaxPilot implements secure sessions and organization-scoped access as the foundation for a production control plane.
Create your organization, run a supported calculation, and inspect its lineage.