{
  "files": [
    {
      "package_path": "owned/AG-AS/stable-reduction-and-properness.md",
      "package_sha256": "242b51f569663ef135122eb130ab3c877e9889b47f9eebb1d80941c15d9e9b92",
      "sha256": "038029c397eef4c06c6b8e1348e76be1427d7d34f048aa06836e78c4d3fc12f5",
      "course": "AG-AS",
      "actual_read_scope": [
        "Sections1-3 full stabilization and smooth-generic marked uniqueness; Section5 full tricanonical/frame arguments; Sections6 and10 scope"
      ],
      "proof_locators": [
        "Theorem2.3",
        "Theorem3.2: smooth generic curve",
        "Lemma5.1",
        "Proposition5.2",
        "Theorem4.1 is stated, not used as existence proof"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-AS/stable-reduction-and-properness.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-AS/the-stack-of-curves.md",
      "package_sha256": "3dcb027221ceb6a70a5fa289e64cd058673caec180d8c4352b63b8490298c819",
      "sha256": "30122b818099ae89feec59921db77e1d7a92c0021e70b09ce29fd59c091d67c7",
      "course": "AG-AS",
      "actual_read_scope": [
        "Sections4-6 relevant complete nodal obstruction, stability, vector-field and smoothing arguments"
      ],
      "proof_locators": [
        "Section4 Ext obstruction",
        "Section5 numerical stability",
        "Section6.1 automorphisms",
        "Section6.4 simultaneous smoothing"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-AS/the-stack-of-curves.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-AS/algebraic-stacks.md",
      "package_sha256": "8ce0c490dafa7a8615daeceb7188d41e83b7c68ab2a14ab23137669f6d6afd15",
      "sha256": "0b75e51dae1ee7e689176abd3eab96a236c7f27e0c71739668d2ff216caa3f6c",
      "course": "AG-AS",
      "actual_read_scope": [
        "Theorem2.3 full proof, lines92-104",
        "smooth quotient/groupoid proof, lines108-140 and220-239"
      ],
      "proof_locators": [
        "Theorem2.3",
        "Theorem3.2",
        "Proposition5.1"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-AS/algebraic-stacks.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-AS/quotient-and-dm-stacks.md",
      "package_sha256": "7b469fdac8061e22634adb20cd6af39b870dd03f99321b853c57328c8ca6a12c",
      "sha256": "8d60696d9e9d7fbf7a2f6edfc036e617543c0c6fab2315f424c15d153e004435",
      "course": "AG-AS",
      "actual_read_scope": [
        "Theorem2.2 full proof, lines144-195"
      ],
      "proof_locators": [
        "Theorem2.2 unramified diagonal criterion"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-AS/quotient-and-dm-stacks.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-AS/moduli-stacks-are-algebraic.md",
      "package_sha256": "f24940a4f2b7ea8eb33a0efaff45d44181591255ce3bbef0c20f7623f5f447d7",
      "sha256": "4ba67fcb4e3c082bc1fc58ff8e9df5949701b4718e35946f1023322fd5a1747e",
      "course": "AG-AS",
      "actual_read_scope": [
        "Hom/Isom and scope examined during source audit; flat coherent-proof and all-axiom application read, lines249-339",
        "Picard-stack/rigidification proofs read, lines411-482; native 0D2C proof also read"
      ],
      "proof_locators": [
        "Theorems1.1 and5.2 (flat case)",
        "Theorems7.2-7.3",
        "Stated8.2 curve algebraicity is not used"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-AS/moduli-stacks-are-algebraic.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-DFG/proper-fundamental-groups.md",
      "package_sha256": "6540f7bbb4ff4b7a00ac346207d10011a11296f5ccc2badbe80c98ae18b1a557",
      "sha256": "6540f7bbb4ff4b7a00ac346207d10011a11296f5ccc2badbe80c98ae18b1a557",
      "course": "AG-DFG",
      "actual_read_scope": [
        "complete-local Theorem2.1 and finite-etale Stein proof Theorem5.1, including finite-complex splitting, read"
      ],
      "proof_locators": [
        "Theorem2.1 complete Noetherian local",
        "Theorem5.1 proper flat fp geometrically reduced; S.8 avoids arbitrary henselian stated2.2"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-DFG/proper-fundamental-groups.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-GS/abelian-varieties.md",
      "package_sha256": "739ff667ff575e6b2bd76009975f925353da4b368829b29e1da0d27dd7d850eb",
      "sha256": "c9225294735a7240d077f8cc29c141c1d0b0bfa404a9986388a5c373a63fc7d9",
      "course": "AG-GS",
      "actual_read_scope": [
        "full multiplication, torsion and Tate arguments read, lines348-485"
      ],
      "proof_locators": [
        "Theorems6.1-6.2",
        "Theorems7.1-7.2"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-GS/abelian-varieties.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-HP/hilbert-and-quot-schemes.md",
      "package_sha256": "8ee89bbe232e1051c1865622959ab0484e225cdd5c28eb850de1b5f080058374",
      "sha256": "f25adbc8007aa4e5d55560723ed06379c1e855f8db9107a2a609fcd3e6bd02dc",
      "course": "AG-HP",
      "actual_read_scope": [
        "The earlier scoped proof record covers full Sections1–4; this proof uses the exact named Hilbert theorem and current AG-AS frame proof, without claiming a new full Hilbert audit"
      ],
      "proof_locators": [
        "Theorem4.1",
        "Corollary4.2"
      ],
      "terms": "Existing independent course exposition, CC0; all embedded human-source notices retain their distinct terms.",
      "source_identity": "AG-HP/hilbert-and-quot-schemes.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    },
    {
      "package_path": "owned/AG-GS/numerical-completion-NS11a.md",
      "package_sha256": "d2d72aa7ef63e866c5694f09937b26d4446689ec91b5b14846686742a5b8038d",
      "sha256": "ee66b796528fa526e0d1313ef9c2ec817101cd310517111ff2bb9bbf87d97ebb",
      "actual_read_scope": "Full NS.11a and NS.11 proof read; NS.11 unrestricted imperfect-residue claim is not certified. S.3 uses NS.11a plus the algebraically closed residue-field case of the native curve proof.",
      "proof_locators": [
        "Numerical completion NS.11a, lines188-204"
      ],
      "terms": "Independently written private AG-GS exposition; no existing file modified",
      "source_excerpt": "Complete NS.11a, original lines188–204, exact mathematical text",
      "excerpt_sha256": "e23b11c7a5f4239c7f1f45a666a7f4e4af48d103e2d3e2aed398a731d270975a",
      "source_identity": "AG-GS/neron-semistable-additions.md",
      "version_binding": "Exact checked source snapshot SHA256, distinct from mutable course edition exports"
    }
  ],
  "status": "Exact checked course-source snapshots; only stated read scopes are used."
}