{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/report.json",
    "sha256": "18ac89df830f985230dd5b6c22cfc91b70c8c90b3fffa0b7f7d1bb5542fc6e78",
    "bytes": 3401
  },
  "status": "K1611_K1614_LOCAL_VALIDATED",
  "scope": "A bounded read-only descriptor validates three ordered, separated, disk-bounded extents before reading exactly the logical file size. Two host tests cover positive reads and overlap, order, bounds, capacity, short output, and transport rollback; AArch64 no_std compilation and a red omitted-overlap-guard mutant are recorded. The block reader is synthetic. Real disk sectors, an independent file hash, and six guest profiles remain for K1615.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/source/os-turkfs-reader/src/lib.rs",
      "originalSha256": "ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291",
      "href": "/os-evidence/ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291.txt",
      "sha256": "ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291",
      "bytes": 2999,
      "redacted": false
    },
    {
      "name": "turkfs_reader.rs",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/source/kernel/tests/os/turkfs_reader.rs",
      "originalSha256": "5a6513525edd71a8a03f091faa626988b31e628f8b274a8ff014f93064ac1700",
      "href": "/os-evidence/5a6513525edd71a8a03f091faa626988b31e628f8b274a8ff014f93064ac1700.txt",
      "sha256": "5a6513525edd71a8a03f091faa626988b31e628f8b274a8ff014f93064ac1700",
      "bytes": 2640,
      "redacted": false
    },
    {
      "name": "TURKFS_READER_EXTENTS_CONTRACT.md",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/source/kernel/TURKFS_READER_EXTENTS_CONTRACT.md",
      "originalSha256": "e5886231b4139ce64da2205d1edc067726352e98833a97edde5f6cde841d373f",
      "href": "/os-evidence/e5886231b4139ce64da2205d1edc067726352e98833a97edde5f6cde841d373f.txt",
      "sha256": "e5886231b4139ce64da2205d1edc067726352e98833a97edde5f6cde841d373f",
      "bytes": 887,
      "redacted": false
    },
    {
      "name": "turkfs-reader-local.mjs",
      "source": "scripts/os-acceptance/turkfs-reader-local.mjs",
      "originalSha256": "e54dfeb41a849d70724d4a8336ce4c173ef489802d6bf45c1fa641d6ed3a54ec",
      "href": "/os-evidence/e54dfeb41a849d70724d4a8336ce4c173ef489802d6bf45c1fa641d6ed3a54ec.txt",
      "sha256": "e54dfeb41a849d70724d4a8336ce4c173ef489802d6bf45c1fa641d6ed3a54ec",
      "bytes": 4921,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/source/no-std-root.rs",
      "originalSha256": "d9433335abc64c771865d14f749beaa215cae4d369440b0ff719a1f82de83b48",
      "href": "/os-evidence/d9433335abc64c771865d14f749beaa215cae4d369440b0ff719a1f82de83b48.txt",
      "sha256": "d9433335abc64c771865d14f749beaa215cae4d369440b0ff719a1f82de83b48",
      "bytes": 67,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/host-tests.log",
      "originalSha256": "c1d92604725a58bd1dc54cdc3b17c003365a1317148bc276c2f43e7fc8c3b92c",
      "href": "/os-evidence/c1d92604725a58bd1dc54cdc3b17c003365a1317148bc276c2f43e7fc8c3b92c.txt",
      "sha256": "c1d92604725a58bd1dc54cdc3b17c003365a1317148bc276c2f43e7fc8c3b92c",
      "bytes": 205,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/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/K1615-turkfs-reader-local-KbG4LA/mutant-compile.log",
      "originalSha256": "09782c0cdcb344addb401dcc9cf9128ff77919b0f3becf3100c7cc31f6fda102",
      "href": "/os-evidence/3a69be9ce3ddef9a6db419a76a375891d115d21230d82d93e8ba762af3f5d814.txt",
      "sha256": "3a69be9ce3ddef9a6db419a76a375891d115d21230d82d93e8ba762af3f5d814",
      "bytes": 870,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/mutant-tests.log",
      "originalSha256": "427bfce3fc3b479ff6518b7429308545132b0638354086d6ebd6cc8fd88b8a75",
      "href": "/os-evidence/aaa6906ef501e4f20bbc43b396dc06a647950e1e0c7e7b8c9cc5d3d8ae116734.txt",
      "sha256": "aaa6906ef501e4f20bbc43b396dc06a647950e1e0c7e7b8c9cc5d3d8ae116734",
      "bytes": 818,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1615-turkfs-reader-local-KbG4LA/mutant/os-turkfs-reader/src/lib.rs",
      "originalSha256": "aaba5f401b4038c96c6b166c5816dde8cb1a08ec90f18f3dbbdd12bdcf182102",
      "href": "/os-evidence/aaba5f401b4038c96c6b166c5816dde8cb1a08ec90f18f3dbbdd12bdcf182102.txt",
      "sha256": "aaba5f401b4038c96c6b166c5816dde8cb1a08ec90f18f3dbbdd12bdcf182102",
      "bytes": 2957,
      "redacted": false
    }
  ],
  "moves": [
    "K1611",
    "K1612",
    "K1613",
    "K1614"
  ]
}