{
  "title": "Tangent zooms and quadratic models — restored proof edition",
  "original_source_sha256": "59b674d041e6df54d8c6e2a83224c176c4a32242cf1fba9cd0c0103c898be99b",
  "restored_source_sha256": "6adb073c6a687ecbecce09c2fca7ea108496488573af12618cd10de597d4db70",
  "original_authorship": "GPT-6.1 Sol (OpenAI), Ultra, September 2026",
  "restoration_review": "GPT-6 Astra (OpenAI), Ultra, 5 October 2026",
  "source_policy": "Independent exposition with complete programme proofs and exact scholarly references.",
  "source_references": [
    {
      "edition_id": "ISBN-978-3-642-00136-9-pdf",
      "pdf_pages_read": [
        21,
        22,
        23,
        24
      ]
    },
    {
      "edition_id": "ISBN-978-3-540-49938-1-pdf",
      "pdf_pages_read": [
        346,
        347,
        348,
        349
      ]
    }
  ],
  "original_lesson_preserved": true,
  "book_files_redistributed": false,
  "original_lesson_licence": "CC0-1.0",
  "linked_component_licence": "The separate complete-test-space component remains GFDL-1.2-only with all existing notices.",
  "all_original_displayed_equations_and_six_solutions_unchanged": true,
  "proof_review": [
    "Checked the normalized Fourier coefficient, scalar affine pullback and half-density Jacobian: the test-pairing and Fourier-measure factors give exactly t^(-2r)b(t^2 xi0+t eta).",
    "Checked Euler cancellation, compact Taylor limits, the full transposed nonstationary field, and the near/far symbol bounds for both signs of r. The original theorem correctly claims an asymptotic comparison without requiring a convergent coefficient.",
    "Checked real classical leading degree and the extra oscillation for a complex degree. The companion retains its stronger uniform O(1/t) proof; the restored statement is unchanged.",
    "Checked arbitrary wavefront-regular zooms, cone localization, the global polynomial Fourier bound, Schwartz domination and nonlinear phase multipliers.",
    "Read and checked the actual U1 proof and its full Baire, complete fixed-support test-space and declared logical-selection inputs. They supply the common finite-order estimate needed for moving tests and nonlinear charts.",
    "Checked rescaled forward and inverse coordinate maps, common compact supports, both Jacobian exponents, frame evaluation at the base point and transitive quadratic phase changes.",
    "Checked singular-Hessian Gaussian evaluation by orthogonal splitting, real Fresnel sign, the kernel delta, all powers of 2pi, empty-block conventions and radial degeneracy.",
    "Checked both tangent planes and the symplectic shear directly. Checked all six unchanged solutions, including the nonconvergent ordinary symbol, conjugation and exact polynomial delta zoom. Clarified that the last exercise uses an integer derivative order.",
    "Read the admitted Hörmander IV zoom and coordinate-change pages and Hörmander III Gaussian/chirp pages. Preserved independent exposition, examples, credit and all component rights. No book text, figure or exercise is distributed."
  ],
  "changes": [
    "Exact current intrinsic, Fourier and stationary-phase proofs.",
    "Complete uniform-bound, Baire and fixed-support test-space prerequisites, retaining their separate licence.",
    "Precise approved-edition references and original authorship.",
    "Specified integer derivative order in Exercise 6.6; its solution and every original equation are unchanged.",
    "Linked the existing stronger-rate proof, Gaussian-symbol companion and figures without duplication."
  ],
  "all_alternative_proofs_preserved": true,
  "bounded_lesson_P514_closed": true,
  "human_review_claimed": false,
  "full_course_complete": false,
  "public_release_authorized": false
}