Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence. - Alan L. McCann (CoRR, 2026)

The Two Boundaries: Why Behavioral AI Governance Fails Structurally. - Alan L. McCann (CoRR, 2026)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries. - Alan L. McCann (CoRR, 2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries. - Alan L. McCann (CoRR, 2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation. - Alan L. McCann (CoRR, 2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems. - Alan L. McCann (CoRR, 2026)