e001
Runtime Governance for AI Agents: Policies on Paths
Permalink- Source
- arXiv 2603.16586
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Runtime
- Published
- 2026-03-17
- Claims
- OBJ, RA
- Conditions
- OBJ
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Argues the execution path is the central object for runtime governance and formalizes compliance policy as a deterministic function mapping agent identity, partial path, proposed next action, and organizational state to a violation probability. Claims prompt-level instructions and static access control are special cases of this framework. Policy examples drawn from the AI Act; reference implementation discussed. Bears on OBJ and RA.
Original linke002
Decision Evidence Maturity Model for Agentic AI: A Property-Level Method Specification
Permalink- Source
- arXiv 2605.04093
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Evidence
- Published
- 2026-05
- Claims
- GE
- Conditions
- EV
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Five-level evidence sufficiency rubric plus the named 'container fallacy' — equating evidence-container presence with audit sufficiency. Directly parallels the E0-E4 scale and the Section 4.4 warning about describing an E0 control as fully audited.
Original linke018
Agent Control Protocol (ACP): Admission Control for Agent Actions
Permalink- Source
- arXiv 2603.18829
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Runtime
- Published
- 2026-03
- Claims
- RA, OBJ
- Conditions
- OBJ, 3.4
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Technical specification and reference implementation for admission control at the agent action boundary. Same inline-enforcement pattern as Section 5.1, with a concrete protocol. Relevant to the Section 5.5 concession that the discipline may be implemented inside existing machinery.
Original linke019
Proof of Execution: Runtime Verification for Governed AI Agent Actions
Permalink- Source
- arXiv 2607.05397 (Rhodes & Kang)
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Verification
- Published
- 2026-04-26
- Claims
- GE, RA, OBJ, PE
- Conditions
- EV, OBJ, 3.2
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Formalizes execution as a triple (contract C, Execution Causal Event Stream T, replay context R) with five validator-checkable invariants and five semantic guarantees: authorization, path compliance, null effect on deny, history integrity, replayability. Includes soundness and replay theorems with witness constructions. Overlaps AOI on execution as evaluation object, deterministic inline enforcement, null effect after denial, integrity and replayability, and independently checkable execution history. Does not evaluate contextual validity, intent conformance, or causal origin; establishes that execution followed a valid contract and path rather than whether the execution was institutionally legitimate.
Original linke020
Governing Actions, Not Agents: Institutional Attestation as a Governance Model for Autonomous AI Systems
Permalink- Source
- arXiv 2606.26298 (Salfeld-Nebgen)
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Evidence
- Published
- 2026-06-24
- Claims
- OBJ, GE, EL
- Conditions
- OBJ, EV, 3.4
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Observes that human institutions have governed autonomous actors by requiring independently attested evidence at the point of consequential action rather than by monitoring reasoning. Agent retains planning and reasoning autonomy but holds no execution authority over designated high-risk actions. Execution is conditional on preconditions each independently attested by a separate authoritative source, cryptographically bound to a declared intent, evaluated by deterministic policy, and recorded in a tamper-evident log amenable to independent re-verification. Examples from software deployment and clinical prescribing; proof-of-concept on GitHub. Bears on OBJ, GE, and condition 3.4.
Original linke031
AgentBound: Verifiable Behavioral Governance for Autonomous AI Agents
Permalink- Source
- arXiv 2606.30970
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Evidence
- Published
- 2026-06
- Claims
- GE, AC, RA
- Conditions
- EV, 3.1, 3.2
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Introduces cryptographically verifiable governance receipts binding each executed action to its exact governing policy artifacts, enabling non-repudiable independent replay verification. Composes three independent authorities in parallel: delegated authorization, owner-signed behavioral constitutions, and site action contracts. Introduces a standing delegation model, per-execution policy refreshing, and deterministic obligation enforcement, accommodating both interactive and long-running periodic agents. Bears on GE, AC, and RA.
Original linke032
Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability
Permalink- Source
- arXiv 2604.22898
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Verification
- Published
- 2026-04
- Claims
- AC, RA, EL
- Conditions
- 3.1, 3.2, 3.3
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Treats authority as reconstructed at execution rather than carried forward from grant, addressing runtime execution validity under partial observability. Companion to e033. Bears on AC, RA, and conditions 3.1 through 3.3.
Original linke033
Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems
Permalink- Source
- arXiv 2605.23935
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Runtime
- Published
- 2026-05
- Claims
- RA, AC
- Conditions
- 3.1, 3.2
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Operationalizes the reconstructive authority model through runtime construction, dependency resolution, and execution gating in autonomous agent systems. Execution gating addresses the same decision point as Runtime Admissibility, with a dependency-resolution mechanism. Companion to e032.
Original linke038
Are You Still the Agent I Authorized? Earned Authority under a Fixed Ceiling for Evolving Agents
Permalink- Source
- arXiv 2607.23586
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Verification
- Published
- 2026-07
- Claims
- CD, AC, RA
- Conditions
- 3.1, 3.2, 3.3
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Formulates what it calls authorization continuity: whether an existing grant remains valid as a long-lived agent evolves after deployment by retaining experience, acquiring skills and tools, revising workflows, delegating work, and moving across task phases. States that evolution can change both the effects reachable under an old grant and the authority a task requires, and that the required authority may rise, fall, or become incomparable; existing tool policies constrain actions but do not determine when a grant survives this change. Proposes a state-bound model that fixes a transition envelope and an immutable effect ceiling at grant time, distinguishes requested from realized effects, and proves that under complete mediation, sound effect abstraction, attenuating delegation, and monitor integrity, mutation cannot amplify protected effects beyond the user-issued ceiling; agent-produced evidence may allocate authority below the ceiling but cannot raise it, which places the derivation of any additional authority under an evidence condition and bears on condition 3.2. The source's authorization continuity is scoped to grant survival under agent mutation. Vocabulary in use that overlaps AOI's: authorization continuity, authorization drift, admission, effect ceiling. Bears on CD, AC, and conditions 3.1 through 3.3.
Original linke039
ChainCaps: Composition-Safe Tool-Using Agents via Monotonic Capability Attenuation
Permalink- Source
- arXiv 2605.26542 (Jiang et al.; AIWILD workshop, ICML 2026)
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Runtime
- Published
- 2026-05
- Claims
- AC, RA
- Conditions
- 3.3, 3.5
- Stance
- complicates
- Relation
- complements
- Strength
- supporting
- Overlap flag
- prior_art
Names permission laundering: an agent can satisfy every per-tool permission check and still produce an unsafe end-to-end effect, because a restricted value is transformed, mixed, or rewritten before reaching a sink it should not reach. Enforces a runtime invariant in which every value carries a sink-specific authority budget and tool composition propagates budgets by intersection, so a value may lose but never gain authority through composition; states and proves a non-amplification theorem to that effect. Implemented as a transparent MCP proxy requiring no change to agent or tool servers; reports attack success falling from 25-68 percent to 0-4.8 percent across five frontier models on an 82-task suite, with manifest authoring quality, not runtime overhead, identified as the binding deployment constraint. The mechanism governs authority attenuation across a composed tool chain within a session rather than change in an agent's effective ability to produce consequences over time. The paper positions itself as complementary to execution-boundary mechanisms, which it says constrain execution while ChainCaps constrains the authority of derived values. Vocabulary in use that overlaps AOI's: monotonic capability attenuation, authority propagation, declassification. Bears on AC, RA, condition 3.5, and the compositional material in Appendix C.4.
Original linke041
Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructure
Permalink- Source
- arXiv 2606.11632
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Runtime
- Published
- 2026-06
- Claims
- RA, GE, OBJ, EL
- Conditions
- 3.1, 3.2, 3.4, 3.5
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
States a control-plane authorization problem: non-deterministic reasoning systems may propose high-stakes mutations to production resources, while IAM, policy engines, consensus protocols, and audit logs either enforce static permissions or record actions only after execution. Introduces a certificate-bound runtime admission boundary that intercepts agent proposals at an assurance airlock, compiles them into typed execution contracts, binds those contracts to cryptographic evidence digests and policy versions, and routes them through consequence-aware certification paths; successful admission emits a signed certificate valid only for a scoped execution identity, revocation epoch, and validity window. The contract-to-certificate-to-execution chain constrains which execution path may follow from a given admitted proposal, which bears on condition 3.5. Formalizes admission and revocation invariants and reports feasibility measurements from a Go prototype over 2,500 admission attempts. Vocabulary in use that overlaps AOI's: runtime admission boundary, execution contract, evidence-bound, consequence-aware certification, replayable. Companion to e042. Bears on RA, GE, OBJ, and conditions 3.1, 3.2, 3.4, and 3.5.
Original linke042
Sovereign Execution Broker: Enforcing Certificate-Bound Authority in Agentic Control Planes
Permalink- Source
- arXiv 2606.20520
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Runtime
- Published
- 2026-06-19
- Claims
- RA, AC, GE
- Conditions
- 3.1, 3.3
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- prior_art
Execution-side companion to e041. Defines a runtime enforcement boundary that consumes certificates issued by the assurance boundary, verifies that the requested mutation matches the certified execution contract, checks validity windows, policy epochs, revocation epochs, and live-state drift, mints a scoped execution identity, invokes infrastructure APIs, and records signed decision and outcome records. States that production mutation authority should not reside inside non-deterministic reasoning processes, and separates proposal, admission, and execution so that certified authority becomes a short-lived, revocable, auditable runtime capability. Prototype evaluated on AWS and Kubernetes clusters. The live-state drift check compares infrastructure state at execution against the certified contract; it is not a comparison of retained authority against current organizational circumstances, and the entry is therefore not tagged AD. Vocabulary in use that overlaps AOI's: certificate-bound authority, execution broker, live-state drift, signed decision records, revocation epoch. Bears on RA, AC, GE, and the grant-to-effect interval.
Original link