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.

Seven design theory papers (Hevner et al., 2004). Each names a structural property of software systems — porosity, separability, partition, continuity, substrate, symptom, accidental category — and traces its consequences.