{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/report.json",
    "sha256": "c2f70a55d87395394d8d0352031ca6441fce36f8fa86a216cebd2484c7968559",
    "bytes": 3768
  },
  "status": "K1511_K1514_LOCAL_VALIDATED",
  "scope": "A published read retains its DMA owner on timeout and cancellation. Host tests cover early timeout refusal, late completion refusal without ownership loss, reset acknowledgment, stale token refusal and a later healthy read. AArch64 no_std compilation and an early-release cancellation mutant are recorded. Guest MMIO reset remains for K1515.",
  "productAccepted": false,
  "tests": {
    "greenCount": 4,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/source/os-block-requests/src/lib.rs",
      "originalSha256": "8f45e110ad45f1c997ebb0732f5a14cdc506633b21023cee46b89c6e9205bd77",
      "href": "/os-evidence/8f45e110ad45f1c997ebb0732f5a14cdc506633b21023cee46b89c6e9205bd77.txt",
      "sha256": "8f45e110ad45f1c997ebb0732f5a14cdc506633b21023cee46b89c6e9205bd77",
      "bytes": 6723,
      "redacted": false
    },
    {
      "name": "block_io.rs",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/source/kernel/tests/os/block_io.rs",
      "originalSha256": "09df04f657b0f23079dced772baa9712ea8b47bcfdaeae45bfca6b32a7d5e504",
      "href": "/os-evidence/09df04f657b0f23079dced772baa9712ea8b47bcfdaeae45bfca6b32a7d5e504.txt",
      "sha256": "09df04f657b0f23079dced772baa9712ea8b47bcfdaeae45bfca6b32a7d5e504",
      "bytes": 5285,
      "redacted": false
    },
    {
      "name": "BLOCK_IO_REQUEST_CONTRACT.md",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/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/K1515-block-timeouts-local-LMaURe/source/kernel/BLOCK_IO_TIMEOUT_CONTRACT.md",
      "originalSha256": "d71fea8701460360f6d46e48d3dbf05dbc4ea3418361ab8a54120e52bb1c0501",
      "href": "/os-evidence/d71fea8701460360f6d46e48d3dbf05dbc4ea3418361ab8a54120e52bb1c0501.txt",
      "sha256": "d71fea8701460360f6d46e48d3dbf05dbc4ea3418361ab8a54120e52bb1c0501",
      "bytes": 1256,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/source/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "href": "/os-evidence/b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1.txt",
      "sha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "bytes": 9256,
      "redacted": false
    },
    {
      "name": "block-timeouts-local.mjs",
      "source": "scripts/os-acceptance/block-timeouts-local.mjs",
      "originalSha256": "0d8cd0a07d8c755d7ae0c0cfd3f1f66017e288a768c7b29c99add12491a457f4",
      "href": "/os-evidence/0d8cd0a07d8c755d7ae0c0cfd3f1f66017e288a768c7b29c99add12491a457f4.txt",
      "sha256": "0d8cd0a07d8c755d7ae0c0cfd3f1f66017e288a768c7b29c99add12491a457f4",
      "bytes": 5165,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/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/K1515-block-timeouts-local-LMaURe/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/host-tests.log",
      "originalSha256": "eab3bd1961a9fe7793f072e61f4d57a01514fe6b27af80e40066f728f69b9f5f",
      "href": "/os-evidence/eab3bd1961a9fe7793f072e61f4d57a01514fe6b27af80e40066f728f69b9f5f.txt",
      "sha256": "eab3bd1961a9fe7793f072e61f4d57a01514fe6b27af80e40066f728f69b9f5f",
      "bytes": 281,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/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/K1515-block-timeouts-local-LMaURe/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/mutant-tests.log",
      "originalSha256": "63d6340e67136be4f4055b2b2df383720a3e5a167197a49f083a58c15281f628",
      "href": "/os-evidence/50e5c4c517481b59e5060c9e76ec38036e2dac668eea19f5198a1f9196162996.txt",
      "sha256": "50e5c4c517481b59e5060c9e76ec38036e2dac668eea19f5198a1f9196162996",
      "bytes": 707,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1515-block-timeouts-local-LMaURe/mutant/os-block-requests/src/lib.rs",
      "originalSha256": "b8cde6e1e94109384eff6fe88f07a48684f4f7ab9810c38928fffb17cbd56c6f",
      "href": "/os-evidence/b8cde6e1e94109384eff6fe88f07a48684f4f7ab9810c38928fffb17cbd56c6f.txt",
      "sha256": "b8cde6e1e94109384eff6fe88f07a48684f4f7ab9810c38928fffb17cbd56c6f",
      "bytes": 6697,
      "redacted": false
    }
  ],
  "moves": [
    "K1511",
    "K1512",
    "K1513",
    "K1514"
  ]
}