{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/report.json",
    "sha256": "fef4c035cc8f7e1b6c51386a06f49aaee71fe68ecbb767f1fa13ea03ca4f6d40",
    "bytes": 3659
  },
  "status": "K1561_K1564_LOCAL_VALIDATED",
  "scope": "The two-slot read-only open table publishes two distinct handles for the same valid dentry. A write/create request returns Erofs before handle reservation or identifier advance. Two host tests, AArch64 no_std compilation, and a red omitted-Erofs-guard mutant are recorded. Real guest disk-integrity evidence remains for K1565.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/source/os-vfs-open/src/lib.rs",
      "originalSha256": "ef58c1b35c94126ee19a4a174861275abcf311634f864d6a8c4a412a73fd3c9b",
      "href": "/os-evidence/ef58c1b35c94126ee19a4a174861275abcf311634f864d6a8c4a412a73fd3c9b.txt",
      "sha256": "ef58c1b35c94126ee19a4a174861275abcf311634f864d6a8c4a412a73fd3c9b",
      "bytes": 2094,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/source/os-vfs-lookup/src/lib.rs",
      "originalSha256": "b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e",
      "href": "/os-evidence/b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e.txt",
      "sha256": "b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e",
      "bytes": 3588,
      "redacted": false
    },
    {
      "name": "vfs_open.rs",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/source/kernel/tests/os/vfs_open.rs",
      "originalSha256": "5cd1ddc68a8f6c7744fe612d1b4202cc41867f79dd8b74415567fac5b557468b",
      "href": "/os-evidence/5cd1ddc68a8f6c7744fe612d1b4202cc41867f79dd8b74415567fac5b557468b.txt",
      "sha256": "5cd1ddc68a8f6c7744fe612d1b4202cc41867f79dd8b74415567fac5b557468b",
      "bytes": 2234,
      "redacted": false
    },
    {
      "name": "VFS_RO_OPEN_CONTRACT.md",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/source/kernel/VFS_RO_OPEN_CONTRACT.md",
      "originalSha256": "64c9117ccbbf6d9c72021cb32dcfbc6940fccdbb4fc7f056f2d230aec1835e89",
      "href": "/os-evidence/64c9117ccbbf6d9c72021cb32dcfbc6940fccdbb4fc7f056f2d230aec1835e89.txt",
      "sha256": "64c9117ccbbf6d9c72021cb32dcfbc6940fccdbb4fc7f056f2d230aec1835e89",
      "bytes": 1000,
      "redacted": false
    },
    {
      "name": "vfs-ro-open-local.mjs",
      "source": "scripts/os-acceptance/vfs-ro-open-local.mjs",
      "originalSha256": "4d6bc36d168f6540774bf5e79ccbb38adbbf170ac1b18d93fb4eff24bf1342b7",
      "href": "/os-evidence/4d6bc36d168f6540774bf5e79ccbb38adbbf170ac1b18d93fb4eff24bf1342b7.txt",
      "sha256": "4d6bc36d168f6540774bf5e79ccbb38adbbf170ac1b18d93fb4eff24bf1342b7",
      "bytes": 4897,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/source/no-std-root.rs",
      "originalSha256": "1845867b8085737beb65af871cd4e10b63a7b92e79bab04277c3a1633d7627bd",
      "href": "/os-evidence/1845867b8085737beb65af871cd4e10b63a7b92e79bab04277c3a1633d7627bd.txt",
      "sha256": "1845867b8085737beb65af871cd4e10b63a7b92e79bab04277c3a1633d7627bd",
      "bytes": 120,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/host-compile.log",
      "originalSha256": "fa841145c753162e31db7ca4f2ecc82d8018e9902fb10aed40725c1efac711af",
      "href": "/os-evidence/fc7283726c41ee134db8068e99992d58ad69b316e6f735ad5a3da500809a621d.txt",
      "sha256": "fc7283726c41ee134db8068e99992d58ad69b316e6f735ad5a3da500809a621d",
      "bytes": 1458,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/host-tests.log",
      "originalSha256": "d976405bd14abf5dc9b3897c1505f4df3115e975eaee4a021b7ee4464f9da4c4",
      "href": "/os-evidence/d976405bd14abf5dc9b3897c1505f4df3115e975eaee4a021b7ee4464f9da4c4.txt",
      "sha256": "d976405bd14abf5dc9b3897c1505f4df3115e975eaee4a021b7ee4464f9da4c4",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/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/K1565-vfs-ro-open-local-gbaMjE/mutant-compile.log",
      "originalSha256": "08cc587035901d331b5942a55440b165aa8e1e5ba8f71b5c48aa065934cc4880",
      "href": "/os-evidence/ff167b0159ef09bcad2c3c765321ad6c430538ccc8487636ac2aac7720c27397.txt",
      "sha256": "ff167b0159ef09bcad2c3c765321ad6c430538ccc8487636ac2aac7720c27397",
      "bytes": 1458,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/mutant-tests.log",
      "originalSha256": "6c36da0e4ae254a9880146a3519559fee91114688ac4c26fe2b174ca03769e7d",
      "href": "/os-evidence/b7d5f068c3f5b98182bfba254976132c48e9dcbf31d9e1ed74b7e88b00fb033f.txt",
      "sha256": "b7d5f068c3f5b98182bfba254976132c48e9dcbf31d9e1ed74b7e88b00fb033f",
      "bytes": 680,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1565-vfs-ro-open-local-gbaMjE/mutant/os-vfs-open/src/lib.rs",
      "originalSha256": "79dfe842b890cf633755860f6ca70ae8a5281b31d23e4decbc98e4a19254b2e6",
      "href": "/os-evidence/79dfe842b890cf633755860f6ca70ae8a5281b31d23e4decbc98e4a19254b2e6.txt",
      "sha256": "79dfe842b890cf633755860f6ca70ae8a5281b31d23e4decbc98e4a19254b2e6",
      "bytes": 2072,
      "redacted": false
    }
  ],
  "moves": [
    "K1561",
    "K1562",
    "K1563",
    "K1564"
  ]
}