{
  "schema": "course-components/v1",
  "course": "AG-QC",
  "components": [
    {
      "id": "independent-teaching",
      "scope": "Independently authored mathematical exposition, examples, exercise solutions and original figures, except identified adaptations",
      "authors": [
        "GPT-6.1 Sol (OpenAI), Codex, Ultra"
      ],
      "licence": "CC0-1.0",
      "url": "https://creativecommons.org/publicdomain/zero/1.0/"
    },
    {
      "id": "demailly-siegel-preparation",
      "scope": "Complex analytic spaces and analytification, Section2, preparation-and-division statement and full germ proof",
      "authors": [
        "Jean-Pierre Demailly",
        "C. L. Siegel (contour argument credited by Demailly)"
      ],
      "source": "Complex Analytic and Differential Geometry, 21 June 2012, II, Theorems2.1 and2.3, pp79–81",
      "source_url": "https://www-fourier.univ-grenoble-alpes.fr/~demailly/manuscripts/agbook.pdf",
      "licence": "Custom OpenContent author permission; outside CC0",
      "terms_url": "https://www-fourier.univ-grenoble-alpes.fr/~demailly/documents.html",
      "changes": "GPT-6.1 Sol (OpenAI), Ultra, reorganized the germ proof, made unit case, multiplicities, joint holomorphicity and uniqueness explicit. Uniform bounded-function estimates are not incorporated."
    },
    {
      "id": "reader-runtime",
      "scope": "Vendored mathematics renderer and MathJax runtime; notices accompany their files",
      "source": "Current Open Mathematics Courses renderer; MathJax3.2.2",
      "licence": "Renderer original programme code; MathJax Apache-2.0 and font notices in assets/mathjax"
    },
    {
      "id": "stacks-stein-construction",
      "scope": "Zariski connectedness and Stein factorization, Appendix A and its use in Theorem6.1",
      "authors": [
        "The Stacks project authors",
        "AI Integrated Stacks Project contributors",
        "GPT-6.1 Sol (OpenAI), Codex, Ultra (adaptation and added arguments)"
      ],
      "licence": "GFDL-1.2-or-later",
      "licence_copy": "COPYING-GFDL-1.2.txt",
      "invariant_sections": [],
      "front_cover_texts": [],
      "back_cover_texts": [],
      "source": "The freely accessible Stacks project and its pinned AI Integrated edition 565b10e987aba5969b21145a0833f42d69f96790; exact constructions are identified in the lesson.",
      "source_url": "https://stacks.math.columbia.edu/",
      "changes": "Programme proofs written out with exact earlier providers; hypotheses, nilpotents and arbitrary-base or unbounded scope retained."
    },
    {
      "id": "stacks-derived-adjoint-construction",
      "scope": "The right adjoint of derived pushforward: adapted denominator, compact-generation, Brown, supported-factorization and duality arguments; Appendix N coherent blowup, strict-transform and Nagata assembly constructions",
      "authors": [
        "The Stacks project authors",
        "AI Integrated Stacks Project contributors",
        "GPT-6.1 Sol (OpenAI), Codex, Ultra (adaptation and added arguments)"
      ],
      "licence": "GFDL-1.2-or-later",
      "licence_copy": "COPYING-GFDL-1.2.txt",
      "invariant_sections": [],
      "front_cover_texts": [],
      "back_cover_texts": [],
      "source": "The freely accessible Stacks project and its pinned AI Integrated edition 565b10e987aba5969b21145a0833f42d69f96790; exact constructions are identified in the lesson.",
      "source_url": "https://stacks.math.columbia.edu/",
      "changes": "Programme proofs written out with exact earlier providers; hypotheses, nilpotents and arbitrary-base or unbounded scope retained. Appendix N supplies protected elimination and dense-valuative proofs and identifies the exact earlier finite-piece and descent boundaries."
    },
    {
      "id": "stacks-conductor-support",
      "scope": "The theorem on formal functions, Appendix Z: conductor coefficients, strong transcendence and the supporting quasi-finite permanence arguments",
      "authors": [
        "The Stacks project authors",
        "AI Integrated Stacks Project contributors",
        "GPT-6.1 Sol (OpenAI), Codex, Ultra (adaptation and added provider arguments)"
      ],
      "source": "algebra.tex, pinned AI Integrated Stacks Project edition 565b10e987aba5969b21145a0833f42d69f96790; exact source components identified in AppendixZ",
      "source_url": "https://github.com/KokunoYumeto/unofficial-stacks-project-ai-drafts/blob/565b10e987aba5969b21145a0833f42d69f96790/algebra.tex",
      "licence": "GFDL-1.2-or-later",
      "licence_copy": "COPYING-GFDL-1.2.txt",
      "invariant_sections": [],
      "front_cover_texts": [],
      "back_cover_texts": [],
      "changes": "Full proofs integrated into the lesson; external proof references replaced by exact earlier programme proofs and the new general polynomial-normality Lemma0.1. Recursive lower algebra audit remains incomplete."
    }
  ]
}