Labs
Labs contains seven experimental capabilities:
- Run Checks (Proof) verifies a recorded run against operator-controlled assertions.
- Safety Preview (Sentinel) evaluates deterministic invariants before an operation.
- Temporary Access (Capability Tokens) grants short-lived, scoped authority.
- Restore Points (Rewind) snapshots selected local files and previews restoration.
- Portable Runs (Capsules) exports and verifies redacted run bundles.
- Compare Approaches (Counterfactuals) runs bounded plans in copied candidate workspaces.
- Smart Routing (Darwin) scores model routes from recorded outcomes.
Every Lab is experimental and off by default in v0.4.0-beta.3. Automatic improvements is a separate bounded feature and is not an eighth Lab.
Inspect gates
Section titled “Inspect gates”odinn experimental statusodinn experimental help proofThe console shows the same startup gate state. Enabling a feature in configuration requires restarting an already-running gateway before its UI and API become available.
Enable deliberately
Section titled “Enable deliberately”odinn experimental enable proof --confirm-impactEnable only the feature you are actively testing. Each gate is stored separately; enabling one does not grant another.
Shared boundary
Section titled “Shared boundary”Labs use the durable run ledger and audited tool boundary. They do not create:
- an operating-system sandbox;
- deterministic model behavior;
- guaranteed reversal of external effects;
- tamper-proof storage against an attacker who controls local state.
Restore and selection actions default to previews where applicable. Full capsule replay and applied restoration retain additional checks.
Choose a Lab
Section titled “Choose a Lab”- Need evidence that a run achieved an operator-defined result? Start with Proof.
- Need deterministic pre-operation policy? Use Sentinel.
- Need one-use authority? Use Capability Tokens.
- Need local file recovery? Use Rewind.
- Need a portable evidence bundle? Use Capsules.
- Need to compare bounded candidate workspaces? Use Counterfactuals.
- Need transparent model-route scoring? Use Darwin.
