{
  "passed": true,
  "finite_groups": 12,
  "checks": [
    {
      "name": "corner_jacobian_inverse_and_ratio",
      "cases": 6
    },
    {
      "name": "normal_generator_all_lower_terms",
      "cases": 8
    },
    {
      "name": "every_original_normal_jet_coefficient",
      "cases": 7
    },
    {
      "name": "ordered_matrix_composition_against_direct_differentiation",
      "cases": 1
    },
    {
      "name": "full_matrix_adjoint_transform_and_coefficient_derivatives",
      "cases": 1
    },
    {
      "name": "one_half_Schur_marginal",
      "cases": 1
    },
    {
      "name": "matrix_square_root_full_constant_and_product_identity",
      "cases": 15
    },
    {
      "name": "both_summable_dyadic_kernels_including_endpoints",
      "cases": 1701
    },
    {
      "name": "signed_mollifier_quadratic_cancellation",
      "cases": 3
    },
    {
      "name": "continuous_scale_integrals_at_three_critical_indices",
      "cases": 3
    },
    {
      "name": "inverse_kernel_and_actual_dilation_limit",
      "cases": 2
    },
    {
      "name": "positive_order_Besov_counterexample_energy",
      "cases": 10
    }
  ],
  "script_sha256": "fdcd9e28ca727b2a33502f837df81b7e7f11eb08e2c9ec6f843a9e6ac1f1b7e4",
  "source_hashes": {
    "boundary-adjoints-composition-and-distributions.md": "02493eb45c278f19d7867c525d96ee605b3eed40ac14b02d5e2c8ec27eaef4df",
    "boundary-bounds-and-conormal-action.md": "5326cd8635e9e8ebe1b00465651a9da30d63400738f1cbae3d0dd0c9921c418f",
    "boundary-tests-and-lacunary-symbols.md": "bd671434e7d9b683fbde5d75791afe3e08f4a3c43898732dffc2a8704558b65f",
    "resolved-corner-kernels.md": "7fdf90ac7a9b84605eebdad7cbd42252a57d14b6de5392ae73773066cfcb438e"
  },
  "finite_checks_replace_proofs": false,
  "U031_restored": false
}