{
  "schema": "fprd.result-review.v1",
  "date": "2026-09-01",
  "status": "pass_with_correction",
  "review_units": [
    {
      "claims": ["FPRD-SH-T31", "FPRD-SH-T32", "FPRD-SH-B09", "FPRD-SH-C17"],
      "source_checker_reproduced": true,
      "source_output_sha256": "fc5e969a0476a16ef6f9b6b37afdb859fe889edea8e20161d4889fd78496051b",
      "source_totals": {
        "complete_support_families": 33856,
        "matching_states_complete_and_larger_controls": 738063,
        "policy_valid_target_systems": 2000,
        "useful_target_states": 24636
      },
      "correction": "The size-at-least-two factorization now requires the exceptional matching in the one-hub branch to be nonempty."
    },
    {
      "claims": ["FPRD-SH-T29", "FPRD-SH-B05", "FPRD-SH-C13"],
      "source_checker_reproduced": true,
      "correction": "The C7 regression now uses the standard vertex alphabet {0,...,6}, hence the final codeword is (6,0) and the merged state is S6. The earlier finite regression used an eighth symbol and did not test strong-square independence for that control.",
      "corrected_control": {
        "codewords": 10,
        "quotient_states": 6,
        "quotient_transitions": 14,
        "strong_square_independent": true,
        "reversible": true
      }
    }
  ],
  "independent_review": {
    "script": "diversity_reversible_independent_review.py",
    "script_sha256": "c4efece00a15a850ad79374ab940aec29fd1abe1ebd159142d9a6d86511ad622",
    "output_sha256": "99b2242ac00d17908fca9b9dd1de7b159557d22e4b87d3e4ff2bd8adea1ee11f",
    "complete_diversity_families": 1088,
    "complete_matching_states": 10288,
    "larger_diversity_controls": 250,
    "status": "pass"
  },
  "scope": "Finite computation corroborates the implementations; arbitrary-size conclusions depend on the displayed proofs."
}