AI can decide.
Nothing executes
without authority.
For protected actions routed through DecisionHypervisor.
DecisionHypervisor puts a machine-enforced control layer between AI agents and real systems—authorizing, denying, reviewing, and proving consequential actions before they execute.
DecisionHypervisor intercepts consequential actions before they reach tools, APIs, databases, payment systems, infrastructure, or physical machinery. It evaluates dynamic situational context, authority boundaries, policies, and evidence—then releases an explicit execution decision.
Agents are moving from
answers to actions.
Identity
Who or what is making the request?
Access
Which systems or tools may it reach?
Intent
What exact action is being proposed?
Authority
Should this exact action execute now?
From execution intent
to bounded authority.
Every proposed action becomes a structured Decision Object. Surrounding state graphs resolve, rules evaluate, and a cryptographically signed execution token is released.Agent proposes → infrastructure enforces → reality verifies.
Intercept
Agent proposes a tool call.
Structure
Construct normalized Execution Intent.
Context
Gather real-time operational facts.
Verify
Check current authority grants.
Policy
Evaluate declarative constraint rules.
Resolve
Issue explicit decision state.
Audit
Hash outcome and record proof.
Every action receives
an explicit answer.
DecisionHypervisor rejects ambiguous safety warnings. It resolves proposed states into one of six machine-readable decisions.
Authorized with Modification
Execute only after parameters, limits, targets, or timing are altered dynamically.
Escrowed
Reserve authority and suspend execution until a designated event or condition is met.
Human Review Required
Route the complete action context directly to the appropriate stakeholder.
Routed
Reassign the execution path to an alternative secure tool or trusted container.
Denied
Block execution immediately and append the permanent security reason code to the audit trace.
Test your rules inside the policy engine.
AI Policy Copilot
Describe a custom governance gate in plain text (e.g. "Kubernetes pod scale limit in production"), and our server-side model will compile the control policy.
Declarative Policy Playground
Select a template or use the AI Copilot above to test decision resolutions under different operational scenarios.
Adjust parameter values in the JSON or policy script, then click evaluate to test different resolution outcomes.
One deterministic kernel
everywhere.
The decision kernel is implemented in Rust for memory safety, deterministic performance, and high concurrency. It is pure — no IO, no wall-clock access, time injected as an argument — so the same evaluation logic compiles to native server targets and to WebAssembly for edge, gateway, and SDK environments.
Product Console Preview
Evaluate and monitor your entire platform's decision history, write dynamic security policies, map authority delegation structures, and resolve human-in-the-loop requests.
Lightweight SDKs.
Complete authority.
Integrate DecisionHypervisor at the interception point. Intercept proposed tool commands inside your framework, submit them as structured Execution Intents, and obtain single-transaction, Ed25519-signed execution grants.
Capability-safe extensions.
The extension model: third-party filters, state checkers, and notification connectors run as isolated, capability-safe modules — outside the decision path, never inside it. Reference patterns developed with design partners include:
MCP Gateway wedge
Standardized proxy for secure tool governance on Model Context Protocol stacks.
Stripe Interceptor
Intercepts credit limits and payment disbursements at API gateway layer.
Kube Cluster Gater
Monitors and gates production cluster deploys, config changes, or namespace reboots.
Postgres DDL Gater
Enforces schema-migration sandboxes and gates DDL changes on sensitive tables.
Tested invariants.
Deterministic boundaries.
The decision kernel's core invariants are exercised by a property-based test suite and a portable conformance suite covering every resolution state. The tests assert that denial always takes precedence over allow, that no set of allow rules can override a deny, and that identical inputs always produce an identical resolution — the property replay depends on.
• Conformance suite (6 states):
• Deterministic replay check:
| Invariant | Test Method | Component | Status |
|---|---|---|---|
| Deny takes precedence over allow | Property test | dh-kernel engine | Passing |
| Allow never overrides a deny | Property test | dh-kernel engine | Passing |
| Identical inputs → identical result | Property test | dh-kernel engine | Passing |
| Grant fails on changed action/target | Unit test | dh-grants verifier | Passing |
Deployment sovereignty.
Run DecisionHypervisor where your data resides. The runtime ships as container images and Compose manifests — as a managed service, inside your network, or fully offline.
Know why the action occurred—not only that it occurred.
Traditional event logs are flat and retrospective. They record that a row changed. A Decision Trace links execution directly back to the active policy, verified identity, contextual metadata snapshots, and human-in-the-loop approvals that authorized it in the first place.
Deterministic Trace & Timeline Debugger
{
"resolution": "ESCROWED",
"review": {
"approved_by": "finance_mgr_bob",
"timestamp": "2026-07-16T14:32:11Z",
"escalated": false
},
"execution_token": "ext_901b8aef42"
}SUCCESS: Approval received. Issued transaction-specific execution token. Token expires in exactly 15 minutes.
5 of 6Decision finalized as escrowed. Human approval releases temporary execution token.
More than a
kill switch.
A kill switch is a single theatrical button. Real enterprises need proportionate response: a deterministic ladder that starts with observation and escalates only as far as the risk demands—containing one agent surgically while forty healthy peers keep working.
Every rung is a policy outcome, not an improvisation. Containment revokes an agent’s outstanding grants while peers continue, shutdown requires multi-party authorization and executor-verified cessation, and recovery replays the pre-incident state under policy control.
Recovery is provable.
Observe
Watch behavior and flag anomalies.
Warn
Signal operators and the agent itself.
Require Context
Demand additional verified facts.
Reduce Authority
Narrow scope, limits, or permissions.
Human Review
Route to a designated authority.
Escrow
Suspend until conditions clear.
Rate-Limit
Throttle execution velocity.
Substitute
Swap in a safer model or tool.
Revoke
Invalidate outstanding execution grants.
Isolate
Contain one agent; peers continue.
Suspend
Freeze an entire workflow.
Shutdown
Multi-party authorized, executor-verified.
Preserve
Protect evidence throughout.
Recover
Restore provably from pre-incident state.
Frequently asked questions.
Clear answers about what DecisionHypervisor governs, how it plugs into legacy and MCP stacks, and where the private preview program stands today.
Contact our security architectsIntelligence proposes.
Authority decides.
Put a cryptographically verifiable, machine-enforced boundary between your intelligent systems and the operational assets they have access to change.
Private Preview • Design Partner Access • Vendor-Neutral