# Component terms

The independently written proof, four complete solved exercises, generator source, captions and original categorical diagram expression are dedicated under [CC0 1.0](https://creativecommons.org/publicdomain/zero/1.0/). This dedication excludes font and glyph components, notices and external software. No external human source expression, proof, organizational template or figure is incorporated.

The two bundled DejaVuSans and DejaVuSans-Bold font binaries are unchanged copies. Their outlines in the SVGs and raster glyphs in the PNGs retain the complete separate Bitstream Vera, DejaVu and Arev terms in [FONT-NOTICE.txt](FONT-NOTICE.txt); that full notice is embedded in both SVG descriptions. The notice identifies copyright holders and the public-domain DejaVu changes. Neither font nor glyph components are relicensed CC0.

Matplotlib 3.10.9, NumPy 2.4.4 and Pillow 12.2.0 are external reproduction dependencies. All 24 actual installed notice documents for these three packages, including bundled-dependency and font notices, are retained unchanged under notices/ and individually bound in [COMPONENTS.json](COMPONENTS.json). The retained STIX notice belongs to the installed Matplotlib resources; no STIX font binary or STIX glyph is used or distributed by these two diagrams. Matplotlib has its complete PSF-style agreement and supplied exceptions, NumPy retains its composite BSD-3-Clause/0BSD/MIT/Zlib/CC0 notices, and Pillow retains its full MIT-CMU and supplied dependency notices.

No library source, binary or Python runtime is redistributed. PyMuPDF is not required, imported or distributed by this portable generator.

Human historical context is Alain Connes, *A survey of foliations and operator algebras*, Section 2, page 9, and *Sur la théorie non commutative de l'intégration*, printed III.3.7 and III.3.10–11. These are credited for context; the independently written measure-dependent result does not identify their unspecified historical map interface.