# Reproduction

*K-theory of the leaf space*, Section 11AK. The same smooth orbit compact has completed transport/displacement domains below the half-power, and compact normal differentiation at the half-power. These powers are distinct. The exact finite-group example proves the completed endpoint cannot be inferred. Weighted contraction arrays give the completed oscillator cross form.

Use Python 3.13.9 and Pillow 12.2.0. Run `python -B draw_joint_domains.py --output-dir out`; `--resources` selects the adjacent labelled-geometric-kernel resources if relocated. The public resources provide the unchanged font, full font notice, CC0 dedication and Python/Pillow notices. Compare PNG/SVG with `../../figures/` and JOINT-DOMAIN-CHECKS.json with this folder. No private files are read.

The finite checks verify the displayed examples and constants. They do not prove an infinite-dimensional theorem, a module-domain assertion or a missing physical premise. The complete proofs and graded solutions are in the lesson.