{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1510-block-requests-local-8l4weu/report.json",
    "sha256": "0907cad71f4a9d67a224e316475392c343ae37a5ffa5841384f3a1b7f9dc48bc",
    "bytes": 3541
  },
  "status": "K1506_K1509_LOCAL_VALIDATED",
  "scope": "Bounded read-only request records bind identity, head, buffer, deadline and device generation. Tests cover two concurrent requests, reverse completion, reuse with new ID, stale generation, wrong completion, timeout retention, reset, host and AArch64 no_std builds, and a red stale-generation mutant. Real guest completion matching remains for K1510.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/source/os-block-requests/src/lib.rs",
      "originalSha256": "1122a6af166ca71159ef7110b1872a0fa4d6f7921f7e3ce776bc57ca4939b329",
      "href": "/os-evidence/1122a6af166ca71159ef7110b1872a0fa4d6f7921f7e3ce776bc57ca4939b329.txt",
      "sha256": "1122a6af166ca71159ef7110b1872a0fa4d6f7921f7e3ce776bc57ca4939b329",
      "bytes": 5471,
      "redacted": false
    },
    {
      "name": "block_io.rs",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/source/kernel/tests/os/block_io.rs",
      "originalSha256": "dc9b512f99673b610d0bc4bbffdc594ca5fdf238038cdbcdb319c3999512d47f",
      "href": "/os-evidence/dc9b512f99673b610d0bc4bbffdc594ca5fdf238038cdbcdb319c3999512d47f.txt",
      "sha256": "dc9b512f99673b610d0bc4bbffdc594ca5fdf238038cdbcdb319c3999512d47f",
      "bytes": 3112,
      "redacted": false
    },
    {
      "name": "BLOCK_IO_REQUEST_CONTRACT.md",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/source/kernel/BLOCK_IO_REQUEST_CONTRACT.md",
      "originalSha256": "437cbdbbf2781bb4a253cf401c1e7f485a508ee7514ba0bed842888fcb2cb4f3",
      "href": "/os-evidence/437cbdbbf2781bb4a253cf401c1e7f485a508ee7514ba0bed842888fcb2cb4f3.txt",
      "sha256": "437cbdbbf2781bb4a253cf401c1e7f485a508ee7514ba0bed842888fcb2cb4f3",
      "bytes": 1516,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/source/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "href": "/os-evidence/b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1.txt",
      "sha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "bytes": 9256,
      "redacted": false
    },
    {
      "name": "block-requests-local.mjs",
      "source": "scripts/os-acceptance/block-requests-local.mjs",
      "originalSha256": "4f08b21eeed1a52c010fbe9724a2243152496d167c7d86fbe3bfc3cc2bae4024",
      "href": "/os-evidence/4f08b21eeed1a52c010fbe9724a2243152496d167c7d86fbe3bfc3cc2bae4024.txt",
      "sha256": "4f08b21eeed1a52c010fbe9724a2243152496d167c7d86fbe3bfc3cc2bae4024",
      "bytes": 4883,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/source/no-std-root.rs",
      "originalSha256": "00af3e3b6dcab2bb1849dce51c9b0d0624c427e7b241d5279be0d467016ea1ff",
      "href": "/os-evidence/00af3e3b6dcab2bb1849dce51c9b0d0624c427e7b241d5279be0d467016ea1ff.txt",
      "sha256": "00af3e3b6dcab2bb1849dce51c9b0d0624c427e7b241d5279be0d467016ea1ff",
      "bytes": 70,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/host-tests.log",
      "originalSha256": "bb111881cbfb1196fda0823f27bd526e97855f6f1a77a23f9a4e79242e1b7319",
      "href": "/os-evidence/bb111881cbfb1196fda0823f27bd526e97855f6f1a77a23f9a4e79242e1b7319.txt",
      "sha256": "bb111881cbfb1196fda0823f27bd526e97855f6f1a77a23f9a4e79242e1b7319",
      "bytes": 197,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/aarch64-no-std-check.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-compile.log",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/mutant-tests.log",
      "originalSha256": "4830007e23e9ee29b4c4ab82864a54d58f08837e58712686b9fc4f377c2f0f66",
      "href": "/os-evidence/481b5e56d4333591d3a3ad0601a3398fd2a5576863df4bb31140f442f2af2830.txt",
      "sha256": "481b5e56d4333591d3a3ad0601a3398fd2a5576863df4bb31140f442f2af2830",
      "bytes": 679,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1510-block-requests-local-8l4weu/mutant/os-block-requests/src/lib.rs",
      "originalSha256": "ed38327cc144152d1dd56d3e8ed85bb626124cdb85b3059365d4d61d928ce28e",
      "href": "/os-evidence/ed38327cc144152d1dd56d3e8ed85bb626124cdb85b3059365d4d61d928ce28e.txt",
      "sha256": "ed38327cc144152d1dd56d3e8ed85bb626124cdb85b3059365d4d61d928ce28e",
      "bytes": 5433,
      "redacted": false
    }
  ],
  "moves": [
    "K1506",
    "K1507",
    "K1508",
    "K1509"
  ]
}