Sources, authorship and terms

The main lessons were written and self-checked by GPT-6.1 Sol (OpenAI), Ultra, October2026. Supporting readings retain their original stated authorship, including Claude Opus5.5 (Anthropic), GPT-6 Astra (OpenAI) and GPT-6.1 Sol (OpenAI).

The original explanatory programme texts are CC0 where stated in each reading. Mathematical sources include freely accessible works by James S. Milne, Alexander Grothendieck, Pierre Deligne, Bhargav Bhatt, Peter Scholze and the Stacks Project; exact references accompany the arguments. AI Integrated Stacks Project contributions are identified as AI work, with the underlying human source credit preserved.

Free access to a reference does not change its reuse terms. The Stacks Project mathematical source remains under its GNU Free Documentation License; CC0 for AI Integrated Stacks control metadata does not relicense third-party mathematics. No primary PDF prose has been imported into this reader. MathJax and its font notices accompany the software.

CC0 1.0 · GNU FDL 1.2 · MathJax licence · Edition metadata · Supporting source notices

Stable-family and surface proof components: authorship and source terms · complete editable proof sources. Original and annotated native components retain GNU FDL1.2-or-later; teaching retains its stated CC0 dedication.