Large Signal ModelContents
Realization, refinement, and predictive closure
Read the corrected mathematical body: 100 sections in eight parts, with all 87 numbered propositions and their written proofs. Follow exact realization through predictive closure, learning, and certified probability domains.
Start here: choose a reading path · A first pass through the mathematics, the recorded Lean scope, or the software.
PDF and companion guides
Explore the visual atlas: 17 plates and an exact example With drawings, text descriptions, equations, and tables.
This edition preserves the corrected editable mathematical body, its two figures, references, and source-line links. The full 174-page publication retains its additional glossary and formal registers in PDF. The theoretical atlas has an HTML guide and an original PDF. Recorded Lean mappings retain their stated assumptions; this conversion adds no proof audit, Lean execution, or empirical validation.