# Figure terms and reproduction

The original support 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, NumPy and Matplotlib to regenerate the PNG, editable-text SVG and exact JSON data. The mathematical proof and complete operator domains are in Sections 7–8 of the accompanying supported intrinsic-core lesson. The coordinate plots are finite samples of the exact scalar density; their captions record exact interval endpoints and integrals.

Human-source context for the spectral commutant question is Masamichi Takesaki, *Theory of Operator Algebras II*, Exercise XII.6.8. The supported identities, the distinction between supported and full joins, and the matrix calculations are proved in the accompanying lesson. The actual earlier proof providers are the internal CORE9–10 Fourier models and BC6 finite-matrix calculation.