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

Este artigo apresenta uma semântica algébrica para execução governada, baseada em árvores de interação e coindução parametrizada, com uma implementação mecanizada em Rocq. O framework introduz uma GovernanceAlgebra que gera uma categoria monoidal simétrica e um sistema de efeitos algébricos que garante handlers que preservam a governança.