{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1290-cat-local-preflight-vUFyhq/report.json",
    "sha256": "bb0a5eeff75216ea8a6ebdc1ce824353a3b11274ea4cdbeda1604ba7628ea36d",
    "bytes": 3357
  },
  "status": "K1286_K1289_LOCAL_VALIDATED",
  "scope": "Host tests load the deterministic TurkFS disk bytes for zero, one and 513-byte files, reject absent paths and bad handles, distinguish short reads from EOF and retain ownership after injected output/close errors. Native EL0 file calls and guest disk evidence remain open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 4,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "userspace/Cargo.toml",
      "originalSha256": "1240a9e6cc950133ab49c12d64dde3b5b170a0d0e9d270483ae708ff4dbfb52d",
      "href": "/os-evidence/1240a9e6cc950133ab49c12d64dde3b5b170a0d0e9d270483ae708ff4dbfb52d.txt",
      "sha256": "1240a9e6cc950133ab49c12d64dde3b5b170a0d0e9d270483ae708ff4dbfb52d",
      "bytes": 151,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "userspace/src/lib.rs",
      "originalSha256": "7767b195dc4da4575184d88b464165e07d65ccc5b58de0f1fcdfc68f7dbe923d",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "core_tools.rs",
      "source": "userspace/src/core_tools.rs",
      "originalSha256": "206877bc86c9364af20cc5771740ad30b811bda184af94e056f2155de2064925",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "core_tools.rs",
      "source": "userspace/tests/core_tools.rs",
      "originalSha256": "ada4e72de0dbc780b3ab36cfe2e039e3e84068e31216a129d51acf1eea397074",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "CONTRACT.md",
      "source": "userspace/CONTRACT.md",
      "originalSha256": "968df8d51163a896766c4085dcc61c4b0c3aaa1235428e3a9b5a34b31f075e12",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "k1290-cat-fixture.mjs",
      "source": "scripts/os-acceptance/k1290-cat-fixture.mjs",
      "originalSha256": "4a1ba9b88746dc41f3388b61f50804840507fb8ca7d6e0238bed5528c16743ef",
      "href": "/os-evidence/4a1ba9b88746dc41f3388b61f50804840507fb8ca7d6e0238bed5528c16743ef.txt",
      "sha256": "4a1ba9b88746dc41f3388b61f50804840507fb8ca7d6e0238bed5528c16743ef",
      "bytes": 1835,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1290-cat-local-preflight-vUFyhq/host-tests.log",
      "originalSha256": "d5658074f06d88a5569985ec3a84708d4b93f2ee6bc524931e6d13d3ec03fdf1",
      "href": "/os-evidence/4c1f3b492a1318f612850e84f0838aec1a17a9b699eafaec57fb120042421820.txt",
      "sha256": "4c1f3b492a1318f612850e84f0838aec1a17a9b699eafaec57fb120042421820",
      "bytes": 1125,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1290-cat-local-preflight-vUFyhq/aarch64-no-std-check.log",
      "originalSha256": "10d314f95f38108b93424abd019243dea8cd508ca4dfa17e591894d630e6269f",
      "href": "/os-evidence/933c7a3c979f88f50660a06dd15837f76b921d89e684fa94534d9a0948cf7b13.txt",
      "sha256": "933c7a3c979f88f50660a06dd15837f76b921d89e684fa94534d9a0948cf7b13",
      "bytes": 620,
      "redacted": true
    },
    {
      "name": "short-read-as-eof-mutant.log",
      "source": "reports/os-implementation/K1290-cat-local-preflight-vUFyhq/short-read-as-eof-mutant.log",
      "originalSha256": "6789c6eb2b65a3adcc953db22147faca710e2eeb9d71d2b58df0d31cb2f444f3",
      "href": "/os-evidence/e021fcb90519a58db746d9731b3b1da12db8e6984f63972b63165bc8e29c493a.txt",
      "sha256": "e021fcb90519a58db746d9731b3b1da12db8e6984f63972b63165bc8e29c493a",
      "bytes": 933,
      "redacted": true
    }
  ],
  "moves": [
    "K1286",
    "K1287",
    "K1288",
    "K1289"
  ]
}