{
  "format": "errata-replay-public-adapter-results/v1",
  "scope": "Saved real Renode end-to-end results following Meta contract extraction. Human-reviewed revision-scoped models; no physical-silicon fidelity claim.",
  "source_file": "docs/replay-evaluation.json",
  "runs": [
    {
      "case_id": "positive-58",
      "run_id": "7e32114e1f594c28b13b0a1cd40b68d8",
      "contract_id": "nrf52832-58",
      "provenance": "meta-live",
      "verification_passed": true,
      "cases": [
        {
          "id": "nominal",
          "status": "pass",
          "expected_bytes": 1,
          "observed_bytes": 1,
          "expected": 1,
          "observed": 1,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "c3a6cee5bb5daf600e50393cc3e4bb04b129f435e98adeb299668f6fe1da3381"
        },
        {
          "id": "defect",
          "status": "fail",
          "expected_bytes": 1,
          "observed_bytes": 2,
          "expected": 1,
          "observed": 2,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "c3a6cee5bb5daf600e50393cc3e4bb04b129f435e98adeb299668f6fe1da3381"
        },
        {
          "id": "workaround",
          "status": "pass",
          "expected_bytes": 1,
          "observed_bytes": 1,
          "expected": 1,
          "observed": 1,
          "unit": "bytes",
          "metric": "SPI target transfers",
          "firmware_sha256": "09da565f71c40ecbcf033fbf9545c99599240b4de5c4d27b4849ac5114ede131"
        }
      ],
      "control_count": 3,
      "controls_passed": true
    },
    {
      "case_id": "positive-15",
      "run_id": "f52e6350138d4b03a5997c6beaf5a566",
      "contract_id": "nrf52832-15",
      "provenance": "meta-live",
      "verification_passed": true,
      "cases": [
        {
          "id": "nominal",
          "status": "pass",
          "expected": 3,
          "observed": 3,
          "unit": "register_value",
          "metric": "RAM power-state readback",
          "firmware_sha256": "6e15f6dd4b449273642b65f1f1136ed4999d0663ccc471c9664091f2a7f436bb"
        },
        {
          "id": "defect",
          "status": "fail",
          "expected": 3,
          "observed": 0,
          "unit": "register_value",
          "metric": "RAM power-state readback",
          "firmware_sha256": "6e15f6dd4b449273642b65f1f1136ed4999d0663ccc471c9664091f2a7f436bb"
        },
        {
          "id": "workaround",
          "status": "pass",
          "expected": 3,
          "observed": 3,
          "unit": "register_value",
          "metric": "RAM power-state readback",
          "firmware_sha256": "59afdc21a7a46e83cea7568c7041912f63b07d482381c5f90653c1347032175a"
        }
      ],
      "control_count": 2,
      "controls_passed": true
    },
    {
      "case_id": "positive-55",
      "run_id": "f87a3018aea0458a8bace4b1596631f1",
      "contract_id": "nrf52832-55",
      "provenance": "meta-live",
      "verification_passed": true,
      "cases": [
        {
          "id": "nominal",
          "status": "pass",
          "expected": 0,
          "observed": 0,
          "unit": "events",
          "metric": "Unexpected accepted pointer-update events",
          "firmware_sha256": "14e9016de29892016ee204b6e5fe8fc5ee99d5535affdf72fa07b1d19cf82efb"
        },
        {
          "id": "defect",
          "status": "fail",
          "expected": 0,
          "observed": 2,
          "unit": "events",
          "metric": "Unexpected accepted pointer-update events",
          "firmware_sha256": "14e9016de29892016ee204b6e5fe8fc5ee99d5535affdf72fa07b1d19cf82efb"
        },
        {
          "id": "workaround",
          "status": "pass",
          "expected": 0,
          "observed": 0,
          "unit": "events",
          "metric": "Unexpected accepted pointer-update events",
          "firmware_sha256": "c107a635a17f48ae7ed706e97bb8f062563ff03d2ea070e30becdaa92e34f34a"
        }
      ],
      "control_count": 3,
      "controls_passed": true
    }
  ]
}