{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/report.json",
    "sha256": "275169a675fc91fab385abf0ff18c8c456997beb61398bbc938ec75cfc6951ac",
    "bytes": 3273
  },
  "status": "K1531_K1534_LOCAL_VALIDATED",
  "scope": "The read-only partition view validates checked physical LBA translation, final-sector reads, refusal before device I/O, and unchanged state. Two host tests, AArch64 no_std compilation, and a red omitted-boundary mutant are recorded. Real guest neighbouring-sector evidence remains for K1535.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/source/os-partitions-view/src/lib.rs",
      "originalSha256": "f08a258c030d7729f4f97c330e5558c97af3bb72fe5100b5aa43b97c93b8358b",
      "href": "/os-evidence/f08a258c030d7729f4f97c330e5558c97af3bb72fe5100b5aa43b97c93b8358b.txt",
      "sha256": "f08a258c030d7729f4f97c330e5558c97af3bb72fe5100b5aa43b97c93b8358b",
      "bytes": 1800,
      "redacted": false
    },
    {
      "name": "partitions_view.rs",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/source/kernel/tests/os/partitions_view.rs",
      "originalSha256": "95d995c108c0962f94082469455bb5d96e44aa115e9b4ba7901272d66478926c",
      "href": "/os-evidence/95d995c108c0962f94082469455bb5d96e44aa115e9b4ba7901272d66478926c.txt",
      "sha256": "95d995c108c0962f94082469455bb5d96e44aa115e9b4ba7901272d66478926c",
      "bytes": 1650,
      "redacted": false
    },
    {
      "name": "PARTITIONS_VIEW_CONTRACT.md",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/source/kernel/PARTITIONS_VIEW_CONTRACT.md",
      "originalSha256": "8e01a707d3ff2ab298ffc2ddbed692ed2b4f3443953bd5ab77011f951406bda4",
      "href": "/os-evidence/8e01a707d3ff2ab298ffc2ddbed692ed2b4f3443953bd5ab77011f951406bda4.txt",
      "sha256": "8e01a707d3ff2ab298ffc2ddbed692ed2b4f3443953bd5ab77011f951406bda4",
      "bytes": 1513,
      "redacted": false
    },
    {
      "name": "partitions-view-local.mjs",
      "source": "scripts/os-acceptance/partitions-view-local.mjs",
      "originalSha256": "b52e9b6bc752b133b2b7f56d4a46b52ab62126070646609b4eb0d87c3665e5a4",
      "href": "/os-evidence/b52e9b6bc752b133b2b7f56d4a46b52ab62126070646609b4eb0d87c3665e5a4.txt",
      "sha256": "b52e9b6bc752b133b2b7f56d4a46b52ab62126070646609b4eb0d87c3665e5a4",
      "bytes": 4631,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/source/no-std-root.rs",
      "originalSha256": "48ec33e94ab87bff9a1bd4e7314c07ea6fc599d767c56a2526fd703be4479aef",
      "href": "/os-evidence/48ec33e94ab87bff9a1bd4e7314c07ea6fc599d767c56a2526fd703be4479aef.txt",
      "sha256": "48ec33e94ab87bff9a1bd4e7314c07ea6fc599d767c56a2526fd703be4479aef",
      "bytes": 73,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/host-tests.log",
      "originalSha256": "9a1e21f09aaa61a26cacb1a27d21116457d79f5c14190ace4eb4dd73bf8d6ffa",
      "href": "/os-evidence/9a1e21f09aaa61a26cacb1a27d21116457d79f5c14190ace4eb4dd73bf8d6ffa.txt",
      "sha256": "9a1e21f09aaa61a26cacb1a27d21116457d79f5c14190ace4eb4dd73bf8d6ffa",
      "bytes": 193,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/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/K1535-partitions-view-local-FsSWLb/mutant-compile.log",
      "originalSha256": "061087d8dbb0a3c34183636787b526db1ece59092b1331c4832abfd2d1fbea12",
      "href": "/os-evidence/6f0add076d36d82e59b97a2bf9f85646d29bb74e964d11e6ba862612f78d505c.txt",
      "sha256": "6f0add076d36d82e59b97a2bf9f85646d29bb74e964d11e6ba862612f78d505c",
      "bytes": 478,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/mutant-tests.log",
      "originalSha256": "ccf9262bdf1feb847ed397b8ab0f9c11aba16ebb3235f9f29c9a6e2c50190c16",
      "href": "/os-evidence/8421c2ce909b1e6bf8efe8e0e1ae6199955a0864fdcd13a784740eae449f7fef.txt",
      "sha256": "8421c2ce909b1e6bf8efe8e0e1ae6199955a0864fdcd13a784740eae449f7fef",
      "bytes": 644,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1535-partitions-view-local-FsSWLb/mutant/os-partitions-view/src/lib.rs",
      "originalSha256": "926be3940a53bd833091882d1aea8b66cc13992a7adffe4ce5122fcadf08cadf",
      "href": "/os-evidence/926be3940a53bd833091882d1aea8b66cc13992a7adffe4ce5122fcadf08cadf.txt",
      "sha256": "926be3940a53bd833091882d1aea8b66cc13992a7adffe4ce5122fcadf08cadf",
      "bytes": 1779,
      "redacted": false
    }
  ],
  "moves": [
    "K1531",
    "K1532",
    "K1533",
    "K1534"
  ]
}