The concepts and rules that govern how Dormouse watches, judges, proves, and delivers. Written for the operator, the auditor, and the self-hoster. No code required.
If you are evaluating the managed service, start with How the proof works, then read volume four. If you are operating Dormouse yourself, read straight through: each volume builds on the one before it, and none takes more than a few minutes.
The four nouns, the pipeline that connects them, and why a cycle commits whole or not at all.
VOLUME 02Whole pages versus fields, the five selector kinds, and why lists are sets of entities.
VOLUME 03The deterministic rules that keep Dormouse quiet, and how policy-facts changes are judged.
VOLUME 04Snapshots, the keyed chain, the anchor, coverage arithmetic, and what verification proves.
VOLUME 05The two tempos of delivery, the channels, and the discipline that prevents double reporting.
VOLUME 06The same record over HTTP: endpoints, authentication, and what the API will never tell you.
VOLUME 07The release gate, the regression discipline, and the adversarial audit we ran against our own product before launch.