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

Dieses Papier stellt eine algebraische Semantik für die gesteuerte Ausführung vor, die auf Interaktionsbäumen und parametrisierter Koinuktion basiert und in Rocq mechanisiert wurde. Der Rahmen führt eine GovernanceAlgebra ein, die eine symmetrische monoidale Kategorie und ein algebraisches Effektsystem induziert, das governance-erhaltende Handler sicherstellt.