Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence

概要

arXiv:2604.27289v2 Announce Type: replace Abstract: We present five results in the theory of structural governance for cognitive workflow systems. Three are mechanized in Coq 8.19 using the Interaction Trees library with parameterized coinduction; two are proved on paper with explicit reductions. T…