{"type":"post","slug":"policy-algebra-for-trust-preserving-agent-execution","title":"Policy Algebra for trust-preserving agent execution","description":"A preprint argues capability is not reliability: an agent is reliably capable only when every action stayed admissible under identity, data, budget, approval and audit constraints.","retrieval_nugget":"A preprint argues capability is not reliability: an agent is reliably capable only when every action stayed admissible under identity, data, budget, approval and audit constraints.","published_at":"2026-09-01","updated_at":"2026-09-12","record_date":"2026-08-25","date_kind":"discovered_at","topics":["agent-security","agents","ai"],"entities":["arXiv"],"source_url":"https://arxiv.org/abs/2608.16402","source_title":"A Policy Algebra for Trust-Preserving Agentic AI Execution","source_domain":"arxiv.org","source_terms":["Policy","Algebra","trust-preserving","execution","capability"],"summary_word_count":193,"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:policy-algebra-for-trust-preserving-agent-execution","status":"published","source_urls":["https://arxiv.org/abs/2608.16402"],"visuals":[],"editorial_provenance":{"schema_version":"newruntime-editorial-copy-v1","content_status":"source_grounded_final","final_copy_sha256":"sha256:5809c6b33d5f7824c09e0960b26ac523d2c163d62c3b5f07145d5c8c5e70061d","reviewed_at":"2026-09-12T10:00:00Z","source_evidence_count":1,"verified_claim_count":2,"site_analysis_schema_version":"newruntime-site-analysis-v1","site_object_kind":"field_note","observed_fact_count":2,"implication_count":1,"watch_condition_count":1,"related_record_count":3},"analysis":{"schema_version":"newruntime-site-analysis-v1","object_kind":"field_note","thesis":"A preprint published on 17 August makes a precise argument that most agent frameworks skip: they optimise capability — whether an agent can reason, retrieve, call tools, delegate and finish a goal — while enterprise execution needs a stronger property.","observed_facts":[{"text":"The paper defines reliable capability as a path property over action events rather than as a successful outcome.","source_urls":["https://arxiv.org/abs/2608.16402"]},{"text":"It proposes a policy algebra in which security profiles and runtime obligations compose through joins, intersections, budget narrowing and approval inheritance.","source_urls":["https://arxiv.org/abs/2608.16402"]}],"mechanism":"an agent is reliably capable only when it completes a task through action events that remain admissible under identity, profile, tool, data, memory, budget, artifact, approval and audit constraints","why_now":"A successful result is not reliable if it was produced through unauthorized data access, widened delegated authority, unapproved side effects, unrecoverable budget consumption, or incomplete evidence.","implications":["Composition is the useful part: it means two safe policies can be combined without hand-auditing the result."],"evidence_boundary":"This is a preprint abstract describing a formalism; no implementation, benchmark or deployment evidence is cited here.","watch_conditions":["The condition to watch is whether the algebra arrives as a checkable runtime artifact, because a policy calculus that cannot be evaluated against a real action log stays a vocabulary rather than a control."],"related_records":[{"url":"https://newruntime.com/posts/agent-security-moves-outside-the-model","relation":"Prior coverage of controls moving outside the model."},{"url":"https://newruntime.com/posts/minimum-integrity-stack-agent-leaderboard","relation":"Prior coverage of integrity requirements for agent claims."},{"url":"https://newruntime.com/topics/agent-security","relation":"Topic hub for agent authorization constraints."}]},"routes":{"html":"https://newruntime.com/posts/policy-algebra-for-trust-preserving-agent-execution/","markdown":"https://newruntime.com/posts/policy-algebra-for-trust-preserving-agent-execution.md","json":"https://newruntime.com/posts/policy-algebra-for-trust-preserving-agent-execution.json"},"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"next_reads":[{"type":"topic","path":"/topics/agent-security/","url":"https://newruntime.com/topics/agent-security/","title":"Agent Security","reason":"Explore the agent-security topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/agent-security.md","json_url":"https://newruntime.com/topics/agent-security.json"},{"type":"topic","path":"/topics/agents/","url":"https://newruntime.com/topics/agents/","title":"Agents","reason":"Explore the agents topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/agents.md","json_url":"https://newruntime.com/topics/agents.json"},{"type":"topic","path":"/topics/ai/","url":"https://newruntime.com/topics/ai/","title":"Ai","reason":"Explore the ai topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/ai.md","json_url":"https://newruntime.com/topics/ai.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}