Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

Este artículo presenta una semántica algebraica para la ejecución gobernada, basada en árboles de interacción y coinducción parametrizada, con una implementación mecanizada en Rocq. El marco introduce una GovernanceAlgebra que induce una categoría monoidal simétrica y un sistema de efectos algebraicos que asegura manejadores que preservan la gobernanza.