{
  "schema": "bott-and-weyl-traces-readings/v1",
  "readings": [
    {
      "id": "AN03-U033",
      "title": "The Bott operator, suspension, and reduction of the index to Euclidean space",
      "source": "src/bott-suspension.md",
      "reader": "bott-suspension.html",
      "tex": "tex/bott-suspension.tex",
      "pdf": "pdf/bott-suspension.pdf",
      "license": "CC0-1.0",
      "role": "principal lesson",
      "heading_aliases": [
        {
          "line": 1,
          "heading": "The Bott operator, suspension, and reduction of the index to Euclidean space",
          "ids": [
            "the-bott-operator-suspension-and-reduction-of-the-index-to-euclidean-space"
          ],
          "level": 1
        },
        {
          "line": 20,
          "ids": [
            "AN03-BOT-001",
            "1-conventions-and-background",
            "conventions-and-background"
          ],
          "heading": "1. Conventions and background",
          "level": 2
        },
        {
          "line": 22,
          "heading": "Conventions",
          "ids": [
            "conventions"
          ],
          "level": 3
        },
        {
          "line": 42,
          "heading": "Proofs used from earlier lessons",
          "ids": [
            "proofs-used-from-earlier-lessons"
          ],
          "level": 3
        },
        {
          "line": 110,
          "ids": [
            "AN03-BOT-002",
            "2-the-model-x-d-dx-on-the-line",
            "the-model-xddx-on-the-line"
          ],
          "heading": "2. The model \\(x+d/dx\\) on the line",
          "level": 2
        },
        {
          "line": 150,
          "ids": [
            "AN03-BOT-003",
            "3-the-exterior-algebra-and-the-odd-even-symbol-p-w",
            "the-exterior-algebra-and-the-oddeven-symbol-pw"
          ],
          "heading": "3. The exterior algebra and the odd–even symbol \\(p(w)\\)",
          "level": 2
        },
        {
          "line": 222,
          "ids": [
            "AN03-BOT-004",
            "4-the-bott-oscillator-p-x-id",
            "the-bott-oscillator-pxid"
          ],
          "heading": "4. The Bott oscillator \\(p(x+iD)\\)",
          "level": 2
        },
        {
          "line": 309,
          "ids": [
            "AN03-BOT-005",
            "5-lowering-the-order-to-zero",
            "lowering-the-order-to-zero"
          ],
          "heading": "5. Lowering the order to zero",
          "level": 2
        },
        {
          "line": 415,
          "ids": [
            "AN03-BOT-006",
            "6-a-truncation-that-is-uniform-in-the-product-metric",
            "a-truncation-that-is-uniform-in-the-product-metric"
          ],
          "heading": "6. A truncation that is uniform in the product metric",
          "level": 2
        },
        {
          "line": 479,
          "ids": [
            "AN03-BOT-007",
            "7-the-bott-operator",
            "the-bott-operator"
          ],
          "heading": "7. The Bott operator",
          "level": 2
        },
        {
          "line": 605,
          "ids": [
            "AN03-BOT-008",
            "8-the-bott-operator-on-the-sphere",
            "the-bott-operator-on-the-sphere"
          ],
          "heading": "8. The Bott operator on the sphere",
          "level": 2
        },
        {
          "line": 652,
          "ids": [
            "AN03-BOT-009",
            "9-the-suspension-theorem",
            "the-suspension-theorem"
          ],
          "heading": "9. The suspension theorem",
          "level": 2
        },
        {
          "line": 700,
          "ids": [
            "AN03-BOT-010",
            "10-proof-of-the-suspension-theorem",
            "proof-of-the-suspension-theorem"
          ],
          "heading": "10. Proof of the suspension theorem",
          "level": 2
        },
        {
          "line": 812,
          "ids": [
            "AN03-BOT-011",
            "11-making-the-symbol-trivial-near-fibre-infinity",
            "making-the-symbol-trivial-near-fibre-infinity"
          ],
          "heading": "11. Making the symbol trivial near fibre infinity",
          "level": 2
        },
        {
          "line": 841,
          "ids": [
            "AN03-BOT-012",
            "12-embeddings-tubular-neighbourhoods-and-stable-complements",
            "embeddings-tubular-neighbourhoods-and-stable-complements"
          ],
          "heading": "12. Embeddings, tubular neighbourhoods and stable complements",
          "level": 2
        },
        {
          "line": 910,
          "ids": [
            "AN03-BOT-013",
            "13-reduction-of-the-manifold-index-to-a-euclidean-operator",
            "reduction-of-the-manifold-index-to-a-euclidean-operator"
          ],
          "heading": "13. Reduction of the manifold index to a Euclidean operator",
          "level": 2
        },
        {
          "line": 960,
          "heading": "The exact comparison of two extension choices",
          "ids": [
            "the-exact-comparison-of-two-extension-choices"
          ],
          "level": 3
        },
        {
          "line": 1018,
          "ids": [
            "AN03-BOT-014",
            "14-exercises",
            "exercises"
          ],
          "heading": "14. Exercises",
          "level": 2
        },
        {
          "line": 1053,
          "ids": [
            "AN03-BOT-015",
            "15-editorial-comparisons-on-the-original-graph-domain",
            "editorial-comparisons-on-the-original-graph-domain"
          ],
          "heading": "15. Editorial comparisons on the original graph domain",
          "level": 2
        },
        {
          "line": 1055,
          "heading": "Reality of the kernel pairing",
          "ids": [
            "reality-of-the-kernel-pairing"
          ],
          "level": 3
        },
        {
          "line": 1081,
          "heading": "An exact strengthening of the full-form upper bound",
          "ids": [
            "an-exact-strengthening-of-the-full-form-upper-bound"
          ],
          "level": 3
        },
        {
          "line": 1131,
          "heading": "The endpoint description in Exercise 14.4",
          "ids": [
            "the-endpoint-description-in-exercise-144",
            "the-endpoint-description-in-exercise-14.4"
          ],
          "level": 3
        },
        {
          "line": 1171,
          "heading": "Sharp constants on the two original parity domains",
          "ids": [
            "sharp-constants-on-the-two-original-parity-domains"
          ],
          "level": 3
        },
        {
          "line": 1240,
          "ids": [
            "AN03-BOT-016",
            "16-keeping-the-original-symbol-through-suspension",
            "keeping-the-original-symbol-through-suspension"
          ],
          "heading": "16. Keeping the original symbol through suspension",
          "level": 2
        },
        {
          "line": 1391,
          "heading": "Where this leads",
          "ids": [
            "where-this-leads"
          ],
          "level": 2
        },
        {
          "line": 1399,
          "heading": "17. Editorial prerequisite appendix: exact receiving proofs",
          "ids": [
            "editorial-prerequisite-appendix-exact-receiving-proofs"
          ],
          "level": 2
        },
        {
          "line": 1405,
          "heading": "17.1. The full split metric in Fact 1.9",
          "ids": [
            "the-full-split-metric-in-fact-1.9",
            "AN03-BOTT-P261-1"
          ],
          "level": 3
        },
        {
          "line": 1512,
          "heading": "17.2. Fact 1.17: inverses, full supports and Green's formula",
          "ids": [
            "fact-1.17-inverses-full-supports-and-greens-formula",
            "AN03-BOTT-P261-2"
          ],
          "level": 3
        },
        {
          "line": 1599,
          "heading": "17.3. Fact 1.18: the full Hilbert receiver and compact kernel map",
          "ids": [
            "fact-1.18-the-full-hilbert-receiver-and-compact-kernel-map",
            "AN03-BOTT-P261-3"
          ],
          "level": 3
        },
        {
          "line": 1657,
          "heading": "17.4. Fact 1.19: convergence and uniform compactness",
          "ids": [
            "fact-1.19-convergence-and-uniform-compactness",
            "AN03-BOTT-P261-4"
          ],
          "level": 3
        },
        {
          "line": 1684,
          "heading": "17.5. Fact 1.20: every zero-gradient distribution is constant",
          "ids": [
            "fact-1.20-every-zero-gradient-distribution-is-constant",
            "AN03-BOTT-P261-5"
          ],
          "level": 3
        },
        {
          "line": 1727,
          "heading": "References",
          "ids": [
            "references"
          ],
          "level": 2
        }
      ],
      "author_self_checked": true,
      "independent_review_claimed": false,
      "source_sha256": "ad2de9c4bd81099d4296b118b850a16d406f2b16488bd2f7ae0d839079ee94b9",
      "historical_reader_source_sha256": "7db7415fd7f4da302c5b537bc618d6177ee85a40fc4b52e52086922e6b18687e",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "ad2de9c4bd81099d4296b118b850a16d406f2b16488bd2f7ae0d839079ee94b9",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "accepted_writer_proof_record_sha256": "781fb29a3b453b9f8fb23e69ec4b4530c4fdcb4dd5144c36a954d0827e437dd6",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "c0044660fb006bc55ee0769aec66d27d8d882d0e67e308eff5d52ad5860bec12",
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true,
      "tex_sha256": "d2b4e20b4e3c8ce84d3ae0c957146ecfc1d189bc2327d0f27ed2e34a5c2f14db",
      "pdf_sha256": "6b66ef7b0e062a26613ab5e2ac8b547c2b2b9bd7510aed3a10891d3653f35a3c",
      "pdf_pages": 46,
      "public_PDF_prerequisite_routes_current": true
    },
    {
      "id": "AN03-U037",
      "title": "Weyl kernels, operator traces, and a finite trace-class test",
      "source": "src/weyl-trace-criterion.md",
      "reader": "weyl-trace-criterion.html",
      "tex": "tex/weyl-trace-criterion.tex",
      "pdf": "pdf/weyl-trace-criterion.pdf",
      "license": "CC0-1.0",
      "role": "principal lesson",
      "pdf_pages": 13,
      "heading_aliases": [
        {
          "line": 9,
          "heading": "1. Hilbert–Schmidt maps and their complete kernels",
          "ids": [
            "AN03-WTC-001",
            "1-hilbert-schmidt-maps-and-their-complete-kernels",
            "hilbertschmidt-maps-and-their-complete-kernels"
          ],
          "level": 2
        },
        {
          "line": 36,
          "heading": "2. The exact Weyl factor",
          "ids": [
            "AN03-WTC-002",
            "2-the-exact-weyl-factor",
            "the-exact-weyl-factor"
          ],
          "level": 2
        },
        {
          "line": 59,
          "heading": "3. Continuous trace-class kernels and their diagonal",
          "ids": [
            "AN03-WTC-003",
            "3-continuous-trace-class-kernels-and-their-diagonal",
            "continuous-trace-class-kernels-and-their-diagonal"
          ],
          "level": 2
        },
        {
          "line": 92,
          "heading": "4. The trace of an integrable Weyl symbol",
          "ids": [
            "AN03-WTC-004",
            "4-the-trace-of-an-integrable-weyl-symbol",
            "the-trace-of-an-integrable-weyl-symbol"
          ],
          "level": 2
        },
        {
          "line": 153,
          "heading": "5. The full finite seminorm and the claim",
          "ids": [
            "AN03-WTC-005",
            "5-the-full-finite-seminorm-and-the-claim",
            "the-full-finite-seminorm-and-the-claim"
          ],
          "level": 2
        },
        {
          "line": 174,
          "heading": "6. Oscillator eigenvectors and the Hilbert–Schmidt inverse",
          "ids": [
            "AN03-WTC-006",
            "6-oscillator-eigenvectors-and-the-hilbert-schmidt-inverse",
            "oscillator-eigenvectors-and-the-hilbertschmidt-inverse"
          ],
          "level": 2
        },
        {
          "line": 213,
          "heading": "7. The integer oscillator graph estimate",
          "ids": [
            "AN03-WTC-007",
            "7-the-integer-oscillator-graph-estimate",
            "the-integer-oscillator-graph-estimate"
          ],
          "level": 2
        },
        {
          "line": 247,
          "heading": "8. Original Weyl symbol under each output weight",
          "ids": [
            "AN03-WTC-008",
            "8-original-weyl-symbol-under-each-output-weight",
            "original-weyl-symbol-under-each-output-weight"
          ],
          "level": 2
        },
        {
          "line": 286,
          "heading": "9. Factorization, density, and the actual trace",
          "ids": [
            "AN03-WTC-009",
            "9-factorization-density-and-the-actual-trace",
            "factorization-density-and-the-actual-trace"
          ],
          "level": 2
        },
        {
          "line": 322,
          "heading": "10. Worked example: a rationally decaying matrix symbol",
          "ids": [
            "AN03-WTC-010",
            "10-worked-example-a-rationally-decaying-matrix-symbol",
            "worked-example-a-rationally-decaying-matrix-symbol"
          ],
          "level": 2
        },
        {
          "line": 357,
          "heading": "The exact trace-class threshold of the same rational symbol",
          "ids": [
            "the-exact-trace-class-threshold-of-the-same-rational-symbol"
          ],
          "level": 3
        },
        {
          "line": 430,
          "heading": "11. Exercises and complete solutions",
          "ids": [
            "AN03-WTC-011",
            "11-exercises-and-complete-solutions",
            "exercises-and-complete-solutions"
          ],
          "level": 2
        },
        {
          "line": 454,
          "heading": "12. Antecedent",
          "ids": [
            "AN03-WTC-012",
            "12-antecedent",
            "antecedent"
          ],
          "level": 2
        },
        {
          "line": 459,
          "heading": "13. Complete differentiation and integral inputs",
          "ids": [
            "complete-differentiation-and-integral-inputs"
          ],
          "level": 2
        },
        {
          "line": 463,
          "heading": "13.1. A norm-valued differentiation proof",
          "ids": [
            "a-norm-valued-differentiation-proof"
          ],
          "level": 3
        },
        {
          "line": 523,
          "heading": "13.2. The full Gamma and radial integrals",
          "ids": [
            "the-full-gamma-and-radial-integrals"
          ],
          "level": 3
        },
        {
          "line": 573,
          "heading": "13.3. The rectangular Weyl receiver",
          "ids": [
            "the-rectangular-weyl-receiver"
          ],
          "level": 3
        },
        {
          "line": 587,
          "heading": "13.4. The exact oscillator domains and series receivers",
          "ids": [
            "the-exact-oscillator-domains-and-series-receivers"
          ],
          "level": 3
        }
      ],
      "author_self_checked": true,
      "independent_review_claimed": false,
      "source_sha256": "f834cb3767d27369423e1247dd2ef4ec159882249a32d8fe5143c1b394b843c0",
      "tex_sha256": "685162a10016b4d33dfb45f4f4678ebd7c85a96d19b68b1f1e73dfa5d99c06d0",
      "pdf_sha256": "41e0efbecbd067b77785ed6ca2e2ac83994866a6667c1560b01d9b4673088bdd",
      "historical_reader_source_sha256": "547822f890156e0d18423d7d41e09faff90c0352a7752c5972a1d7b92c4316e3",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "f834cb3767d27369423e1247dd2ef4ec159882249a32d8fe5143c1b394b843c0",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "accepted_writer_proof_record_sha256": "0cbbff39fd7e70470c4874dcf12644b2ef2f00a61fa5071e6039a6261c340b3a",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "193e9dbef4ec54a43b30299ef8c0a26b1ef101fe9ef4be01414e5040bcef3360",
      "public_PDF_prerequisite_routes_current": true,
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true
    },
    {
      "id": "AN03-U018",
      "title": "When a moving symbol scale controls an operator",
      "source": "src/metric-operator-bounds.md",
      "reader": "metric-operator-bounds.html",
      "tex": "tex/metric-operator-bounds.tex",
      "pdf": "pdf/metric-operator-bounds.pdf",
      "license": "CC0-1.0",
      "role": "full operative prerequisite",
      "heading_aliases": [
        {
          "line": 1,
          "ids": [
            "when-a-moving-symbol-scale-controls-an-operator"
          ],
          "heading": "When a moving symbol scale controls an operator",
          "level": 1
        },
        {
          "line": 33,
          "ids": [
            "AN03-MOB-001",
            "an03-mob-001-coefficients-and-the-precise-calculus-interface",
            "1-coefficient-calculus-and-its-domains",
            "coefficient-calculus-and-its-domains"
          ],
          "heading": "1. Coefficient calculus and its domains",
          "level": 2
        },
        {
          "line": 126,
          "ids": [
            "AN03-MOB-002",
            "an03-mob-002-a-local-bound-without-a-preferred-ellipsoid",
            "2-a-local-bound-without-a-preferred-ellipsoid",
            "a-local-bound-without-a-preferred-ellipsoid"
          ],
          "heading": "2. A local bound without a preferred ellipsoid",
          "level": 2
        },
        {
          "line": 145,
          "ids": [
            "AN03-MOB-003",
            "an03-mob-003-summation-from-two-interaction-matrices",
            "3-summation-with-two-interaction-matrices",
            "summation-with-two-interaction-matrices"
          ],
          "heading": "3. Summation with two interaction matrices",
          "level": 2
        },
        {
          "line": 171,
          "ids": [
            "AN03-MOB-004",
            "an03-mob-004-what-compactness-of-every-subseries-forces",
            "4-what-compactness-of-subseries-forces",
            "what-compactness-of-subseries-forces"
          ],
          "heading": "4. What compactness of subseries forces",
          "level": 2
        },
        {
          "line": 195,
          "ids": [
            "AN03-MOB-005",
            "an03-mob-005-counting-pairs-of-metric-neighborhoods",
            "5-counting-metric-neighborhoods",
            "counting-metric-neighborhoods"
          ],
          "heading": "5. Counting metric neighborhoods",
          "level": 2
        },
        {
          "line": 227,
          "ids": [
            "AN03-MOB-006",
            "an03-mob-006-mixed-products-lose-size-when-their-centers-separate",
            "6-products-with-separated-centers",
            "products-with-separated-centers"
          ],
          "heading": "6. Products with separated centers",
          "level": 2
        },
        {
          "line": 267,
          "ids": [
            "AN03-MOB-007",
            "an03-mob-007-boundedness-uniform-over-hilbert-coefficient-spaces",
            "7-uniform-hilbert-space-boundedness",
            "uniform-hilbert-space-boundedness"
          ],
          "heading": "7. Uniform Hilbert-space boundedness",
          "level": 2
        },
        {
          "line": 284,
          "ids": [
            "AN03-MOB-008",
            "an03-mob-008-symplectic-axes-for-an-arbitrary-positive-form",
            "8-symplectic-axes-of-a-positive-form",
            "symplectic-axes-of-a-positive-form"
          ],
          "heading": "8. Symplectic axes of a positive form",
          "level": 2
        },
        {
          "line": 302,
          "ids": [
            "AN03-MOB-009",
            "an03-mob-009-a-detectable-probe-when-parameters-collapse",
            "9-probes-when-parameters-collapse",
            "probes-when-parameters-collapse"
          ],
          "heading": "9. Probes when parameters collapse",
          "level": 2
        },
        {
          "line": 333,
          "ids": [
            "AN03-MOB-010",
            "an03-mob-010-the-boundedness-criterion-for-a-whole-class",
            "10-a-boundedness-criterion-for-the-whole-class",
            "a-boundedness-criterion-for-the-whole-class"
          ],
          "heading": "10. A boundedness criterion for the whole class",
          "level": 2
        },
        {
          "line": 352,
          "ids": [
            "AN03-MOB-011",
            "an03-mob-011-compactness-and-its-coefficient-boundary",
            "11-compactness-and-coefficient-spaces",
            "compactness-and-coefficient-spaces"
          ],
          "heading": "11. Compactness and coefficient spaces",
          "level": 2
        },
        {
          "line": 382,
          "ids": [
            "compact-coefficients-in-hilbert-spaces-of-any-dimension"
          ],
          "heading": "Compact coefficients in Hilbert spaces of any dimension",
          "level": 3
        },
        {
          "line": 446,
          "ids": [
            "AN03-MOX-001",
            "an03-mox-001-examples-that-keep-the-quantifiers-visible",
            "12-worked-examples",
            "worked-examples"
          ],
          "heading": "12. Worked examples",
          "level": 2
        },
        {
          "line": 456,
          "ids": [
            "AN03-MOP-001",
            "an03-mop-001-exercises-with-complete-solutions",
            "13-exercises-and-solutions",
            "exercises-and-solutions"
          ],
          "heading": "13. Exercises and solutions",
          "level": 2
        },
        {
          "line": 482,
          "ids": [
            "references-and-research-routes",
            "references"
          ],
          "heading": "References",
          "level": 2
        },
        {
          "line": 488,
          "heading": "Further questions",
          "ids": [
            "further-questions"
          ],
          "level": 2
        }
      ],
      "author_self_checked": true,
      "independent_review_claimed": false,
      "source_sha256": "8df32e82f94be70f27b3b6f5d30b04df57d24f25ba8ed60a680e7914f5650fe0",
      "historical_reader_source_sha256": "3baa803492822b6c1bdc131b5a1caa6609a6e925e3d26009b2fe2c5e4a3b32f4",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "8df32e82f94be70f27b3b6f5d30b04df57d24f25ba8ed60a680e7914f5650fe0",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "accepted_writer_proof_record_sha256": "34184e9534b1667a626c241b6937ef9af260d5b2795ed106d0998209524da089",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "5a3e1a92b3dc34c8ac5c7038a1b285500d6e6f79c264c4b1a8809a85933a28af",
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true,
      "tex_sha256": "4148a077c9281d65f29b3e3529ec080a90214aa94e67cd5bce4163a5bf22a784",
      "pdf_sha256": "c536bf1efc8ba3f5487428c4861bb85a674220e11e40dd2f90a46711c44a36be",
      "pdf_pages": 15,
      "public_PDF_prerequisite_routes_current": true
    },
    {
      "id": "AN03-U011",
      "title": "Positivity through a moving family of scalar probes",
      "source": "src/positive-quantization.md",
      "reader": "positive-quantization.html",
      "tex": "tex/positive-quantization.tex",
      "pdf": "pdf/positive-quantization.pdf",
      "license": "CC0-1.0",
      "role": "full operative prerequisite of the metric operator proof",
      "heading_aliases": [
        {
          "line": 1,
          "ids": [
            "positivity-through-a-moving-family-of-scalar-probes"
          ],
          "heading": "Positivity through a moving family of scalar probes",
          "level": 1
        },
        {
          "line": 7,
          "ids": [
            "AN03-POS-001",
            "an03-pos-001-coefficients-test-functions-and-the-correct-dual-targets",
            "1-banach-coefficients-and-distributional-duals",
            "banach-coefficients-and-distributional-duals"
          ],
          "heading": "1. Banach coefficients and distributional duals",
          "level": 2
        },
        {
          "line": 80,
          "ids": [
            "AN03-POS-002",
            "an03-pos-002-the-calculus-in-banach-operator-norm",
            "2-ordered-products-in-banach-operator-norm",
            "ordered-products-in-banach-operator-norm"
          ],
          "heading": "2. Ordered products in Banach operator norm",
          "level": 2
        },
        {
          "line": 166,
          "ids": [
            "AN03-POS-003",
            "an03-pos-003-hilbert-space-boundedness-with-constants-independent-of-dimension",
            "3-hilbert-boundedness-independent-of-dimension",
            "hilbert-boundedness-independent-of-dimension"
          ],
          "heading": "3. Hilbert boundedness independent of dimension",
          "level": 2
        },
        {
          "line": 429,
          "ids": [
            "AN03-POS-004",
            "an03-pos-004-a-normalized-positive-seed-and-its-moving-copies",
            "4-a-positive-scalar-probe-and-its-moving-copies",
            "a-positive-scalar-probe-and-its-moving-copies"
          ],
          "heading": "4. A positive scalar probe and its moving copies",
          "level": 2
        },
        {
          "line": 533,
          "ids": [
            "AN03-POS-005",
            "an03-pos-005-the-two-cancellations-and-the-complete-error-estimate",
            "5-two-cancellations-and-the-full-error",
            "two-cancellations-and-the-full-error"
          ],
          "heading": "5. Two cancellations and the full error",
          "level": 2
        },
        {
          "line": 673,
          "ids": [
            "AN03-POS-006",
            "an03-pos-006-sharp-lower-bounds-including-complex-symbols-and-equal-costs",
            "6-lower-bounds-for-real-and-complex-symbols",
            "lower-bounds-for-real-and-complex-symbols"
          ],
          "heading": "6. Lower bounds for real and complex symbols",
          "level": 2
        },
        {
          "line": 726,
          "ids": [
            "AN03-POS-007",
            "an03-pos-007-a-uniform-high-frequency-estimate-and-the-nearly-optimal-norm",
            "7-high-frequency-estimates-and-operator-norms",
            "high-frequency-estimates-and-operator-norms"
          ],
          "heading": "7. High-frequency estimates and operator norms",
          "level": 2
        },
        {
          "line": 784,
          "ids": [
            "AN03-PEX-001",
            "an03-pex-001-examples-that-separate-the-mechanisms",
            "8-worked-examples",
            "worked-examples"
          ],
          "heading": "8. Worked examples",
          "level": 2
        },
        {
          "line": 802,
          "ids": [
            "AN03-PPS-001",
            "an03-pps-001-problems-and-complete-solutions",
            "9-exercises-and-solutions",
            "exercises-and-solutions"
          ],
          "heading": "9. Exercises and solutions",
          "level": 2
        },
        {
          "line": 829,
          "ids": [
            "reading-and-further-questions",
            "further-questions"
          ],
          "heading": "Further questions",
          "level": 2
        },
        {
          "line": 835,
          "heading": "References",
          "ids": [
            "references"
          ],
          "level": 2
        }
      ],
      "author_self_checked": true,
      "independent_review_claimed": false,
      "source_sha256": "392a8e24a2f29b8e3e66ebf5a5999e2903bc98f6b6f63c49ce2a7db40528655d",
      "historical_reader_source_sha256": "093058553880f9bc495b9d73a9f7c218042235b22b1e65b88178ba714e7d3da3",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "392a8e24a2f29b8e3e66ebf5a5999e2903bc98f6b6f63c49ce2a7db40528655d",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "accepted_writer_proof_record_sha256": "5439aecd26594f038698387852f36302f531ebfde4a15bb0da32d76c0b911b8a",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "4f6a83a46f936b1e70158416451f3c09e34e34c22deebe767e01b59bd6031ffc",
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true,
      "tex_sha256": "adac1d8421f0ebc045ce2c2cd13bd453b5b2d96ca2fac4f4811647a3c730827d",
      "pdf_sha256": "c55bf9878c2385fe5cdcaf063fb86c0a10f7a2affb3bf05fe0e431c495ed7c99",
      "pdf_pages": 22,
      "public_PDF_prerequisite_routes_current": true
    }
  ],
  "source_policy_edition": {
    "status": "Current complete HTML readings; current PDFs are included where available.",
    "base_git_commit": "80d6a30825238e950c789a2d32f5dc9b12e6ecc9",
    "zero_paywalled_citations_required": true,
    "P514": "Every result used is proved in the lesson or an earlier programme lesson. A citation never replaces a proof.",
    "historical_reader_formats": [],
    "historical_readers_exported": false,
    "public_release_claimed": false,
    "whole_course_clearance_claimed": false,
    "current_HTML_source_equality_claimed": true,
    "source_reader_equality_claimed": false,
    "historical_readers_refresh_pending": false
  }
}