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

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence arXiv:2604.27289v3 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. The Coinductive Safety Predicate (gov_safe) is a coinductive property that captures governance safety f