# Reproduction

*K-theory of the leaf space*, Section 11AM. The oscillator resolvents have bounded normal derivatives tending to zero. Given the exact physical coefficient realization and a self-adjoint maximal normal Dirac, the specified odd sum is self-adjoint on the intersection domain, with onto resolvents and a joint graph core. The physical realization and final class comparison remain premises.

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

The finite checks verify the displayed examples and constants. They do not prove an infinite-dimensional theorem, a module-domain assertion or a missing physical premise. The complete proofs and graded solutions are in the lesson.