{
  "format": "errata-replay-showcase-record/v1",
  "fixture_provenance": "Recorded actual Renode execution of a synthetic integration application using unmodified Nordic nrfx v2.11.0 drivers. Cases, event traces, observations and ELF identities are projected from the public real-firmware receipt. No model response, host path or credential is included.",
  "source_run_id": "2f25e70933304c4ebe9753d32e31a347",
  "engine": "renode",
  "contract_id": "nrf52832-58",
  "contract_provenance": "Existing human-reviewed revision-scoped anomaly 58 contract; this firmware run made no fresh Meta request.",
  "provider_calls": 0,
  "verification_passed": true,
  "source_kind": "synthetic_application_with_unmodified_vendor_drivers",
  "physical_hardware_validated": false,
  "customer_firmware": false,
  "workaround_provenance": "Separately compiled unmodified upstream nrfx legacy SPI driver integration; reviewed documented legacy SPI alternative, not an automatic patch.",
  "upstream": {
    "repository": "https://github.com/NordicSemiconductor/nrfx",
    "release": "v2.11.0",
    "commit": "2527e3c8449cfd38aee41598e8af8492f410ed15"
  },
  "cases": [
    {
      "id": "nominal",
      "label": "Uploaded ELF on ideal peripheral model",
      "status": "pass",
      "inconclusive": false,
      "overlay_enabled": false,
      "expected": 1,
      "observed": 1,
      "unit": "bytes",
      "metric": "SPI target transfers",
      "firmware_sha256": "840c5ed5aa51cc1ddb2a6106d56f8bf7ff7b552c06167f5260dba83ba9d21aee",
      "observations": {
        "COUNT": 1,
        "UNSPECIFIED": 0,
        "TRIGGERS": 0,
        "UNSUPPORTED": 0,
        "MODE": 7,
        "TRANSACTIONS": 1,
        "PROBE": 195887104
      },
      "trace": [
        {
          "event": "register_write",
          "register": "PSEL.SCK",
          "value": 13,
          "index": 0,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "PSEL.MOSI",
          "value": 15,
          "index": 1,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "PSEL.MISO",
          "value": 14,
          "index": 2,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "FREQUENCY",
          "value": 33554432,
          "index": 3,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "CONFIG",
          "value": 0,
          "index": 4,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "ORC",
          "value": 255,
          "index": 5,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "ENABLE",
          "value": 7,
          "index": 6,
          "source": "renode-peripheral"
        },
        {
          "event": "mode",
          "value": 7,
          "detail": "ENABLE selects disabled=0 / legacy SPI=1 / SPIM=7 at this same MMIO address",
          "index": 7,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD.PTR",
          "value": 536870978,
          "index": 8,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD.MAXCNT",
          "value": 1,
          "index": 9,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "RXD.PTR",
          "value": 536870976,
          "index": 10,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "RXD.MAXCNT",
          "value": 1,
          "index": 11,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "EVENTS_END",
          "value": 0,
          "index": 12,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD.LIST",
          "value": 0,
          "index": 13,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "RXD.LIST",
          "value": 0,
          "index": 14,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TASKS_START",
          "value": 1,
          "index": 15,
          "source": "renode-peripheral"
        },
        {
          "event": "transaction_start",
          "rx_count": 1,
          "tx_count": 1,
          "detail": "Actual SPIM register state at TASKS_START",
          "index": 16,
          "source": "renode-peripheral"
        },
        {
          "event": "target_byte",
          "value": 165,
          "detail": "Independent SPI target received byte",
          "index": 17,
          "source": "renode-peripheral"
        },
        {
          "event": "transfer_end",
          "detail": "SPIM DMA transfer completed; ENDRX, ENDTX and END asserted",
          "index": 18,
          "source": "renode-peripheral"
        },
        {
          "index": 19,
          "source": "renode-monitor",
          "event": "ram_probe",
          "address": 536870920,
          "value": 195887104,
          "detail": "Observed guest RAM; expected value and mask were supplied by the user"
        }
      ],
      "assertion": {
        "description": "Observed nominal transfer stream establishes the dynamic baseline",
        "passed": true
      },
      "user_oracle": {
        "address": 536870920,
        "expected": 195887104,
        "mask": 4294967295,
        "observed": 195887104,
        "provenance": "user_supplied_assertion",
        "passed": true,
        "vacuous": false
      },
      "mode": "SPIM"
    },
    {
      "id": "defect",
      "label": "Same uploaded ELF on nrf52832-58 overlay",
      "status": "fail",
      "inconclusive": false,
      "overlay_enabled": true,
      "expected": 1,
      "observed": 2,
      "unit": "bytes",
      "metric": "SPI target transfers",
      "firmware_sha256": "840c5ed5aa51cc1ddb2a6106d56f8bf7ff7b552c06167f5260dba83ba9d21aee",
      "observations": {
        "COUNT": 2,
        "UNSPECIFIED": 1,
        "TRIGGERS": 1,
        "UNSUPPORTED": 0,
        "MODE": 7,
        "TRANSACTIONS": 1,
        "PROBE": 195887104
      },
      "trace": [
        {
          "event": "register_write",
          "register": "PSEL.SCK",
          "value": 13,
          "index": 0,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "PSEL.MOSI",
          "value": 15,
          "index": 1,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "PSEL.MISO",
          "value": 14,
          "index": 2,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "FREQUENCY",
          "value": 33554432,
          "index": 3,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "CONFIG",
          "value": 0,
          "index": 4,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "ORC",
          "value": 255,
          "index": 5,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "ENABLE",
          "value": 7,
          "index": 6,
          "source": "renode-peripheral"
        },
        {
          "event": "mode",
          "value": 7,
          "detail": "ENABLE selects disabled=0 / legacy SPI=1 / SPIM=7 at this same MMIO address",
          "index": 7,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD.PTR",
          "value": 536870978,
          "index": 8,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD.MAXCNT",
          "value": 1,
          "index": 9,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "RXD.PTR",
          "value": 536870976,
          "index": 10,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "RXD.MAXCNT",
          "value": 1,
          "index": 11,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "EVENTS_END",
          "value": 0,
          "index": 12,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD.LIST",
          "value": 0,
          "index": 13,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "RXD.LIST",
          "value": 0,
          "index": 14,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TASKS_START",
          "value": 1,
          "index": 15,
          "source": "renode-peripheral"
        },
        {
          "event": "transaction_start",
          "rx_count": 1,
          "tx_count": 1,
          "detail": "Actual SPIM register state at TASKS_START",
          "index": 16,
          "source": "renode-peripheral"
        },
        {
          "event": "target_byte",
          "value": 165,
          "detail": "Independent SPI target received byte",
          "index": 17,
          "source": "renode-peripheral"
        },
        {
          "event": "erratum_trigger",
          "detail": "Anomaly 58: RXD.MAXCNT=1 and TXD.MAXCNT<=1; one extra byte is clocked",
          "index": 18,
          "source": "renode-peripheral"
        },
        {
          "event": "target_byte",
          "value": null,
          "detail": "Extra byte content is unspecified by the vendor; counted without inventing data",
          "index": 19,
          "source": "renode-peripheral"
        },
        {
          "event": "transfer_end",
          "detail": "SPIM DMA transfer completed; ENDRX, ENDTX and END asserted",
          "index": 20,
          "source": "renode-peripheral"
        },
        {
          "index": 21,
          "source": "renode-monitor",
          "event": "ram_probe",
          "address": 536870920,
          "value": 195887104,
          "detail": "Observed guest RAM; expected value and mask were supplied by the user"
        }
      ],
      "assertion": {
        "description": "Compare actual target transfers against this upload's nominal run",
        "passed": false
      },
      "user_oracle": {
        "address": 536870920,
        "expected": 195887104,
        "mask": 4294967295,
        "observed": 195887104,
        "provenance": "user_supplied_assertion",
        "passed": true,
        "vacuous": false
      },
      "mode": "SPIM"
    },
    {
      "id": "workaround",
      "label": "Uploaded workaround ELF on affected peripheral model",
      "status": "pass",
      "inconclusive": false,
      "overlay_enabled": true,
      "expected": 1,
      "observed": 1,
      "unit": "bytes",
      "metric": "SPI target transfers",
      "firmware_sha256": "85b85bb05ae1857a97cda483a6fa3ee11121bbe567677cd73bd520264f784874",
      "observations": {
        "COUNT": 1,
        "UNSPECIFIED": 0,
        "TRIGGERS": 0,
        "UNSUPPORTED": 0,
        "MODE": 1,
        "TRANSACTIONS": 1,
        "PROBE": 195887104
      },
      "trace": [
        {
          "event": "register_write",
          "register": "PSEL.SCK",
          "value": 13,
          "index": 0,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "PSEL.MOSI",
          "value": 15,
          "index": 1,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "PSEL.MISO",
          "value": 14,
          "index": 2,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "FREQUENCY",
          "value": 33554432,
          "index": 3,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "CONFIG",
          "value": 0,
          "index": 4,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "ENABLE",
          "value": 1,
          "index": 5,
          "source": "renode-peripheral"
        },
        {
          "event": "mode",
          "value": 1,
          "detail": "ENABLE selects disabled=0 / legacy SPI=1 / SPIM=7 at this same MMIO address",
          "index": 6,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "INTENCLR",
          "value": 4,
          "index": 7,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "EVENTS_READY",
          "value": 0,
          "index": 8,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "TXD",
          "value": 165,
          "index": 9,
          "source": "renode-peripheral"
        },
        {
          "event": "target_byte",
          "value": 165,
          "detail": "Independent SPI target received byte",
          "index": 10,
          "source": "renode-peripheral"
        },
        {
          "event": "transfer_end",
          "detail": "Legacy SPI TXD transfer completed; EVENTS_READY asserted",
          "index": 11,
          "source": "renode-peripheral"
        },
        {
          "event": "register_write",
          "register": "EVENTS_READY",
          "value": 0,
          "index": 12,
          "source": "renode-peripheral"
        },
        {
          "index": 13,
          "source": "renode-monitor",
          "event": "ram_probe",
          "address": 536870920,
          "value": 195887104,
          "detail": "Observed guest RAM; expected value and mask were supplied by the user"
        }
      ],
      "assertion": {
        "description": "Compare actual target transfers against this upload's nominal run",
        "passed": true
      },
      "user_oracle": {
        "address": 536870920,
        "expected": 195887104,
        "mask": 4294967295,
        "observed": 195887104,
        "provenance": "user_supplied_assertion",
        "passed": true,
        "vacuous": false
      },
      "mode": "SPI"
    }
  ]
}