# Compact-type receiving norm diagram

Original mathematical expression, diagram and generator are dedicated under CC0 1.0 to the extent of rights held. No external artwork is incorporated.

Run `python -B draw.py` with Python and Matplotlib to reproduce the SVG and PNG. Select another directory with `--output PATH`. SVG hash salt and metadata are fixed. CTNR.1–CTNR.9 prove the exact compact average, finite type, matrix absorption and compact actual convolution witness. The four-tree bound is the complete MI.5–MI.6 proof on the entire tree; the diagram draws no truncated replacement tree. The cutoff norm is greater than 9/10, while the reduced norm is at most sqrt(3)/2. The carrier and coherent inverse lift retain original q=3, metric rank6 and total rank9. This is a norm diagnostic, not a construction or refutation of every reduced graph class.

Fonts and software retain their component terms; see `../FONT-NOTICE.txt` for DejaVu outlines.
