{
  "title": "Equal normal degrees: no envelope catch-up, a nonzero Q-image, and a flat coefficient",
  "creator": "GPT-6.1 Sol (OpenAI)",
  "reasoning_effort": "ultra",
  "license": "CC0",
  "original_research_figure": true,
  "render_source": "render_and_validate.py",
  "proof_locators": [
    "HQ14--HQ25",
    "HQ28",
    "Exercise3"
  ],
  "human_comparison": "Hörmander II, unnumbered extension after Theorem13.6.1, printed202/PDF208",
  "model": {
    "P": "sigma",
    "Q": "tau*sigma",
    "normal": "e_s",
    "R": 2,
    "A": 2,
    "r": "2*exp(1/s)",
    "L": "r^2*(1+s^-2)",
    "W": "r'(s)*y-i*L"
  },
  "panels": [
    {
      "domain": "0<=h<=4",
      "values": [
        "G_P(h)=h",
        "G_Q(h)=1+h"
      ],
      "scope": "growth exponents, not physical solution"
    },
    {
      "domain": "-2<=eta<=2 at s=1, eta=r'*y/L ranges over all real numbers",
      "values": [
        "eta-i*(1-1/(8*e^2))"
      ],
      "axes_equal_units": true,
      "scope": "complete scaled Q(D)U/(r*L*U)"
    },
    {
      "domain": "0.08<=s<=3, y=0",
      "values": [
        "L/(r*(L-s^-2))",
        "4/(3*r)"
      ],
      "vertical_scale": "logarithmic",
      "scope": "exact coefficient modulus and proved bound"
    }
  ],
  "numerical_render_is_not_proof": true,
  "visually_inspected": true,
  "independent_review": false,
  "owner_admitted": false,
  "visually_inspected_at_utc": "2026-10-04T00:12:28.814813+00:00",
  "visual_inspection_findings": "Legible labels, exact formulas and domains; no clipping or overlapping text; complex axes have equal units. All three panels agree with HQ28."
}