Typst whitepaper: "Sub-Microsecond HTTP Threat Detection with Decision Tree-MLP Ensembles and Lean 4 Verification". Includes fletcher ensemble diagram, benchmark tables, dataset composition, limitations analysis with self-labeling bootstrap discussion, and 16 bibliography entries. Signed-off-by: Sienna Meridian Satterwhite <sienna@sunbeam.pt>