Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
On the map: LLM agents and tool use → Agent threats, guardrails and governance
Abstract (arXiv)
Modern cloud and enterprise systems rely on identity-centric authorization, assuming that callers possessing valid credentials are safe to execute commands. The emergence of autonomous AI agents invalidates this assumption: agents can generate syntactically valid but semantically unsafe actions, making standing privileges a significant operational risk. This risk becomes especially acute in sovereign AI systems, where autonomous agents may interact with cloud infrastructure, regulated data, financial workflows, and national-scale digital services. Governed mutation substrates reduce this risk by interposing on agent actions: agents submit intents, infrastructure evaluates context and policy, and execution is mediated. However, this shifts the trust boundary: how can the decision to authorize an intent be made verifiable, distributed, and replayable? We introduce a Distributed Trust Framework (DTF), a verification framework for governed mutation systems that computes execution authority from structured, verifiable artifacts. DTF introduces a Justification Proof to encode the admissibility basis of an action, a consensus model for independent evaluation, an ephemeral Execution Identity derived from the approved proof, and an append-only Evidence Chain that preserves the authorization lifecycle. Under stated substrate assumptions, this architecture enforces a compact authorization invariant: no high-stakes execution without a proof object, no derived authority without consensus, and no valid mutation detached from evidence. We define the model, instantiate it over an OpenKedge-based governed mutation substrate, and show how it maps onto cloud-native environments. By shifting authorization from standing identity to proof-derived authority, DTF provides an infrastructure foundation for making agentic execution governable, auditable, and bounded in sovereign AI deployments.
Key facts. Cited by 3 papers in the map (data through 14 Oct 2026). Placed in Agent threats, guardrails and governance, one of 16 directions in LLM agents and tool use. Builds on 7 of its 17 references that are in the map. First posted on arXiv 13 May 2026.
Builds on
7 of 17 references.
Closest ancestors · 3
Same direction, newest first
- 2026Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems24 Apr
- 2026OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains7 Apr
- 2024LLM Agents can Autonomously Hack Websites6 Feb
Other references · 4
- 2023A Survey on Large Language Model based Autonomous Agentscited by 2,242
- 2023Not what you've signed up for: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injectioncited by 1,443
- 2024Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)cited by 34
- 2024How We Built Cedar: A Verification-Guided Approachcited by 3
Built on by
Citing papers per year: 2026: 3.
3 papers.
- 2026TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memorycited by 8
- 2026Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructurecited by 1
- 2026The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructurecited by 1
- 2026The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure17 Jul 2026
- 2026TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory4 Jun 2026
- 2026Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure1 Jun 2026
Similar, not cited
Close in wording, no citation either way
- 2025From Cloud-Native to Trust-Native: A Protocol for Verifiable Multi-Agent Systems
- 2026Sovereign Execution Broker: Enforcing Certificate-Bound Authority in Agentic Control Planes
- 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Framework
- 2025Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehouse
- 2026Trustworthy Agentic AI Requires Deterministic Architectural Boundaries
- 2026NostrAgent: A Decentralized Identity and Delegation Architecture for Sovereign Agentic Systems
- 2026Trustworthy Agentic AI: A Comprehensive Cybersecurity and Systems Survey on Threat Landscapes, Defense Architectures, and Open Challenges
- 2025VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces