# Reproduction

*K-theory of the leaf space*, Section 11AY. RSM.1–RSM.16. Regular induction gives the completed genuine groupoid source module, with an equivariant regular quotient and its proper-cutoff identity submodule. The quotient projection and inverse Kasparov operator are not lifted. The finite two-arrow example starts with a non-equivariant section;16 exact representation products,four covariances and both exact quotient projection identities are checked. A nondegenerate equivariant centre cannot extend into the specified matrix component. An invariant section taper can make the positive module vanish.

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