Commit ee20e6b
committed
architecture page: explain how the engine works + add diagrams
The previous architecture page was a curated list of pointers
into the audit-docs corpus. Rewrite it as an actual deep-dive
that explains how the engine produces records, with Mermaid
flow diagrams for the load-bearing concepts.
Sections added:
- The mental model in one diagram (DSL → plan → executor → IR → record)
- How the DSL becomes a simulation (full lowering pipeline)
- The seven engine invariants in user-friendly tone with
diagrams where they help (constrain-before-propose, replay
admissibility chain, live-call refresh)
- Three streams per pass (trace / events / Simulation)
- Plan signature replay gate (three-stage check)
- Two-layer integrity model (AIRR validator + cache parity)
- Audit-first workflow
Enable Mermaid via pymdownx.superfences custom_fences + a
small init script that loads mermaid from CDN as ESM. The
init also re-runs on Material's instant-nav swaps so diagrams
render after client-side navigation.
Audit-docs deep links switched from relative paths to GitHub
absolute URLs (audit-docs/ is at repo root, outside the MkDocs
docs_dir, so relative paths can't resolve in the built site).1 parent 7c05b27 commit ee20e6b
3 files changed
Lines changed: 548 additions & 193 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
82 | 82 | | |
83 | 83 | | |
84 | 84 | | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
85 | 92 | | |
86 | 93 | | |
87 | 94 | | |
| |||
92 | 99 | | |
93 | 100 | | |
94 | 101 | | |
95 | | - | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
96 | 107 | | |
97 | 108 | | |
98 | 109 | | |
| |||
0 commit comments