{
  "scope": "Unary available-length enumeration h=1..4 through 6 Cons allocations; sharp sharing witnesses s=1..5,n=1..12; first arithmetic violations s,h=1..5,A=0..4; word-level push/pop/guarded concat states through five rounds for s=1..3. No exhaustive heap/controller search or proof-assistant verification.",
  "chain_states_checked": 112,
  "sharp_witnesses": 60,
  "descriptor_states_checked": 355,
  "overflow_controls": 564,
  "first_violation_examples": [
    {
      "s": 1,
      "h": 1,
      "A": 2,
      "first_capacity_violation": 3
    },
    {
      "s": 2,
      "h": 1,
      "A": 2,
      "first_capacity_violation": 5
    },
    {
      "s": 3,
      "h": 1,
      "A": 2,
      "first_capacity_violation": 6
    },
    {
      "s": 4,
      "h": 1,
      "A": 2,
      "first_capacity_violation": 6
    },
    {
      "s": 5,
      "h": 1,
      "A": 2,
      "first_capacity_violation": 7
    }
  ],
  "threshold_parameter_cases": 125
}