{
  "min_count": {
    "distinguishable_prefix_pairs": 511,
    "horizons": [
      {
        "N": 2,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 3
      },
      {
        "N": 3,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 3
      },
      {
        "N": 4,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 5
      },
      {
        "N": 5,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 5
      },
      {
        "N": 6,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 7
      },
      {
        "N": 7,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 7
      },
      {
        "N": 8,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 9
      },
      {
        "N": 9,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 9
      },
      {
        "N": 10,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 11
      },
      {
        "N": 11,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 11
      },
      {
        "N": 12,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 13
      },
      {
        "N": 13,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 13
      },
      {
        "N": 14,
        "canonical_height": 1,
        "raw_height": 1,
        "states": 15
      }
    ],
    "hostile_boundary": "At N=1 one state of height zero suffices; the height-one formula begins at N=2.",
    "words_checked": 65515
  },
  "parity_comb": {
    "families": [
      {
        "canonical_height": 6,
        "horizon": 12,
        "k": 3,
        "states": 17,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 12,
        "horizon": 21,
        "k": 4,
        "states": 30,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 24,
        "horizon": 38,
        "k": 5,
        "states": 55,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 48,
        "horizon": 71,
        "k": 6,
        "states": 104,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 96,
        "horizon": 136,
        "k": 7,
        "states": 201,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 192,
        "horizon": 265,
        "k": 8,
        "states": 394,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 384,
        "horizon": 522,
        "k": 9,
        "states": 779,
        "tested_integer_gauge_minimizers": [
          0
        ]
      },
      {
        "canonical_height": 768,
        "horizon": 1035,
        "k": 10,
        "states": 1548,
        "tested_integer_gauge_minimizers": [
          0
        ]
      }
    ],
    "hostile_boundary": "The source theorem starts at k=3; the public statement must not omit this hypothesis.",
    "integer_gauges_checked": 200,
    "live_prefixes_signed": 4192
  },
  "review_units": [
    "FPRD-T72",
    "FPRD-T73/T74"
  ],
  "schema": "fprd.result-review.weighted-height-boundaries.v1",
  "status": "passed",
  "unambiguous_controls": {
    "classical_boundary": "Klimann--Lombardy--Mairesse--Prieur Section 3.2 proves max-count is not unambiguous; the exact finite-horizon demands are separate FPRD deductions.",
    "length_shift_identities": 32767,
    "unary_adjacent_gaps": [
      2,
      2,
      4,
      4,
      6,
      6,
      8,
      8,
      10,
      10,
      12,
      12,
      14,
      14,
      16,
      16,
      18,
      18,
      20,
      20,
      22,
      22,
      24,
      24,
      26,
      26,
      28,
      28,
      30,
      30,
      32,
      32,
      34,
      34,
      36,
      36,
      38,
      38,
      40,
      40,
      42,
      42,
      44,
      44,
      46,
      46,
      48,
      48,
      50,
      50,
      52,
      52,
      54,
      54,
      56,
      56,
      58,
      58,
      60,
      60,
      62,
      62,
      64
    ]
  }
}