# Reproduction

*K-theory of the leaf space*, Section 11AX. BSM.1–BSM.12. An ordinary even cpc section gives the actual nondegenerate Bott-source representation, identity zero quotient module and completed parallel normal connection. The section-taper counterexample retains the zero module identity while its positive module vanishes. Genuine arrow transport compares different section modules, rather than supplying an action on the fixed module. Sixteen exact rational products and four compression samples verify the finite Stinespring illustration and its nonzero compression defect. They are not a Bott inverse model.

Use Python 3.13.9 and Pillow 12.2.0. Run `python -B draw_bott_source_module.py --output-dir out`; `--resources` selects the adjacent labelled-geometric-kernel resources if relocated. Compare PNG/SVG with ../../figures/ and BOTT-SOURCE-MODULE-CHECKS.json with this folder. The SVG embeds the unchanged font and complete notice. No private files are read.