{
  "format": "errata-replay-real-firmware-execution-v1",
  "recorded_at": "2026-10-30T05:39:00.442820+00:00",
  "title": "The upstream driver returns success while the affected model clocks an extra byte",
  "source_kind": "synthetic_application_with_unmodified_vendor_drivers",
  "physical_hardware_validated": false,
  "customer_firmware": false,
  "provider_calls": 0,
  "engine": "renode",
  "engine_version": "Renode v1.17.0",
  "run_id": "2f25e70933304c4ebe9753d32e31a347",
  "verification_passed": true,
  "reproduction_confirmed": true,
  "workaround_verified": true,
  "cases": [
    {
      "id": "nominal",
      "label": "Uploaded ELF on ideal peripheral model",
      "status": "pass",
      "inconclusive": false,
      "mode": "uploaded",
      "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
      }
    },
    {
      "id": "defect",
      "label": "Same uploaded ELF on nrf52832-58 overlay",
      "status": "fail",
      "inconclusive": false,
      "mode": "uploaded",
      "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
      },
      "diagnostic_assertions": {
        "trigger_observed": true,
        "trigger_predicates_match": true,
        "same_transaction_count": true,
        "same_normal_byte_stream": true,
        "extra_byte_count_matches_triggers": true
      },
      "user_oracle": {
        "address": 536870920,
        "expected": 195887104,
        "mask": 4294967295,
        "observed": 195887104,
        "provenance": "user_supplied_assertion",
        "passed": true,
        "vacuous": false
      }
    },
    {
      "id": "workaround",
      "label": "Uploaded workaround ELF on affected peripheral model",
      "status": "pass",
      "inconclusive": false,
      "mode": "uploaded",
      "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
      },
      "diagnostic_assertions": {
        "same_normal_byte_stream": true,
        "legacy_spi_used": true,
        "trigger_absent": true
      },
      "user_oracle": {
        "address": 536870920,
        "expected": 195887104,
        "mask": 4294967295,
        "observed": 195887104,
        "provenance": "user_supplied_assertion",
        "passed": true,
        "vacuous": false
      }
    }
  ],
  "controls": [
    {
      "id": "rx-two",
      "run_id": "25aaf8b105c746369c7ac13741c1d412",
      "expected_bytes": 2,
      "passed": true,
      "checks": {
        "same_firmware": true,
        "equal_expected_wire_counts": true,
        "trigger_absent": true,
        "unsupported_absent": true,
        "driver_returned_success": true
      },
      "cases": [
        {
          "id": "nominal",
          "label": "Uploaded ELF on ideal peripheral model",
          "status": "pass",
          "inconclusive": false,
          "mode": "uploaded",
          "overlay_enabled": false,
          "expected": 2,
          "observed": 2,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "e2aaf9016f15d2eb889e509009f7719fecbae36a208cb5173ad22fe1ef824c3e",
          "observations": {
            "COUNT": 2,
            "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": 2,
              "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": 2,
              "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": "target_byte",
              "value": 255,
              "detail": "Independent SPI target received byte",
              "index": 18,
              "source": "renode-peripheral"
            },
            {
              "event": "transfer_end",
              "detail": "SPIM DMA transfer completed; ENDRX, ENDTX and END asserted",
              "index": 19,
              "source": "renode-peripheral"
            },
            {
              "index": 20,
              "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
          }
        },
        {
          "id": "defect",
          "label": "Same uploaded ELF on nrf52832-58 overlay",
          "status": "inconclusive",
          "inconclusive": true,
          "mode": "uploaded",
          "overlay_enabled": true,
          "expected": 2,
          "observed": 2,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "e2aaf9016f15d2eb889e509009f7719fecbae36a208cb5173ad22fe1ef824c3e",
          "observations": {
            "COUNT": 2,
            "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": 2,
              "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": 2,
              "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": "target_byte",
              "value": 255,
              "detail": "Independent SPI target received byte",
              "index": 18,
              "source": "renode-peripheral"
            },
            {
              "event": "transfer_end",
              "detail": "SPIM DMA transfer completed; ENDRX, ENDTX and END asserted",
              "index": 19,
              "source": "renode-peripheral"
            },
            {
              "index": 20,
              "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
          },
          "diagnostic_assertions": {
            "trigger_observed": false,
            "trigger_predicates_match": true,
            "same_transaction_count": true,
            "same_normal_byte_stream": true,
            "extra_byte_count_matches_triggers": true
          },
          "user_oracle": {
            "address": 536870920,
            "expected": 195887104,
            "mask": 4294967295,
            "observed": 195887104,
            "provenance": "user_supplied_assertion",
            "passed": true,
            "vacuous": false
          },
          "reason": "The bounded run did not establish the documented extra-byte divergence against its nominal baseline"
        }
      ]
    },
    {
      "id": "tx-two",
      "run_id": "e5b8c6f9cdcb43bcb21c27c68d199e6d",
      "expected_bytes": 2,
      "passed": true,
      "checks": {
        "same_firmware": true,
        "equal_expected_wire_counts": true,
        "trigger_absent": true,
        "unsupported_absent": true,
        "driver_returned_success": true
      },
      "cases": [
        {
          "id": "nominal",
          "label": "Uploaded ELF on ideal peripheral model",
          "status": "pass",
          "inconclusive": false,
          "mode": "uploaded",
          "overlay_enabled": false,
          "expected": 2,
          "observed": 2,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "a0ecb3bd5608d5fdbe78675f74d7a9ae40e3823e494bd5ecf30171351287a8cb",
          "observations": {
            "COUNT": 2,
            "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": 2,
              "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": 2,
              "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": "target_byte",
              "value": 90,
              "detail": "Independent SPI target received byte",
              "index": 18,
              "source": "renode-peripheral"
            },
            {
              "event": "transfer_end",
              "detail": "SPIM DMA transfer completed; ENDRX, ENDTX and END asserted",
              "index": 19,
              "source": "renode-peripheral"
            },
            {
              "index": 20,
              "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
          }
        },
        {
          "id": "defect",
          "label": "Same uploaded ELF on nrf52832-58 overlay",
          "status": "inconclusive",
          "inconclusive": true,
          "mode": "uploaded",
          "overlay_enabled": true,
          "expected": 2,
          "observed": 2,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "a0ecb3bd5608d5fdbe78675f74d7a9ae40e3823e494bd5ecf30171351287a8cb",
          "observations": {
            "COUNT": 2,
            "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": 2,
              "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": 2,
              "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": "target_byte",
              "value": 90,
              "detail": "Independent SPI target received byte",
              "index": 18,
              "source": "renode-peripheral"
            },
            {
              "event": "transfer_end",
              "detail": "SPIM DMA transfer completed; ENDRX, ENDTX and END asserted",
              "index": 19,
              "source": "renode-peripheral"
            },
            {
              "index": 20,
              "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
          },
          "diagnostic_assertions": {
            "trigger_observed": false,
            "trigger_predicates_match": true,
            "same_transaction_count": true,
            "same_normal_byte_stream": true,
            "extra_byte_count_matches_triggers": true
          },
          "user_oracle": {
            "address": 536870920,
            "expected": 195887104,
            "mask": 4294967295,
            "observed": 195887104,
            "provenance": "user_supplied_assertion",
            "passed": true,
            "vacuous": false
          },
          "reason": "The bounded run did not establish the documented extra-byte divergence against its nominal baseline"
        }
      ]
    },
    {
      "id": "rx-zero",
      "run_id": "083836d8c916463faa0a90f46abcc511",
      "expected_bytes": 1,
      "passed": true,
      "checks": {
        "same_firmware": true,
        "equal_expected_wire_counts": true,
        "trigger_absent": true,
        "unsupported_absent": true,
        "driver_returned_success": true
      },
      "cases": [
        {
          "id": "nominal",
          "label": "Uploaded ELF on ideal peripheral model",
          "status": "pass",
          "inconclusive": false,
          "mode": "uploaded",
          "overlay_enabled": false,
          "expected": 1,
          "observed": 1,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "16e11cc5f713d7924b724f5550fadbf860bbad87c138a3377a012a02bba3ee0a",
          "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": 0,
              "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": 0,
              "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
          }
        },
        {
          "id": "defect",
          "label": "Same uploaded ELF on nrf52832-58 overlay",
          "status": "inconclusive",
          "inconclusive": true,
          "mode": "uploaded",
          "overlay_enabled": true,
          "expected": 1,
          "observed": 1,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "16e11cc5f713d7924b724f5550fadbf860bbad87c138a3377a012a02bba3ee0a",
          "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": 0,
              "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": 0,
              "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": "Compare actual target transfers against this upload's nominal run",
            "passed": false
          },
          "diagnostic_assertions": {
            "trigger_observed": false,
            "trigger_predicates_match": true,
            "same_transaction_count": true,
            "same_normal_byte_stream": true,
            "extra_byte_count_matches_triggers": true
          },
          "user_oracle": {
            "address": 536870920,
            "expected": 195887104,
            "mask": 4294967295,
            "observed": 195887104,
            "provenance": "user_supplied_assertion",
            "passed": true,
            "vacuous": false
          },
          "reason": "The bounded run did not establish the documented extra-byte divergence against its nominal baseline"
        }
      ]
    }
  ],
  "driver_reports": {
    "nominal": {
      "provenance": "separate_actual_renode_diagnostic_execution_of_identical_elf_and_overlay",
      "firmware_sha256": "840c5ed5aa51cc1ddb2a6106d56f8bf7ff7b552c06167f5260dba83ba9d21aee",
      "overlay_enabled": false,
      "addresses": {
        "INIT_RETURN": 536870916,
        "XFER_RETURN": 536870920,
        "COMPLETION": 536870912,
        "RX_FIRST": 536870924,
        "RX_SECOND": 536870928,
        "ASSERT_LINE": 536870932
      },
      "observed": {
        "INIT_RETURN": 195887104,
        "XFER_RETURN": 195887104,
        "COMPLETION": 1314014808,
        "RX_FIRST": 60,
        "RX_SECOND": 0,
        "ASSERT_LINE": 0
      },
      "passed": true,
      "diagnostic_log_sha256": "2395425738ae5aec226d94f9d15f03de1bfbedfa6d742df0391bcbd551b5998c"
    },
    "defect": {
      "provenance": "separate_actual_renode_diagnostic_execution_of_identical_elf_and_overlay",
      "firmware_sha256": "840c5ed5aa51cc1ddb2a6106d56f8bf7ff7b552c06167f5260dba83ba9d21aee",
      "overlay_enabled": true,
      "addresses": {
        "INIT_RETURN": 536870916,
        "XFER_RETURN": 536870920,
        "COMPLETION": 536870912,
        "RX_FIRST": 536870924,
        "RX_SECOND": 536870928,
        "ASSERT_LINE": 536870932
      },
      "observed": {
        "INIT_RETURN": 195887104,
        "XFER_RETURN": 195887104,
        "COMPLETION": 1314014808,
        "RX_FIRST": 60,
        "RX_SECOND": 0,
        "ASSERT_LINE": 0
      },
      "passed": true,
      "diagnostic_log_sha256": "0c81d65637e61d7ac13a44a2adfff177f8896b776ff622bd45c90760364a0cfa"
    },
    "workaround": {
      "provenance": "separate_actual_renode_diagnostic_execution_of_identical_elf_and_overlay",
      "firmware_sha256": "85b85bb05ae1857a97cda483a6fa3ee11121bbe567677cd73bd520264f784874",
      "overlay_enabled": true,
      "addresses": {
        "INIT_RETURN": 536870916,
        "XFER_RETURN": 536870920,
        "COMPLETION": 536870912,
        "RX_FIRST": 536870924,
        "RX_SECOND": 536870928,
        "ASSERT_LINE": 536870932
      },
      "observed": {
        "INIT_RETURN": 195887104,
        "XFER_RETURN": 195887104,
        "COMPLETION": 1314014808,
        "RX_FIRST": 60,
        "RX_SECOND": 0,
        "ASSERT_LINE": 0
      },
      "passed": true,
      "diagnostic_log_sha256": "c357b33bdaf423c9d4f16b070b8a05c3bd4539f9c1b8ff366ef07398310b8fb3"
    }
  },
  "build_manifest": {
    "format": "errata-replay-real-firmware-build-v1",
    "built_at": "2026-10-30T05:41:13.132544+00:00",
    "application_scope": "Synthetic bare-metal integration application using unmodified upstream nrfx drivers",
    "compiler": "arm-none-eabi-gcc (Arm GNU Toolchain 14.3.Rel1 (Build arm-14.174)) 14.3.1 20250623",
    "compiler_sha256": "510c55cfeed7328ade1eb8cb23808fcce1ba6c52dac8d4ebfe033ae4b2534385",
    "source_lock": {
      "format": "errata-replay-vendor-source-lock-v1",
      "dependencies": [
        {
          "name": "nrfx",
          "repository": "https://github.com/NordicSemiconductor/nrfx",
          "release": "v2.11.0",
          "commit": "2527e3c8449cfd38aee41598e8af8492f410ed15",
          "url": "https://codeload.github.com/NordicSemiconductor/nrfx/tar.gz/2527e3c8449cfd38aee41598e8af8492f410ed15",
          "sha256": "1825a186bf973aecedadad7e2b793205fab2f416da1c5ba36e269ba0171ecec7",
          "license": "BSD-3-Clause",
          "license_file": "LICENSE",
          "extract_prefixes": [
            "drivers/",
            "hal/",
            "mdk/nrf.h",
            "mdk/nrf52.h",
            "mdk/system_nrf52.h",
            "mdk/nrf52_bitfields.h",
            "mdk/nrf51_to_nrf52.h",
            "mdk/nrf52_name_change.h",
            "mdk/compiler_abstraction.h",
            "mdk/nrf_peripherals.h",
            "mdk/nrf52832_peripherals.h",
            "nrfx.h",
            "LICENSE"
          ],
          "reviewed_files": {
            "drivers/src/nrfx_spim.c": "14ecf36f07975e0ccdf1de9eb25ba9593892c33a0af5a928aa51525cd59dda93",
            "drivers/src/nrfx_spi.c": "d44cd23b3ade5a45d1c6747d45424751d75bcf44e8706a7a7a6c3772aa7e79ec",
            "drivers/nrfx_errors.h": "c6517d8eda4d4960efc1d255d436228b7e0fa51979a59a65250fb723cf0fe7f4",
            "LICENSE": "f5f9d98c72ce9082380a802035afd4afe79c244eec30be6f7b91a8beaae35c67"
          }
        },
        {
          "name": "cmsis",
          "repository": "https://github.com/ARM-software/CMSIS_5",
          "release": "5.9.0",
          "commit": "2b7495b8535bdcb306dac29b9ded4cfb679d7e5c",
          "url": "https://codeload.github.com/ARM-software/CMSIS_5/tar.gz/2b7495b8535bdcb306dac29b9ded4cfb679d7e5c",
          "sha256": "9f7f0080795b1635b82d9f7b084d37011866cd78365749997391ba0f9602f9fe",
          "license": "Apache-2.0",
          "license_file": "LICENSE.txt",
          "extract_prefixes": [
            "CMSIS/Core/Include/",
            "LICENSE.txt"
          ],
          "reviewed_files": {
            "LICENSE.txt": "b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1"
          }
        }
      ],
      "vendor_documentation": [
        "https://docs.nordicsemi.com/r/bundle/errata_nrf52832_rev3/page/err/nrf52832/rev3/latest/anomaly_832_58.html?contentId=MO8Ib7CUSi~NyOS~RsJq2A"
      ]
    },
    "integration_sha256": {
      "main.c": "015d031c83d0420298652cb9cc236ed54ad4456d97cc1cbf1f65ccab7a47d336",
      "startup.c": "ac6c09216d29d02759a2877735fcbf401f741e0ce5def3ab2ba404e281e5d7a9",
      "linker.ld": "e312d34bd18fc9b2acd877194e8e7842139ccc17b85a23234c485337feea5c3a",
      "nrfx_config.h": "5bd08a49889d28c5733673d96c93b7ae5b99ff28074c9f5ea429269cc196e6c8",
      "nrfx_glue.h": "1044948f4793409fb6f3d2e272c08ce1591e8af962fdca7ed3cfe2b47e810155",
      "nrfx_log.h": "4aea0b68119f880309f30779cde0308a201f9d5ad8f4f876f196e81250f63d93",
      "sources.lock.json": "2a4525cacf1708a22d3d9d6ea39a2aa8007a1e71d756f31b5f4aa3153a4980a6"
    },
    "firmware": {
      "main": {
        "legacy": 0,
        "rx": 1,
        "tx": 1,
        "file": "main.elf",
        "sha256": "840c5ed5aa51cc1ddb2a6106d56f8bf7ff7b552c06167f5260dba83ba9d21aee",
        "size": 6940
      },
      "workaround": {
        "legacy": 1,
        "rx": 1,
        "tx": 1,
        "file": "workaround.elf",
        "sha256": "85b85bb05ae1857a97cda483a6fa3ee11121bbe567677cd73bd520264f784874",
        "size": 6980
      },
      "rx-two": {
        "legacy": 0,
        "rx": 2,
        "tx": 1,
        "file": "rx-two.elf",
        "sha256": "e2aaf9016f15d2eb889e509009f7719fecbae36a208cb5173ad22fe1ef824c3e",
        "size": 6940
      },
      "tx-two": {
        "legacy": 0,
        "rx": 1,
        "tx": 2,
        "file": "tx-two.elf",
        "sha256": "a0ecb3bd5608d5fdbe78675f74d7a9ae40e3823e494bd5ecf30171351287a8cb",
        "size": 6940
      },
      "rx-zero": {
        "legacy": 0,
        "rx": 0,
        "tx": 1,
        "file": "rx-zero.elf",
        "sha256": "16e11cc5f713d7924b724f5550fadbf860bbad87c138a3377a012a02bba3ee0a",
        "size": 6940
      }
    },
    "nrfx_success": {
      "value": 195887104,
      "hex": "0x0BAD0000",
      "source": "nrfx/drivers/nrfx_errors.h"
    },
    "physical_hardware_validated": false,
    "provider_calls": 0
  },
  "limitations": [
    "The application workload is synthetic; nrfx driver sources are the pinned unmodified vendor implementation.",
    "This is a transaction-level Renode model, not a physical nRF52832 measurement or a full-board/RTOS run.",
    "GPIO pad configuration is explicitly skipped through the documented driver option; peripheral pin selection is executed.",
    "The independent SPI target returns fixture byte 0x3C; the erratum's extra byte content remains unspecified.",
    "NRFX_SUCCESS is the observed driver API return value. It does not prove application or external-device correctness.",
    "No real downstream device malfunction, damage, customer incident, or timing effect is claimed."
  ],
  "all_checks_passed": true
}