mlsanityData to 14 Oct 2026

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems

arXiv 2605.15228 ↗First posted 13 May 2026cs.AI cs.LGcited by 3

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

  1. 2026Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems24 Apr
  2. 2026OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains7 Apr
  3. 2024LLM Agents can Autonomously Hack Websites6 Feb

Other references · 4

  1. 2023A Survey on Large Language Model based Autonomous Agentscited by 2,242
  2. 2023Not what you've signed up for: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injectioncited by 1,443
  3. 2024Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)cited by 34
  4. 2024How We Built Cedar: A Verification-Guided Approachcited by 3

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 3.

3 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025From Cloud-Native to Trust-Native: A Protocol for Verifiable Multi-Agent Systems
  2. 2026Sovereign Execution Broker: Enforcing Certificate-Bound Authority in Agentic Control Planes
  3. 2026Behavioral Governance for Autonomous AI Agents: The AgentBound Framework
  4. 2025Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehouse
  5. 2026Trustworthy Agentic AI Requires Deterministic Architectural Boundaries
  6. 2026NostrAgent: A Decentralized Identity and Delegation Architecture for Sovereign Agentic Systems
  7. 2026Trustworthy Agentic AI: A Comprehensive Cybersecurity and Systems Survey on Threat Landscapes, Defense Architectures, and Open Challenges
  8. 2025VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces