Author name: Alan L. McCann

arXiv:2604.27289v1 Announce Type: new
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…

arXiv:2604.27292v1 Announce Type: new
Abstract: Every system that performs effects has two boundaries: what it can do (expressiveness) and what governance covers (governance). In nearly all deployed AI systems, these boundaries are defined independent…