Method · 3 min read
Correctness & audit
How we test the engine and what a proof trace looks like.
Test surface
The engine ships with a golden test suite covering the six corridors, each with hand-computed expected outputs. Every rate, treaty, and edge weight is unit-tested; every route is regression-tested.
Proof traces
Every simulation emits a proof trace - the ordered list of edges, the rule cited on each edge, and the arithmetic that produced the effective rate. Traces are deterministic and reproducible from inputs + engine version.
Reconciliation
Live numbers in the pitch and the marketing site are reconciled against the engine on every release. Discrepancies fail the build.
Independent review
Pilot clients get access to raw traces and are encouraged to have a tax practitioner validate them. We treat every flagged discrepancy as a P0.