# Flat actual holonomy and the reduced germ norm

Original mathematical expression, diagram and generator are dedicated under CC0 1.0 to the extent of rights held. No external text or artwork is incorporated. Sanov retains the historical credit for the two unipotent matrices; the containing lesson supplies the complete needed proof.

Run `python -B draw.py` with Python and Matplotlib; use `--output PATH` to select the destination. The fixed SVG hash salt and metadata give reproducible output. SVG uses text and embeds neither font bytes nor glyph outlines. PNG uses installed DejaVu Sans; software and fonts retain their terms, including the existing `../FONT-NOTICE.txt`.

Panels A–D display FGJ.1–FGJ.15: the actual transverse intervals, exact nonzero commutator displacement, identity formal jets of free actual isotropy, its non-Hausdorff arrow limits, Hausdorff-label collapse, and the two distinct reduced norms. Panel B uses the first four terms of L for floating-point numerical samples n=1,...,8; those samples are not the all-scale proof. The exact transcendental parameter, cutoff, complete flow, suspension, counting and norm proofs are supplied in Section11CJ. The even scalar character is not asserted to be the original degree-one graph class.