{
  "recorded_utc": "2026-10-04T17:13:40.779844+00:00",
  "mathematical_sources": [
    {
      "title": "Sombuddha Bhattacharyya, Maarten V. de Hoop, Vitaly Katsnelson and Gunther Uhlmann, Recovery of piecewise smooth density and Lamé parameters from high-frequency exterior Cauchy data, arXiv:2203.08735v1, 16 March 2022",
      "url": "https://arxiv.org/abs/2203.08735v1",
      "verified_free_snapshot_sha256": "d309a37f5a5c31ec39f4f1a1d318e262daf9b9a027086778df9bfb12cfb3255f",
      "actual_read_scope": "First-page identity; complete PDF pages9,10,20,21. Used section3.1 definition, Proposition3.3 and its coordinate-Taylor proof. Surrounding PsiDO/FIO text on those pages read as context only.",
      "programme_proof_use": "Independent full test-function proof in receiving Section4. The source sends its final coordinate proof step to an older paper; receiving T5 instead uses the included programme U1 and common-support proof. Source equation3.1 has a positive modulation sign inconsistent with its defining negative sign and equation3.2; receiving formulas were derived with a single negative sign.",
      "reuse": "ArXiv version declares CC BY4.0; no source prose, illustrations or PDF redistributed.",
      "source_pdf_redistributed": false,
      "human_expression_copied": false
    },
    {
      "title": "Victor Guillemin and Shlomo Sternberg, Semi-classical Analysis, free author draft, 13 January 2010",
      "url": "https://math.mit.edu/~vwg/semiclassGuilleminSternberg.pdf",
      "verified_free_snapshot_sha256": "7a93a81009fcfe4637377e632fb9595b2015874e5ce5d78287bc19fd126d0d27",
      "actual_read_scope": "Contents entry and complete printed/PDF pages180–182, section5.15.4. The Chapter14 Gaussian reading is already recorded in the stationary component.",
      "programme_proof_use": "Quadratic generating-function viewpoint compared. Receiving Section6 proves the exact plane, injectivity, dimension, symmetry cancellation and shear directly. No asserted exact sequence or surjectivity in the source is imported without this calculation.",
      "reuse": "Verified free author draft; independent exposition only; source PDF not redistributed.",
      "source_pdf_redistributed": false,
      "human_expression_copied": false
    },
    {
      "title": "Semyon Dyatlov, Lecture notes for 18.155, freely accessible MIT notes",
      "url": "https://math.mit.edu/~dyatlov/18.155/155-notes.pdf",
      "verified_free_snapshot_sha256": "9c03576df76ce8ad318ead0dc18062ab1a736deba198730c828400e28071b835",
      "actual_read_scope": "Complete printed/PDF pages50–52. Theorem4.14 full proof, Theorem4.16 full proof and Proposition4.17 full proof; Proposition4.18 read through the last displayed bound on page52. Final continuation on page53 not claimed read.",
      "programme_proof_use": "The actual complete used common-order and moving-test proof is selected from AN01-U008 Theorem5.1; Dyatlov is a free human comparison, never a missing proof substitute.",
      "reuse": "Existing author-hosted snapshot reused without another download; independent programme exposition, not source prose.",
      "source_pdf_redistributed": false,
      "human_expression_copied": false
    },
    {
      "title": "Paul Garrett, Review of metric spaces, 2 February 2014, author-hosted notes",
      "url": "https://www-users.cse.umn.edu/~garrett/m/fun/notes_2012-13/01_metric_spaces.pdf",
      "verified_free_snapshot_sha256": "e2c5be28e3333743bc123cd2b286154c61c11c2a77e5b5cbd0b2c8703f26cbcd",
      "actual_read_scope": "Printed/PDF page9: complete Theorem4.0.1 and nested-ball proof, complete-metric branch. Preceding completion paragraph and locally compact branch are not imported.",
      "programme_proof_use": "Compared with the complete retained AN03-P004 argument, including explicit choice axiom and selection map.",
      "reuse": "Existing free author snapshot reused; human source prose not copied.",
      "source_pdf_redistributed": false,
      "human_expression_copied": false
    }
  ],
  "intrinsic_human_source_record": "../20261004-free-intrinsic-graph/source-provenance.json",
  "foundational_human_source_record": "../20261004-free-stationary-phase/proof-map.json",
  "source_scope": "Only the exactly identified freely accessible versions; paid works supply no mathematics or citations.",
  "proof_policy": "Every used result is proved here or at an exact earlier programme proof in the linked maps. External citations replace no proof.",
  "component_terms": {
    "original_tangent_and_gaussian_proofs_and_figures": "CC0",
    "complete_test_spaces": "GFDL-1.2-only, with retained original title, history, rights and COPYING",
    "uniform_distribution_bounds": "CC0; selected complete AN-01 proof; attribution retained"
  },
  "notices_scope": "Earlier whole-course wording retained as provenance, not a claim that unselected works or old publication status have been adopted. Historical supplement links in the HTML notice are inactive; original editable notices are unchanged.",
  "validation": {
    "checked_utc": "2026-10-04T17:10:30.048198+00:00",
    "passed": true,
    "public_release_authorized": false,
    "full_course_complete": false,
    "independent_review": false,
    "local_nodes": 28,
    "analytic_provider_nodes": 94,
    "earlier_U001_nodes": 219,
    "exact_sources_and_locators_verified": true,
    "acyclic": true,
    "gaussian_cases": 6,
    "max_relative_gaussian_error": 5.902328344959732e-16,
    "rank_dilation_cases": 20,
    "nonlinear_coordinate_hessian_density_and_phase_checked": true,
    "delta_orders": [
      0,
      1,
      2,
      3,
      4,
      5
    ],
    "mathematical_P514_closed_for_named_tangent_results": true,
    "limit_of_checks": "Algebra and graph integrity supplement the stated owner mathematical review; no automated proof claim."
  },
  "source_hashes": {
    "tangent-zoom-and-quadratic-models.md": "69f1506ffde34410d7b25c6a09ec32341c6db560566bc8096e131d9712c7a227",
    "prerequisites/gaussian-symbol-line.md": "e5e4c12893ae04377f6cfc7938d2c382074de3a9c233ab89d86a653336c482fe",
    "prerequisites/complete-test-spaces.md": "dd6ef2acb9397a228b1c80d4cc64d46d8839248b4f1d27d938be68e694d745ec",
    "prerequisites/uniform-distribution-bounds.md": "c9ab47509beb5f947e853825e650baf3a9893b6b78ef77d4fabe5f78e2eb1874",
    "prerequisites/notices/TITLE_PAGE.md": "ce3553f23db91d37244df59e7a491330ed0a9ec25716395ceb57965f6788200c",
    "prerequisites/notices/HISTORY.md": "f5c5422c0104f734715e8fa738e47f1c12169b802500455bbe74d3aa49a677bb",
    "prerequisites/notices/RIGHTS.md": "8b99b784cac55872b50f4fee1a3abd2edf9f140b4640c00fae5142c4027e5670",
    "prerequisites/notices/U008_SELECTION_HISTORY.md": "55222765114834d5dd1c9e1ecd516fa8e3a1078e50f29fc26dcebb287c0badfa",
    "prerequisites/notices/COPYING": "2aadee1635eab0c9e08a90ef7579a5d64ae4b52ba33475945a4f0dd4ca24acd1",
    "figures/tangent-sphere.svg": "46de7525cd507ed77e1787c67f04d3430e64bbe32111a6bc417a18fa863ac673",
    "figures/draw_tangent_sphere.py": "88ab2e63c123583847dfde1d510f21a743d4ab94244ade5c9eac97ddab743f89",
    "figures/gaussian-covariance.svg": "6d5f4684a9047515a610f2fb45b876fc8fcd665bc62993d8a468bcf9897ea34e",
    "figures/draw_gaussian_covariance.py": "52f9a2a83bb231ba5ea19ffe2e665245d8acc8fceae209caff03a8ace88c1ae0"
  },
  "new_readers_checked_at_1200_and_390": true,
  "full_course_complete": false,
  "public_release_authorized": false,
  "foundational_source_notice": "Human source provenance and retained source texts accompany the exact earlier proof map."
}