Architecture
Where law = code.
Syntax validation
DSL parses without errors. 100% parse rate required.
References validation
All statute paths exist. Zero dangling refs, no circular deps.
TDD tests
Hand-crafted tests from statute text. Test-first approach.
External validation
Comparison with TAXSIM, PolicyEngine, and 4+ external systems.