{
  "passed": true,
  "finite_groups": 6,
  "checks": [
    "Exact Gaussian norm exponent, inverse-profile exponent and logarithmic threshold",
    "Independent numerical Gaussian Fourier normalization at nine probes",
    "Full lambda derivative recurrence through order four before polynomial-Gaussian bounds",
    "Positive rational time coordinate and actual locally finite partition at endpoint and interior probes",
    "Both temporal signs retain the nonzero endpoint Fourier term for a smooth cutoff",
    "Original SVG uses exact segment endpoints and cone axes r=(x-210)/32, lambda=(730-y)/60"
  ],
  "largest_gaussian_quadrature_error": 4.9404924595819466e-15,
  "script_sha256": "60dc344d23191e6b101c2759abb3fe0e145bd879c4de6dc1548e920430331546",
  "source_hashes": {
    "prescribed-finite-singular-rays.md": "ab35a7660d8520dd68115bc7ae01c4aa3e08b5076cf58de68ed45ecbe7f30b13",
    "figures/prescribed-singular-ray.svg": "d17414f98e15055d5fdaf11f95dc85ce026fda963751e3015bc3f15711a0574b"
  },
  "scope": "Finite formula and diagram checks only; complete proof review is separately required.",
  "full_course_complete": false
}