{
  "evidence": "教学时序模型",
  "entries": [
    {
      "name": "A_long",
      "ready": 6,
      "register": "r1",
      "value": 42,
      "address": null,
      "fault": false
    },
    {
      "name": "B_fault",
      "ready": 2,
      "register": null,
      "value": 0,
      "address": null,
      "fault": true
    },
    {
      "name": "C_store",
      "ready": 1,
      "register": null,
      "value": 99,
      "address": 128,
      "fault": false
    },
    {
      "name": "D_add",
      "ready": 3,
      "register": "r2",
      "value": 88,
      "address": null,
      "fault": false
    }
  ],
  "reference": {
    "registers": [
      [
        "r1",
        42
      ],
      [
        "r2",
        0
      ]
    ],
    "memory": [
      [
        128,
        7
      ]
    ]
  },
  "correct": {
    "events": [
      {
        "cycle": 1,
        "event": "complete",
        "name": "C_store"
      },
      {
        "cycle": 2,
        "event": "complete",
        "name": "B_fault"
      },
      {
        "cycle": 3,
        "event": "complete",
        "name": "D_add"
      },
      {
        "cycle": 6,
        "event": "complete",
        "name": "A_long"
      },
      {
        "cycle": 6,
        "event": "commit",
        "name": "A_long"
      },
      {
        "cycle": 7,
        "event": "trap",
        "name": "B_fault",
        "squashed": [
          "C_store",
          "D_add"
        ]
      }
    ],
    "state": {
      "registers": [
        [
          "r1",
          42
        ],
        [
          "r2",
          0
        ]
      ],
      "memory": [
        [
          128,
          7
        ]
      ]
    },
    "matches_reference": true
  },
  "broken_early_store": {
    "events": [
      {
        "cycle": 1,
        "event": "complete",
        "name": "C_store"
      },
      {
        "cycle": 1,
        "event": "unsafe_memory_write",
        "name": "C_store"
      },
      {
        "cycle": 2,
        "event": "complete",
        "name": "B_fault"
      },
      {
        "cycle": 3,
        "event": "complete",
        "name": "D_add"
      },
      {
        "cycle": 6,
        "event": "complete",
        "name": "A_long"
      },
      {
        "cycle": 6,
        "event": "commit",
        "name": "A_long"
      },
      {
        "cycle": 7,
        "event": "trap",
        "name": "B_fault",
        "squashed": [
          "C_store",
          "D_add"
        ]
      }
    ],
    "state": {
      "registers": [
        [
          "r1",
          42
        ],
        [
          "r2",
          0
        ]
      ],
      "memory": [
        [
          128,
          99
        ]
      ]
    },
    "matches_reference": false
  },
  "without_fault": {
    "events": [
      {
        "cycle": 1,
        "event": "complete",
        "name": "S"
      },
      {
        "cycle": 3,
        "event": "complete",
        "name": "A"
      },
      {
        "cycle": 3,
        "event": "commit",
        "name": "A"
      },
      {
        "cycle": 4,
        "event": "commit",
        "name": "S"
      }
    ],
    "state": {
      "registers": [
        [
          "r1",
          42
        ],
        [
          "r2",
          0
        ]
      ],
      "memory": [
        [
          128,
          99
        ]
      ]
    },
    "matches_reference": true
  }
}