# Reproduction

*K-theory of the leaf space*, Section 11AN, NR.1–NR.12. The coefficient cutoff regularizes the adjoint graph of a symmetric product. An actual resolvent mapping the maximal normal domain into the specified minimal domain gives a self-adjoint completed sum. The interval example has a non-self-adjoint normal operator and a self-adjoint confining sum with compact resolvent. General physical realization and class comparison are separate premises.

Use Python 3.13.9 and Pillow 12.2.0. Run python -B draw_normal_boundary.py --output-dir out; --resources selects the adjacent labelled-geometric-kernel resources if relocated. Compare PNG/SVG with ../../figures/ and NORMAL-BOUNDARY-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 five rational coefficient samples, integer Pauli identities and the split 1/2+1/4+1/2=5/4. The graph curves are numerical samples. The complete domain, self-adjointness and compactness proofs and all graded solutions are in the lesson.