{
  "passed": true,
  "finite_groups": 14,
  "checks": [
    {
      "name": "Exercise 1 boundary signs",
      "passed": true
    },
    {
      "name": "Exercises 6 and 7 complete cluster basis determinants",
      "passed": true
    },
    {
      "name": "Forward Hardy and half-power interpolation",
      "passed": true
    },
    {
      "name": "Additional singular-weight multiplier and interpolation coefficients",
      "passed": true,
      "scope": "Scalar weight algebra only; the integrated operator argument is separately author-reviewed, not automatically certified."
    },
    {
      "name": "Retained terminal multiplier weights on the original force interval",
      "passed": true,
      "scope": "Exact endpoint weight algebra; retained trace estimates are justified in the written argument."
    },
    {
      "name": "Scaled Fourier trace lift half-order norm exponent",
      "passed": true,
      "scope": "Fourier change-of-variable exponent; Schwartz integrability and actual traces are proved in the draft."
    },
    {
      "name": "Backward first-order weight and lower-jet Hardy derivative",
      "passed": true
    },
    {
      "name": "Source-oriented Hermitian matrix signs and determinant",
      "passed": true
    },
    {
      "name": "Normal recovery and support induction total-order bookkeeping",
      "passed": true
    },
    {
      "name": "Extra data half-order and trace thresholds",
      "passed": true
    },
    {
      "name": "Both exact distinct and double quotient-ring inverses",
      "passed": true
    },
    {
      "name": "Exact full Hamilton trajectory, characteristic identity and second normal derivative",
      "passed": true
    },
    {
      "name": "Exact nested profile thresholds and strictly positive common finite-frequency collar",
      "passed": true
    },
    {
      "name": "All20original solved exercises and41original plus5new labels retained",
      "passed": true
    }
  ],
  "script_sha256": "7e27f84c96abc741c5564fda2b31ccd95d67d6535d05b5898445533f44f0e560",
  "source_hashes": {
    "principal-type-hyperbolic-boundaries-and-cauchy-problems.md": "521daaed4f79dc78c795f01b28d947cf3aaf809bc7ecb0d09d952039df9eeb3d"
  },
  "original_solved_exercises": 20,
  "limitations": "Finite symbolic diagnostics do not replace the full source and analytic proof review.",
  "whole_course_complete": false,
  "public_release_authorized": false
}