Source notices and authorship

The unchanged original source in native/ is an excerpted corpus from the unofficial AI Integrated Stacks programme. Its original Stacks Project text is the work of the Stacks Project authors; the preserved source copyright grant names Johan de Jong. Surface-resolution exposition follows Joseph Lipman and Michael Artin, as its original bibliography and introduction state. The unofficial derivative's additions and integration beyond pinned upstream are written by cooperating AI agents. The Stacks Project and its maintainers have not reviewed, approved or endorsed those additions.

The source's grant is preserved verbatim in introduction.tex:

Copyright (C) 2005 -- 2025 Johan de Jong
Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License,
Version 1.2 or any later version published by the Free Software
Foundation; with no Invariant Sections, no Front-Cover Texts,
and no Back-Cover Texts. A copy of the license is included in
the section entitled "GNU Free Documentation License".

The complete unchanged GNU Free Documentation License, its original editable license chapter, the original provenance record and original programme README are included. These are full exact files with hashes and pinned revisions in native-manifest.json. Original native mathematical expression is governed by that GFDL grant and is not relabelled AI-original CC0. The present package copies the listed sources without modification.

The new readers, packaging manifest, proof indexes and bridge explanations are independent AI-authored exposition under CC0 1.0, subject to the rights the contributors control. Their source citations do not relicense the cited human expression. The separately copied existing course providers retain their own source notices and terms.

The complete numerical completion NS.11a is the existing independently authored AG-GS writer's CC0 exposition. Its existing author-workflow metadata records GPT-6.1 Sol at Ultra. It is credited to that actual workflow; no human author is inferred or invented. The native classification and heart bound underlying the completion retain their original GFDL terms.

Human primary comparisons are Pierre Deligne and David Mumford, The irreducibility of the space of curves of given genus, Theorem(1.13), printed pp.85–87; Pierre Deligne, Le lemme de Gabber, §§3.2–3.7; and A. Johan de Jong, Smoothness, semi-stability and alterations, §2.24. Freely accessible source links and exact reading scopes remain in proof-check-record.json. No source PDF is redistributed by this package and free reading is not represented as redistribution permission.

Self-checked by the writing AI.