×

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.

Skip to content

Domains

Domains

Domain surfaces where rules, exceptions, thresholds, and obligations can be represented as checked artifacts.

Explore 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.

Book a meetingStart a scoped conversation

Cabinet index

Explore Formal Foundry

Search the archive

Find a page

Type to search the published content.