HackerPapers

arXiv:2603.26725cs.LO

Capability Safety as Datalog: A Foundational Equivalence

Cosimo Spera

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

We prove that capability safety admits an exact representation as propositional Datalog evaluation (Datalogprop: the monadic, ground, function-free fragment of first-order logic), enabling the transfer of algorithmic and structural results unavailable in the native formulation. This addresses two structural limitations of the capability hypergraph framework of Spera [2026]: the absence of efficient incremental maintenance, and the absence of a decision procedure for audit surface containment. The equivalence is tight: capability hypergraphs correspond to exactly this fragment, no more.

arXiv comments
Journal reference
DOI
Subjects
cs.LOLogic in Computer Science cs.AIArtificial Intelligence

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Apr 2026 to Apr 2026.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Show HN: Endo Familiar, an O-cap based JavaScript agent sandbox 1 comment

    • I wanted to ask perhaps an impossible question on this notion that I've been chewing on — particularly around the composition of "capabilities" (LLM sense of the word) and what they could acquire through some transitive closure over their "capability set(s)" in a multi-agent…

      hierophantosView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.