From Craft to Kernel: A Governance-First Execution Architecture and Semantic ISA for Agentic Computers

TL;DR

The paper introduces Arbiter-K, a governance-first execution architecture with a semantic ISA that enhances security and robustness in agentic AI systems by actively intercepting unsafe actions and enabling autonomous corrections.

Contribution

It proposes a novel neuro-symbolic kernel with a semantic ISA for agentic AI, improving security and control over traditional orchestration methods.

Findings

Achieves 76% to 95% unsafe interception rates.

Enforces security as a microarchitectural property.

Demonstrates 92.79% absolute gain over native policies.

Abstract

The transition of agentic AI from brittle prototypes to production systems is stalled by a pervasive crisis of craft. We suggest that the prevailing orchestration paradigm-delegating the system control loop to large language models and merely patching with heuristic guardrails-is the root cause of this fragility. Instead, we propose Arbiter-K, a Governance-First execution architecture that reconceptualizes the underlying model as a Probabilistic Processing Unit encapsulated by a deterministic, neuro-symbolic kernel. Arbiter-K implements a Semantic Instruction Set Architecture (ISA) to reify probabilistic messages into discrete instructions. This allows the kernel to maintain a Security Context Registry and construct an Instruction Dependency Graph at runtime, enabling active taint propagation based on the data-flow pedigree of each reasoning node. By leveraging this mechanism, Arbiter-K precisely interdicts unsafe trajectories at deterministic sinks (e.g., high-risk tool calls or unauthorized network egress) and enables autonomous execution correction and architectural rollback when security policies are triggered. Evaluations on OpenClaw and NanoBot demonstrate that Arbiter-K enforces security as a microarchitectural property, achieving 76% to 95% unsafe interception for a 92.79% absolute gain over native policies. The code is publicly available at https://github.com/cure-lab/ArbiterOS.