# Exact linear normal receiving correspondence

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; use `--output PATH` to select the destination. Fixed SVG hash salt and metadata give reproducible output. SVG uses text and embeds neither font bytes nor glyph outlines. PNG uses installed DejaVu Sans; software and fonts retain their terms, including the existing `../FONT-NOTICE.txt`.

Panels A–C display LINR.2–LINR.12 and Theorem7.17: both full inverse products, all scalar receiving classes, the positive-disk and whole ordinary restriction identities, the actual reduced tensor norm, and the full inverse phase that a determinant cannot recover. This exact orthogonal linear model test supplies no universal extra hypothesis or arbitrary-germ construction.