{
  "schemaVersion": 1,
  "evidenceType": "deterministic-synthetic-demonstration",
  "generatedAt": "2026-10-11T11:31:58.396Z",
  "humanPage": "https://hesela.com/analyses/checksums-identity-and-lost-writes/",
  "method": "Five constructed records checked cumulatively for SHA-256 consistency, expected address and expected generation; one separate XOR example.",
  "expected": {
    "address": 40,
    "generation": 2,
    "payload": "current"
  },
  "limits": [
    "Not device measurements, fault probabilities, PI conformance or a FAST model-checker reproduction.",
    "Expected address and generation are trusted external inputs; freshness is not independently established.",
    "No adversary, hash collision, concurrency, cache or persistence protocol is modeled.",
    "payloadCorrect is fixture ground truth, not a capability of the verifier."
  ],
  "license": "MIT for model and tests; CC0-1.0 for synthetic result values. Cited sources retain their licenses.",
  "codePath": "/research/integrity-boundaries.mjs",
  "testPath": "/research/integrity-boundaries.test.mjs",
  "generatorPath": "/research/build-integrity-boundaries.mjs",
  "modelSha256": "04061447f1cd1b1035fe3708f2090e0196cae5b77a58de23d567d91a8bb2c4b4",
  "testsSha256": "1884e4cb530de5d0f8dcec0cc030e3164182f6b8bf83001c4fe4b8c09578a384",
  "rows": [
    {
      "scenario": "Correct record",
      "checksum": true,
      "address": true,
      "generation": true,
      "payloadCorrect": true
    },
    {
      "scenario": "Changed bytes after sealing",
      "checksum": false,
      "address": false,
      "generation": false,
      "payloadCorrect": false
    },
    {
      "scenario": "Intact record from address 41",
      "checksum": true,
      "address": false,
      "generation": false,
      "payloadCorrect": false
    },
    {
      "scenario": "Intact old generation at address 40",
      "checksum": true,
      "address": true,
      "generation": false,
      "payloadCorrect": false
    },
    {
      "scenario": "Wrong payload sealed at the producer",
      "checksum": true,
      "address": true,
      "generation": true,
      "payloadCorrect": false
    }
  ],
  "parity": {
    "intendedA": 7,
    "b": 11,
    "observedA": 6,
    "originalParity": 12,
    "rewrittenParity": 13,
    "recoveredBeforeRewrite": 7,
    "recoveredAfterRewrite": 6
  }
}