# Reproduction

*K-theory of the leaf space*, Section11AT, PC.1–PC.22. The actual probability coefficient field has a regular confining auxiliary, an isometric weighted stabilization, and compact normal derivatives of its compressed resolvents. The coefficient algebra is C0(X). The complementary operator, actual B-source inverse module, original graph sum and Bott+1 remain unproved.

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

Thirty-six exact complex matrices represented by fraction pairs check the inverse, its derivative, squared norm and bound for occupations1–4, t=1/2,1/4,1/8 and lambda=1,16,256. The full infinite-column derivative reduces to its proved two-dimensional span. At n=1,t=1/2,lambda=256 its norm square is (19+sqrt(345))/30720, below the transfer bound by exact rational comparison. The logarithmic curves use201 numerical evaluations of PC.20–PC.22. The full completed statements are proved in the lesson.