{
  "status": "PASS",
  "checks": 23708,
  "groups": {
    "positive_Gram": 12,
    "nonzero_roots": 12,
    "simple_basis_spans": 12,
    "reflection_involution": 150,
    "reflection_isometry": 150,
    "Cartan_integrality": 3092,
    "all_reflections_preserve_roots": 3092,
    "reduced_lines": 300,
    "regular_polarization": 150,
    "positive_half": 12,
    "indecomposable_simple_basis": 12,
    "integral_simple_coordinates": 150,
    "same_sign_simple_coordinates": 150,
    "simple_flips_only_one": 28,
    "rank_two_Cartan": 4,
    "group_preserves_roots": 914,
    "BFS_shortest_equals_root_inversions": 914,
    "right_multiplication_length_change": 3456,
    "descent_termination_length": 914,
    "descent_reverse_word": 914,
    "reject_correct_but_nonminimal_word": 914,
    "first_sign_crossing_simple_root": 2728,
    "exchange_deleted_word_product": 1728,
    "unique_longest": 12,
    "longest_involution": 12,
    "longest_complement_length": 914,
    "rank_two_group_order": 4,
    "exact_product_order": 15,
    "nonreduced_exchange_identity": 1000,
    "all_and_only_signed_permutations": 8,
    "BC_longest_minus_identity": 8,
    "BC_root_count": 8,
    "BC_Cartan_transpose": 2,
    "BC_long_root_count": 2,
    "B3_target_column_images": 1,
    "B3_target_exact_inversions": 1,
    "B3_longest_nine_word": 1,
    "each_legal_chamber_step": 1112,
    "B3_sorted_absolute_representative": 192,
    "chamber_steps_equal_initial_negative_count": 192,
    "regular_transporter_unique": 192,
    "chamber_composition_order": 192,
    "capstone_seven_states": 1,
    "capstone_transporter_matrix": 1,
    "transporter_word_minimal": 1,
    "wall_unique_transporter_rejected": 1,
    "wall_input_not_regular": 1,
    "reject_transposed_Cartan_for_fixed_simple_basis": 1,
    "reject_inverse_order_even_with_same_length": 1,
    "unipotent_square_zero": 1,
    "unipotent_power_formula": 21,
    "finite_contract_rejected_by_unipotent_certificate": 1,
    "nonreduced_reflection_stable": 1,
    "nonreduced_length_mismatch": 1
  },
  "rank_two": [
    {
      "type": "A1xA1",
      "roots": 4,
      "group_order": 4,
      "product_order": 2,
      "length_distribution": {
        "0": 1,
        "1": 2,
        "2": 1
      }
    },
    {
      "type": "A2",
      "roots": 6,
      "group_order": 6,
      "product_order": 3,
      "length_distribution": {
        "0": 1,
        "1": 2,
        "2": 2,
        "3": 1
      }
    },
    {
      "type": "B2",
      "roots": 8,
      "group_order": 8,
      "product_order": 4,
      "length_distribution": {
        "0": 1,
        "1": 2,
        "2": 2,
        "3": 2,
        "4": 1
      }
    },
    {
      "type": "G2",
      "roots": 12,
      "group_order": 12,
      "product_order": 6,
      "length_distribution": {
        "0": 1,
        "1": 2,
        "2": 2,
        "3": 2,
        "4": 2,
        "5": 2,
        "6": 1
      }
    }
  ],
  "classical_models": [
    {
      "type": "B1",
      "roots": 2,
      "group_order": 2,
      "length_distribution": {
        "0": 1,
        "1": 1
      }
    },
    {
      "type": "B2",
      "roots": 8,
      "group_order": 8,
      "length_distribution": {
        "0": 1,
        "1": 2,
        "2": 2,
        "3": 2,
        "4": 1
      }
    },
    {
      "type": "B3",
      "roots": 18,
      "group_order": 48,
      "length_distribution": {
        "0": 1,
        "1": 3,
        "2": 5,
        "3": 7,
        "4": 8,
        "5": 8,
        "6": 7,
        "7": 5,
        "8": 3,
        "9": 1
      }
    },
    {
      "type": "B4",
      "roots": 32,
      "group_order": 384,
      "length_distribution": {
        "0": 1,
        "1": 4,
        "2": 9,
        "3": 16,
        "4": 24,
        "5": 32,
        "6": 39,
        "7": 44,
        "8": 46,
        "9": 44,
        "10": 39,
        "11": 32,
        "12": 24,
        "13": 16,
        "14": 9,
        "15": 4,
        "16": 1
      }
    },
    {
      "type": "C1",
      "roots": 2,
      "group_order": 2,
      "length_distribution": {
        "0": 1,
        "1": 1
      }
    },
    {
      "type": "C2",
      "roots": 8,
      "group_order": 8,
      "length_distribution": {
        "0": 1,
        "1": 2,
        "2": 2,
        "3": 2,
        "4": 1
      }
    },
    {
      "type": "C3",
      "roots": 18,
      "group_order": 48,
      "length_distribution": {
        "0": 1,
        "1": 3,
        "2": 5,
        "3": 7,
        "4": 8,
        "5": 8,
        "6": 7,
        "7": 5,
        "8": 3,
        "9": 1
      }
    },
    {
      "type": "C4",
      "roots": 32,
      "group_order": 384,
      "length_distribution": {
        "0": 1,
        "1": 4,
        "2": 9,
        "3": 16,
        "4": 24,
        "5": 32,
        "6": 39,
        "7": 44,
        "8": 46,
        "9": 44,
        "10": 39,
        "11": 32,
        "12": 24,
        "13": 16,
        "14": 9,
        "15": 4,
        "16": 1
      }
    }
  ],
  "B3_target_word": [
    3,
    2,
    3,
    1
  ],
  "B3_longest_word": [
    1,
    2,
    3,
    2,
    1,
    2,
    3,
    2,
    3
  ],
  "B3_point_execution": [
    1,
    2,
    3,
    2,
    1,
    3,
    2
  ],
  "B3_point_states": [
    [
      -3,
      1,
      -2
    ],
    [
      1,
      -3,
      -2
    ],
    [
      1,
      -2,
      -3
    ],
    [
      1,
      -2,
      3
    ],
    [
      1,
      3,
      -2
    ],
    [
      3,
      1,
      -2
    ],
    [
      3,
      1,
      2
    ],
    [
      3,
      2,
      1
    ]
  ],
  "B3_point_transporter": [
    [
      -1,
      0,
      0
    ],
    [
      0,
      0,
      -1
    ],
    [
      0,
      1,
      0
    ]
  ],
  "regular_integer_points": 192,
  "limits": [
    "Finite exact models test implementations and displayed certificates; general classification and length theorems use the written proofs.",
    "Product order uses rightmost-first composition; column images are not a point trajectory.",
    "Word length uses simple reflections, not all root reflections.",
    "No claim that an arbitrary reflection closure terminates."
  ]
}