# Eigenunitary recognition: original figure and reproduction terms

The original diagram `recognition.png` and `recognition.svg`, the renderer `render_recognition.py`, and the authored descriptions and arrangement in `recognition-data.json` are dedicated under **CC0 1.0 Universal**, to the extent of rights held. Project credit: **OA-FLOW course project contributors**, 6 October 2026. Numerical mathematical facts are not claimed as exclusive property. The [CC0 dedication and terms](https://creativecommons.org/publicdomain/zero/1.0/) apply to this original project expression.

The diagram was newly constructed from the finite model proved in OA-FLOW-L29, Section 7, equations (L29.7.a)–(L29.7.e). It contains no source-book image or adapted third-party artwork. Its general mathematical antecedent is M. Takesaki, *Theory of Operator Algebras II*, Proposition X.2.6, pp.263–265.

Reproduce the PNG, SVG and numerical data with `python render_recognition.py --output OUTPUT_DIRECTORY`. The recorded bytes use Matplotlib 3.10.9 and NumPy 2.4.4. The renderer fixes SVG IDs and omits date metadata. It requires no TeX, network access, or external image. Finite numerical residuals are diagnostics; the root-of-unity identities and normal-model comparison are proved in the lesson.

Font designs and outlines are excluded from the project's CC0 dedication. Complete [DejaVu](LICENSE_DEJAVU.txt), [STIX](LICENSE_STIX.txt), and [Computer Modern/BaKoMa](BAKOMA_SECTION.txt) notices are supplied for the renderer's typography and fallbacks. Runtime libraries retain their own terms; their implementations are not bundled.
