# Reproduction

*K-theory of the leaf space*, Section11AS, MR.1–MR.16. The actual coefficient auxiliary is regular self-adjoint and has compact normal resolvent derivatives with order lambda^-1/2 and a proved completed normal-domain rule. The coefficient algebra is C0(Y); the original-unit graph realization remains unproved.

Use Python3.13.9 and Pillow12.2.0. Run python -B draw_fast_magnitude.py --output-dir out; --resources selects the adjacent labelled-geometric-kernel resources if relocated. Compare PNG/SVG with ../../figures/ and FAST-MAGNITUDE-CHECKS.json with this folder. The SVG embeds the unchanged font and complete notice. No private files are read.

The circle example retains occupation2 and the source shift5. Exact real Clifford matrices and fractions verify H=2682I, its derivative672I, the phase derivative norm11/221 and the normal bound constant7/64. Ten integer-parameter inverse-derivative identities and squared-norm bounds are checked exactly. The curve uses101 numerical samples of the formula in MR.16; both axes are logarithmic. The operator-norm limit and decay are proved in the lesson.