{
  "scope": "Finite template enumeration for m=2, Sigma={a,b}, K<=2; marker injection on enumerated words; paired rope views for r=0..8. No proof-assistant verification or unbounded theorem check.",
  "available_word_set_counts": [
    1,
    17,
    277
  ],
  "distinct_formal_outputs": 101,
  "allocation_threshold_controls": {
    "X": 0,
    "XX": 1,
    "XYX": 2
  },
  "paired_view_radii": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8
  ]
}