P2 site section reading copy 1, 10 October 2026. Brian Theory.
The HTML reproduces Section 9 only; the exact combined formal-models.tex and PDF cover M1-M5, P1 and P2.
Scientific source and PDF bytes are unchanged. The source retains its research-prepared title-page wording and blank PDF Author metadata.
The source and reports are historical snapshots; their relative links refer to the original research archive, not this package.
HTML conversion: make4ht -f html5 manuscript.tex "mathml,charset=utf-8,svg" with package installation disabled, followed by section extraction, the existing MathML presentation repairs, and semantic navigation.
TeX4ht dropped the final rows of the displayed P_t matrix and intervention array. The HTML restores exactly (a-t,t) and (C,1/2,1/2) from the source, without editing the source.
The numerical verifier and historical review are in verification.zip. AI-assisted review is not external peer review.
