# Component terms

The proof, complete solved exercise, diagram and generator are original public-domain material under CC0-1.0. The complete dedication is in [LICENSE](LICENSE). Citations identify mathematical context and grant no rights in source expression.

Every actual glyph uses the unmodified bundled [DejaVu Sans](fonts/DejaVuSans.ttf). Its complete Bitstream/DejaVu terms are in [LICENSE_DEJAVU.txt](fonts/LICENSE_DEJAVU.txt) and the SVG description. No STIX font is bundled or used.

The portable generator uses the versions in [requirements.txt](requirements.txt). Complete installed-distribution licence and notice files for Matplotlib, NumPy, Pillow and their selected runtime dependencies are listed in the [software notice index](SOFTWARE-NOTICES.md). Those component terms remain applicable. No software binary or new reader vendor code is included.

The sampled flow arrows are evaluations of the displayed exact circle flow. The sphere and base squares are labelled schematics. The integer rows show windows in infinite action spaces. These drawings and finite numerical checks accompany the complete proof; they do not replace it.