# Direct transfer and incomplete actual domains

Original mathematical figure and generator expression: CC0 1.0. No external image, text, font bytes or SVG glyph outlines are incorporated. Installed renderer and viewer fonts retain their terms.

Run `python -B generate.py --output-dir generated`, then `node render.cjs generated` using existing Playwright and Chromium installations. Optional PLAYWRIGHT_MODULE and CHROME_EXECUTABLE select those installations. No runtime is bundled.

Exact proof: Theorem 11BN.1, IHT.8–IHT.26, Exercises 294–296. Geometry: R² with (0,0) and (2,0) removed; horizontal leaves; transversal x=-1,1,3. Positive-height arrows h:L→M, g:M→R and gh:L→R have continuation radius |y|. Their radius-feature cost is zero; the relative cost is 1+y⁻². At y=1/2 and 1/4 it is 5 and 17. Zero height has three separate leaves and no cross arrows. The typed transfer uses actual coefficients f_delta in C*max(G) and regular label unitaries in C*r(Gamma); its original-disk restriction and positive Bott pairing are proved in the lesson. Historical context: Ruy Exel, Amenability for Fell bundles, Sections 2–3, https://arxiv.org/abs/funct-an/9604009.