{
  "kind": "authored-arithmetic-cases-not-model-benchmark",
  "initial": {
    "A": 10,
    "B": 20
  },
  "semantics": "Events in listed order, eager value copy, integer addition without wrap; preinterpreted input, not NLP parser or StateBench implementation.",
  "cases": [
    {
      "id": "base",
      "events": [
        {
          "id": "E1",
          "op": "add",
          "target": "A",
          "value": 3
        },
        {
          "id": "E2",
          "op": "copy",
          "target": "B",
          "source": "A"
        },
        {
          "id": "E3",
          "op": "set",
          "target": "A",
          "value": 8
        },
        {
          "id": "E4",
          "op": "add",
          "target": "B",
          "value": 2
        }
      ],
      "expected": {
        "A": 8,
        "B": 15
      },
      "trace": [
        {
          "event": "E1",
          "state": {
            "A": 13,
            "B": 20
          }
        },
        {
          "event": "E2",
          "state": {
            "A": 13,
            "B": 13
          }
        },
        {
          "event": "E3",
          "state": {
            "A": 8,
            "B": 13
          }
        },
        {
          "event": "E4",
          "state": {
            "A": 8,
            "B": 15
          }
        }
      ]
    },
    {
      "id": "literal-rewrite",
      "events": [
        {
          "id": "E1",
          "op": "add",
          "target": "A",
          "value": 3
        },
        {
          "id": "E2",
          "op": "set",
          "target": "B",
          "source": null,
          "value": 13
        },
        {
          "id": "E3",
          "op": "set",
          "target": "A",
          "value": 8
        },
        {
          "id": "E4",
          "op": "add",
          "target": "B",
          "value": 2
        }
      ],
      "expected": {
        "A": 8,
        "B": 15
      },
      "trace": [
        {
          "event": "E1",
          "state": {
            "A": 13,
            "B": 20
          }
        },
        {
          "event": "E2",
          "state": {
            "A": 13,
            "B": 13
          }
        },
        {
          "event": "E3",
          "state": {
            "A": 8,
            "B": 13
          }
        },
        {
          "event": "E4",
          "state": {
            "A": 8,
            "B": 15
          }
        }
      ]
    },
    {
      "id": "omit-E1",
      "events": [
        {
          "id": "E2",
          "op": "copy",
          "target": "B",
          "source": "A"
        },
        {
          "id": "E3",
          "op": "set",
          "target": "A",
          "value": 8
        },
        {
          "id": "E4",
          "op": "add",
          "target": "B",
          "value": 2
        }
      ],
      "expected": {
        "A": 8,
        "B": 12
      },
      "trace": [
        {
          "event": "E2",
          "state": {
            "A": 10,
            "B": 10
          }
        },
        {
          "event": "E3",
          "state": {
            "A": 8,
            "B": 10
          }
        },
        {
          "event": "E4",
          "state": {
            "A": 8,
            "B": 12
          }
        }
      ]
    },
    {
      "id": "move-E3-before-E2",
      "events": [
        {
          "id": "E1",
          "op": "add",
          "target": "A",
          "value": 3
        },
        {
          "id": "E3",
          "op": "set",
          "target": "A",
          "value": 8
        },
        {
          "id": "E2",
          "op": "copy",
          "target": "B",
          "source": "A"
        },
        {
          "id": "E4",
          "op": "add",
          "target": "B",
          "value": 2
        }
      ],
      "expected": {
        "A": 8,
        "B": 10
      },
      "trace": [
        {
          "event": "E1",
          "state": {
            "A": 13,
            "B": 20
          }
        },
        {
          "event": "E3",
          "state": {
            "A": 8,
            "B": 20
          }
        },
        {
          "event": "E2",
          "state": {
            "A": 8,
            "B": 8
          }
        },
        {
          "event": "E4",
          "state": {
            "A": 8,
            "B": 10
          }
        }
      ]
    },
    {
      "id": "irrelevant-note",
      "events": [
        {
          "id": "E1",
          "op": "add",
          "target": "A",
          "value": 3
        },
        {
          "id": "E2",
          "op": "copy",
          "target": "B",
          "source": "A"
        },
        {
          "id": "E3",
          "op": "set",
          "target": "A",
          "value": 8
        },
        {
          "id": "E4",
          "op": "add",
          "target": "B",
          "value": 2
        },
        {
          "id": "E5",
          "op": "note",
          "text": "다음 회의 장소는 미정. A/B 수량 변경 없음."
        }
      ],
      "expected": {
        "A": 8,
        "B": 15
      },
      "trace": [
        {
          "event": "E1",
          "state": {
            "A": 13,
            "B": 20
          }
        },
        {
          "event": "E2",
          "state": {
            "A": 13,
            "B": 13
          }
        },
        {
          "event": "E3",
          "state": {
            "A": 8,
            "B": 13
          }
        },
        {
          "event": "E4",
          "state": {
            "A": 8,
            "B": 15
          }
        },
        {
          "event": "E5",
          "state": {
            "A": 8,
            "B": 15
          }
        }
      ]
    }
  ],
  "modelOutputs": null,
  "modelEvaluationExecuted": false
}