# Original compact-support sequence and normal-circle figures

Read the complete proof `closed-open-forms-and-the-normal-circle.md`. It includes all examples and all six exercise solutions. The real closed–open sequence and singular integration comparison are proved at their exact earlier programme entries. Normalized form duality P and its singular right-cap comparison CO27 remain explicit separate entries.

Reproduce the original PNG/SVG figures and geometry with Python, NumPy and Matplotlib: `python make_figures.py --output figures`. The support picture is a schematic, not a support formula; the exact smooth cutoff and orientation signs are retained in geometry.json. No numerical graph supplies the proof. The renderer uses Matplotlib DejaVu fonts already provided by the runtime, and bundles no font file. Original work is CC0.