{
  "schemaVersion": 1,
  "version": "rtl-university-workbook-v1",
  "scope": "Synthetic teaching calculations only; no RTL/formal/netlist/physical validation",
  "lesson11": {
    "sourcePeriodNs": 5,
    "destinationPeriodNs": 40,
    "idealUniformPhaseSamplingFraction": 0.125,
    "phaseExamples": [
      {
        "destinationPhaseNs": 2,
        "samplingEdgesNs": [
          2,
          42,
          82
        ],
        "pulseIntervalNs": [
          0,
          5
        ],
        "observed": true
      },
      {
        "destinationPhaseNs": 10,
        "samplingEdgesNs": [
          10,
          50,
          90
        ],
        "pulseIntervalNs": [
          0,
          5
        ],
        "observed": false
      },
      {
        "destinationPhaseNs": 30,
        "samplingEdgesNs": [
          30,
          70,
          110
        ],
        "pulseIntervalNs": [
          0,
          5
        ],
        "observed": false
      }
    ],
    "heldRequest": {
      "requestRiseNs": 6,
      "destinationEdgesNs": [
        40,
        80
      ],
      "firstStageCapturesNs": 40,
      "secondStageObservesNs": 80,
      "assumptions": "ideal edge model, no metastability, old first-stage value used by second stage"
    },
    "pulseFractionsByWidthNs": {
      "5": 0.125,
      "10": 0.25
    },
    "idealHeldRequestCalculations": [
      {
        "requestRiseNs": 6,
        "firstStageCapturesNs": 40,
        "secondStageObservesNs": 80,
        "observationDelayNs": 74,
        "scope": "ideal held request, destination phase 0, no metastability or edge-aperture effects"
      },
      {
        "requestRiseNs": 41,
        "firstStageCapturesNs": 80,
        "secondStageObservesNs": 120,
        "observationDelayNs": 79,
        "scope": "ideal held request, destination phase 0, no metastability or edge-aperture effects"
      }
    ],
    "fourPhaseHandshake": {
      "sourcePeriodNs": 5,
      "sourcePhaseNs": 1,
      "destinationPeriodNs": 40,
      "destinationPhaseNs": 0,
      "requestRiseNs": 6,
      "capturedDataNs": 120,
      "dataMayReleaseNs": 131,
      "nextTransactionMayStartNs": 251,
      "assumptions": "ideal registers read old values at each edge; two sync stages each direction; registered controllers; no metastability or reset",
      "eventTrace": [
        {
          "timeNs": 6,
          "req": 1,
          "req1": 0,
          "req2": 0,
          "ack": 0,
          "ack1": 0,
          "ack2": 0,
          "sender": "wait_ack_high"
        },
        {
          "timeNs": 40,
          "req": 1,
          "req1": 1,
          "req2": 0,
          "ack": 0,
          "ack1": 0,
          "ack2": 0,
          "sender": "wait_ack_high"
        },
        {
          "timeNs": 80,
          "req": 1,
          "req1": 1,
          "req2": 1,
          "ack": 0,
          "ack1": 0,
          "ack2": 0,
          "sender": "wait_ack_high"
        },
        {
          "timeNs": 120,
          "req": 1,
          "req1": 1,
          "req2": 1,
          "ack": 1,
          "ack1": 0,
          "ack2": 0,
          "sender": "wait_ack_high"
        },
        {
          "timeNs": 121,
          "req": 1,
          "req1": 1,
          "req2": 1,
          "ack": 1,
          "ack1": 1,
          "ack2": 0,
          "sender": "wait_ack_high"
        },
        {
          "timeNs": 126,
          "req": 1,
          "req1": 1,
          "req2": 1,
          "ack": 1,
          "ack1": 1,
          "ack2": 1,
          "sender": "wait_ack_high"
        },
        {
          "timeNs": 131,
          "req": 0,
          "req1": 1,
          "req2": 1,
          "ack": 1,
          "ack1": 1,
          "ack2": 1,
          "sender": "wait_ack_low"
        },
        {
          "timeNs": 160,
          "req": 0,
          "req1": 0,
          "req2": 1,
          "ack": 1,
          "ack1": 1,
          "ack2": 1,
          "sender": "wait_ack_low"
        },
        {
          "timeNs": 200,
          "req": 0,
          "req1": 0,
          "req2": 0,
          "ack": 1,
          "ack1": 1,
          "ack2": 1,
          "sender": "wait_ack_low"
        },
        {
          "timeNs": 240,
          "req": 0,
          "req1": 0,
          "req2": 0,
          "ack": 0,
          "ack1": 1,
          "ack2": 1,
          "sender": "wait_ack_low"
        },
        {
          "timeNs": 241,
          "req": 0,
          "req1": 0,
          "req2": 0,
          "ack": 0,
          "ack1": 0,
          "ack2": 1,
          "sender": "wait_ack_low"
        },
        {
          "timeNs": 246,
          "req": 0,
          "req1": 0,
          "req2": 0,
          "ack": 0,
          "ack1": 0,
          "ack2": 0,
          "sender": "wait_ack_low"
        },
        {
          "timeNs": 251,
          "req": 0,
          "req1": 0,
          "req2": 0,
          "ack": 0,
          "ack1": 0,
          "ack2": 0,
          "sender": "idle"
        }
      ]
    }
  },
  "lesson12": {
    "fieldOrder": [
      "S",
      "V",
      "D",
      "L_f",
      "L_k",
      "T_f",
      "T_k"
    ],
    "combinations": 128,
    "counts": {
      "both": 1,
      "fetchOnly": 3,
      "keyOnly": 3,
      "neither": 121
    },
    "fetchOnlyRows": [
      [
        1,
        1,
        1,
        1,
        0,
        1,
        0
      ],
      [
        1,
        1,
        1,
        1,
        0,
        1,
        1
      ],
      [
        1,
        1,
        1,
        1,
        1,
        1,
        0
      ]
    ],
    "powerLossContract": {
      "scope": "separate illustrative dual-slot contract; no storage/physical testing",
      "assumptions": [
        "verified images and metadata",
        "atomic durable floor and confirmed record",
        "available independently authorized R6"
      ],
      "interruptions": [
        {
          "interruptionPoint": "before_B_write",
          "floor": 5,
          "selectedVersion": 5,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": true,
          "R6AllowedUnderCurrentFloor": true
        },
        {
          "interruptionPoint": "B_incomplete",
          "floor": 5,
          "selectedVersion": 5,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": true,
          "R6AllowedUnderCurrentFloor": true
        },
        {
          "interruptionPoint": "B_verified_pending",
          "floor": 5,
          "selectedVersion": 6,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": true,
          "R6AllowedUnderCurrentFloor": true
        },
        {
          "interruptionPoint": "B_confirmed_before_floor",
          "floor": 5,
          "selectedVersion": 6,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": true,
          "R6AllowedUnderCurrentFloor": true
        },
        {
          "interruptionPoint": "atomic_floor_write_old_value",
          "floor": 5,
          "selectedVersion": 6,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": true,
          "R6AllowedUnderCurrentFloor": true
        },
        {
          "interruptionPoint": "atomic_floor_write_new_value",
          "floor": 6,
          "selectedVersion": 6,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": false,
          "R6AllowedUnderCurrentFloor": true
        },
        {
          "interruptionPoint": "floor_6_durable",
          "floor": 6,
          "selectedVersion": 6,
          "imageVerified": true,
          "authorized": true,
          "A5AllowedUnderCurrentFloor": false,
          "R6AllowedUnderCurrentFloor": true
        }
      ],
      "earlyFloorUpdateCounterexample": {
        "floor": 6,
        "A": {
          "version": 5,
          "verified": true
        },
        "B": {
          "version": 6,
          "verified": false
        },
        "recoveryAvailable": false
      },
      "counterexampleResult": "safe rejection possible, legitimate service has no recovery path"
    }
  },
  "lesson12NewSlot": {
    "combinations": 256,
    "counts": {
      "both": 1,
      "fetchOnly": 7,
      "keyOnly": 3,
      "neither": 245
    },
    "scope": "new eighth key-slot input, not implemented in original HTML"
  },
  "lesson13": {
    "toyDfa": {
      "kind": "custom four-bit single substitution plus output XOR; not AES or a standard cipher",
      "sbox": [
        6,
        13,
        0,
        11,
        7,
        2,
        15,
        8,
        5,
        10,
        4,
        1,
        12,
        9,
        3,
        14
      ],
      "inverse": [
        2,
        11,
        5,
        14,
        10,
        8,
        0,
        4,
        7,
        13,
        9,
        3,
        12,
        1,
        15,
        6
      ],
      "teacherKey": 10,
      "error": 1,
      "pairs": [
        {
          "teacherInternalX": 3,
          "C": 1,
          "Cfault": 10,
          "error": 1,
          "candidates": [
            1,
            7,
            10,
            12
          ],
          "intersection": [
            1,
            7,
            10,
            12
          ]
        },
        {
          "teacherInternalX": 6,
          "C": 5,
          "Cfault": 2,
          "error": 1,
          "candidates": [
            10,
            13
          ],
          "intersection": [
            10
          ]
        },
        {
          "teacherInternalX": 9,
          "C": 0,
          "Cfault": 15,
          "error": 1,
          "candidates": [
            5,
            10
          ],
          "intersection": [
            10
          ]
        }
      ],
      "firstPairAll16Guesses": [
        {
          "k": 0,
          "inverseC": 11,
          "inverseFaultC": 9,
          "difference": 2,
          "survives": false
        },
        {
          "k": 1,
          "inverseC": 2,
          "inverseFaultC": 3,
          "difference": 1,
          "survives": true
        },
        {
          "k": 2,
          "inverseC": 14,
          "inverseFaultC": 7,
          "difference": 9,
          "survives": false
        },
        {
          "k": 3,
          "inverseC": 5,
          "inverseFaultC": 13,
          "difference": 8,
          "survives": false
        },
        {
          "k": 4,
          "inverseC": 8,
          "inverseFaultC": 15,
          "difference": 7,
          "survives": false
        },
        {
          "k": 5,
          "inverseC": 10,
          "inverseFaultC": 6,
          "difference": 12,
          "survives": false
        },
        {
          "k": 6,
          "inverseC": 4,
          "inverseFaultC": 12,
          "difference": 8,
          "survives": false
        },
        {
          "k": 7,
          "inverseC": 0,
          "inverseFaultC": 1,
          "difference": 1,
          "survives": true
        },
        {
          "k": 8,
          "inverseC": 13,
          "inverseFaultC": 5,
          "difference": 8,
          "survives": false
        },
        {
          "k": 9,
          "inverseC": 7,
          "inverseFaultC": 14,
          "difference": 9,
          "survives": false
        },
        {
          "k": 10,
          "inverseC": 3,
          "inverseFaultC": 2,
          "difference": 1,
          "survives": true
        },
        {
          "k": 11,
          "inverseC": 9,
          "inverseFaultC": 11,
          "difference": 2,
          "survives": false
        },
        {
          "k": 12,
          "inverseC": 1,
          "inverseFaultC": 0,
          "difference": 1,
          "survives": true
        },
        {
          "k": 13,
          "inverseC": 12,
          "inverseFaultC": 4,
          "difference": 8,
          "survives": false
        },
        {
          "k": 14,
          "inverseC": 6,
          "inverseFaultC": 10,
          "difference": 12,
          "survives": false
        },
        {
          "k": 15,
          "inverseC": 15,
          "inverseFaultC": 8,
          "difference": 7,
          "survives": false
        }
      ],
      "finalCandidates": [
        10
      ]
    },
    "conditionedSynthetic": {
      "prior": [
        0.5,
        0.5
      ],
      "probCorrectGivenX": [
        1,
        0.2
      ],
      "retainedCounts": [
        50,
        10
      ],
      "posterior": [
        0.8333333333333334,
        0.16666666666666666
      ],
      "entropyBits": 0.6500224216483541
    },
    "defaultNoiseSamples": {
      "channel": 0,
      "separated": true,
      "noise": 1,
      "seed": 13,
      "trainA": [
        -0.51778769120574,
        0.44148260075598955,
        -0.9037225563079119,
        0.8944146996363997,
        -0.7578503265976906,
        0.3903178432956338
      ],
      "trainB": [
        2.915431711357087,
        2.2981593091972172,
        2.6840975186787546,
        3.100048223976046,
        2.657255924772471,
        3.280247610528022
      ],
      "meanA": -0.07552423840388656,
      "meanB": 2.8225400497515998,
      "tests": [
        {
          "actual": "A",
          "value": -0.3739498984068632,
          "distanceA": 0.29842566000297666,
          "distanceB": 3.196489948158463,
          "predicted": "A",
          "correct": true
        },
        {
          "actual": "A",
          "value": 0.9499921454116702,
          "distanceA": 1.0255163838155568,
          "distanceB": 1.8725479043399296,
          "predicted": "A",
          "correct": true
        },
        {
          "actual": "B",
          "value": 2.5174902617000043,
          "distanceA": 2.593014500103891,
          "distanceB": 0.30504978805159544,
          "predicted": "B",
          "correct": true
        },
        {
          "actual": "B",
          "value": 3.1479773060418665,
          "distanceA": 3.223501544445753,
          "distanceB": 0.32543725629026676,
          "predicted": "B",
          "correct": true
        }
      ],
      "correct": 4,
      "testCount": 4
    },
    "zeroNoiseSeparated": {
      "channel": 0,
      "separated": true,
      "noise": 0,
      "seed": 13,
      "trainA": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "trainB": [
        3.0,
        3.0,
        3.0,
        3.0,
        3.0,
        3.0
      ],
      "meanA": 0.0,
      "meanB": 3.0,
      "tests": [
        {
          "actual": "A",
          "value": 0.0,
          "distanceA": 0.0,
          "distanceB": 3.0,
          "predicted": "A",
          "correct": true
        },
        {
          "actual": "A",
          "value": 0.0,
          "distanceA": 0.0,
          "distanceB": 3.0,
          "predicted": "A",
          "correct": true
        },
        {
          "actual": "B",
          "value": 3.0,
          "distanceA": 3.0,
          "distanceB": 0.0,
          "predicted": "B",
          "correct": true
        },
        {
          "actual": "B",
          "value": 3.0,
          "distanceA": 3.0,
          "distanceB": 0.0,
          "predicted": "B",
          "correct": true
        }
      ],
      "correct": 4,
      "testCount": 4
    },
    "zeroNoiseOverlap": {
      "channel": 0,
      "separated": false,
      "noise": 0,
      "seed": 13,
      "trainA": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "trainB": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "meanA": 0.0,
      "meanB": 0.0,
      "tests": [
        {
          "actual": "A",
          "value": 0.0,
          "distanceA": 0.0,
          "distanceB": 0.0,
          "predicted": "A",
          "correct": true
        },
        {
          "actual": "A",
          "value": 0.0,
          "distanceA": 0.0,
          "distanceB": 0.0,
          "predicted": "A",
          "correct": true
        },
        {
          "actual": "B",
          "value": 0.0,
          "distanceA": 0.0,
          "distanceB": 0.0,
          "predicted": "A",
          "correct": false
        },
        {
          "actual": "B",
          "value": 0.0,
          "distanceA": 0.0,
          "distanceB": 0.0,
          "predicted": "A",
          "correct": false
        }
      ],
      "correct": 2,
      "testCount": 4
    }
  },
  "lesson14": {
    "singleBitLocations": 1000,
    "timeEdges": 500,
    "singleEvents": 500000,
    "unorderedDistinctTwoEventPairs": 124999750000,
    "zeroObservedBernoulliUpper95": {
      "30": 0.09503385285530419,
      "3000": 0.0009980790119965555
    },
    "assumptions": "iid Bernoulli draws from a specified fixed sampling distribution; no guarantee over every fault-space point",
    "firstFourCampaigns": [
      {
        "fixtureVersion": "rtl14-fixture-v3",
        "scope": "first four synthetic rows; no simulator or physical injection",
        "attempts": 4,
        "eventBudgetPerAttempt": 2,
        "records": [
          {
            "attemptId": "try-001",
            "targetClass": "ROM check_done",
            "timeBin": 1,
            "requiredEvents": 1,
            "triggered": true,
            "toolObservable": true,
            "unauthorizedCommit": true,
            "availabilityFailure": false,
            "blockedInTime": false,
            "lateAlert": true,
            "firstBadCommitEdge": 4,
            "activated": true,
            "eventsApplied": 1
          },
          {
            "attemptId": "try-002",
            "targetClass": "ROM check_done",
            "timeBin": 1,
            "requiredEvents": 2,
            "triggered": true,
            "toolObservable": true,
            "unauthorizedCommit": false,
            "availabilityFailure": false,
            "blockedInTime": true,
            "lateAlert": false,
            "firstBadCommitEdge": null,
            "activated": true,
            "eventsApplied": 2
          },
          {
            "attemptId": "try-003",
            "targetClass": "debug permission",
            "timeBin": 3,
            "requiredEvents": 1,
            "triggered": true,
            "toolObservable": true,
            "unauthorizedCommit": false,
            "availabilityFailure": true,
            "blockedInTime": false,
            "lateAlert": false,
            "firstBadCommitEdge": null,
            "activated": true,
            "eventsApplied": 1
          },
          {
            "attemptId": "try-004",
            "targetClass": "ROM check_done",
            "timeBin": 1,
            "requiredEvents": 1,
            "triggered": false,
            "toolObservable": true,
            "unauthorizedCommit": false,
            "availabilityFailure": false,
            "blockedInTime": false,
            "lateAlert": false,
            "firstBadCommitEdge": null,
            "activated": false,
            "eventsApplied": 0
          }
        ],
        "summary": {
          "attemptsExecuted": 4,
          "eventsApplied": 4,
          "selectedUniqueTargetBins": 2,
          "activatedObservableUniqueBins": 2,
          "targetTimeBinDenominator": 12,
          "untouchedCount": 10,
          "notActivated": 1,
          "unauthorizedCommit": 1,
          "availabilityFailure": 1,
          "blockedInTime": 1,
          "lateAlert": 1
        }
      },
      {
        "fixtureVersion": "rtl14-fixture-v3",
        "scope": "first four synthetic rows; no simulator or physical injection",
        "attempts": 4,
        "eventBudgetPerAttempt": 1,
        "records": [
          {
            "attemptId": "try-001",
            "targetClass": "ROM check_done",
            "timeBin": 1,
            "requiredEvents": 1,
            "triggered": true,
            "toolObservable": true,
            "unauthorizedCommit": true,
            "availabilityFailure": false,
            "blockedInTime": false,
            "lateAlert": true,
            "firstBadCommitEdge": 4,
            "activated": true,
            "eventsApplied": 1
          },
          {
            "attemptId": "try-002",
            "targetClass": "ROM check_done",
            "timeBin": 1,
            "requiredEvents": 2,
            "triggered": true,
            "toolObservable": true,
            "unauthorizedCommit": false,
            "availabilityFailure": false,
            "blockedInTime": true,
            "lateAlert": false,
            "firstBadCommitEdge": null,
            "activated": false,
            "eventsApplied": 0
          },
          {
            "attemptId": "try-003",
            "targetClass": "debug permission",
            "timeBin": 3,
            "requiredEvents": 1,
            "triggered": true,
            "toolObservable": true,
            "unauthorizedCommit": false,
            "availabilityFailure": true,
            "blockedInTime": false,
            "lateAlert": false,
            "firstBadCommitEdge": null,
            "activated": true,
            "eventsApplied": 1
          },
          {
            "attemptId": "try-004",
            "targetClass": "ROM check_done",
            "timeBin": 1,
            "requiredEvents": 1,
            "triggered": false,
            "toolObservable": true,
            "unauthorizedCommit": false,
            "availabilityFailure": false,
            "blockedInTime": false,
            "lateAlert": false,
            "firstBadCommitEdge": null,
            "activated": false,
            "eventsApplied": 0
          }
        ],
        "summary": {
          "attemptsExecuted": 4,
          "eventsApplied": 2,
          "selectedUniqueTargetBins": 2,
          "activatedObservableUniqueBins": 2,
          "targetTimeBinDenominator": 12,
          "untouchedCount": 10,
          "notActivated": 2,
          "unauthorizedCommit": 1,
          "availabilityFailure": 1,
          "blockedInTime": 0,
          "lateAlert": 1
        }
      }
    ]
  },
  "lesson15": {
    "syntheticScoreLabelPairs": [
      [
        1,
        1
      ],
      [
        4,
        1
      ],
      [
        5,
        1
      ],
      [
        2,
        1
      ],
      [
        1,
        0
      ],
      [
        3,
        0
      ],
      [
        5,
        0
      ],
      [
        2,
        0
      ]
    ],
    "thresholdScan": [
      {
        "threshold": 1,
        "TP": 4,
        "FP": 4,
        "FN": 0,
        "TN": 0,
        "cost10FNplusFP": 4,
        "cost2FNplusFP": 4,
        "precision": 0.5,
        "recall": 1.0,
        "accuracy": 0.5
      },
      {
        "threshold": 2,
        "TP": 3,
        "FP": 3,
        "FN": 1,
        "TN": 1,
        "cost10FNplusFP": 13,
        "cost2FNplusFP": 5,
        "precision": 0.5,
        "recall": 0.75,
        "accuracy": 0.5
      },
      {
        "threshold": 3,
        "TP": 2,
        "FP": 2,
        "FN": 2,
        "TN": 2,
        "cost10FNplusFP": 22,
        "cost2FNplusFP": 6,
        "precision": 0.5,
        "recall": 0.5,
        "accuracy": 0.5
      },
      {
        "threshold": 4,
        "TP": 2,
        "FP": 1,
        "FN": 2,
        "TN": 3,
        "cost10FNplusFP": 21,
        "cost2FNplusFP": 5,
        "precision": 0.6666666666666666,
        "recall": 0.5,
        "accuracy": 0.625
      },
      {
        "threshold": 5,
        "TP": 1,
        "FP": 1,
        "FN": 3,
        "TN": 3,
        "cost10FNplusFP": 31,
        "cost2FNplusFP": 7,
        "precision": 0.5,
        "recall": 0.25,
        "accuracy": 0.5
      },
      {
        "threshold": 6,
        "TP": 0,
        "FP": 0,
        "FN": 4,
        "TN": 4,
        "cost10FNplusFP": 40,
        "cost2FNplusFP": 8,
        "precision": null,
        "recall": 0.0,
        "accuracy": 0.5
      }
    ],
    "recall2of4Wilson95": [
      0.15003898915214947,
      0.8499610108478506
    ],
    "unknownEffectsOutsideMatrix": [
      "multi-bit upset",
      "power-rail coupling"
    ]
  },
  "lesson16": {
    "existingProjectionBins": 12,
    "existingObservableProjectionBins": 2,
    "newHypotheticalDimensions": [
      4,
      2,
      3,
      3
    ],
    "newHypotheticalDenominator": 72,
    "projectionDoesNotEstablishFullDimensionCoverage": true,
    "newHypotheticalRecords": [
      [
        "ROM",
        "skip",
        "t1",
        "PROD"
      ],
      [
        "debug",
        "delay",
        "t3",
        "PROD"
      ]
    ],
    "newCoveredBins": 2,
    "newUncoveredBins": 70,
    "repeatedSameBin": {
      "extraAttempts": 3,
      "extraObservableActivatedRecords": 3,
      "extraUniqueCoveredBins": 0
    },
    "teachingClaimPacket": [
      {
        "claimId": "DBG-01",
        "boundary": "debug_accept",
        "evidenceLevel": "Boolean and ideal timing teaching model",
        "ownerRole": "CDC reviewer",
        "date": "2026-10-08",
        "status": "PRODUCT_CDC_RESET_PENDING"
      },
      {
        "claimId": "BOOT-01",
        "boundary": "first_fetch",
        "evidenceLevel": "Boolean teaching model",
        "ownerRole": "Boot designer",
        "date": "2026-10-08",
        "status": "PRODUCT_LOAD_PATH_PENDING"
      },
      {
        "claimId": "CAM-01",
        "boundary": "commit",
        "evidenceLevel": "synthetic fixed fixture",
        "ownerRole": "Campaign reviewer",
        "date": "2026-10-08",
        "status": "COUNTEREXAMPLE_TRY001"
      },
      {
        "claimId": "PHY-01",
        "boundary": "effect mapping",
        "evidenceLevel": "synthetic confusion matrix",
        "ownerRole": "Measurement owner",
        "date": "2026-10-08",
        "status": "PHYSICAL_EVIDENCE_MISSING"
      }
    ],
    "riskAcceptance": "NOT_SIGNED; illustrative responsibility roles only, not a real product decision"
  },
  "sourceSha256": "f4993bfecb8e4c7933614c978d9ab4097e9a89edbbe01aba7a0afaca288aec41"
}