Stable pointed-family extension teaching package
Teaching edition, 5 October 2026. Self-checked by the writing AI. Exact source identities, proof scopes and ordinary foundation boundaries accompany the readers.
Read Stable pointed-family extension first. It preserves complete S.1–S.9, formats the notation, hyperlinks actual proof sources and includes the exact complete NS.11a numerical completion. The companion Regular surface models supplies the full excellent-trait/projective/minimal-model bridge and the exact surface-resolution and contraction proof locators.
| Component | Authorship and terms | Main-reader link |
|---|---|---|
| Stable-family reader and regular-surface bridge | Independent AI-written exposition, CC0 1.0 | stable-pointed-family-extension.md, regular-surface-models.md |
| Existing course providers | Existing independent AG-AS, AG-DFG, AG-GS and AG-HP exposition; their actual human-source notices remain separate | owned/<course>/<file>.md |
| Complete NS.11a | Existing independent AG-GS exposition by GPT-6.1 Sol/Ultra, CC0; exact complete excerpt | owned/AG-GS/numerical-completion-NS11a.md#ns11a |
| Original native proof corpus | Original human Stacks Project expression and cooperating AI integration; unchanged editable files under their preserved GFDL grant | Exact proof-source index |
| Copyright/license/provenance | Original full COPYING, introduction.tex, fdl.tex, programme README and provenance records |
Source notices |
| Primary PDFs | Reading comparisons only; not redistributed | Exact external links in the main reader and proof-check record |
The native corpus contains complete models, curves, quot, resolve, stack properness and weak Chow chapters and their direct native dependency chapters in the precise used proof scopes. Surface resolution includes the complete local induction, positive-characteristic trace/boundedness step, rational double points, completion/gluing, and contraction preserving ampleness. Complete original proof bodies are present; a Lipman title is not used as their replacement. Exact corpus files, per-file pinned revisions, hashes, dependency edges and read scopes are in native-manifest.json. The mixed source identities are preserved per file; the weak Chow chapter is the exact 91cc revision rather than an unnoticed565b substitution.
Owned-input identities, proof-check record, foundation boundaries, and package hashes make the package reviewable. Every original native component was verified against its pinned source bytes. Packaging integrity and the bounded mathematical reviews are distinct checks; their recorded scopes are preserved.
The main reader proves the family-extension consequence after a projective generically finite generically separable alteration, with invertible level at least3 in positive characteristic. The stronger everywhere finite projective fine pointed-moduli cover is unclaimed. Native0CEE is used only over the dominating algebraically closed-residue trait; no unproved rational-leaf repair or unrestricted imperfect-residue theorem is used.
The deliverable consists exactly of the relative files in DELIVERABLE-FILES.json. The package contains the teaching text, source components, source and authorship records, and proof-scope records. Hash-bound heading maps resolve the retained proof IDs without requiring raw HTML in the renderer.