# Figure terms and reproduction

The original norm-witness and graded-product 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 JSON data. The mathematical proof is in Sections 7–8 of the accompanying graded-core-fiber lesson. The norm witness is exact for every positive integer k. The plotted seminorm is one specified positive normal functional; finite samples and their connecting segments are not a proof of continuity in any topology.

Human-source context is Masamichi Takesaki, *Theory of Operator Algebras II*, the graded-fiber construction on printed page 438. The quotient direction, operations, norm obstruction and displayed examples are proved in the accompanying lesson using the actual internal BC, CZ and CORE providers.