{
  "recorded_utc": "2026-10-04T20:18:29.677565+00:00",
  "sources": [
    {
      "title": "Lars Hörmander, Fourier integral operators. I, Acta Mathematica 127 (1971), 79–183",
      "url": "https://projecteuclid.org/journals/acta-mathematica/volume-127/issue-none/Fourier-integral-operators-I/10.1007/BF02392052.pdf",
      "verified_free_snapshot_sha256": "c4a74666dff43a14dd22b6b4a92e58c8285ceaacd812b007a451a7cb9b23f74c",
      "actual_full_pdf_pages_read": [
        5,
        6,
        7,
        8,
        9,
        10
      ],
      "used_scope": "Section 1.1, printed pages 83–88: symbol estimates, homogeneous-map cases, cone/vector bundles, completeness and asymptotic assertions, and weaker-order cutoff topology. Referenced external proofs are not adopted.",
      "source_pdf_redistributed": false
    }
  ],
  "access_note": "Exact earlier verified free snapshot reused. Only the listed pages are newly adopted; no work cited only in its bibliography is adopted.",
  "source_proof_gaps_completed_here": [
    "Fréchet completeness follows directly from uniform derivative limits and the fundamental theorem.",
    "Every homogeneous pullback case has the full higher-derivative count and finite-seminorm continuity.",
    "Coordinate and equivariant-frame independence include the explicit homogeneous bundle weight.",
    "Homogeneous submersions have explicit local sections and a continuous left inverse at all intrinsic orders.",
    "Properness is equivalent to properness of the ray map and gives the stated normalized-support consequences.",
    "Asymptotic summation is constructed with a diagonal cutoff choice and every derivative bound.",
    "Finite differences recover differentiated asymptotics; the polynomial exponent is uniform in the partial-sum index.",
    "Bounded-set topology equivalence and the all-orders extension principle are proved without an unproved compactness theorem.",
    "Four complete examples show both sharp parameter restrictions, the nonproper support failure and the weaker-order cutoff limit."
  ],
  "reuse": "Independent proofs, exposition, examples and figure. No source PDF or expression redistributed; earlier component terms retained.",
  "paid_sources_used": false,
  "component_terms": "CC0 original exposition, complete proofs, solved examples and vector figure; exact earlier components retain their separate terms.",
  "proof_policy": "Every result used is proved here or at an exact earlier programme proof; a source citation replaces no proof.",
  "geometry_source_provenance": "source-provenance.json",
  "earlier_component_provenance": "../20261004-free-intrinsic-graph/source-provenance.json",
  "source_hashes": {
    "homogeneous-symbol-transport.md": "ed81a4b8c9fe9bf266797930f7a041ca236b86c794035f77aa0e902e051fe392",
    "figures/symbol-transport.svg": "4b872b93fb8e06c0a8578414ed7f984dac39ced6d71998fb55d22f96cba94b08",
    "figures/draw_symbol_transport.py": "013bcf02dae6012a29adabd0e672ba529565b80f6f7c78f2e2b4b378a003b430"
  },
  "validation": {
    "recorded_utc": "2026-10-04T20:15:51.811779+00:00",
    "passed": true,
    "exact_homogeneous_mixed_derivative_examples": 32,
    "exact_homogeneous_section_checks": 12,
    "sharp_parameter_examples": 20,
    "exact_finite_difference_checks": 5,
    "proof_nodes": 14,
    "transitive_U001_nodes": 220,
    "earlier_programme_nodes": 95,
    "general_homogeneous_pullback_proved": true,
    "proper_normalized_support_proved": true,
    "symbol_topology_and_asymptotics_proved": true,
    "derivative_loss_FIO_analytic_calculus_proved": false,
    "tests_are_examples_not_proof_substitutes": true,
    "whole_course_complete": false,
    "public_release_authorized": false,
    "workflows_used": false,
    "test_scope": "Finite exact arithmetic examples check the derivative budget, actual mixed homogeneous derivatives, local sections and the finite-difference estimate. Completeness, asymptotic summation and general theorems are proved in the source, not certified by these examples."
  },
  "general_homogeneous_pullback_proved": true,
  "proper_normalized_support_proved": true,
  "symbol_topology_and_asymptotics_proved": true,
  "derivative_loss_FIO_analytic_calculus_proved": false,
  "full_course_complete": false,
  "public_release_authorized": false
}