{
  "schema": "AN04-restored-real-principal-proof-map/v1",
  "proofs": [
    {
      "id": "RP:W0",
      "source": "tensor-wavefront-and-projection.md",
      "source_sha256": "0726b6ea1688d8abeeb2eed27e1d697e7a745ad11894f97079ee9fce4aad4009",
      "proof_locator": "For compact localizations",
      "dependencies": [
        "RC:K6",
        "P3:L1",
        "P3:L3",
        "CH:T0"
      ],
      "scope": "Retained AN-03 WF8 full tensor Fourier identity in exact coordinate order"
    },
    {
      "id": "RP:W1",
      "source": "tensor-wavefront-and-projection.md",
      "source_sha256": "0726b6ea1688d8abeeb2eed27e1d697e7a745ad11894f97079ee9fce4aad4009",
      "proof_locator": "Write \\(Z_u=",
      "dependencies": [
        "RP:W0",
        "CH:W1",
        "RC:K6",
        "U001:U001-A4"
      ],
      "scope": "Retained WF9 tensor inclusion, full support and cone comparisons, every smaller cutoff"
    },
    {
      "id": "RP:W2",
      "source": "tensor-wavefront-and-projection.md",
      "source_sha256": "0726b6ea1688d8abeeb2eed27e1d697e7a745ad11894f97079ee9fce4aad4009",
      "proof_locator": "For the original projection",
      "dependencies": [
        "RP:W1",
        "CH:W1",
        "U001:U001-A4",
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS",
        "P3:M4"
      ],
      "scope": "Retained WF10 exact constant-factor equality with the nonzero integrated-test converse"
    },
    {
      "id": "RP:K0",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "For the nonradial model",
      "dependencies": [
        "CH:T0",
        "P3:M4",
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS"
      ],
      "scope": "Signed forward/backward kernels, exact Heaviside derivative and output fundamental identities"
    },
    {
      "id": "RP:K1",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Integration by parts in the input",
      "dependencies": [
        "RP:K0",
        "RC:K6",
        "RC:K7"
      ],
      "scope": "Both input fundamental identities and compact-distribution extension from exact transpose tests"
    },
    {
      "id": "RP:K2",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "The formulas have the indicated",
      "dependencies": [
        "RP:K1",
        "CH:T0",
        "RC:K7",
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS"
      ],
      "scope": "Precise time supports, every transposed derivative and local strong distribution continuity"
    },
    {
      "id": "RP:K3",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "For \\(f\\) supported",
      "dependencies": [
        "RP:K0",
        "P3:M4",
        "P3:M6"
      ],
      "scope": "Whole compact-input to local-output L2 bound with exact interval factors and no unproved trace"
    },
    {
      "id": "RP:F0",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "## 2.",
      "dependencies": [
        "G2:G0"
      ],
      "scope": "Exact twisted diagonal and directed characteristic-flow relations"
    },
    {
      "id": "RP:F1",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "To prove the upper inclusions",
      "dependencies": [
        "RP:F0",
        "RP:W1",
        "RP:W2",
        "CH:W3",
        "P3:L3"
      ],
      "scope": "Full tensor/linear-coordinate upper inclusion and actual output/input covector signs"
    },
    {
      "id": "RP:F2",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Both parts occur.",
      "dependencies": [
        "RP:W2",
        "CH:W1",
        "P3:L1",
        "P3:L3",
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS"
      ],
      "scope": "Every nonzero conormal and diagonal direction; two integrations give explicit remainder and arbitrary nonproduct cutoffs"
    },
    {
      "id": "RP:F3",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "The difference has a simpler relation",
      "dependencies": [
        "RP:K0",
        "RP:F1",
        "RP:F2",
        "OSC:O1",
        "HT:H0",
        "PS:PS5"
      ],
      "scope": "Actual difference kernel, all two-pi factors, minus-one-half order and complete off-diagonal localization"
    },
    {
      "id": "RP:C0",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "## 3.",
      "dependencies": [
        "U001:FTC-TAYLOR-COMPACT-PARAMETERS"
      ],
      "scope": "Signed smooth primitive on an arbitrary open time interval with every derivative"
    },
    {
      "id": "RP:C1",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "For \\(h=v-G\\)",
      "dependencies": [
        "RP:C0",
        "CH:T0",
        "RC:K6",
        "U001:U001-A4",
        "P3:M4"
      ],
      "scope": "Exact zero-integral compact test primitive, transverse distribution and time constancy without traces"
    },
    {
      "id": "RP:C2",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "The equality follows from the retained",
      "dependencies": [
        "RP:C1",
        "RP:W2",
        "CH:W1"
      ],
      "scope": "Full product wavefront equality, actual variable permutation and smooth additive error"
    },
    {
      "id": "RP:T0",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "## 4.",
      "dependencies": [
        "CH:W1",
        "U001:F0-COMP"
      ],
      "scope": "Single compact-tube forcing-regular cone with uniform base, angular and time margins"
    },
    {
      "id": "RP:T1",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Take a smooth order-zero frequency symbol",
      "dependencies": [
        "RP:T0",
        "U001:U001-A4",
        "P2:OP4",
        "P2:OP5"
      ],
      "scope": "Actual proper difference cutoff, frequency/cone cutoffs and exact commuting time operator"
    },
    {
      "id": "RP:T2",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Its full symbol is smoothing",
      "dependencies": [
        "RP:T1",
        "P2:OP4",
        "CH:W4",
        "HT:H8"
      ],
      "scope": "Every amplitude coefficient and full differentiated remainder, exact microsupport and identity on the tube"
    },
    {
      "id": "RP:T3",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Choose an open interval",
      "dependencies": [
        "RP:T0",
        "RP:T1",
        "RP:T2",
        "CH:W4",
        "P2:OP4",
        "RC:K7"
      ],
      "scope": "Compact forcing, separated temporal derivative error and actual smooth derivative on the entire retained cylinder"
    },
    {
      "id": "RP:T4",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "The preceding section gives",
      "dependencies": [
        "RP:T3",
        "RP:C2",
        "CH:W4"
      ],
      "scope": "Microlocal equality at every retained covector and full model propagation for microlocally smooth forcing"
    },
    {
      "id": "RP:P0",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "**Theorem 5.1",
      "dependencies": [
        "RP:T4",
        "K:K3",
        "CH:W4"
      ],
      "scope": "Full real-homogeneous-principal-symbol propagation statement including arbitrary scalar lower terms"
    },
    {
      "id": "RP:P1",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Use a properly supported elliptic",
      "dependencies": [
        "IF:S0",
        "K:K3",
        "CH:W4",
        "G2:G0",
        "G2:NF7"
      ],
      "scope": "Positive global real-order reducers and both inverses, exact Hamilton reparametrization and forcing wavefront equality"
    },
    {
      "id": "RP:P2",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "At a characteristic point",
      "dependencies": [
        "FN:R1",
        "PC:H5",
        "GE:D9",
        "GE:D19",
        "RC:C1",
        "CH:T2"
      ],
      "scope": "Full nonradial marked canonical chart and complete lower-term conjugation with the exact original operator identity"
    },
    {
      "id": "RP:P3",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Use nested cutoffs in the matched cones.",
      "dependencies": [
        "RP:P2",
        "GE:D9",
        "GE:D19",
        "RC:C1",
        "RC:C2",
        "CH:T2"
      ],
      "scope": "Both microlocal wavefront equalities with every graph/separated-cone defect and proper distribution action"
    },
    {
      "id": "RP:P4",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "The remaining characteristic points",
      "dependencies": [
        "FN:R0",
        "G2:G41",
        "G2:NF7",
        "CH:W1",
        "RP:P1"
      ],
      "scope": "Actual zero and radial Hamilton curves, conicity and positive reparametrization for all real orders"
    },
    {
      "id": "RP:P5",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "Consequently regularity and singularity",
      "dependencies": [
        "RP:T4",
        "RP:P0",
        "RP:P1",
        "RP:P3",
        "RP:P4",
        "U001:F0-COMP"
      ],
      "scope": "Full connected forcing-regular bicharacteristic intervals, exact symplectic transport and stopping condition"
    },
    {
      "id": "RP:X1",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "**Exercise 6.1 ",
      "dependencies": [
        "RP:K0",
        "RP:K1",
        "RP:F3"
      ],
      "scope": "Original complete solved Exercise6.1"
    },
    {
      "id": "RP:X2",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "**Exercise 6.2 ",
      "dependencies": [
        "RP:F1",
        "RP:F2",
        "RP:W2",
        "RP:T4"
      ],
      "scope": "Original complete solved Exercise6.2"
    },
    {
      "id": "RP:X3",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "**Exercise 6.3 ",
      "dependencies": [
        "RP:P4",
        "RP:F2",
        "FN:R1"
      ],
      "scope": "Original complete solved Exercise6.3"
    },
    {
      "id": "RP:I0",
      "source": "real-principal-type-kernels-and-propagation.md",
      "source_sha256": "1ca547cecaf2d271ad8275da2d0b5d3b816c6931f68ab89a9dea38d7a36acbd3",
      "proof_locator": "*The upper panel shows",
      "dependencies": [
        "RP:F0",
        "RP:F1",
        "RP:F2",
        "RP:T4",
        "RP:X2"
      ],
      "scope": "Original exact signed-flow projection and forcing boundary, with omitted covectors explicitly described"
    }
  ],
  "earlier_maps": [
    "../20261004-free-stationary-phase/proof-map.json",
    "../20261004-free-intrinsic-graph/proof-map.json",
    "../20261004-free-tangent-zoom/proof-map.json",
    "../20261004-free-canonical-composition/proof-map.json",
    "../20261005-restored-oscillatory/proof-map.json",
    "../20261005-restored-phase-space/proof-map.json",
    "../20261005-restored-phase-equivalence/proof-map.json",
    "../20261005-restored-intrinsic-regularity/proof-map.json",
    "../20261005-restored-tangent-zoom/proof-map.json",
    "../20261005-restored-gaussian-symbols/proof-map.json",
    "../20261005-restored-linear-reduction/proof-map.json",
    "../20261005-restored-analytic-composition/proof-map.json",
    "../20261005-restored-subprincipal-transport/proof-map.json",
    "../20261005-restored-graph-egorov/proof-map.json",
    "../20261005-restored-corank-continuity/proof-map.json",
    "../20261005-restored-submanifolds/proof-map.json",
    "../20261005-restored-cubic-scaling/proof-map.json",
    "../20261005-restored-smooth-descent/proof-map.json",
    "../20261005-restored-simultaneous-reflections/proof-map.json",
    "../20261005-restored-folded-forms/proof-map.json",
    "../20261005-restored-symplectic-reflections/proof-map.json",
    "../20261005-restored-canonical-folds/proof-map.json",
    "../20261005-restored-fold-densities/proof-map.json",
    "../20261005-restored-airy-models/proof-map.json",
    "../20261005-restored-invariant-folds/proof-map.json",
    "../20261005-restored-prescribed-coordinates/proof-map.json",
    "../20261005-restored-clean-pairs/proof-map.json",
    "../20261005-restored-function-normal-forms/proof-map.json",
    "../20261005-restored-quadratic-forms/proof-map.json",
    "../20261005-restored-positive-ideals/proof-map.json",
    "../20261005-restored-complex-fios/proof-map.json",
    "../20261005-restored-maslov-topology/proof-map.json"
  ],
  "transitive_U001_ids": [
    "A0",
    "CLOSED-BALL-CONTRACTION",
    "D0",
    "E0",
    "EXPONENTIAL-TRIGONOMETRIC",
    "F0-ALG",
    "F0-CALC",
    "F0-COMP",
    "F0-COV",
    "F0-DIFF",
    "FTC-TAYLOR-COMPACT-PARAMETERS",
    "I0",
    "J0",
    "L10.1.12",
    "L10.1.13",
    "L10.1.14",
    "L10.1.15",
    "L10.1.2",
    "L10.1.5",
    "L10.1.6",
    "L10.2.2",
    "L10.3.10",
    "L10.3.2",
    "L10.3.7",
    "L10.4.1",
    "L10.4.2",
    "L10.4.3",
    "L10.5.1",
    "L10.5.5",
    "L10.5.9",
    "L10.7.2",
    "L11.4.2",
    "L2.1.10-inc",
    "L2.1.17",
    "L2.2.1",
    "L2.2.11",
    "L2.2.3",
    "L2.2.5",
    "L2.3.2",
    "L2.3.4-upper",
    "L2.3.5",
    "L2.3.8",
    "L2.4.5",
    "L2.6.5",
    "L3.1.7",
    "L3.3.7",
    "L3.3.8",
    "L4.2.2",
    "L4.2.3",
    "L4.2.4",
    "L4.2.6",
    "L5.1.10",
    "L5.1.11",
    "L5.1.13",
    "L5.1.2",
    "L5.1.7",
    "L5.1.8",
    "L5.2.1",
    "L5.2.2",
    "L5.2.4-positive",
    "L5.2.6",
    "L5.2.7",
    "L5.3.1",
    "L5.3.3",
    "L5.3.5",
    "L5.4.1",
    "L5.4.2",
    "L5.5.2-gt1",
    "L5.5.3",
    "L5.5.4",
    "L5.5.5",
    "L7.1.4",
    "L7.1.5",
    "L7.2.19",
    "L7.2.22",
    "L7.2.6",
    "L7.2.9-open",
    "L7.3.11",
    "L7.3.12",
    "L7.3.9",
    "L7.4.10",
    "L7.4.11",
    "L7.4.2",
    "L7.4.4",
    "L7.4.9",
    "L7.5.11",
    "L7.5.12",
    "L7.5.2",
    "L7.5.5",
    "L7.5.6",
    "L7.6.2",
    "L8.1.13",
    "L8.1.14",
    "L8.1.16",
    "L8.1.17",
    "L8.1.18",
    "L8.2.4",
    "L8.2.5",
    "L8.2.6",
    "L8.2.7",
    "L8.2.8",
    "L8.2.9",
    "L8.3.2",
    "L8.3.3",
    "L8.3.5",
    "L8.3.6",
    "L8.3.7",
    "L8.3.9",
    "L8.4.1",
    "L8.4.2",
    "L8.4.6",
    "L8.5.1",
    "L8.5.6",
    "L8.6.2",
    "L9.1.1",
    "M1",
    "M2",
    "P1",
    "P10.1",
    "P10.2",
    "P10.2-typo",
    "P10.3",
    "P10.4",
    "P10.5-rules",
    "P10.6",
    "P10.6-zero",
    "P11.1",
    "P11.2-bridge",
    "P11.2-orders",
    "P12.1",
    "P12.2-criterion",
    "P12.2-upper",
    "P12.3",
    "P12.4",
    "P12.5-endpoints",
    "P12.5-extension",
    "P12.6",
    "P12.7",
    "P13.1",
    "P13.2-mertens",
    "P13.2-series",
    "P14.2-inverse",
    "P14.2-powers",
    "P14.3",
    "P15.1",
    "P15.2",
    "P16.1",
    "P16.2",
    "P16.3",
    "P17.1",
    "P17.2",
    "P17.3",
    "P17.4",
    "P17.4-grid",
    "P17.5-order",
    "P17.5-upper",
    "P18.1",
    "P18.2",
    "P18.3",
    "P18.4",
    "P18.5",
    "P19.1",
    "P19.2",
    "P19.3",
    "P19.4",
    "P2",
    "P20.1",
    "P20.2",
    "P20.3",
    "P20.4",
    "P20.5",
    "P21.1",
    "P21.2",
    "P21.3",
    "P21.4",
    "P21.5",
    "P3",
    "P4",
    "P5",
    "P6.0",
    "P6.1",
    "P6.2",
    "P6.3-inf",
    "P6.3-subtract",
    "P6.3-tail",
    "P6.4-ball",
    "P6.4-complete",
    "P6.5",
    "P6.6",
    "P7",
    "P8-root",
    "P8-smooth",
    "P9.1",
    "P9.2",
    "P9.2-operator",
    "P9.3",
    "P9.4",
    "P9.5",
    "Q1",
    "Q2",
    "Q3",
    "Q4",
    "Q5",
    "Q6",
    "Q9",
    "R0",
    "U001-2.1",
    "U001-3.1",
    "U001-3.2",
    "U001-4.1",
    "U001-5.1",
    "U001-6.1",
    "U001-7.2",
    "U001-A1",
    "U001-A2",
    "U001-A3",
    "U001-A4",
    "U001-A5",
    "U001-A6",
    "U001-DEF"
  ],
  "transitive_earlier_package_ids": [
    "AC:A0",
    "AC:A1",
    "AC:A2",
    "AC:A3",
    "AC:A4",
    "AC:A5",
    "AC:A6",
    "AC:A7",
    "AC:A8",
    "AC:A9",
    "CC:C0",
    "CC:C1",
    "CC:C2",
    "CC:C3",
    "CC:C4",
    "CC:C5",
    "CH:T0",
    "CH:T1",
    "CH:T2",
    "CH:T3",
    "CH:W1",
    "CH:W2",
    "CH:W3",
    "CH:W4",
    "CH:W5",
    "CT:T1",
    "FN:R0",
    "FN:R1",
    "G2:F0",
    "G2:F1",
    "G2:F2",
    "G2:F3",
    "G2:F4",
    "G2:G0",
    "G2:G1",
    "G2:G21",
    "G2:G22",
    "G2:G23",
    "G2:G31",
    "G2:G41",
    "G2:G51",
    "G2:G71",
    "G2:G72",
    "G2:NF0",
    "G2:NF1",
    "G2:NF2",
    "G2:NF3",
    "G2:NF4",
    "G2:NF5",
    "G2:NF6",
    "G2:NF7",
    "GE:D0",
    "GE:D10",
    "GE:D12",
    "GE:D13",
    "GE:D14",
    "GE:D15",
    "GE:D16",
    "GE:D17",
    "GE:D18",
    "GE:D19",
    "GE:D8",
    "GE:D9",
    "GE:G0",
    "GEO:C0",
    "GEO:C1",
    "GEO:C2",
    "GEO:C3",
    "GEO:C4",
    "GEO:C5",
    "GR:G12-forward",
    "GR:G12-reverse",
    "GR:G5",
    "GR:G8",
    "GS:Z0",
    "GS:Z10",
    "GS:Z11",
    "GS:Z12",
    "GS:Z13",
    "GS:Z14",
    "GS:Z2",
    "GS:Z3",
    "GS:Z4",
    "GS:Z5",
    "GS:Z6",
    "GS:Z7",
    "GS:Z8",
    "GS:Z9",
    "HT:H0",
    "HT:H1",
    "HT:H2",
    "HT:H3",
    "HT:H4",
    "HT:H5",
    "HT:H6",
    "HT:H7",
    "HT:H8",
    "IF:S0",
    "IR:R0",
    "IR:R1",
    "IR:R2",
    "IR:R3",
    "IR:R5",
    "IR:R6",
    "IR:R7",
    "IR:R8",
    "K:K0",
    "K:K1",
    "K:K1a",
    "K:K2",
    "K:K3",
    "K:K4",
    "K:K5",
    "K:K6",
    "K:K7",
    "LR:R0",
    "LR:R1",
    "LR:R10",
    "LR:R11",
    "LR:R2",
    "LR:R3",
    "LR:R4",
    "LR:R5",
    "LR:R6",
    "LR:R7",
    "LR:R8",
    "LR:R9",
    "MC:G0",
    "MC:G1",
    "MC:G2",
    "MC:G3",
    "MC:G4",
    "MC:G5",
    "MC:G6",
    "MC:G7",
    "ML:M0",
    "ML:M0a",
    "ML:M1",
    "ML:M2",
    "ML:M3",
    "ML:M4",
    "ML:M5",
    "ML:M6",
    "OSC:O1",
    "OSC:O3",
    "OSC:O4",
    "P1:B1",
    "P1:B2",
    "P1:B3",
    "P1:B4",
    "P1:B5",
    "P1:B6",
    "P2:F1",
    "P2:F2",
    "P2:F3",
    "P2:F4",
    "P2:F5",
    "P2:ML1",
    "P2:ML2",
    "P2:ML3",
    "P2:ML4",
    "P2:ML6",
    "P2:ML7",
    "P2:OP0",
    "P2:OP1",
    "P2:OP2",
    "P2:OP3",
    "P2:OP4",
    "P2:OP5",
    "P2:OP6",
    "P2:QG1",
    "P2:QG2",
    "P2:QG3",
    "P2:QG4",
    "P2:QG5",
    "P2:QG6",
    "P2:QG7",
    "P2:QG8",
    "P3:L1",
    "P3:L2",
    "P3:L3",
    "P3:M0",
    "P3:M1",
    "P3:M2",
    "P3:M3",
    "P3:M4",
    "P3:M5",
    "P3:M6",
    "P3:M7",
    "P3:M8",
    "PC:H0",
    "PC:H1",
    "PC:H2",
    "PC:H3",
    "PC:H4",
    "PC:H5",
    "PC:L0",
    "PC:O0",
    "PC:O1",
    "PC:O2",
    "PC:S0",
    "PH:F0",
    "PH:F1",
    "PH:F2",
    "PH:F3",
    "PH:F4",
    "PH:F5",
    "PH:F6",
    "PH:F6a",
    "PH:F7",
    "PS:PS0",
    "PS:PS1",
    "PS:PS2",
    "PS:PS3",
    "PS:PS4",
    "PS:PS5",
    "PS:PS6",
    "RC:C0",
    "RC:C1",
    "RC:C2",
    "RC:C3",
    "RC:C5",
    "RC:C6",
    "RC:C7",
    "RC:C8",
    "RC:C9",
    "RC:K0",
    "RC:K1",
    "RC:K2",
    "RC:K3",
    "RC:K4",
    "RC:K5",
    "RC:K6",
    "RC:K7",
    "RC:K8",
    "SN:F0",
    "SN:F1",
    "TG:B0",
    "TG:B1",
    "TG:B2",
    "TG:B3",
    "TG:T0",
    "TG:T5",
    "TG:T6",
    "TG:U1",
    "TG:Z2",
    "TZ:E5",
    "TZ:Z0",
    "TZ:Z4",
    "TZ:Z5",
    "TZ:Z6",
    "WM:W0",
    "WM:W1",
    "WM:W2",
    "WM:W3",
    "WM:W4",
    "WM:W5",
    "WM:W6"
  ],
  "external_dependency_policy": {
    "record": "../20261004-free-stationary-phase/external-proof-dependencies.json",
    "notice": "The elementary proof providers have exact earlier-programme routes in C10/C20, with public PDF destinations and editable TeX passages. The author English edition remains available. Human source text and figures stay external to this CC0 export and retain their own terms.",
    "mathematical_proofs_rewritten": false
  }
}