{
  "artifact_schema": "fprd.independent-mathematical-audit.v1",
  "binary_family": {
    "hostile_boundary": {
      "reason_for_n_at_least_5": "the one-a lower bound 2n-5 is below n at n=4",
      "shortest_target_length": 3,
      "shortest_target_word": "bab",
      "states": 4
    },
    "parameter_range": [4, 18],
    "rows": [
      {"displayed_witness_length": 4, "green_triviality_checked": true, "monoid_size": 7, "reachable_states": 4, "shortest_target_length": 3, "states": 4},
      {"displayed_witness_length": 5, "green_triviality_checked": true, "monoid_size": 14, "reachable_states": 5, "shortest_target_length": 5, "states": 5},
      {"displayed_witness_length": 6, "green_triviality_checked": true, "monoid_size": 25, "reachable_states": 6, "shortest_target_length": 6, "states": 6},
      {"displayed_witness_length": 7, "green_triviality_checked": true, "monoid_size": 41, "reachable_states": 7, "shortest_target_length": 7, "states": 7},
      {"displayed_witness_length": 8, "green_triviality_checked": true, "monoid_size": 63, "reachable_states": 8, "shortest_target_length": 8, "states": 8},
      {"displayed_witness_length": 9, "green_triviality_checked": true, "monoid_size": 92, "reachable_states": 9, "shortest_target_length": 9, "states": 9},
      {"displayed_witness_length": 10, "green_triviality_checked": true, "monoid_size": 129, "reachable_states": 10, "shortest_target_length": 10, "states": 10},
      {"displayed_witness_length": 11, "green_triviality_checked": true, "monoid_size": 175, "reachable_states": 11, "shortest_target_length": 11, "states": 11},
      {"displayed_witness_length": 12, "green_triviality_checked": true, "monoid_size": 231, "reachable_states": 12, "shortest_target_length": 12, "states": 12},
      {"displayed_witness_length": 13, "green_triviality_checked": false, "monoid_size": 298, "reachable_states": 13, "shortest_target_length": 13, "states": 13},
      {"displayed_witness_length": 14, "green_triviality_checked": false, "monoid_size": 377, "reachable_states": 14, "shortest_target_length": 14, "states": 14},
      {"displayed_witness_length": 15, "green_triviality_checked": false, "monoid_size": 469, "reachable_states": 15, "shortest_target_length": 15, "states": 15},
      {"displayed_witness_length": 16, "green_triviality_checked": false, "monoid_size": 575, "reachable_states": 16, "shortest_target_length": 16, "states": 16},
      {"displayed_witness_length": 17, "green_triviality_checked": false, "monoid_size": 696, "reachable_states": 17, "shortest_target_length": 17, "states": 17},
      {"displayed_witness_length": 18, "green_triviality_checked": false, "monoid_size": 833, "reachable_states": 18, "shortest_target_length": 18, "states": 18}
    ],
    "theorem_range": [5, 18]
  },
  "review_date": "2026-09-01",
  "status": "PASS",
  "target_isolating_example": {
    "collapsed_pair": ["a", "0"],
    "monoid_elements": 3,
    "multiplication_checks": 9,
    "podfa_degree": 2,
    "target_fibre": ["1"]
  }
}