This paper derives, from five primitive axioms concerning admissibility, a complete protocol architecture for machine-verifiable enterprise action. The derivation proceeds without empirical assumption, domain commitment, or temporal presupposition: from the logical structure of constraint alone. The axiomatic foundation is Constraint-Induced Morphodynamics (CIMD). CIMD establishes that a system is constituted by its admissibility conditions; that constraints act solely by elimination, not by generation or preference; that non-invariant states cannot persist; and that stability is persistence under ordered re-evaluation, not under time. From these axioms a single derived statement follows necessarily: where admissibility conditions exist, non-invariant states cannot persist, admissible transitions therefore occur, and configurations that remain admissible across ordered evaluations constitute stable structure. Axiograf is the operationalization of that derived statement as deployable enterprise infrastructure. Its architecture is not designed from observed practice — it is derived from the axioms. The three-layer structure of Canonical Fact Language, Adaptor Layer, and Constraint Layer follows necessarily from what the predicate C requires to be declared, evaluated, and verified. Constraints compile to stratified Datalog with bounded quantifiers — decidable, polynomial-time, and always explainable. A distributed stateless evaluator executes admissibility determinations at action time, producing cryptographically anchored Admissibility Records that serve as the complete evidentiary artifact of the protocol. A three-tier Constraint Registry with content-addressed versioning ensures every evaluation is permanently replayable. A cross-enterprise trust model enables independent verification without central authority and without prior agreement on policy content. Together, CIMD and Axiograf constitute the missing admissibility substrate of the AI economy — the first infrastructure layer derived from first principles of admissibility rather than assembled from engineering convention.
Alex Adani (Wed,) studied this question.