{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1520-block-errors-local-U7XO5x/report.json",
    "sha256": "a659239660385e4c94ddee0b8f017f37cc747827fc5b596892714963e213cca4",
    "bytes": 3959
  },
  "status": "K1516_K1519_LOCAL_VALIDATED",
  "scope": "A used length of 257 is ShortRead, status 1 is IoError, status 2 is Unsupported, and only 513 bytes with status zero complete a sector. Host tests preserve ownership on error, reset before release and retry; AArch64 no_std compilation and a removed-length-guard mutant are recorded. Guest VFS error propagation remains for K1520.",
  "productAccepted": false,
  "tests": {
    "greenCount": 6,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/source/os-block-requests/src/lib.rs",
      "originalSha256": "f0603300c33a4084fc17032961b74fac6c7b4af53c2468f6ae8c54e5665156c8",
      "href": "/os-evidence/f0603300c33a4084fc17032961b74fac6c7b4af53c2468f6ae8c54e5665156c8.txt",
      "sha256": "f0603300c33a4084fc17032961b74fac6c7b4af53c2468f6ae8c54e5665156c8",
      "bytes": 6948,
      "redacted": false
    },
    {
      "name": "block_io.rs",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/source/kernel/tests/os/block_io.rs",
      "originalSha256": "ac81e99cb734f3cbaa6147e5f6e9f7b2238bdebcd90103345cd6de75df125255",
      "href": "/os-evidence/ac81e99cb734f3cbaa6147e5f6e9f7b2238bdebcd90103345cd6de75df125255.txt",
      "sha256": "ac81e99cb734f3cbaa6147e5f6e9f7b2238bdebcd90103345cd6de75df125255",
      "bytes": 6954,
      "redacted": false
    },
    {
      "name": "BLOCK_IO_REQUEST_CONTRACT.md",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/source/kernel/BLOCK_IO_REQUEST_CONTRACT.md",
      "originalSha256": "437cbdbbf2781bb4a253cf401c1e7f485a508ee7514ba0bed842888fcb2cb4f3",
      "href": "/os-evidence/437cbdbbf2781bb4a253cf401c1e7f485a508ee7514ba0bed842888fcb2cb4f3.txt",
      "sha256": "437cbdbbf2781bb4a253cf401c1e7f485a508ee7514ba0bed842888fcb2cb4f3",
      "bytes": 1516,
      "redacted": false
    },
    {
      "name": "BLOCK_IO_TIMEOUT_CONTRACT.md",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/source/kernel/BLOCK_IO_TIMEOUT_CONTRACT.md",
      "originalSha256": "d71fea8701460360f6d46e48d3dbf05dbc4ea3418361ab8a54120e52bb1c0501",
      "href": "/os-evidence/d71fea8701460360f6d46e48d3dbf05dbc4ea3418361ab8a54120e52bb1c0501.txt",
      "sha256": "d71fea8701460360f6d46e48d3dbf05dbc4ea3418361ab8a54120e52bb1c0501",
      "bytes": 1256,
      "redacted": false
    },
    {
      "name": "BLOCK_IO_ERRORS_CONTRACT.md",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/source/kernel/BLOCK_IO_ERRORS_CONTRACT.md",
      "originalSha256": "81a576c833ae7a7db02bd72709153dba6d2d750947b523d2d0388c2025087ee7",
      "href": "/os-evidence/81a576c833ae7a7db02bd72709153dba6d2d750947b523d2d0388c2025087ee7.txt",
      "sha256": "81a576c833ae7a7db02bd72709153dba6d2d750947b523d2d0388c2025087ee7",
      "bytes": 1100,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/source/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "href": "/os-evidence/b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1.txt",
      "sha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "bytes": 9256,
      "redacted": false
    },
    {
      "name": "block-errors-local.mjs",
      "source": "scripts/os-acceptance/block-errors-local.mjs",
      "originalSha256": "eecd4e444b86e60575db7fa334c4b9de73b1f070e716a7db48fa11803a5d3485",
      "href": "/os-evidence/eecd4e444b86e60575db7fa334c4b9de73b1f070e716a7db48fa11803a5d3485.txt",
      "sha256": "eecd4e444b86e60575db7fa334c4b9de73b1f070e716a7db48fa11803a5d3485",
      "bytes": 5349,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/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/K1520-block-errors-local-U7XO5x/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/host-tests.log",
      "originalSha256": "ecba22b7f87b884e7400b74cf32bd0859e49b7ef21deff7a0a7a307a54291f20",
      "href": "/os-evidence/ecba22b7f87b884e7400b74cf32bd0859e49b7ef21deff7a0a7a307a54291f20.txt",
      "sha256": "ecba22b7f87b884e7400b74cf32bd0859e49b7ef21deff7a0a7a307a54291f20",
      "bytes": 361,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/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/K1520-block-errors-local-U7XO5x/mutant-compile.log",
      "originalSha256": "21041e8cab5f29270497b15bc479e0f0a7e377fb5e7ff0041ee800b7e956b9e4",
      "href": "/os-evidence/b958640f0b9763290e806e5a2bf835ba4ace649249de191c79a3388305f3741c.txt",
      "sha256": "b958640f0b9763290e806e5a2bf835ba4ace649249de191c79a3388305f3741c",
      "bytes": 478,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/mutant-tests.log",
      "originalSha256": "d1b252b202589ffa0f2f0206e231e68a739ae92f9c30de053a15496b06aba895",
      "href": "/os-evidence/d493387322081d7510ab8fda8b18a464b10d4fe25259e41cafe9a8d7166c8292.txt",
      "sha256": "d493387322081d7510ab8fda8b18a464b10d4fe25259e41cafe9a8d7166c8292",
      "bytes": 1369,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1520-block-errors-local-U7XO5x/mutant/os-block-requests/src/lib.rs",
      "originalSha256": "bdb351a491fbddf86ce003d95ebeb45027f08c257add1166ee48c90b070d5d54",
      "href": "/os-evidence/bdb351a491fbddf86ce003d95ebeb45027f08c257add1166ee48c90b070d5d54.txt",
      "sha256": "bdb351a491fbddf86ce003d95ebeb45027f08c257add1166ee48c90b070d5d54",
      "bytes": 6935,
      "redacted": false
    }
  ],
  "moves": [
    "K1516",
    "K1517",
    "K1518",
    "K1519"
  ]
}