"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A state management pattern where state is computed by replaying an immutable log of events from the initial state: $\\text{State}(t) = \\text{fold}(\\text{apply}, \\text{initialState}, \\text{events}[0..t])$. In Petri net terms, events are transition firings and state is the marking (Chapter 20)."@en . . "Event sourcing"@en . "20"^^ .