paper-with-me

Papers

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

2026-04-20 · Xiangyu Wen, Yuang Zhao, Xiaoyu Xu, Lingjun Chen, Changran Xu, Shu Chi, Jianrong Ding, Zeju Li, Haomin Li, Li Jiang, Fangxin Liu, Qiang Xu arxiv

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.

📄 PDF Abstract BibTeX arXiv:2604.18652

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

AscendCraft: Automatic Ascend NPU Kernel Generation via DSL-Guided Transcompilation

2026-01-30 · Zhongzhen Wen, Shudi Shao, Zhong Li, Yu Ge 외 arxiv

The performance of deep learning models critically depends on efficient kernel implementations, yet developing high-performance kernels for specialized accelerators remains time-consuming and expertise-intensive. While r…

Cryptographic Runtime Governance for Autonomous AI Systems: The Aegis Architecture for Verifiable Policy Enforcement

2026-03-15 · Adam Massimo Mazzocchetti arxiv

Contemporary AI governance frameworks rely heavily on post hoc oversight, policy guidance, and behavioral alignment techniques, yet these mechanisms become fragile as systems gain autonomy, speed, and operational opacity…

From Craft to Constitution: A Governance-First Paradigm for Principled Agent Engineering

2025-10-12 · Qiang Xu, Xiangyu Wen, Changran Xu, Zeju Li 외 arxiv

The advent of powerful Large Language Models (LLMs) has ushered in an ``Age of the Agent,'' enabling autonomous systems to tackle complex goals. However, the transition from prototype to production is hindered by a perva…

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries

2026-05-01 · Alan L. McCann arxiv

We present a machine-checked formalization of structurally governed AI workflow architectures and prove that effect-level governance can be imposed without reducing internal computational expressivity. Using Interaction …

KernelCraft: Benchmarking for Agentic Close-to-Metal Kernel Generation on Emerging Hardware

2026-02-10 · Jiayi Nie, Haoran Wu, Yao Lai, Zeyu Cao 외 arxiv

New AI accelerators with novel instruction set architectures (ISAs) often require developers to manually craft low-level kernels, a time-consuming and error-prone process that does not scale across hardware targets. This…

Code Generation