{
  "groups": [
    {
      "tag": "6070D2D83EC6",
      "title": "Plurisubharmonic functions",
      "note": "The same line-restriction definition, including dimension zero. Source explanations and numbered clauses remain available.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "2C78F54E",
          "label": "def:plurisubharmonic",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "8C5B3349",
          "label": "def:psh",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "5458CA6608A5",
      "title": "Pluripolar sets",
      "note": "One local pluripolarity definition. The source versions also introduce different related terminology, including global pluripolarity, quasi-everywhere statements, and co-pluripolar sets.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "F36A6386",
          "label": "def:pluripolar-set",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "D913BC74",
          "label": "def:pluripolarsets",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "09A00D4B8096",
      "title": "Plurifine topology",
      "note": "The same topology presented on domains and then in charts on a complex manifold. Foundations additionally defines plurithinness; its full source statement is retained.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "72538684",
          "label": "def:plurifine-topology",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "B73BD95E",
          "label": "def:pftopologydomain",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "B02DEC51",
          "label": "def:pftopologygeneral",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "990C506B7D25",
      "title": "Multiplier ideals",
      "note": "One local-integrability construction with source-specific scopes: weights and componentwise minus-infinity values in Foundations, plurisubharmonic functions in SGPT, and quasi-plurisubharmonic functions in the Hermitian text. Each scope is retained below.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "AF52C922",
          "label": "def:multiplier-ideal",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "EEA5FA9D",
          "label": "def:pshfunctions:L1122",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "non-kahler-pluripotential-theory",
          "tag": "AF52C922",
          "label": "def:multiplier-ideal",
          "revision": "9d4f324ca55f5db30f60825aba5733ecd24a42b5"
        }
      ]
    },
    {
      "tag": "6A7E913297D5",
      "title": "Analytic and neat analytic singularities",
      "note": "The same rational-coefficient analytic-singularity definition. The source versions retain their local presentations, type notation, and explanatory footnotes.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "CA227B47",
          "label": "def:rational-analytic-singularities",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "12245B78",
          "label": "def:neatanasing",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "165F88FAE668",
      "title": "Quasi-equisingular approximation",
      "note": "The same definition in the compact Kähler setting. Decrease of the approximants makes the multiplier-ideal condition at one index equivalent to the condition at all sufficiently large indices.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "1D230DC5",
          "label": "def:quasi-equisingular-approximation",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "4C7BF32B",
          "label": "def:quasiequsing",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "F80B4C1B3032",
      "title": "Rooftop envelopes",
      "note": "The same rooftop construction in the closed Kähler setting, with different notation. Both source versions retain the convention for an identically minus-infinity input.",
      "sources": [
        {
          "book": "foundations-of-pluripotential-theory",
          "tag": "D99E4099",
          "label": "def:rooftop-envelope",
          "revision": "da2be417c7b38b386d0b688251cf4978df94d682"
        },
        {
          "book": "sgpt",
          "tag": "A430B5F7",
          "label": "def:rooftop",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "3E4D57445698",
      "title": "Singularity order and singularity types",
      "note": "The same bounded-shift preorder on quasi-plurisubharmonic functions on a compact manifold. The Hermitian source distinguishes ordinary type from multiplier-ideal type.",
      "sources": [
        {
          "book": "sgpt",
          "tag": "410CBDE6",
          "label": "def:parorder",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "non-kahler-pluripotential-theory",
          "tag": "478DCB81",
          "label": "def:singularity-order",
          "revision": "9d4f324ca55f5db30f60825aba5733ecd24a42b5"
        }
      ]
    },
    {
      "tag": "923345ACA44A",
      "title": "Almost semigroups generating the lattice",
      "note": "The definition is repeated in the main chapter and the appendix. One entry retains both source locations.",
      "sources": [
        {
          "book": "sgpt",
          "tag": "C5989909",
          "label": "def:almostsg:L284",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "33283DB1",
          "label": "def:Okounkov:L69",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "37D86D761E81",
      "title": "Volume and Hausdorff convergence for almost semigroups",
      "note": "The same theorem appears in the main chapter and the appendix. The appendix version with its proof is displayed first.",
      "sources": [
        {
          "book": "sgpt",
          "tag": "D2CDA8AC",
          "label": "thm:HausOkounapp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "289292E3",
          "label": "thm:HausOkoun",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "4E701FB8EA13",
      "title": "Volwvoldelta",
      "note": "",
      "sources": [
        {
          "book": "sgpt",
          "tag": "2715D784",
          "label": "eq:volWvolDelta",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "87D575E8",
          "label": "eq:volWvolDeltaapp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "A57FF2EE0305",
      "title": "Hausconvdeltagls",
      "note": "",
      "sources": [
        {
          "book": "sgpt",
          "tag": "8877D026",
          "label": "eq:HausconvDeltaGLS",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "26220118",
          "label": "eq:HausconvDeltaGLSapp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "9FB3E8CE18F7",
      "title": "The semigroup distance formula",
      "note": "The same corollary appears in the main chapter and the appendix. The appendix proof is retained.",
      "sources": [
        {
          "book": "sgpt",
          "tag": "6A0E7DEB",
          "label": "cor:distapp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "CFA8D66F",
          "label": "cor:dist",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "511230BE9AE5",
      "title": "Inclusion of Okounkov bodies",
      "note": "The same corollary appears in the main chapter and the appendix. The appendix proof is retained.",
      "sources": [
        {
          "book": "sgpt",
          "tag": "A2E8430D",
          "label": "cor:Okocompapp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "EF7FDE10",
          "label": "cor:Okocomp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    },
    {
      "tag": "4552E8E96799",
      "title": "Deltacontain",
      "note": "",
      "sources": [
        {
          "book": "sgpt",
          "tag": "58D6F61D",
          "label": "eq:Deltacontain",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        },
        {
          "book": "sgpt",
          "tag": "05411EE8",
          "label": "eq:Deltacontainapp",
          "revision": "8d91069847dd7aa76034e6a97dddc7dba191437a"
        }
      ]
    }
  ],
  "duplicate_entries_unified": 17,
  "numbered_clauses_in_parent_statements": 405,
  "source_tags": 6426,
  "canonical_entries": 5957
}