{
  "schema": "semiagora.secded-ecc8.v1",
  "experiment_id": "SRAM_ECC_SECDED_001",
  "title": "8-bit SECDED ECC exhaustive fault injection",
  "code": {
    "data_bits": 8,
    "hamming_parity_bits": 4,
    "overall_parity_bits": 1,
    "codeword_bits": 13,
    "payload_hex": "A6",
    "golden_code_hex": "0A39",
    "data_positions": [
      3,
      5,
      6,
      7,
      9,
      10,
      11,
      12
    ],
    "parity_positions": [
      1,
      2,
      4,
      8,
      13
    ]
  },
  "verification": {
    "cases": 92,
    "clean_cases": 1,
    "single_bit_cases": 13,
    "double_bit_cases": 78,
    "single_corrected": 13,
    "double_detected": 78,
    "failures": 0,
    "rtl_lint": "pass"
  },
  "tools": {
    "iverilog": "12.0",
    "verilator": "5.020"
  },
  "events": [
    {
      "case": 0,
      "kind": "clean",
      "bit_a": -1,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A39",
      "syndrome_hex": "0",
      "single_error": false,
      "double_error": false,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 1,
      "kind": "single",
      "bit_a": 0,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A38",
      "syndrome_hex": "1",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 2,
      "kind": "single",
      "bit_a": 1,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A3B",
      "syndrome_hex": "2",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 3,
      "kind": "single",
      "bit_a": 2,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A3D",
      "syndrome_hex": "3",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 4,
      "kind": "single",
      "bit_a": 3,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A31",
      "syndrome_hex": "4",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 5,
      "kind": "single",
      "bit_a": 4,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A29",
      "syndrome_hex": "5",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 6,
      "kind": "single",
      "bit_a": 5,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A19",
      "syndrome_hex": "6",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 7,
      "kind": "single",
      "bit_a": 6,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A79",
      "syndrome_hex": "7",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 8,
      "kind": "single",
      "bit_a": 7,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0AB9",
      "syndrome_hex": "8",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 9,
      "kind": "single",
      "bit_a": 8,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B39",
      "syndrome_hex": "9",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 10,
      "kind": "single",
      "bit_a": 9,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0839",
      "syndrome_hex": "A",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 11,
      "kind": "single",
      "bit_a": 10,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E39",
      "syndrome_hex": "B",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 12,
      "kind": "single",
      "bit_a": 11,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0239",
      "syndrome_hex": "C",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 13,
      "kind": "single",
      "bit_a": 12,
      "bit_b": -1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A39",
      "syndrome_hex": "0",
      "single_error": true,
      "double_error": false,
      "corrected": true,
      "decoded_hex": "A6"
    },
    {
      "case": 14,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 1,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A3A",
      "syndrome_hex": "3",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 15,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 2,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A3C",
      "syndrome_hex": "2",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A7"
    },
    {
      "case": 16,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 3,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A30",
      "syndrome_hex": "5",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 17,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 4,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A28",
      "syndrome_hex": "4",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A4"
    },
    {
      "case": 18,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 5,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A18",
      "syndrome_hex": "7",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A2"
    },
    {
      "case": 19,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 6,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A78",
      "syndrome_hex": "6",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AE"
    },
    {
      "case": 20,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0AB8",
      "syndrome_hex": "9",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 21,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B38",
      "syndrome_hex": "8",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B6"
    },
    {
      "case": 22,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0838",
      "syndrome_hex": "B",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "86"
    },
    {
      "case": 23,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E38",
      "syndrome_hex": "A",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E6"
    },
    {
      "case": 24,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0238",
      "syndrome_hex": "D",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "26"
    },
    {
      "case": 25,
      "kind": "double",
      "bit_a": 0,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A38",
      "syndrome_hex": "1",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 26,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 2,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A3F",
      "syndrome_hex": "1",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A7"
    },
    {
      "case": 27,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 3,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A33",
      "syndrome_hex": "6",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 28,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 4,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A2B",
      "syndrome_hex": "7",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A4"
    },
    {
      "case": 29,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 5,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A1B",
      "syndrome_hex": "4",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A2"
    },
    {
      "case": 30,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 6,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A7B",
      "syndrome_hex": "5",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AE"
    },
    {
      "case": 31,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0ABB",
      "syndrome_hex": "A",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 32,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B3B",
      "syndrome_hex": "B",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B6"
    },
    {
      "case": 33,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "083B",
      "syndrome_hex": "8",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "86"
    },
    {
      "case": 34,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E3B",
      "syndrome_hex": "9",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E6"
    },
    {
      "case": 35,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "023B",
      "syndrome_hex": "E",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "26"
    },
    {
      "case": 36,
      "kind": "double",
      "bit_a": 1,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A3B",
      "syndrome_hex": "2",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 37,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 3,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A35",
      "syndrome_hex": "7",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A7"
    },
    {
      "case": 38,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 4,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A2D",
      "syndrome_hex": "6",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A5"
    },
    {
      "case": 39,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 5,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A1D",
      "syndrome_hex": "5",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A3"
    },
    {
      "case": 40,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 6,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A7D",
      "syndrome_hex": "4",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AF"
    },
    {
      "case": 41,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0ABD",
      "syndrome_hex": "B",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A7"
    },
    {
      "case": 42,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B3D",
      "syndrome_hex": "A",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B7"
    },
    {
      "case": 43,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "083D",
      "syndrome_hex": "9",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "87"
    },
    {
      "case": 44,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E3D",
      "syndrome_hex": "8",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E7"
    },
    {
      "case": 45,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "023D",
      "syndrome_hex": "F",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "27"
    },
    {
      "case": 46,
      "kind": "double",
      "bit_a": 2,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A3D",
      "syndrome_hex": "3",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A7"
    },
    {
      "case": 47,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 4,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A21",
      "syndrome_hex": "1",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A4"
    },
    {
      "case": 48,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 5,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A11",
      "syndrome_hex": "2",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A2"
    },
    {
      "case": 49,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 6,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A71",
      "syndrome_hex": "3",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AE"
    },
    {
      "case": 50,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0AB1",
      "syndrome_hex": "C",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 51,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B31",
      "syndrome_hex": "D",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B6"
    },
    {
      "case": 52,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0831",
      "syndrome_hex": "E",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "86"
    },
    {
      "case": 53,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E31",
      "syndrome_hex": "F",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E6"
    },
    {
      "case": 54,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0231",
      "syndrome_hex": "8",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "26"
    },
    {
      "case": 55,
      "kind": "double",
      "bit_a": 3,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A31",
      "syndrome_hex": "4",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 56,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 5,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A09",
      "syndrome_hex": "3",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A0"
    },
    {
      "case": 57,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 6,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A69",
      "syndrome_hex": "2",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AC"
    },
    {
      "case": 58,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0AA9",
      "syndrome_hex": "D",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A4"
    },
    {
      "case": 59,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B29",
      "syndrome_hex": "C",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B4"
    },
    {
      "case": 60,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0829",
      "syndrome_hex": "F",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "84"
    },
    {
      "case": 61,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E29",
      "syndrome_hex": "E",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E4"
    },
    {
      "case": 62,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0229",
      "syndrome_hex": "9",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "24"
    },
    {
      "case": 63,
      "kind": "double",
      "bit_a": 4,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A29",
      "syndrome_hex": "5",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A4"
    },
    {
      "case": 64,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 6,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A59",
      "syndrome_hex": "1",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AA"
    },
    {
      "case": 65,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0A99",
      "syndrome_hex": "E",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A2"
    },
    {
      "case": 66,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B19",
      "syndrome_hex": "F",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B2"
    },
    {
      "case": 67,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0819",
      "syndrome_hex": "C",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "82"
    },
    {
      "case": 68,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E19",
      "syndrome_hex": "D",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E2"
    },
    {
      "case": 69,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0219",
      "syndrome_hex": "A",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "22"
    },
    {
      "case": 70,
      "kind": "double",
      "bit_a": 5,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A19",
      "syndrome_hex": "6",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A2"
    },
    {
      "case": 71,
      "kind": "double",
      "bit_a": 6,
      "bit_b": 7,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0AF9",
      "syndrome_hex": "F",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AE"
    },
    {
      "case": 72,
      "kind": "double",
      "bit_a": 6,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0B79",
      "syndrome_hex": "E",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "BE"
    },
    {
      "case": 73,
      "kind": "double",
      "bit_a": 6,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0879",
      "syndrome_hex": "D",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "8E"
    },
    {
      "case": 74,
      "kind": "double",
      "bit_a": 6,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0E79",
      "syndrome_hex": "C",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "EE"
    },
    {
      "case": 75,
      "kind": "double",
      "bit_a": 6,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0279",
      "syndrome_hex": "B",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "2E"
    },
    {
      "case": 76,
      "kind": "double",
      "bit_a": 6,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1A79",
      "syndrome_hex": "7",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "AE"
    },
    {
      "case": 77,
      "kind": "double",
      "bit_a": 7,
      "bit_b": 8,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0BB9",
      "syndrome_hex": "1",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B6"
    },
    {
      "case": 78,
      "kind": "double",
      "bit_a": 7,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "08B9",
      "syndrome_hex": "2",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "86"
    },
    {
      "case": 79,
      "kind": "double",
      "bit_a": 7,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0EB9",
      "syndrome_hex": "3",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E6"
    },
    {
      "case": 80,
      "kind": "double",
      "bit_a": 7,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "02B9",
      "syndrome_hex": "4",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "26"
    },
    {
      "case": 81,
      "kind": "double",
      "bit_a": 7,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1AB9",
      "syndrome_hex": "8",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "A6"
    },
    {
      "case": 82,
      "kind": "double",
      "bit_a": 8,
      "bit_b": 9,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0939",
      "syndrome_hex": "3",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "96"
    },
    {
      "case": 83,
      "kind": "double",
      "bit_a": 8,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0F39",
      "syndrome_hex": "2",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "F6"
    },
    {
      "case": 84,
      "kind": "double",
      "bit_a": 8,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0339",
      "syndrome_hex": "5",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "36"
    },
    {
      "case": 85,
      "kind": "double",
      "bit_a": 8,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1B39",
      "syndrome_hex": "9",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "B6"
    },
    {
      "case": 86,
      "kind": "double",
      "bit_a": 9,
      "bit_b": 10,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0C39",
      "syndrome_hex": "1",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "C6"
    },
    {
      "case": 87,
      "kind": "double",
      "bit_a": 9,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0039",
      "syndrome_hex": "6",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "06"
    },
    {
      "case": 88,
      "kind": "double",
      "bit_a": 9,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1839",
      "syndrome_hex": "A",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "86"
    },
    {
      "case": 89,
      "kind": "double",
      "bit_a": 10,
      "bit_b": 11,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "0639",
      "syndrome_hex": "7",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "66"
    },
    {
      "case": 90,
      "kind": "double",
      "bit_a": 10,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1E39",
      "syndrome_hex": "B",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "E6"
    },
    {
      "case": 91,
      "kind": "double",
      "bit_a": 11,
      "bit_b": 12,
      "data_hex": "A6",
      "golden_code_hex": "0A39",
      "injected_code_hex": "1239",
      "syndrome_hex": "C",
      "single_error": false,
      "double_error": true,
      "corrected": false,
      "decoded_hex": "26"
    }
  ],
  "provenance": {
    "rtl_sha256": "3c1685f1184a606be2805d0438b563f1546636320c4e3cf74739c22d3dcb0e2e",
    "testbench_sha256": "df509f2121dfc9e914d6dc24cf30297833bde8cbd8c1323158eab6d17bdad44d",
    "vcd_sha256": "60e2c109a0a0bd288a4c0cc50296ec28ef2ec7fbcb9c6c516c6a3dce2d0e06e0",
    "log_sha256": "e0a9564a946cef68bab8b26f71ea3eb78ad83b55cb4ad5017ebbe843bc37d7c7"
  },
  "limitations": [
    "8-bit educational datapath, not a hardened memory macro",
    "Exhaustive one- and two-bit injection for one payload; not exhaustive over all 256 payloads",
    "SECDED corrects one bit and detects two; decoded data is not safe to consume after an uncorrectable double error",
    "Browser replays executed evidence and does not compile arbitrary RTL"
  ]
}