{
  "passed": true,
  "finite_groups": 7,
  "checks": [
    {
      "name": "full_weighted_primitive_and_minus_i_a_term",
      "cases": 24
    },
    {
      "name": "bilinear_transpose_and_Hilbert_adjoint_signs",
      "cases": 2
    },
    {
      "name": "first_order_bilinear_equation_with_actual_cutoff",
      "cases": 1
    },
    {
      "name": "weighted_delta_top_coefficient_and_all_lower_orders",
      "cases": 42
    },
    {
      "name": "complete_variable_coefficient_delta_product",
      "cases": 8
    },
    {
      "name": "ordered_matrix_boundary_defect_and_weighted_annihilation",
      "cases": 4
    },
    {
      "name": "finite_compact_nesting_and_conormal_inclusion_direction",
      "cases": 12
    }
  ],
  "script_sha256": "27ef826402da90d9e0e0a7409db82fa585d40fd59357bab997a6ac7901815afa",
  "source_hashes": {
    "normal-extension-and-boundary-defect.md": "43ec9d3bd5ca29af62c8cf363111c3dc1c9ecf6a518dfbd56be9dc8f348b30cb"
  },
  "finite_checks_replace_proofs": false,
  "U031_restored": false
}