# Reproduction

*K-theory of the leaf space*, Section11AP, OP.1–OP.14. One positive resolvent sum on the actual intrinsic JD field has compact first normal derivatives, completed genuine-arrow domains and affine displacement graph bounds. Normalized phase controls, differentiable inverse-module passage, the completed physical graph sum and original Bott +1 remain unproved.

Use Python3.13.9 and Pillow12.2.0. Run python -B draw_common_weight.py --output-dir out; --resources selects the adjacent labelled-geometric-kernel resources if relocated. Compare PNG/SVG with ../../figures/ and COMMON-WEIGHT-CHECKS.json with this folder. The shared resources provide the unchanged font and complete notice, CC0 dedication and Python/Pillow notices. No private files are read.

The generic sequence is selected by the compact derivative inequalities OP.2. The explicit two-row example uses t_n=4^(-n) to illustrate the completed-range theorem. Exact rational intervals enclose all32 blue plot samples using24 additional tail terms; the green curve is the proved bound2/(3m), and the orange coefficient is identically1. OP.6's positive integral, the module adjoints, all domain assertions and all graded solutions are proved in the lesson. Samples do not prove the limits.