Pure Computation and Governed Mutation: Capability Transforms and Side Effects in Protocol-Governed Systems
Abstract
This paper formalizes the architectural separation between pure computation and governed mutation in protocol-governed systems. Building on the execution model defined in Paper 6 [Bachi, 2026f], it specifies the semantic boundary between Capability Transforms (CT_) and Capability Side Effects (CS_).
Fields of Study & Subjects
Logic
programming
and type systems
Distributed systems and fault tolerance
Advanced Software Engineering Methodologies
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 3 July 2026
- Language
- EN