Ark Sovereign evaluates action envelopes against explicit policy before tools execute — deterministically, with no LLM in the enforcement path. Execution control for AI agents that write code, move value, execute MCP tools, or touch production.
Each governor targets a distinct attack surface in the AI-agent execution stack. No LLM in the permit/deny path.
Ark Sovereign replays structured action envelopes through deterministic policy. The enforcement proof is reproducible from the same inputs every time.
The 10-case table below is the public sampler. The enterprise proof pack contains 67 deterministic replay cases across WalletGov, CodeGov, and MCPGov, with a clean legitimate allow rate of 1.0.
| Action Envelope | What It Proves | Verdict | Reason Codes |
|---|---|---|---|
| Code Safe Patch | Safe coding-agent patch inside approved repo root. | ALLOW | POLICY_MATCH |
| Code Secret Exfil | Secret exfiltration through shell command. | DENY | LOW_TRUST_SOURCE_FOR_ACTIONUNTRUSTED_CONTENT_BEFORE_ACTIONDANGEROUS_SHELLSECRET_EXFIL_ATTEMPTNETWORK_ACCESS_REQUIRES_APPROVAL |
| Code Prod Deploy | Production deploy requires human approval. | REQUIRE_APPROVAL | HIGH_IMPACT_ACTION_REQUIRES_APPROVAL |
| Mcp Tool Poisoning | Poisoned MCP tool description or result is blocked. | DENY | LOW_TRUST_SOURCE_FOR_ACTIONUNTRUSTED_CONTENT_BEFORE_ACTIONMCP_TOOL_POISONING_PATTERN |
| Mcp Owasp Shadow Server | Unapproved MCP server is blocked. | DENY | MCP_SERVER_NOT_APPROVED |
| Mcp Owasp Unsigned Tool | Unsigned tool schema is blocked. | DENY | UNSIGNED_TOOL_SCHEMA |
| Mcp Owasp No Telemetry | Required telemetry missing for governed action. | DENY | TELEMETRY_REQUIRED |
| Wallet Public Reply Transfer | Wallet-like value transfer exceeds autonomous value policy. | DENY | LOW_TRUST_SOURCE_FOR_ACTIONUNTRUSTED_CONTENT_BEFORE_ACTIONVALUE_LIMIT_EXCEEDED |
| Channel Github Issue Patch | Untrusted channel-origin code patch requires approval. | REQUIRE_APPROVAL | CHANNEL_ORIGIN_REQUIRES_APPROVAL |
| Handoff Unknown Agent Deploy | Unknown agent handoff before deploy requires approval. | REQUIRE_APPROVAL | UNKNOWN_AGENT_IN_HANDOFF_CHAINHANDOFF_REQUIRES_APPROVAL_FOR_EXECUTIONHIGH_IMPACT_ACTION_REQUIRES_APPROVAL |
Buyer-specific proof across the three agent surfaces enterprise teams ask about first. Every verdict is deterministic, replayable, and generated with zero LLM calls in the enforcement path.
RobotGov extends the same deterministic control-plane pattern to embodied AI: mobile robots, manipulators, humanoids, UAVs, and UGVs. It evaluates physical action envelopes before motion authority is granted.
| Profile | Purpose | Min human dist | HSR max speed | Jackal max speed |
|---|---|---|---|---|
| industrial_strict | Warehouse, factory, high-throughput | 1.2m | 0.8m/s | 1.2m/s |
| collaborative_lab | Human-robot proximity, lab settings | 0.5m | 0.6m/s | 0.8m/s |
| handover_mode | Explicit close interaction | 0.35m | 0.4m/s | 0.5m/s |
LegalGov converts contracts, amendments, and obligation workflows into clause graphs, then surfaces structural review targets: unresolved references, amendment and override edges, exception paths, obligation cycles, orphaned liabilities, and structural drift.
| Lane | Review target | Verdict effect |
|---|---|---|
| LG-B1-001 | Obligation deadlocks / cycles | DENY |
| LG-REF-001 | Unresolved clause references | REVIEW |
| LG-AMEND-001 | Amendment, override, supersession, voiding, contradiction edges | REVIEW |
| LG-DRIFT-001 | Sector-level topology drift | REVIEW |
| LG-EXC-001 | New exception paths | REVIEW |
Send 5 to 20 sanitized AI-agent action logs. We map them into the action-envelope schema and return deterministic verdicts, policy gaps, reason codes, and a Phase 1 integration plan.