# Reproduction

*K-theory of the leaf space*, Section 11AO, RGN.1–RGN.13. The actual range-regular graph has a geometric normal differential and a finite-core domain regularization. Finite contractions give unit H1 estimates; locally module-compact coefficient resolvents of a completed sum yield scalar localized compactness. Differentiable transfer of the normalized auxiliary phase and the original class comparison remain unproved.

Use Python 3.13.9 and Pillow 12.2.0. Run python -B draw_regular_normal.py --output-dir out; --resources selects the adjacent labelled-geometric-kernel resources if relocated. Compare PNG/SVG with ../../figures/ and REGULAR-NORMAL-CHECKS.json with this folder. The shared resources provide the unchanged font, full font notice, CC0 dedication and Python/Pillow notices. No private files are read.

The finite checks verify the exact three-row rank-one contraction and derivative, and three exact square-grid averaging errors with ranks and proved bounds. The grid labels give its cell means. The complete domain, normal convolution and scalar compactness proofs and all graded solutions are in the lesson.