{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/report.json",
    "sha256": "cdede52e7b3bdedc2f84ec728c7815ca4623a09d2fdc8bb446b96486008d89fd",
    "bytes": 3278
  },
  "status": "K1551_K1554_LOCAL_VALIDATED",
  "scope": "The bounded read-only dentry table binds each lookup token to the exact mount generation. The same name on two mounts maps to separate inodes; a token remains stale after unmount and remount with the same name and inode. Two host tests, AArch64 no_std compilation, and a red omitted-generation-guard mutant are recorded. Real guest lookup evidence remains for K1555.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/source/os-vfs-lookup/src/lib.rs",
      "originalSha256": "b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e",
      "href": "/os-evidence/b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e.txt",
      "sha256": "b94f0c8f0d81d0c0d783305eb7c4ee99a76201efcfb22a1da9215f585586706e",
      "bytes": 3588,
      "redacted": false
    },
    {
      "name": "vfs_lookup.rs",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/source/kernel/tests/os/vfs_lookup.rs",
      "originalSha256": "4280f70e3653446134e0447f3a2e5b77d46386c09866f7ef50ca88ae422e5502",
      "href": "/os-evidence/4280f70e3653446134e0447f3a2e5b77d46386c09866f7ef50ca88ae422e5502.txt",
      "sha256": "4280f70e3653446134e0447f3a2e5b77d46386c09866f7ef50ca88ae422e5502",
      "bytes": 2368,
      "redacted": false
    },
    {
      "name": "VFS_LOOKUP_LIFETIME_CONTRACT.md",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/source/kernel/VFS_LOOKUP_LIFETIME_CONTRACT.md",
      "originalSha256": "7f54c0030c540a49a64f29501bbfc5749c5026a6e28d4b2df3c0a85c9cdca7a2",
      "href": "/os-evidence/7f54c0030c540a49a64f29501bbfc5749c5026a6e28d4b2df3c0a85c9cdca7a2.txt",
      "sha256": "7f54c0030c540a49a64f29501bbfc5749c5026a6e28d4b2df3c0a85c9cdca7a2",
      "bytes": 1492,
      "redacted": false
    },
    {
      "name": "vfs-lookup-local.mjs",
      "source": "scripts/os-acceptance/vfs-lookup-local.mjs",
      "originalSha256": "5c2e3730580c752eb8af95b54180943cfe503212e4c64e62208f927835785870",
      "href": "/os-evidence/5c2e3730580c752eb8af95b54180943cfe503212e4c64e62208f927835785870.txt",
      "sha256": "5c2e3730580c752eb8af95b54180943cfe503212e4c64e62208f927835785870",
      "bytes": 4653,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/source/no-std-root.rs",
      "originalSha256": "ff513873db2defc3dc9b0fbd6f693478fee6aec0d575a845aa7fc82504cb0567",
      "href": "/os-evidence/ff513873db2defc3dc9b0fbd6f693478fee6aec0d575a845aa7fc82504cb0567.txt",
      "sha256": "ff513873db2defc3dc9b0fbd6f693478fee6aec0d575a845aa7fc82504cb0567",
      "bytes": 64,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/host-tests.log",
      "originalSha256": "bae6a624647b7d453ca9daafc63abe83ba9395f113d4757ce01943b8a3bc987b",
      "href": "/os-evidence/bae6a624647b7d453ca9daafc63abe83ba9395f113d4757ce01943b8a3bc987b.txt",
      "sha256": "bae6a624647b7d453ca9daafc63abe83ba9395f113d4757ce01943b8a3bc987b",
      "bytes": 195,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/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/K1555-vfs-lookup-local-M5F1t5/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/mutant-tests.log",
      "originalSha256": "5914669a7b5c0566a67a30bb8df993caac882744212de342e639787eecbfd368",
      "href": "/os-evidence/faf56ca96a24e9ae4e34c4f9c932ee56bed14b4d9737c3807b0358e8ec1b67eb.txt",
      "sha256": "faf56ca96a24e9ae4e34c4f9c932ee56bed14b4d9737c3807b0358e8ec1b67eb",
      "bytes": 622,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1555-vfs-lookup-local-M5F1t5/mutant/os-vfs-lookup/src/lib.rs",
      "originalSha256": "3beb4c030ff892a498130b19ac70ba3f2d5b1304e2743a484edaeb7caffc6149",
      "href": "/os-evidence/3beb4c030ff892a498130b19ac70ba3f2d5b1304e2743a484edaeb7caffc6149.txt",
      "sha256": "3beb4c030ff892a498130b19ac70ba3f2d5b1304e2743a484edaeb7caffc6149",
      "bytes": 3556,
      "redacted": false
    }
  ],
  "moves": [
    "K1551",
    "K1552",
    "K1553",
    "K1554"
  ]
}