Seven analytic theory papers (Gregor 2006). Each names a structural property of software systems — porosity, separability, partition, continuity, substrate, symptom, accidental category — and traces its consequences.

A runtime combining CQRS, the Actor Model, and Event Sourcing with a DSL whose programs are journaled as the unit of persistence. Reference instantiation for the puppeteer-papers research program.