# Component licences

Original AN-01 exposition is dedicated to CC0 1.0. The separate prerequisite components retain their own terms and authorship; the course dedication does not relicense them.

- The independently written AN-03 proof selections carry CC0 1.0 Universal, with their credits and rights notices in [the notices directory](prerequisites/U011-free-foundations/notices/RIGHTS.md). Cited human works retain their own rights.
- The Weierstrass preparation and division reading is original CC0 text by Claude Opus 5.5 (Anthropic), with an algebraic proof of its coefficient recursion by GPT-6 Astra (OpenAI); Demailly's book is cited as further reading.
- Other foundation components state CC0 where applicable. [The component index](ONLINE-PREREQUISITES.md) gives every source and licence.
- The HA-LCA bundle contains CC0 readings, some of which follow Fremlin's arguments and cite him. Fremlin's original source packages and his licence are included unchanged.
- Mathematical typography retains MathJax Apache 2.0 and font notices. The AN-01 readers contain SVG typography; the HA-LCA readers include their local MathJax runtime and fonts.

The included third-party source packages retain their own copyright and licence notices.

The supplied smooth pullback reading contains complete Sections18.1–18.5 of *Detecting regularity without choosing coordinates*. Programme proof authorship: AN-03 course-writing task, OpenAI Codex; CC0 1.0. Selection and prerequisite connections: GPT-6 Astra (OpenAI); CC0 1.0.

The supplied support-geometry reading contains the complete quadratic-contact and nearest-point normal arguments from Sections1 and7 of *Curved weights and the directions in which support can end*. Programme proof authorship: AN-03 course-writing task, OpenAI Codex; CC0 1.0. Selection and prerequisite connections: GPT-6 Astra (OpenAI); CC0 1.0.

The supplied contour identity is the exact selection of AN-04 Section A2 through its cutoff discussion. Original supporting proof: GPT-6 Astra (OpenAI), October 2026; CC0. Its earlier programme dependencies are supplied and retain their own credits.

The supplied parameter-slice reading contains the complete Section18.6 of *Detecting regularity without choosing coordinates*. Programme proof authorship: AN-03 course-writing task, OpenAI Codex; CC0 1.0. Prerequisite connections: GPT-6 Astra (OpenAI); CC0 1.0.

The AN-04 disk-comparison reading is original programme exposition under CC0 1.0 Universal; its attribution accompanies the text.

The AN-04 matrix, contour and Gaussian readings accompanying Virtual critical points and explicit coefficients are original programme exposition under CC0 1.0 Universal; their attributions accompany each reading.

The flow-continuation and parameter-Morse readings accompanying Cubic collisions and uniform amplitudes are original AN-03 and AN-04 programme exposition under CC0 1.0 Universal; their attributions accompany each reading.