Capability Safety as Datalog: A Foundational Equivalence

ArXi:2603.26725v1 Announce Type: cross 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: the absence of efficient incremental maintenance, and the absence of a decision procedure for audit surface containment.