Interactive figures

Each one illustrates a numbered statement of Part I. None of them is evidence.

All eight are plain HTML, inline SVG and vanilla JavaScript, with no framework, no bundler and nothing loaded from a CDN. The numerical curves come from docs/figures/make_figures.py and the proof graph from docs/extract.py, both of which read the manuscript directly.