Domains
Explore how explicit rules, checked data, and layered workflow models can support review in eight domains. Each page combines formalization approaches, application concepts for Codex Scribe and MLTTDB, and interactive state-machine examples.
These portfolios describe illustrative approaches and their limits. Domain experts remain responsible for the selected rules, source evidence, and decisions; the examples do not establish production readiness or certification.
Autonomy
- invariants
- protocols
- fail states
Legal
- definitions
- jurisdiction
- obligations
Clinical
- contraindications
- eligibility
- safety rules
Tax
- exemptions
- nexus
- credits
Code
- specifications
- proofs
- regression constraints
Policy
- eligibility
- thresholds
- public systems
Finance
- risk limits
- settlement
- reporting
Compliance
- controls
- evidence
- audits