{
  "course": "measurable-fields-and-direct-integrals",
  "scope": "Exact proof prerequisites and distinct onward/source-reading routes for the selected lessons.",
  "proof_prerequisites": [
    {
      "locator": "211A",
      "lesson": "lifting",
      "kind": "definition",
      "proved_statement_or_definition": "Complete measure spaces: every subset of a null measurable set is measurable.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/211/index.html#211A",
      "reader_language": "id-ID",
      "reader_sha256": "28e7afba742f5e79b35406e70fb2044dd1a8435f8ffc47e9e1fb9ab8e48d637d",
      "reader_bytes": 76607,
      "included_section_ids": [
        "211A"
      ],
      "located_text_sha256": "455710e79dd9bca0f19ec17ad148de00307925e93bca4c4ebb97639fffe4491d",
      "located_text_characters": 283,
      "core_links_in_located_argument": [],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "211E",
      "lesson": "lifting",
      "kind": "definition",
      "proved_statement_or_definition": "Strict localizability: a partition into finite-measure measurable pieces determines measurability and the measure by arbitrary nonnegative sums.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/211/index.html#211E",
      "reader_language": "id-ID",
      "reader_sha256": "28e7afba742f5e79b35406e70fb2044dd1a8435f8ffc47e9e1fb9ab8e48d637d",
      "reader_bytes": 76607,
      "included_section_ids": [
        "211E"
      ],
      "located_text_sha256": "d3d2655450c99ece5e786fce2fb032cabdf65e1ad9f52562a2315ccbea16d55d",
      "located_text_characters": 858,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/112/index.html#112Bd",
          "reader_sha256": "81b83f1523d440217992ce20e9cc9c94d7a1bb7c6689ec4f3be8864db79e4b66",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "233D",
      "lesson": "lifting",
      "kind": "proved construction",
      "proved_statement_or_definition": "On a probability space, conditional expectations of real integrable functions exist for every sub-sigma-algebra; the proof and measurable-version discussion are in 233Da–233Dc.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233D",
      "reader_language": "id-ID",
      "reader_sha256": "6cd843784e3c54cabab4776d777d27557d6900b28b86b17859094ad2cce12130",
      "reader_bytes": 111710,
      "included_section_ids": [
        "233D",
        "233Da",
        "233Db",
        "233Dc",
        "233Dd"
      ],
      "located_text_sha256": "91fb632a28c861692ee5fa85d2a3dba998665143e8277a32d9e57e53ad131f72",
      "located_text_characters": 4665,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/232/index.html#232E",
          "reader_sha256": "b9bc8b24bef7e059d585fbaff36c06b83beb80ba85e159524a52345890e2e403",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233B",
          "reader_sha256": "6cd843784e3c54cabab4776d777d27557d6900b28b86b17859094ad2cce12130",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/232/index.html#232He",
          "reader_sha256": "b9bc8b24bef7e059d585fbaff36c06b83beb80ba85e159524a52345890e2e403",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/131/index.html#131Hb",
          "reader_sha256": "451b4646dc06f147e49ab31f7178325e35989af3fe9744b2841721dcded0bdb8",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/212/index.html#212C",
          "reader_sha256": "eb5d73ff80999865431ef468a6a20579cd8abaeb0873618e73f4c9e2e7c11d15",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "233E",
      "lesson": "lifting",
      "kind": "proved auxiliary properties",
      "proved_statement_or_definition": "Conditional expectation is linear and order preserving, including bounds 0 <= E(1_G | T) <= 1; the corresponding proof is included.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233E",
      "reader_language": "id-ID",
      "reader_sha256": "6cd843784e3c54cabab4776d777d27557d6900b28b86b17859094ad2cce12130",
      "reader_bytes": 111710,
      "included_section_ids": [
        "233E"
      ],
      "located_text_sha256": "91229ff4bb0b0505dab0d7c0ca3f3e259ad06825f64a177739e7810aa05c6e1c",
      "located_text_characters": 5427,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/131/index.html#131Ha",
          "reader_sha256": "451b4646dc06f147e49ab31f7178325e35989af3fe9744b2841721dcded0bdb8",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233Dc",
          "reader_sha256": "6cd843784e3c54cabab4776d777d27557d6900b28b86b17859094ad2cce12130",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "275I",
      "lesson": "lifting",
      "kind": "proved theorem",
      "proved_statement_or_definition": "For increasing sub-sigma-algebras, E(X | Sigma_n) converges almost everywhere and in L1 to E(X | sigma(union Sigma_n)), for real integrable X on a probability space.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275I",
      "reader_language": "id-ID",
      "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
      "reader_bytes": 160430,
      "included_section_ids": [
        "275I"
      ],
      "located_text_sha256": "50c51ef48747ad6e5dff906d1b00aa9693c594477f565a65c040adfd47cd3139",
      "located_text_characters": 2818,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275G",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275H",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275H",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/136/index.html#136B",
          "reader_sha256": "76664e59e46fcf767de71ccb6dc6598ad5131a96dfc4b438b6330f40f573dea4",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275H",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/136/index.html#136B",
          "reader_sha256": "76664e59e46fcf767de71ccb6dc6598ad5131a96dfc4b438b6330f40f573dea4",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/24/index.html#24",
          "reader_sha256": "ca4044295293ad7e1aeabf4bcfe9c261baab25fa9c2496991dd592b9ad75e846",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275D",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275E",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275G",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275Xd",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "223B",
      "lesson": "lifting",
      "kind": "proved exercise prerequisite",
      "proved_statement_or_definition": "Lebesgue density on the real line: symmetric interval densities are 1 almost everywhere in a measurable set and 0 almost everywhere outside it.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/223/index.html#223B",
      "reader_language": "id-ID",
      "reader_sha256": "f7ed9903b44c332e7459f1c490c4089955464c0bae9b9c323de875e164d01c8e",
      "reader_bytes": 50615,
      "included_section_ids": [
        "223B"
      ],
      "located_text_sha256": "2e55496d9a9392609fa8c58ff8d2f93d387b5ef1e06218c460c78d72214c9006",
      "located_text_characters": 1011,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/223/index.html#223A",
          "reader_sha256": "f7ed9903b44c332e7459f1c490c4089955464c0bae9b9c323de875e164d01c8e",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "134A",
      "lesson": "besicovitch",
      "kind": "proved theorem",
      "proved_statement_or_definition": "Lebesgue outer measure and completed Lebesgue measure on R^r are translation invariant, with preservation of measurability.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/134/index.html#134A",
      "reader_language": "id-ID",
      "reader_sha256": "4887fedbecb32879ded838dc9d1a2637fd067edcdd466a3f91fd518af689a77a",
      "reader_bytes": 134354,
      "included_section_ids": [
        "134A"
      ],
      "located_text_sha256": "57def6095412b2c13fcc0250f579962a38f98173ff1556038e2d664a7035afa2",
      "located_text_characters": 1886,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/114/index.html#114Aa",
          "reader_sha256": "7c27ee89aaa976a4609483d4d42b8ed320391502fd36699512601bf7971871c0",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/115/index.html#115Ab",
          "reader_sha256": "1d113294e93bbb193aa4aa0b35aac6afd7d1ca5b0baafa2f079ebacae5a1bd4c",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/114/index.html#114Ab",
          "reader_sha256": "7c27ee89aaa976a4609483d4d42b8ed320391502fd36699512601bf7971871c0",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/115/index.html#115Ac",
          "reader_sha256": "1d113294e93bbb193aa4aa0b35aac6afd7d1ca5b0baafa2f079ebacae5a1bd4c",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "263A",
      "lesson": "besicovitch",
      "kind": "proved theorem",
      "proved_statement_or_definition": "Linear change of variables on R^r: measure of T(E) equals |det T| times measure of E; the invertible integral transformation is also proved.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/263/index.html#263A",
      "reader_language": "id-ID",
      "reader_sha256": "a3c358342b2d052661dfcfd2566ced19aec502314fc611b36611a633313fcc53",
      "reader_bytes": 141407,
      "included_section_ids": [
        "263A"
      ],
      "located_text_sha256": "e547051634228824d5c6adf7c37fcb97fef309cbae0a66aa1c57a176061e4657",
      "located_text_characters": 7953,
      "core_links_in_located_argument": [
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/263/index.html#263D",
          "reader_sha256": "a3c358342b2d052661dfcfd2566ced19aec502314fc611b36611a633313fcc53",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/115/index.html#115G",
          "reader_sha256": "1d113294e93bbb193aa4aa0b35aac6afd7d1ca5b0baafa2f079ebacae5a1bd4c",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/134/index.html#134A",
          "reader_sha256": "4887fedbecb32879ded838dc9d1a2637fd067edcdd466a3f91fd518af689a77a",
          "anchor_present": true
        },
        {
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/235/index.html#235A",
          "reader_sha256": "d7ff31faa9186050fd2b562256a6b9178d05491d9b2473411e1d5b215bdf2898",
          "anchor_present": true
        }
      ],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "256A",
      "lesson": "besicovitch",
      "kind": "definition",
      "proved_statement_or_definition": "The Euclidean Radon convention is a complete topological measure, finite on bounded sets and inner regular on all measurable sets by compact subsets.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/256/index.html#256A",
      "reader_language": "id-ID",
      "reader_sha256": "6e88bf05726f297bb1c83be7de339ade2f15236c2de6d8247979f522e9710c43",
      "reader_bytes": 127777,
      "included_section_ids": [
        "256A",
        "256Aa",
        "256Ab",
        "256Ac",
        "256Ad"
      ],
      "located_text_sha256": "d85b0d57cf7b369278603fd9553d0ed0341a22c979655a63d3ae2d1ec35c8d9c",
      "located_text_characters": 920,
      "core_links_in_located_argument": [],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "256B",
      "lesson": "besicovitch",
      "kind": "proved theorem",
      "proved_statement_or_definition": "Every measurable set for such a Radon measure admits closed inner and open outer approximations with arbitrarily small difference; sigma-finiteness and auxiliary facts are proved.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/256/index.html#256B",
      "reader_language": "id-ID",
      "reader_sha256": "6e88bf05726f297bb1c83be7de339ade2f15236c2de6d8247979f522e9710c43",
      "reader_bytes": 127777,
      "included_section_ids": [
        "256B"
      ],
      "located_text_sha256": "d346fd4c8a73ae85a2df726ec07eac83204113507ab2a85a6d6c0e41e31a8363",
      "located_text_characters": 2940,
      "core_links_in_located_argument": [],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    },
    {
      "locator": "225A",
      "lesson": "besicovitch",
      "kind": "proved theorem",
      "proved_statement_or_definition": "Absolute continuity of the integral of an integrable real function on an arbitrary measure space, in the stronger finite-support formulation.",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/225/index.html#225A",
      "reader_language": "id-ID",
      "reader_sha256": "051220724759884ea9b08db2ecec7431417c17f2b558810addcc6c776fd45a70",
      "reader_bytes": 126359,
      "included_section_ids": [
        "225A"
      ],
      "located_text_sha256": "bea7e827715ea2c888bb13135bb0c25ee273c7f3aa1a6b46ea1dae037301d94b",
      "located_text_characters": 1148,
      "core_links_in_located_argument": [],
      "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
    }
  ],
  "source_links": [
    {
      "lesson": "the-lifting-theorem",
      "source_line": 9,
      "label": "Measure and Integration",
      "source_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-D10",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-D10",
      "reader_language": null,
      "role": "curriculum orientation; exact prerequisites are listed separately"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 9,
      "label": "Fremlin, Volume 2, 211E",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap21.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/211/index.html#211E",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 9,
      "label": "Fremlin, Volume 2, 233D",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap23.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233D",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 9,
      "label": "Fremlin, Volume 2, 275I",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap27.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275I",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 81,
      "label": "Fremlin, Volume 2, 233D",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap23.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233D",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 81,
      "label": "Fremlin, Volume 2, 275I",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap27.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275I",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 162,
      "label": "Fremlin, Volume 2, 223B",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap22.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/223/index.html#223B",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 172,
      "label": "Vector-valued functions, tensor products with \\(L^p\\), and preduals",
      "source_url": "vector-valued-functions-tensor-products-with-lp-and-preduals.md",
      "reader_url": null,
      "reader_language": null,
      "role": "unpublished onward reading; displayed as labelled text, not a proof dependency"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 172,
      "label": "Fremlin, Volume 4, Sections 453 and 447",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/mt.htm",
      "reader_url": "https://www1.essex.ac.uk/maths/people/fremlin/mt.htm",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 176,
      "label": "author's site",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/mt.htm",
      "reader_url": "https://www1.essex.ac.uk/maths/people/fremlin/mt.htm",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 176,
      "label": "Chapter 34",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap34.pdf",
      "reader_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap34.pdf",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 177,
      "label": "doi:10.1090/S0002-9939-1958-0105479-6",
      "source_url": "https://doi.org/10.1090/S0002-9939-1958-0105479-6",
      "reader_url": "https://doi.org/10.1090/S0002-9939-1958-0105479-6",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "the-lifting-theorem",
      "source_line": 178,
      "label": "Göttingen digitization centre",
      "source_url": "https://resolver.sub.uni-goettingen.de/purl?GDZPPN002171759",
      "reader_url": "https://resolver.sub.uni-goettingen.de/purl?GDZPPN002171759",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 9,
      "label": "Measure and Integration",
      "source_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-D10",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-D10",
      "reader_language": null,
      "role": "curriculum orientation; exact prerequisites are listed separately"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 9,
      "label": "Fremlin, Volume 1, 134A",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap13.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/134/index.html#134A",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 9,
      "label": "Fremlin, Volume 2, 263A",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap26.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/263/index.html#263A",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 9,
      "label": "Fremlin, Volume 2, 256A–256B",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap25.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/256/index.html#256A",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 9,
      "label": "Fremlin, Volume 2, 225A",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap22.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/225/index.html#225A",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 98,
      "label": "Fremlin, Volume 2, 225A",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap22.pdf",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/225/index.html#225A",
      "reader_language": "id-ID",
      "role": "Exact in-programme incoming proof or definition; complete D10 reader passage, not an external PDF substitute"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 122,
      "label": "Vector-valued functions, tensor products with \\(L^p\\), and preduals",
      "source_url": "vector-valued-functions-tensor-products-with-lp-and-preduals.md",
      "reader_url": null,
      "reader_language": null,
      "role": "unpublished onward reading; displayed as labelled text, not a proof dependency"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 126,
      "label": "author's site",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/mt.htm",
      "reader_url": "https://www1.essex.ac.uk/maths/people/fremlin/mt.htm",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    },
    {
      "lesson": "besicovitch-s-covering-theorem-and-the-differentiation-of-radon-measures",
      "source_line": 126,
      "label": "Chapter 47",
      "source_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap47.pdf",
      "reader_url": "https://www1.essex.ac.uk/maths/people/fremlin/chap47.pdf",
      "reader_language": null,
      "role": "source or prerequisite locator as identified in the source"
    }
  ],
  "supporting_readings": [],
  "offline_scope": "The two selected English lessons are bundled. Full prerequisite proofs are hosted separately in the programme D10 reader, in Bahasa Indonesia, and require a connection or its separate download.",
  "programme_wide_proof_closure": "Not claimed; this is bounded correspondence to the exact existing full proof passages."
}