{
  "schemaVersion": 1,
  "evidenceType": "extracted-source-control-flow-with-checksum-stub",
  "generatedAt": "2026-10-17T16:20:17.223181+00:00",
  "sourceVersion": "Linux v6.12",
  "sourceCommit": "adc218676eef25575469234709c2d87185ca223a",
  "sources": [
    {
      "path": "block/t10-pi.c",
      "url": "https://github.com/torvalds/linux/blob/adc218676eef25575469234709c2d87185ca223a/block/t10-pi.c",
      "sha256": "b06dfd2d5f8f2dfd993c6e61e1e77ba51a4b6b26d10f080bf32889df1d2d5c3d",
      "license": "GPL-2.0 per source SPDX identifier"
    },
    {
      "path": "include/linux/t10-pi.h",
      "url": "https://github.com/torvalds/linux/blob/adc218676eef25575469234709c2d87185ca223a/include/linux/t10-pi.h",
      "sha256": "1705a7647736980907b030a21cda7240b43695e6f6bcbcd81b92c99a28bde9b4",
      "license": "GPL-2.0 per source SPDX identifier"
    }
  ],
  "verifierSha256": "51f60b4b3cc44f8d7bfd2864ab98756b989024e08bb9812ca435c220309bb13f",
  "artifactSha256": {
    "runner.py": "280e081d16cad4236c5883deea18432252add4420444d39fa296640b7ade8adc",
    "shim.c": "6e5e44b26abd2ef8e683413c935e8a494eedaa16639ea9ebf37f1ef744364381",
    "cases.c": "55cac829c028f38bbeb4c23e7212c552efc3b53bfed446723bc4cf5cab676fb5"
  },
  "environment": {
    "platform": "Linux-6.8.0-146-generic-x86_64-with-glibc2.39",
    "python": "3.12.3",
    "compiler": "cc (Ubuntu 13.3.0-6ubuntu2~24.04.1) 13.3.0",
    "flags": [
      "-std=gnu11",
      "-Wall",
      "-Wextra",
      "-Werror",
      "-O1"
    ]
  },
  "method": "Extract unchanged t10_pi_verify and the two source structures; compile with minimal user-space types and a fixed-value checksum stub. Count checksum calls. No device I/O.",
  "limits": [
    "Control-flow test, not a running-kernel, controller, NVMe command or hardware experiment.",
    "Checksum stub returns 0x1234 and does not compute CRC or IP checksums.",
    "Only 8-byte PI fields, 512-byte data intervals, pi_offset=0 or 8 and one or two intervals.",
    "Flag constants and status codes are shim-local, not an ABI test.",
    "No CRC64 PI, command masks, remapping, DMA, concurrency, crash or fault-rate claims."
  ],
  "cases": [
    {
      "id": "ordinary-valid",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "accepted",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "ordinary-bad-guard",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "protection-error",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "ordinary-bad-reference",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 8,
      "status": "protection-error",
      "checksumCalls": 0,
      "matched_expected": true
    },
    {
      "id": "escaped-bad-guard-and-reference",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 65535,
      "firstReferenceTag": 8,
      "status": "accepted",
      "checksumCalls": 0,
      "matched_expected": true
    },
    {
      "id": "near-escape-bad-guard",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 65534,
      "firstReferenceTag": 7,
      "status": "protection-error",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "no-reference-check",
      "referenceCheck": false,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 8,
      "status": "accepted",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "no-ref-app-escape-only",
      "referenceCheck": false,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 65535,
      "firstReferenceTag": 0,
      "status": "protection-error",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "no-ref-both-escapes",
      "referenceCheck": false,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 65535,
      "firstReferenceTag": 4294967295,
      "status": "accepted",
      "checksumCalls": 0,
      "matched_expected": true
    },
    {
      "id": "reference-wrap-alias",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 4294967303,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "accepted",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "escaped-then-bad-guard",
      "referenceCheck": true,
      "blocks": 2,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 65535,
      "firstReferenceTag": 99,
      "status": "protection-error",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "escaped-then-valid",
      "referenceCheck": true,
      "blocks": 2,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 65535,
      "firstReferenceTag": 99,
      "status": "accepted",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "bad-guard-then-escaped",
      "referenceCheck": true,
      "blocks": 2,
      "piOffset": 0,
      "metadataStride": 8,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "protection-error",
      "checksumCalls": 1,
      "matched_expected": true
    },
    {
      "id": "metadata-prefix-valid",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 8,
      "metadataStride": 16,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "accepted",
      "checksumCalls": 2,
      "matched_expected": true
    },
    {
      "id": "metadata-prefix-bad-guard",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 8,
      "metadataStride": 16,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "protection-error",
      "checksumCalls": 2,
      "matched_expected": true
    },
    {
      "id": "metadata-prefix-escaped",
      "referenceCheck": true,
      "blocks": 1,
      "piOffset": 8,
      "metadataStride": 16,
      "seed": 7,
      "firstApplicationTag": 65535,
      "firstReferenceTag": 99,
      "status": "accepted",
      "checksumCalls": 0,
      "matched_expected": true
    },
    {
      "id": "metadata-prefix-two-blocks",
      "referenceCheck": true,
      "blocks": 2,
      "piOffset": 8,
      "metadataStride": 16,
      "seed": 7,
      "firstApplicationTag": 0,
      "firstReferenceTag": 7,
      "status": "accepted",
      "checksumCalls": 4,
      "matched_expected": true
    }
  ]
}