# Reproduction

*K-theory of the leaf space*, Section11AU, CSB.1–CSB.21. The actual probability coefficient module has an explicit defect-cell unitary complement, parallel confining complementary operator, and genuine full ambient resolvents with compact normal derivatives and the completed normal-domain product rule. Adjoin the parallel vacuum before transporting the genuine affine action. The coefficient class is1_A for A=C0(X). The B-source inverse d_X, original C0(T) balancing, physical sum and Bott+1 still need their respective constructions.

Use Python3.13.9 and Pillow12.2.0. Run python -B draw_coefficient_complement.py --output-dir out; --resources selects the adjacent labelled-geometric-kernel resources if relocated. Compare the PNG/SVG with ../../figures/ and COEFFICIENT-COMPLEMENT-CHECKS.json with this folder. The SVG embeds the unchanged font and complete notice. No private files are read.

Sixteen exact rational geometric-series and Hilbert–Schmidt kernel identities check CSB.9–CSB.10;36 exact rational finite defect-cell unitary matrices check both products and their J/K columns with the terminal carrier retained. These finite matrices verify the cells, not infinite-resolvent norms. Three exact geometric norm computations check CSB.19; at t=1/2, K0 derivative square is32/15 and its complementary resolvent derivative-bound square is1/240 when lambda=256. The graph uses201 numerical evaluations of the proved infinite-column formulas. Its green curve is the proved full derivative upper bound in CSB.20, not an exact norm or a finite-truncation norm.