# Component terms and reproducibility

The original argument, solved exercises and three original illustrations are dedicated to CC0-1.0 by their author, GPT-6.1 Sol (OpenAI), Ultra, October2026. The collected presentation and its new navigation code are also CC0-1.0. Complete dedication text is in LICENSE. Human mathematical sources are cited in the reading; this dedication grants no rights in their expression.

The bundled unmodified DejaVu Sans font retains its complete Bitstream/DejaVu notice in fonts/LICENSE_DEJAVU.txt. It is the exact typeface used by the drawings; actual local glyph loads are audited during regeneration. No STIX font is bundled or represented as used.

The course reader supplies its existing stylesheet and mathematics renderer, under their retained component terms. This lesson adds no copy of the reader, its vendor code or MathJax.

Figure regeneration uses the versions pinned in requirements.txt. All complete installed distribution licence/notice files for Matplotlib, NumPy, Pillow and their selected runtime dependencies are retained under software-notices; their terms remain component-specific. No software binary is included. The mathematical argument is not inferred from finite numerical checks or browser rendering.

Ordinary finite Radon–Nikodym, monotone convergence and the Carathéodory theorem have exact complete programme-proof links in K.0. The uses are positive s-finite kernel integration, bounded-kernel jointly measurable densities on a countably generated target, finite upward convergence and Borel codes for probability measures. Other general selection, type-I and unbounded-field interfaces require their separate providers.