# Figure terms and reproduction

The original absorption diagram, renderer and exact data are dedicated under CC0-1.0 to the extent of rights held. The DejaVu font components retain the terms reproduced in `FONT-LICENSE.txt`.

Run `python render.py` with Python 3 and Matplotlib to regenerate the PNG, SVG and exact JSON data. The SVG retains editable text. The formulas and mathematical proof are in Section 7 of the accompanying lesson; finite computational checks validate the displayed data and do not replace that proof.

Human-source context for the projection mechanism is Jesse Peterson, *Operator Algebras* (2020), Sections 5.1–5.2, printed pages 83–90, and Brent Nelson, *Math 209: von Neumann Algebras*, Lemma 5.2.9 and Proposition 5.2.13, printed pages 49–51, as recorded in the earlier OA-FLOW-PC lesson. The displayed coordinate bijection is the explicit PC9 model; its matrix-unit conjugation and inverse are proved in equations (CDEC.7.a)–(CDEC.7.g).