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 linke004
Agent Control Specification: Portable runtime governance for AI Agents
Permalink- Source
- Microsoft
- Source type
- vendor
- Primary or secondary status
- Secondary
- Domain
- Runtime
- Published
- 2026
- Claims
- OBJ, MKT
- Conditions
- OBJ, MKT
- Stance
- contests
- Relation
- differentiates
- Strength
- emerging
- Overlap flag
- naming_collision
Markets 'runtime governance' as a vendor-neutral standard for applying governance across the agent lifecycle. Uses the term for a policy-enforcement layer, not an evaluation object. Section 5.5 argues the discipline does not require a platform; this is the term being used to name a platform.
Original linke005
Intent-Governed Tool Authorization for AI Agents
Permalink- Source
- arXiv 2606.22916
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Policy
- Published
- 2026-06
- Claims
- EL
- Conditions
- 3.4
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- absorption
Argues a tool call can be authorized by static credentials and still be unjustified by the user's current request — export authority should not be exposed when a bounded summary was asked for. This is Intent Conformance being attacked directly. Contradicts the Appendix A claim that intent conformance remains outside the stated scope of current proposals.
Original linke006
Verifiable Agent Protocol (VAP): Intent-Bound Admission Control and Audit for Agent Tool Invocation
Permalink- Source
- IETF draft-samal-vap-00
- Source type
- standard
- Primary or secondary status
- Primary
- Domain
- Policy
- Published
- 2026
- Claims
- EL, GE
- Conditions
- 3.4, EV
- Stance
- complicates
- Relation
- differentiates
- Strength
- emerging
- Overlap flag
- absorption
Individual Internet-Draft binding declared intent to admission control and audit at the point of tool invocation. Not a working group document as of cataloging. Addresses the same evaluation moment as Runtime Admissibility. Bears on condition 3.4 and on GE.
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 linke028
Toward cryptographically verifiable authorization for autonomous AI agents
Permalink- Source
- arXiv 2607.21325
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Identity
- Published
- 2026-07
- Claims
- AC, GE
- Conditions
- 3.2, EV
- Stance
- complicates
- Relation
- differentiates
- Strength
- emerging
- Overlap flag
- absorption
Security hypothesis, preliminary formal model, and proof-of-concept implementation for cryptographically verifiable authorization of autonomous agents. Early-stage single-source work. Bears on condition 3.2 and on GE.
Original linke030
FlowSignal — Runtime Authority Infrastructure
Permalink- Source
- FlowSignal
- Source type
- vendor
- Primary or secondary status
- Secondary
- Domain
- Runtime
- Published
- 2026
- Claims
- RA, AC, EL
- Conditions
- OBJ, 3.1, 3.3
- Stance
- contests
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- naming_collision
Direct naming use of Runtime Admissibility, and the closest terminology overlap in the corpus. Operationalizes governance intent at the execution boundary where authority resolves, sitting between AI decision engines and executing systems so that authority resolves before execution proceeds. Its Authority Validation Sprint (FAVS) applies execution-bound authority validation to a single AI decision surface. Vocabulary in use: runtime admissibility, current authority state, delegation validity, contextual integrity, operational legitimacy, independently verifiable admissibility decisions, governance before consequence. Centers the final bind or consequence-formation boundary.
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 linke034
AI Agent Authorization and Control — Admissibility in Decision Governance
Permalink- Source
- FlexRule
- Source type
- vendor
- Primary or secondary status
- Secondary
- Domain
- Policy
- Published
- 2026
- Claims
- RA, PE
- Conditions
- OBJ, 3.3
- Stance
- contests
- Relation
- differentiates
- Strength
- emerging
- Overlap flag
- naming_collision
Vendor article distinguishing authorization from admissibility: authorization can be partly static, but admissibility is contextual and situational and must be resolved at runtime, with a decision model determining what actions an actor may take for a specific case in its current situation and context. Describes admissibility as explicit, versioned, testable, and controlled at runtime. Bears on RA and PE.
Original linke035
Harnessing Embodied Agents: Runtime Governance for Policy-Constrained Execution
Permalink- Source
- arXiv 2604.07833
- Source type
- research
- Primary or secondary status
- Primary
- Domain
- Robotics
- Published
- 2026-04
- Claims
- RA, OBJ
- Conditions
- OBJ
- Stance
- complicates
- Relation
- differentiates
- Strength
- supporting
- Overlap flag
- naming_collision
Robotics application of the term runtime governance. Separates agent cognition from execution oversight by externalizing governance into a dedicated runtime layer performing policy checking, capability admission, execution monitoring, rollback handling, and human override. Capability admission and rollback handling bear on CD and on the reversibility material in Section 5.3.
Original linke036
Authorization and Governance for AI Agents: Runtime Authorization Beyond Identity at Scale
Permalink- Source
- Microsoft Security
- Source type
- vendor
- Primary or secondary status
- Secondary
- Domain
- Runtime
- Published
- 2026
- Claims
- RA, MKT
- Conditions
- OBJ, 3.1
- Stance
- contests
- Relation
- differentiates
- Strength
- emerging
- Overlap flag
- naming_collision
Microsoft Security framing runtime authorization as extending beyond identity at enterprise scale. Companion to the Agent Control Specification entry (e004). Bears on RA and MKT.
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 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