# Reproduction

*K-theory of the leaf space*, Section11AR, PW.1–PW.12. The compact weighted normal derivative of the coefficient oscillator phase is proved on the actual fast graph core. 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_weighted_phase.py --output-dir out; --resources selects the adjacent labelled-geometric-kernel resources if relocated. Compare PNG/SVG with ../../figures/ and WEIGHTED-PHASE-CHECKS.json with this folder. The SVG embeds the unchanged font and complete notice. No private files are read.

The circle example has two occupied modes, total occupation2, and the retained shift5. The two real4-by-4 matrices square to identity and anticommute. Integer matrix arithmetic and exact fractions verify the fast square2682, weighted Fock derivative squared1/1341, one-particle bound squared1/256, and weighted phase derivative squared121/(221^2*2682), bounded by1/2682. The curve uses101 numerical samples of the displayed normalized coefficient vector; the norm identities are proved and checked exactly.