{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/report.json",
    "sha256": "e4eef7d93996c85b1e1f5500ef9507a8f08e1dd213c61f284fcd2eedd9a8ba45",
    "bytes": 4056
  },
  "status": "K1566_K1569_LOCAL_VALIDATED",
  "scope": "The two-cursor table advances only by actual short-read bytes and keeps each handle offset independent. Negative and overflowing seeks leave both cursors unchanged. Two host tests, AArch64 no_std compilation, and a red unchecked-seek-narrowing mutant are recorded. Real guest offset evidence remains for K1570.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/source/os-vfs-offset/src/lib.rs",
      "originalSha256": "e6854f60e97ee6b59422ef8e87dcf35d1322984c3972e3c0918124ac28a84767",
      "href": "/os-evidence/e6854f60e97ee6b59422ef8e87dcf35d1322984c3972e3c0918124ac28a84767.txt",
      "sha256": "e6854f60e97ee6b59422ef8e87dcf35d1322984c3972e3c0918124ac28a84767",
      "bytes": 2431,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/source/os-vfs-lookup/src/lib.rs",
      "originalSha256": "b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e",
      "href": "/os-evidence/b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e.txt",
      "sha256": "b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e",
      "bytes": 3588,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/source/os-vfs-open/src/lib.rs",
      "originalSha256": "ef58c1b35c94126ee19a4a174861275abcf311634f864d6a8c4a412a73fd3c9b",
      "href": "/os-evidence/ef58c1b35c94126ee19a4a174861275abcf311634f864d6a8c4a412a73fd3c9b.txt",
      "sha256": "ef58c1b35c94126ee19a4a174861275abcf311634f864d6a8c4a412a73fd3c9b",
      "bytes": 2094,
      "redacted": false
    },
    {
      "name": "vfs_offset.rs",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/source/kernel/tests/os/vfs_offset.rs",
      "originalSha256": "13de618fd87a52f4af6f1ed38ec6c1902ce59aba0ffd8d298481740d0071e5c0",
      "href": "/os-evidence/13de618fd87a52f4af6f1ed38ec6c1902ce59aba0ffd8d298481740d0071e5c0.txt",
      "sha256": "13de618fd87a52f4af6f1ed38ec6c1902ce59aba0ffd8d298481740d0071e5c0",
      "bytes": 2194,
      "redacted": false
    },
    {
      "name": "VFS_OFFSET_SEEK_CONTRACT.md",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/source/kernel/VFS_OFFSET_SEEK_CONTRACT.md",
      "originalSha256": "3eb91a9098a785a6f71160b8591e62f1291dd432389113bcd770014090c7f0db",
      "href": "/os-evidence/3eb91a9098a785a6f71160b8591e62f1291dd432389113bcd770014090c7f0db.txt",
      "sha256": "3eb91a9098a785a6f71160b8591e62f1291dd432389113bcd770014090c7f0db",
      "bytes": 984,
      "redacted": false
    },
    {
      "name": "vfs-offset-local.mjs",
      "source": "scripts/os-acceptance/vfs-offset-local.mjs",
      "originalSha256": "dd2cfbb8dd9fdf71a716cebb893d961e3bfce469c35d5ab6091030b5ebb20fd0",
      "href": "/os-evidence/dd2cfbb8dd9fdf71a716cebb893d961e3bfce469c35d5ab6091030b5ebb20fd0.txt",
      "sha256": "dd2cfbb8dd9fdf71a716cebb893d961e3bfce469c35d5ab6091030b5ebb20fd0",
      "bytes": 5150,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/source/no-std-root.rs",
      "originalSha256": "d4f11c99fbab1456de5889a6ed6b2fd75903ce688ee54d9ad002f0d9aaacac07",
      "href": "/os-evidence/d4f11c99fbab1456de5889a6ed6b2fd75903ce688ee54d9ad002f0d9aaacac07.txt",
      "sha256": "d4f11c99fbab1456de5889a6ed6b2fd75903ce688ee54d9ad002f0d9aaacac07",
      "bytes": 180,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/host-compile.log",
      "originalSha256": "a596e7c62df0f77a230deb5109574fcbbf4e5335f99e00e49b14c3fdabba19c3",
      "href": "/os-evidence/d03488d6e02e9e3c8f172085b0bd1be9f7867243bf640d2050f3913ceb4743dd.txt",
      "sha256": "d03488d6e02e9e3c8f172085b0bd1be9f7867243bf640d2050f3913ceb4743dd",
      "bytes": 2344,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/host-tests.log",
      "originalSha256": "1ef79a1c80e314c347805e15789039bd6422de1227142a76539d769839a2ce91",
      "href": "/os-evidence/1ef79a1c80e314c347805e15789039bd6422de1227142a76539d769839a2ce91.txt",
      "sha256": "1ef79a1c80e314c347805e15789039bd6422de1227142a76539d769839a2ce91",
      "bytes": 195,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/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/K1570-vfs-offset-local-juSz5j/mutant-compile.log",
      "originalSha256": "50b98d6eff49fa58986f2e71ca4f0016bb819df3b57e05b40ca3a01cd6b65513",
      "href": "/os-evidence/95c2897a492afadbda9f5bb67fe7471b5caf5808763a60097b00e01e6261bff0.txt",
      "sha256": "95c2897a492afadbda9f5bb67fe7471b5caf5808763a60097b00e01e6261bff0",
      "bytes": 2344,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/mutant-tests.log",
      "originalSha256": "b0fdd0d3d9e7cdca871a186345d1d740e71639dc789f8fd8fc61b9b3e039d369",
      "href": "/os-evidence/7e7d66aec13070bbe44783f894487cf0fa0f2d6e94c394efb5a5bacf2f2952df.txt",
      "sha256": "7e7d66aec13070bbe44783f894487cf0fa0f2d6e94c394efb5a5bacf2f2952df",
      "bytes": 624,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1570-vfs-offset-local-juSz5j/mutant/os-vfs-offset/src/lib.rs",
      "originalSha256": "ff0de7e5761cc22a96003f70b6855b5a3853581be236d0ed3fa6db0e46d1d031",
      "href": "/os-evidence/ff0de7e5761cc22a96003f70b6855b5a3853581be236d0ed3fa6db0e46d1d031.txt",
      "sha256": "ff0de7e5761cc22a96003f70b6855b5a3853581be236d0ed3fa6db0e46d1d031",
      "bytes": 2393,
      "redacted": false
    }
  ],
  "moves": [
    "K1566",
    "K1567",
    "K1568",
    "K1569"
  ]
}