Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries (ArXiv cs.LO Recent Papers, 2026)