TY  - RPRT
TI  - Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
AU  - Alan L. McCann
PY  - 2026
UR  - https://arxiv.org/abs/2604.27289
ID  - 2604.27289
ER  -