{
  "passed": true,
  "finite_groups": 10,
  "checks": {
    "exact_dual_sum_with_noncommuting_forms": true,
    "symplectic_duality_and_scaling": true,
    "actual_phase_dual_factor_sixteen": true,
    "ordered_plane_wave_cocycle": true,
    "Weyl_sign_and_second_order_remainder": true,
    "original_coordinate_affine_gauge": true,
    "symplectic_block_factorization_and_singular_case": true,
    "finite_step_Taylor_coefficients": true,
    "left_to_Weyl_quantization_sign": true,
    "exact_shear_ellipses_area_and_Planck_parameter": true
  },
  "scope": "Exact finite algebra diagnostics; complete general proofs and hypotheses are in the text and exact proof map.",
  "script_sha256": "125c7093504ba62386b545496e3bdcbdb2a481f794db3929e079331d99c48bc7",
  "source_hashes": {
    "metric-weyl-products.md": "80c5aebb484520be944d129d35dc8a7694b1a71f291da82949b09a9bcde42c9e",
    "reflection-and-quantization.md": "0f58fe5b768e11ae6d54d42942d914cc9106fda301a08192164b035f81712aeb",
    "weyl-action-and-covariance.md": "bf0c2f8e1bfc6e9b286347f2ff8b45401882c84032bb3e429e9a4c91338697f7"
  },
  "figure_source_sha256": "524202ebb8e10e75d7befd11e00cb98facf28f2a16f90c8069947207c9f6782b",
  "general_metric_L2_theorem_included": false,
  "Fefferman_Phong_operator_theorem_included": false,
  "U033_restored": false
}