{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/report.json",
    "sha256": "5f1df633ee097900f5198e9a34674fc96df6bb0475fd1b326fee937bbb0d63f0",
    "bytes": 3264
  },
  "status": "K1546_K1549_LOCAL_VALIDATED",
  "scope": "The bounded mount namespace selects one of two volumes within a process root, prefers the longest prefix, rejects dotdot escape, and preserves CWD on error. Two host tests, AArch64 no_std compilation, and a red omitted-root-guard mutant are recorded. Real guest namespace evidence remains for K1550.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/source/os-vfs-paths/src/lib.rs",
      "originalSha256": "2379e1d9229900e401c59d5b20d238ba7c056aa319ed0d10a8b2ddc49e987afd",
      "href": "/os-evidence/2379e1d9229900e401c59d5b20d238ba7c056aa319ed0d10a8b2ddc49e987afd.txt",
      "sha256": "2379e1d9229900e401c59d5b20d238ba7c056aa319ed0d10a8b2ddc49e987afd",
      "bytes": 6017,
      "redacted": false
    },
    {
      "name": "vfs_mount_cross.rs",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/source/kernel/tests/os/vfs_mount_cross.rs",
      "originalSha256": "8872580efcf6d58da846473b00f202a3b7cf037a17072ee8c7fd9c846fa516ff",
      "href": "/os-evidence/8872580efcf6d58da846473b00f202a3b7cf037a17072ee8c7fd9c846fa516ff.txt",
      "sha256": "8872580efcf6d58da846473b00f202a3b7cf037a17072ee8c7fd9c846fa516ff",
      "bytes": 2642,
      "redacted": false
    },
    {
      "name": "VFS_MOUNT_CROSS_CONTRACT.md",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/source/kernel/VFS_MOUNT_CROSS_CONTRACT.md",
      "originalSha256": "9fecc9be3d8892595c80f9ff556b202a33669db4e33c0a8fa8cf9a9726e306d2",
      "href": "/os-evidence/9fecc9be3d8892595c80f9ff556b202a33669db4e33c0a8fa8cf9a9726e306d2.txt",
      "sha256": "9fecc9be3d8892595c80f9ff556b202a33669db4e33c0a8fa8cf9a9726e306d2",
      "bytes": 1552,
      "redacted": false
    },
    {
      "name": "vfs-mount-cross-local.mjs",
      "source": "scripts/os-acceptance/vfs-mount-cross-local.mjs",
      "originalSha256": "0573db34e33c6066dc608b0f6682a38e6d3c616ea68091f04785d339416ff0e7",
      "href": "/os-evidence/0573db34e33c6066dc608b0f6682a38e6d3c616ea68091f04785d339416ff0e7.txt",
      "sha256": "0573db34e33c6066dc608b0f6682a38e6d3c616ea68091f04785d339416ff0e7",
      "bytes": 4626,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/source/no-std-root.rs",
      "originalSha256": "c868fd684c2ded417aff038db83b0406f53438d62affa2d5340e3c66f2fc5367",
      "href": "/os-evidence/c868fd684c2ded417aff038db83b0406f53438d62affa2d5340e3c66f2fc5367.txt",
      "sha256": "c868fd684c2ded417aff038db83b0406f53438d62affa2d5340e3c66f2fc5367",
      "bytes": 67,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/host-compile.log",
      "originalSha256": "87fb0baafddd5360fb71b0b1d45c153888a8eec307ad62756d98731586cb58bc",
      "href": "/os-evidence/b58bf922bf05a183e43cc89f4a7af93baab23db5f7337901c5a36f311658a7a9.txt",
      "sha256": "b58bf922bf05a183e43cc89f4a7af93baab23db5f7337901c5a36f311658a7a9",
      "bytes": 799,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/host-tests.log",
      "originalSha256": "12e2021023dd75fa892b6541bfebe5556ec69bd95cf4e1eb98c1d86bfec0c5a2",
      "href": "/os-evidence/12e2021023dd75fa892b6541bfebe5556ec69bd95cf4e1eb98c1d86bfec0c5a2.txt",
      "sha256": "12e2021023dd75fa892b6541bfebe5556ec69bd95cf4e1eb98c1d86bfec0c5a2",
      "bytes": 205,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/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/K1550-vfs-mount-cross-local-O3IFqi/mutant-compile.log",
      "originalSha256": "f0b60c3d525f5d8ef22e5f45df3d18d473a3e132a50706118c818ed1e54b1424",
      "href": "/os-evidence/0a9762a63d4a2d37fdbee93739fcaaba5d34adfb0d54c7b65982f6e2e8adad05.txt",
      "sha256": "0a9762a63d4a2d37fdbee93739fcaaba5d34adfb0d54c7b65982f6e2e8adad05",
      "bytes": 799,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/mutant-tests.log",
      "originalSha256": "5a82e1db2139bcd8ae27b637ae43bc017a1dbf71d906d0de44bc42bfbf1f8378",
      "href": "/os-evidence/a69d581abe8995ee282d793e585785de063547abe5450fafa08becaf9faecfc2.txt",
      "sha256": "a69d581abe8995ee282d793e585785de063547abe5450fafa08becaf9faecfc2",
      "bytes": 667,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1550-vfs-mount-cross-local-O3IFqi/mutant/os-vfs-paths/src/lib.rs",
      "originalSha256": "dcb464400ce7e56878957cf55b9295a0882eaa8996f59f04d4f376466d59ff1f",
      "href": "/os-evidence/dcb464400ce7e56878957cf55b9295a0882eaa8996f59f04d4f376466d59ff1f.txt",
      "sha256": "dcb464400ce7e56878957cf55b9295a0882eaa8996f59f04d4f376466d59ff1f",
      "bytes": 5980,
      "redacted": false
    }
  ],
  "moves": [
    "K1546",
    "K1547",
    "K1548",
    "K1549"
  ]
}