# Reproduction

*K-theory of the leaf space*, Section 11AZ. PES.1–PES.19. The positive-evaluation shift retains its graded source and genuine action through one whole-base homotopy. Its bounded anchored product with the proved lift represents d_X. Twenty-four rational arrow tests, four grading tests and four finite boundary tests are exact; the finite index is zero and does not certify the infinite coefficient-class multiplicity. Normal-compatible inverse domains and the physical graph sum require additional proofs.

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