The store layer: an append-only JSONL tape folded by a deterministic reducer into a rebuildable typed-path projection. Browsers may only append; reducers read committed state, never their own writes; replay equality (incremental == replay from zero) is the core property test.