{
  "schemaVersion": 1,
  "evidenceType": "constructed-state-model",
  "kernelReference": "Linux v6.12; explanatory behavior only",
  "limits": "No filesystem was mounted or crashed; no power-loss, timing, checksum, allocation or kernel certification claims.",
  "namespace": [
    {
      "prefix": 0,
      "interrupted": {
        "names": {
          "config": 7,
          "temporary": 9
        },
        "links": 1
      },
      "recovered": {
        "names": {
          "config": 9
        },
        "links": 1
      }
    },
    {
      "prefix": 1,
      "interrupted": {
        "names": {
          "temporary": 9
        },
        "links": 1
      },
      "recovered": {
        "names": {
          "config": 9
        },
        "links": 1
      }
    },
    {
      "prefix": 2,
      "interrupted": {
        "names": {
          "temporary": 9,
          "config": 9
        },
        "links": 1
      },
      "recovered": {
        "names": {
          "config": 9
        },
        "links": 1
      }
    },
    {
      "prefix": 3,
      "interrupted": {
        "names": {
          "config": 9
        },
        "links": 1
      },
      "recovered": {
        "names": {
          "config": 9
        },
        "links": 1
      }
    },
    {
      "prefix": 4,
      "interrupted": {
        "names": {
          "config": 9
        },
        "links": 1
      },
      "recovered": {
        "names": {
          "config": 9
        },
        "links": 1
      }
    }
  ],
  "procedure": {
    "once": {
      "state": {
        "names": {
          "config": 9
        },
        "links": 1
      },
      "error": null
    },
    "twice": {
      "state": {
        "names": {},
        "links": 1
      },
      "error": "missing source"
    }
  },
  "blockReuse": {
    "records": [
      {
        "type": "image",
        "tid": 10,
        "block": 42,
        "value": "old-metadata"
      },
      {
        "type": "revoke",
        "tid": 11,
        "block": 42
      }
    ],
    "ignoringRevokes": "old-metadata",
    "respectingRevokes": "new-user-data",
    "laterImage": "later-metadata"
  },
  "generatedOn": "2026-10-14",
  "codeSha256": "4f8c91ae4c8fc43cea75c83960d53ca1de9d6d6061642976b0eeaeefac98a245",
  "sources": [
    "https://github.com/torvalds/linux/blob/v6.12/fs/ext4/fast_commit.c",
    "https://github.com/torvalds/linux/blob/v6.12/fs/jbd2/revoke.c"
  ],
  "method": "Enumerate every single replay prefix; unit tests additionally enumerate all 25 pairs of prefixes before completion."
}