Guide — overview
The lab reference in three pages. The pages are the repository’s own documents, rendered by the site from sources in docs/guide/ — no separate implementation document exists; these pages are the reference.
- System and proof — components, request path, the four test claims, planes mapping.
- Design rationale — every dependency choice, the hybrid constraint, and known limits.
- Per-cell walkthrough — all six notebooks with their code, plus the operating model and the three commands.