{
  "passed": true,
  "finite_groups": 7,
  "checks": {
    "normalized_jet_constants": true,
    "negative_Hessian_contradiction": true,
    "curved_graph_residual_and_exact_integral": true,
    "polarization_degrees_one_through_five": true,
    "adaptive_symplectic_dual": true,
    "nondiagonal_matrix_positivity": true,
    "squared_partition_normalization": true
  },
  "scope": "Exact finite algebra diagnostics only; full general proofs and exact dependencies are in the companions and proof map.",
  "script_sha256": "e1435a65d897019a4b1150cf2fa4426a16eca6c8a4c6fd7fc6fe6cfa656704ef",
  "source_hashes": {
    "finite-matrix-sharp-lower-bound.md": "b9035fda4e36cb672c43a2b70246d61786f6be6630c1d00cdfa4287c31c3519a",
    "scalar-splitting-and-adaptive-scale.md": "71dcc6b6a5289d3a1bd8ab7882b1a36455ed5c09f7066de263337f45f02df1d6"
  },
  "figure_source_sha256": "5a44d116ba0c5388b6c88f1588ed42981919e77c5c50b6b1d358f9af78421cae",
  "Fefferman_Phong_operator_theorem_included": false,
  "U033_restored": false
}