{
  "title": "Mixed boundary problems: exact reading routes",
  "guide": "guide.md",
  "guide_sha256": "d55b3ff865fb33cdec5ed58852e1e0e6018276efa12ab01e494253451f2f73fe",
  "purpose": "Locate the programme arguments and annotated primary readings used in this guide.",
  "programme_arguments": {
    "DC:T002": {
      "id": "DC:T002",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-mixed-dirichlet/mixed-dirichlet-cauchy-energy-preparation.md",
      "source_sha256": "7e7ce2ccf202dd276498daf26f5a8d8ee828f79a691fe5c956aeb83c166a11ef",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-mixed-dirichlet/proof-map.json",
      "proof_map_sha256": "69966e33196f8f4a443340b56a87d8190182808b552dca05873ea7e9a4ae302c",
      "proof_locator": "Write \\(q_x(\\xi,\\eta)\\)",
      "complete_receiving_section_lines": [
        9,
        76
      ],
      "complete_receiving_section_sha256": "460e7ffc9b86ac628e0e0ffcea278c8946555cfdbfde98d576f2561480454bee"
    },
    "OBE:S0": {
      "id": "OBE:S0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261015-strict-oblique-energy/strict-complex-oblique-boundary-energy.md",
      "source_sha256": "f4d9a492d24f5cd12f6b563dbf5db7c2d16c7bfb7d6a1140e8e8e1a8e36440c6",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261015-strict-oblique-energy/proof-map.json",
      "proof_map_sha256": "2b74a3aa01b123e220891c1f30aec12b0b6da1fa3307873fdf3b90ed711369ef",
      "proof_locator": "**S0. Weighted energy theorem.**",
      "complete_receiving_section_lines": [
        7,
        57
      ],
      "complete_receiving_section_sha256": "25dd5925aa9091701a94fd592ff064bdf7bcc3c30792d51ba6123d637fe8b426"
    },
    "EW:F1": {
      "id": "EW:F1",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261007-elliptic-boundary-wavefront/elliptic-boundary-wavefront.md",
      "source_sha256": "ca698f1634fcebab0a64d0bb3d7f06e593a0485dd38ed129abdf4fb0f6208195",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261007-elliptic-boundary-wavefront/proof-map.json",
      "proof_map_sha256": "4232dd2136ac36a3cb4164ee1dc144f910896553aff8d7e888e40fecc40f7783",
      "proof_locator": "For the forward inclusion",
      "complete_receiving_section_lines": [
        171,
        194
      ],
      "complete_receiving_section_sha256": "baf69a19a7635c504afb23b15015016565775130d8d7a7e254f792c90907ded6"
    },
    "RF:T020": {
      "id": "RF:T020",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-boundary-reflection/boundary-reflection-preparation.md",
      "source_sha256": "6fd2aecb5d0ce76c15bc61e23f587957aa5542ba6c58a435dd9c2cf2eece9d68",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-boundary-reflection/proof-map.json",
      "proof_map_sha256": "31898a37e8012a99a85215b0c1029a61ddddd2d6445f8945996c127920a6a508",
      "proof_locator": "**Transverse reflection theorem.**",
      "complete_receiving_section_lines": [
        239,
        278
      ],
      "complete_receiving_section_sha256": "55763d3365137dcfcd8632910971a99412e5ac442cb32a9f396115371419c341"
    },
    "GGL:T026": {
      "id": "GGL:T026",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-generalized-glancing/generalized-glancing-flow-preparation.md",
      "source_sha256": "458647bf9e3d554ff13951c8b80c6fb0d448c77083103a166fd3c6094d87bb11",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-generalized-glancing/proof-map.json",
      "proof_map_sha256": "c063c38c777ccc9bb1a1945bfb7023019076a521e1555b7221c57ac21a975104",
      "proof_locator": "**Finite-contact uniqueness theorem.**",
      "complete_receiving_section_lines": [
        222,
        251
      ],
      "complete_receiving_section_sha256": "4b5fffb66fee66a7d3500e86ef8a22d0316603df838c36645769a8e8e1f8ad66"
    },
    "GGL:T047": {
      "id": "GGL:T047",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-generalized-glancing/generalized-glancing-flow-preparation.md",
      "source_sha256": "458647bf9e3d554ff13951c8b80c6fb0d448c77083103a166fd3c6094d87bb11",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-generalized-glancing/proof-map.json",
      "proof_map_sha256": "c063c38c777ccc9bb1a1945bfb7023019076a521e1555b7221c57ac21a975104",
      "proof_locator": "The supports are disjoint and contained",
      "complete_receiving_section_lines": [
        373,
        440
      ],
      "complete_receiving_section_sha256": "f9f038523832c0c8932ff892462aeefa58668e4f31d2cb9ee010b83228192621"
    },
    "GGL:T051": {
      "id": "GGL:T051",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-generalized-glancing/generalized-glancing-flow-preparation.md",
      "source_sha256": "458647bf9e3d554ff13951c8b80c6fb0d448c77083103a166fd3c6094d87bb11",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261007-restored-generalized-glancing/proof-map.json",
      "proof_map_sha256": "c063c38c777ccc9bb1a1945bfb7023019076a521e1555b7221c57ac21a975104",
      "proof_locator": "A second generalized continuation",
      "complete_receiving_section_lines": [
        373,
        440
      ],
      "complete_receiving_section_sha256": "f9f038523832c0c8932ff892462aeefa58668e4f31d2cb9ee010b83228192621"
    },
    "CBI:G0": {
      "id": "CBI:G0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261016-convex-infinite-contact/convex-billiards-at-infinite-contact.md",
      "source_sha256": "4f11eff828a7f053f4f6d73d793500e680978951e65e7382150d64f8a0368622",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261016-convex-infinite-contact/proof-map.json",
      "proof_map_sha256": "6a779573c6b9cf0a99caab8fb9b06c3b7a37baa1b7f63eec9e53ce7952bce363",
      "proof_locator": "**G0. The boundary arclength lift is a genuine gliding solution.**",
      "complete_receiving_section_lines": [
        128,
        148
      ],
      "complete_receiving_section_sha256": "b20cd962a1aa88c06ccb2898e005ff5f4d386de3c67fa4e12fadac043cab52f5"
    },
    "CBI:L0": {
      "id": "CBI:L0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261016-convex-infinite-contact/convex-billiards-at-infinite-contact.md",
      "source_sha256": "4f11eff828a7f053f4f6d73d793500e680978951e65e7382150d64f8a0368622",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261016-convex-infinite-contact/proof-map.json",
      "proof_map_sha256": "6a779573c6b9cf0a99caab8fb9b06c3b7a37baa1b7f63eec9e53ce7952bce363",
      "proof_locator": "**L0. Approximation of these two curves.**",
      "complete_receiving_section_lines": [
        149,
        189
      ],
      "complete_receiving_section_sha256": "c10618321cd5191346ac914a0c4de887011c8a78a4bfebc50b529de7c60b8cd2"
    },
    "DDB:B0": {
      "id": "DDB:B0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261009-dirichlet-diffraction-bootstrap/dirichlet-diffraction-on-one-open-region.md",
      "source_sha256": "c9a4e89cdba151e86b8b6d15ad20deafcd08173561d16ebb2b4249151291c037",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261009-dirichlet-diffraction-bootstrap/proof-map.json",
      "proof_map_sha256": "abb46dcbc4301b962af023f2d6f53d2e356f5057791d32518ff46ad0cfb02889",
      "proof_locator": "**B0. The Dirichlet receiving theorem.**",
      "complete_receiving_section_lines": [
        9,
        42
      ],
      "complete_receiving_section_sha256": "bf4c60cf075d86e1385bd805867609239424d7a92699511863c9ab7604a5e997"
    },
    "GSP:C0": {
      "id": "GSP:C0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261009-general-scalar-boundary/scalar-boundary-propagation-through-general-glancing.md",
      "source_sha256": "fd8bb39d7503a4ae49b6af3e81356e86f8edc0ec7dd3f77758e4ef76403534a9",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261009-general-scalar-boundary/proof-map.json",
      "proof_map_sha256": "78caaf04eccad58bf7b5fa976d09b005b41ef75ccb9c75b72f707f03ee56569d",
      "proof_locator": "**C0. General noncharacteristic Dirichlet data.**",
      "complete_receiving_section_lines": [
        11,
        28
      ],
      "complete_receiving_section_sha256": "6ceccf56416e4b97ed19d30c11da0dc01177524f6c3b8dfdd5e5dd02c87ec28e"
    },
    "GSP:C10": {
      "id": "GSP:C10",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261009-general-scalar-boundary/scalar-boundary-propagation-through-general-glancing.md",
      "source_sha256": "fd8bb39d7503a4ae49b6af3e81356e86f8edc0ec7dd3f77758e4ef76403534a9",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261009-general-scalar-boundary/proof-map.json",
      "proof_map_sha256": "78caaf04eccad58bf7b5fa976d09b005b41ef75ccb9c75b72f707f03ee56569d",
      "proof_locator": "**C10. Every analytic hypothesis concerns the same front.**",
      "complete_receiving_section_lines": [
        380,
        400
      ],
      "complete_receiving_section_sha256": "e41f8215da85eaaaaf96fc20b543cdc2f343b8b8182a9c0d4eb38d2fa45d9094"
    },
    "PCB:S0": {
      "id": "PCB:S0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261016-positive-complex-beams/positive-complex-beams-and-reflected-pairs.md",
      "source_sha256": "df98e7347a6dfab49e743b393bd3711aac3751d37a84711966074b61281bcf80",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261016-positive-complex-beams/proof-map.json",
      "proof_map_sha256": "2b9844913ff7f9d7ae4bcd1ca95090c1ece75e857ecdef2ab8032552659f63d5",
      "proof_locator": "**S0. Beam theorem.**",
      "complete_receiving_section_lines": [
        7,
        52
      ],
      "complete_receiving_section_sha256": "9fd77093200b5957e6cf8ba60d262057db351836ace44d262b06b07c3b92c139"
    },
    "LBR:T0": {
      "id": "LBR:T0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261009-limiting-broken-rays/distributions-on-limiting-broken-rays.md",
      "source_sha256": "25a8e884fd5bbfba4cf26c5ae7a4b16ba775408ef3200409b64510fd8f0172d9",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261009-limiting-broken-rays/proof-map.json",
      "proof_map_sha256": "cc2e75b0e92319e5a103a99059fb8b0555a34d450091e6b0b73bcf12582ef99c",
      "proof_locator": "**T0. Hypotheses and assertion.**",
      "complete_receiving_section_lines": [
        21,
        56
      ],
      "complete_receiving_section_sha256": "2929318955586c5ca6dc3df40c9fcd50f950f8dbfad068c67502025d82ba8881"
    },
    "TDR:D0": {
      "id": "TDR:D0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261009-tricomi-diffractive-realization/singularities-on-diffractive-tricomi-rays.md",
      "source_sha256": "f0413c9658d4dadfe36ec66ad1e75b89c881dbae8f67f8e3d2c150f8f4d46db2",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261009-tricomi-diffractive-realization/proof-map.json",
      "proof_map_sha256": "42a85f39f7ced675436c76ca1888ee907dc92547587575bc5fddd61aa2a8c306",
      "proof_locator": "**D0. The hypothesis and conclusion.**",
      "complete_receiving_section_lines": [
        9,
        44
      ],
      "complete_receiving_section_sha256": "b4c96ca7a3fc6945eb72f7de76ea0ff31612787bc8d52d8cf03fe44582ac87fb"
    },
    "GOB:H1": {
      "id": "GOB:H1",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261017-global-finite-test-observation/global-observation-with-full-source-and-observation-tests.md",
      "source_sha256": "504f068722583cfcd37cc53e9e473fa457d744bb547b01a6c6eed07d6a63c4d8",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261017-global-finite-test-observation/proof-map.json",
      "proof_map_sha256": "dfd7886996ca13c3a3c3625df875b2c2541d91802ad32dd806ba7e9cfb87b65e",
      "proof_locator": "**H1. Finite full tests first.**",
      "complete_receiving_section_lines": [
        7,
        29
      ],
      "complete_receiving_section_sha256": "1c921a8006a0b1fd254ab20af9acefcfd69588471b48c6e3db93037e54254e0a"
    },
    "ARA:A2": {
      "id": "ARA:A2",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261017-angular-output-reserve-assembly/scalar-tests-from-a-missing-tangential-direction.md",
      "source_sha256": "e80466a5a658ec6d93f039da2321e209609555e34b2df81dfb632951235925d1",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261017-angular-output-reserve-assembly/proof-map.json",
      "proof_map_sha256": "9dc495364365004ba0e882d7ecb80dc0a2ad7a8e75d19f21a60ad1cce4624707",
      "proof_locator": "**A2. The general observation estimate and its actual graph.**",
      "complete_receiving_section_lines": [
        196,
        217
      ],
      "complete_receiving_section_sha256": "8a38a72504b751a3165feb6d83547d86c701795bed19dd8255748c1ec04cde22"
    },
    "PRS:S0": {
      "id": "PRS:S0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261009-parameter-ray-stability/stable-observation-for-boundary-rays.md",
      "source_sha256": "ea19f41a131cbf1d2e4b26027d6a6c35a71ed746b2cc864145279f48ad8d98e8",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261009-parameter-ray-stability/proof-map.json",
      "proof_map_sha256": "3ced5c42c6bd3591a770f58b9a858613a079bd0e82bb2f9f4a29122bafbd6d66",
      "proof_locator": "**S0. The geometric contract.**",
      "complete_receiving_section_lines": [
        9,
        34
      ],
      "complete_receiving_section_sha256": "3e0edd7b97e834c9152bdfdc440dad554ea81b11f4b5c4d6623ed22643b76f7c"
    },
    "WPS:H0": {
      "id": "WPS:H0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261010-wave-parameter-smoothing/wave-smoothing-uniform-in-the-coefficients.md",
      "source_sha256": "3bf41aee31382301511995f756864d1b80018c2935bce710bae0ae92909f3ee1",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261010-wave-parameter-smoothing/proof-map.json",
      "proof_map_sha256": "a93d86feb6fc82dbbd9776c8a3f44d84247de21d4a069917dd9235fb5f11981a",
      "proof_locator": "**H0. A precise receiving statement.**",
      "complete_receiving_section_lines": [
        13,
        86
      ],
      "complete_receiving_section_sha256": "b32c8dbad2a95e181edf1f42d1eba9cafe707a5df6e153adb318f883fa16905a"
    },
    "GHP:G0": {
      "id": "GHP:G0",
      "source_programme_path": "docs/courses/AN-04/reconstructions/20261008-glancing-hypersurface-pair/homogeneous-glancing-pairs-and-boundary-signs.md",
      "source_sha256": "b9cc386222aa3a6ccbe4d4fb3934e77a833acf7ad7a77759232c81efdac9be15",
      "proof_map_programme_path": "docs/courses/AN-04/reconstructions/20261008-glancing-hypersurface-pair/proof-map.json",
      "proof_map_sha256": "9704d804862a5f4b3cf5f0fa1501d7a6d90a0fd4fb4ef5edce8fea211e038657",
      "proof_locator": "**G0. Hypotheses and conclusion.**",
      "complete_receiving_section_lines": [
        7,
        40
      ],
      "complete_receiving_section_sha256": "edeb43875521bb59b76c5543dcbfc653d39e9adc00ef7a4605e482fb91a4dddc"
    }
  },
  "human_proof_dependencies_are_external": true,
  "analytic_uniqueness_reading_requires_analytic_principal_symbol_and_boundary": true
}