Domains
Select a domain to explore its execution surface.
Full catalog coming next.
PHYSICAL
Devices and actuators
Execute actuator commands inside fail-closed constraints with deterministic enforcement.
- Gate checks
- Policy windows
- Proof records
DIGITAL
Data egress and pipelines
Constrain outbound effects and preserve proof across pipeline execution.
ECONOMIC
Transactions and approvals
Bind payment side-effects to bounded proof before commit.
INSTITUTIONAL
Procedures and authority
Map approvals into runtime policy with durable audit evidence.
BIOLOGICAL
Chain of custody
Track procedural provenance with cryptographic trace end to end.
OPERATIONAL
Incidents and response
Contain incidents rapidly with explicit quarantine and verified recovery steps.
COGNITIVE
Publishing and content
Apply release controls to knowledge workflows with durable trace integrity.
SCIENTIFIC
Reproducibility locks
Protect parameters and outputs with replayable constraints for reproducible runs.
ENVIRONMENTAL
Telemetry integrity
Bind monitoring streams to trusted signals with continuous audit assurance.