{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/report.json",
    "sha256": "e52c2ffc6cc2e88eda5158c72292f532740e6b7de9c810c93296240da2caf777",
    "bytes": 3662
  },
  "status": "K1556_K1559_LOCAL_VALIDATED",
  "scope": "The bounded exact-path symlink table follows two links across mounts, rejects a 41st hop with Eloop(40), and rejects targets outside the process root without changing namespace state. Two host tests, AArch64 no_std compilation, and a red 41-hop-limit mutant are recorded. Real guest symlink evidence remains for K1560.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/source/os-vfs-symlink/src/lib.rs",
      "originalSha256": "52f3b074550d124a0c86954338934e078c42336a17df31b5c92f24a354105d38",
      "href": "/os-evidence/52f3b074550d124a0c86954338934e078c42336a17df31b5c92f24a354105d38.txt",
      "sha256": "52f3b074550d124a0c86954338934e078c42336a17df31b5c92f24a354105d38",
      "bytes": 2162,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/source/os-vfs-paths/src/lib.rs",
      "originalSha256": "2379e1d9229900e401c59d5b20d238ba7c056aa319ed0d10a8b2ddc49e987afd",
      "href": "/os-evidence/2379e1d9229900e401c59d5b20d238ba7c056aa319ed0d10a8b2ddc49e987afd.txt",
      "sha256": "2379e1d9229900e401c59d5b20d238ba7c056aa319ed0d10a8b2ddc49e987afd",
      "bytes": 6017,
      "redacted": false
    },
    {
      "name": "vfs_symlink.rs",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/source/kernel/tests/os/vfs_symlink.rs",
      "originalSha256": "e9646b45ffb7f1cf0c17ce0274cec53dbfc0dd257a2a82e9d9bd047d2f683d11",
      "href": "/os-evidence/e9646b45ffb7f1cf0c17ce0274cec53dbfc0dd257a2a82e9d9bd047d2f683d11.txt",
      "sha256": "e9646b45ffb7f1cf0c17ce0274cec53dbfc0dd257a2a82e9d9bd047d2f683d11",
      "bytes": 1998,
      "redacted": false
    },
    {
      "name": "VFS_SYMLINK_BOUNDS_CONTRACT.md",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/source/kernel/VFS_SYMLINK_BOUNDS_CONTRACT.md",
      "originalSha256": "0bb22d575ac046846dbdd4367a61dd9f2c44b56f1c5c8f24c8efc5c3ed3a76d4",
      "href": "/os-evidence/0bb22d575ac046846dbdd4367a61dd9f2c44b56f1c5c8f24c8efc5c3ed3a76d4.txt",
      "sha256": "0bb22d575ac046846dbdd4367a61dd9f2c44b56f1c5c8f24c8efc5c3ed3a76d4",
      "bytes": 941,
      "redacted": false
    },
    {
      "name": "vfs-symlink-local.mjs",
      "source": "scripts/os-acceptance/vfs-symlink-local.mjs",
      "originalSha256": "ee3fc6c168bb40c1962627b33548be7e19f14d37884b706fd34ab584a2a0acca",
      "href": "/os-evidence/ee3fc6c168bb40c1962627b33548be7e19f14d37884b706fd34ab584a2a0acca.txt",
      "sha256": "ee3fc6c168bb40c1962627b33548be7e19f14d37884b706fd34ab584a2a0acca",
      "bytes": 4886,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/source/no-std-root.rs",
      "originalSha256": "68ab0915699816cb6a37fb33c64f62a1e699ba44d1cc3ffe2cad63a974b74217",
      "href": "/os-evidence/68ab0915699816cb6a37fb33c64f62a1e699ba44d1cc3ffe2cad63a974b74217.txt",
      "sha256": "68ab0915699816cb6a37fb33c64f62a1e699ba44d1cc3ffe2cad63a974b74217",
      "bytes": 124,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/host-compile.log",
      "originalSha256": "1cf122c65087a8fbcd580f9f2d8b535195215194194398b44132da84ed551c2f",
      "href": "/os-evidence/344d7f6998f686354f1595488be0d46ccc6bf5b8604eb01a29d2f886de9093b6.txt",
      "sha256": "344d7f6998f686354f1595488be0d46ccc6bf5b8604eb01a29d2f886de9093b6",
      "bytes": 1584,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/host-tests.log",
      "originalSha256": "b6c41a4f245ca0e3dee0553261edb91279cca2b3b27aa6efc1fcafc87eb5ffc9",
      "href": "/os-evidence/b6c41a4f245ca0e3dee0553261edb91279cca2b3b27aa6efc1fcafc87eb5ffc9.txt",
      "sha256": "b6c41a4f245ca0e3dee0553261edb91279cca2b3b27aa6efc1fcafc87eb5ffc9",
      "bytes": 197,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/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/K1560-vfs-symlink-local-ly6b2A/mutant-compile.log",
      "originalSha256": "37474e2880f9d73e52f0681dcdda8bcbd5a125e26e4bfd350a69c554cf756d1a",
      "href": "/os-evidence/656f90f65060428b93db25a54c7276f514e65f74db8aee7ffeee6b5abe19a375.txt",
      "sha256": "656f90f65060428b93db25a54c7276f514e65f74db8aee7ffeee6b5abe19a375",
      "bytes": 1584,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/mutant-tests.log",
      "originalSha256": "c124af7d9ea999feaa16fa29fddc26f054f45153caa9fa949ed1238509194359",
      "href": "/os-evidence/3ca56864533479937a28ed19adaa6298be0dd4e0d64dd3962a3a4d3b0ba3807c.txt",
      "sha256": "3ca56864533479937a28ed19adaa6298be0dd4e0d64dd3962a3a4d3b0ba3807c",
      "bytes": 641,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1560-vfs-symlink-local-ly6b2A/mutant/os-vfs-symlink/src/lib.rs",
      "originalSha256": "5abc7e7b57e3abab92739691d8eb25d8890f1f1e7be2a97ded9d06e572c7dcc8",
      "href": "/os-evidence/5abc7e7b57e3abab92739691d8eb25d8890f1f1e7be2a97ded9d06e572c7dcc8.txt",
      "sha256": "5abc7e7b57e3abab92739691d8eb25d8890f1f1e7be2a97ded9d06e572c7dcc8",
      "bytes": 2166,
      "redacted": false
    }
  ],
  "moves": [
    "K1556",
    "K1557",
    "K1558",
    "K1559"
  ]
}