{
  "schema": "stable-family-heading-map/v1",
  "maps": [
    {
      "source": "stable-pointed-family-extension.md",
      "sha256": "d6956bc8a9cea625bdb724a9417da853b238c820325b1a1a56503ca659f52b23",
      "bytes": 49526,
      "headings": [
        {
          "heading": "Stable pointed-family extension after a separable projective alteration",
          "line": 1,
          "level": 1,
          "heading_anchor": "stable-pointed-family-extension-after-a-separable-projective-alteration",
          "proof_id": null
        },
        {
          "heading": "1. The extension problem and elliptic tails",
          "line": 9,
          "level": 2,
          "heading_anchor": "1-the-extension-problem-and-elliptic-tails",
          "proof_id": "S1"
        },
        {
          "heading": "2. Constructing the proper stack of unpointed stable curves",
          "line": 31,
          "level": 2,
          "heading_anchor": "2-constructing-the-proper-stack-of-unpointed-stable-curves",
          "proof_id": "S2"
        },
        {
          "heading": "3. Semistable models over the traits needed for properness",
          "line": 56,
          "level": 2,
          "heading_anchor": "3-semistable-models-over-the-traits-needed-for-properness",
          "proof_id": "S3"
        },
        {
          "heading": "4. Automorphisms are detected by invertible level structures",
          "line": 84,
          "level": 2,
          "heading_anchor": "4-automorphisms-are-detected-by-invertible-level-structures",
          "proof_id": "S4"
        },
        {
          "heading": "5. Persistent nodes, connected pieces and the pointed core",
          "line": 115,
          "level": 2,
          "heading_anchor": "5-persistent-nodes-connected-pieces-and-the-pointed-core",
          "proof_id": "S8"
        },
        {
          "heading": "6. The normal level space and compact-type curves",
          "line": 149,
          "level": 2,
          "heading_anchor": "6-the-normal-level-space-and-compact-type-curves",
          "proof_id": "S5"
        },
        {
          "heading": "7. A separable projective scheme cover",
          "line": 188,
          "level": 2,
          "heading_anchor": "7-a-separable-projective-scheme-cover",
          "proof_id": "S6"
        },
        {
          "heading": "8. Normalizing the base and retaining the identifying isomorphism",
          "line": 204,
          "level": 2,
          "heading_anchor": "8-normalizing-the-base-and-retaining-the-identifying-isomorphism",
          "proof_id": "S7"
        },
        {
          "heading": "9. The stable pointed-family extension theorem",
          "line": 224,
          "level": 2,
          "heading_anchor": "9-the-stable-pointed-family-extension-theorem",
          "proof_id": "S9"
        },
        {
          "heading": "10. Foundations, sources and review status",
          "line": 234,
          "level": 2,
          "heading_anchor": "10-foundations-sources-and-review-status",
          "proof_id": "S10"
        },
        {
          "heading": "11. Numerical completion of the long weighted chains",
          "line": 244,
          "level": 2,
          "heading_anchor": "11-numerical-completion-of-the-long-weighted-chains",
          "proof_id": "numerical-completion"
        }
      ]
    },
    {
      "source": "regular-surface-models.md",
      "sha256": "88c60f245834624685624f95e6c63e014f225b33566c449dec5237aafd630653",
      "bytes": 20202,
      "headings": [
        {
          "heading": "Regular surface models and exceptional-curve contraction",
          "line": 1,
          "level": 1,
          "heading_anchor": "regular-surface-models-and-exceptional-curve-contraction",
          "proof_id": null
        },
        {
          "heading": "Exact admitted source and terms",
          "line": 5,
          "level": 2,
          "heading_anchor": "exact-admitted-source-and-terms",
          "proof_id": null
        },
        {
          "heading": "Exact proof locators and dependency map",
          "line": 17,
          "level": 2,
          "heading_anchor": "exact-proof-locators-and-dependency-map",
          "proof_id": null
        },
        {
          "heading": "The precise excellent-trait bridge",
          "line": 38,
          "level": 2,
          "heading_anchor": "the-precise-excellent-trait-bridge",
          "proof_id": null
        },
        {
          "heading": "Main components in normalized pullbacks",
          "line": 50,
          "level": 2,
          "heading_anchor": "main-components-in-normalized-pullbacks",
          "proof_id": null
        },
        {
          "heading": "Routine proof details extracted rather than silently ignored",
          "line": 60,
          "level": 2,
          "heading_anchor": "routine-proof-details-extracted-rather-than-silently-ignored",
          "proof_id": null
        },
        {
          "heading": "Foundations retained, and integration boundary",
          "line": 78,
          "level": 2,
          "heading_anchor": "foundations-retained-and-integration-boundary",
          "proof_id": null
        }
      ]
    }
  ]
}