{
  "diversity_kernel": {
    "complete_families": 1088,
    "complete_matching_states": 10288,
    "deterministic_larger_controls": 250,
    "factorization": "exact",
    "zeta_overhead": "exact"
  },
  "reversible_c7_compiler": {
    "distinct_successor_sets": 5,
    "out_of_alphabet_label_control_rejected": true,
    "quotient_states_including_root": 6,
    "quotient_transitions": 14,
    "reversible": true,
    "standard_c7_codewords": 10,
    "strong_square_independent": true,
    "unmerged_first_coordinate_fibres": 7
  },
  "schema": "fprd.result-review.diversity-reversible.v1",
  "scope": "finite corroboration; arbitrary-size statements use the published proofs",
  "status": "pass"
}