{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/report.json",
    "sha256": "13f0cc4c3ece8640c59fe803f11dc59efac6c33fa2ffb0f040fb99df07e01982",
    "bytes": 3194
  },
  "status": "K1541_K1544_LOCAL_VALIDATED",
  "scope": "The bounded UTF-8 path resolver validates Turkish absolute and relative components, dot resolution, depth and byte limits, and transactional CWD publication. Two host tests, AArch64 no_std compilation, and a red omitted-depth mutant are recorded. Real guest CWD preservation remains for K1545.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/source/os-vfs-paths/src/lib.rs",
      "originalSha256": "ffc5f3312a6e90cb0f841837a8d754a6b0a00f952e4df0cd54f8f87886a41c1f",
      "href": "/os-evidence/ffc5f3312a6e90cb0f841837a8d754a6b0a00f952e4df0cd54f8f87886a41c1f.txt",
      "sha256": "ffc5f3312a6e90cb0f841837a8d754a6b0a00f952e4df0cd54f8f87886a41c1f",
      "bytes": 3111,
      "redacted": false
    },
    {
      "name": "vfs_paths.rs",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/source/kernel/tests/os/vfs_paths.rs",
      "originalSha256": "3e78ef0b30d2f80193ca9df12a0eab5af9328fa45ab39cb9c12e1e546d0bb4b2",
      "href": "/os-evidence/3e78ef0b30d2f80193ca9df12a0eab5af9328fa45ab39cb9c12e1e546d0bb4b2.txt",
      "sha256": "3e78ef0b30d2f80193ca9df12a0eab5af9328fa45ab39cb9c12e1e546d0bb4b2",
      "bytes": 2045,
      "redacted": false
    },
    {
      "name": "VFS_PATH_COMPONENTS_CONTRACT.md",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/source/kernel/VFS_PATH_COMPONENTS_CONTRACT.md",
      "originalSha256": "64a1420a98b07f2d60d2a75a1ce3f8628e45da46ef2c3a225712749d01aa9f47",
      "href": "/os-evidence/64a1420a98b07f2d60d2a75a1ce3f8628e45da46ef2c3a225712749d01aa9f47.txt",
      "sha256": "64a1420a98b07f2d60d2a75a1ce3f8628e45da46ef2c3a225712749d01aa9f47",
      "bytes": 1521,
      "redacted": false
    },
    {
      "name": "vfs-paths-local.mjs",
      "source": "scripts/os-acceptance/vfs-paths-local.mjs",
      "originalSha256": "b54c2b81676a79853ca555e0953db2660e4a947d4e1ae3b8a1e91320e84e0c5d",
      "href": "/os-evidence/b54c2b81676a79853ca555e0953db2660e4a947d4e1ae3b8a1e91320e84e0c5d.txt",
      "sha256": "b54c2b81676a79853ca555e0953db2660e4a947d4e1ae3b8a1e91320e84e0c5d",
      "bytes": 4584,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/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/K1545-vfs-paths-local-lkoxl2/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/host-tests.log",
      "originalSha256": "4bba74520fcebc07a2b396de53831e88022becdff5194009eaee0e0505cb7949",
      "href": "/os-evidence/4bba74520fcebc07a2b396de53831e88022becdff5194009eaee0e0505cb7949.txt",
      "sha256": "4bba74520fcebc07a2b396de53831e88022becdff5194009eaee0e0505cb7949",
      "bytes": 203,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/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/K1545-vfs-paths-local-lkoxl2/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/mutant-tests.log",
      "originalSha256": "c62da480526a9f3fd5570a4eb83847062c4c5dd9a1073e83b8ac55b315d5e658",
      "href": "/os-evidence/c9f26f7f42a94fb6cc88a5745452df0a24da3a7f389381988d0894a77c314048.txt",
      "sha256": "c9f26f7f42a94fb6cc88a5745452df0a24da3a7f389381988d0894a77c314048",
      "bytes": 648,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1545-vfs-paths-local-lkoxl2/mutant/os-vfs-paths/src/lib.rs",
      "originalSha256": "e985d105b7ed2e0b635e8e82a09420436dd81bbe3bf90cdacaf336aed18dccea",
      "href": "/os-evidence/e985d105b7ed2e0b635e8e82a09420436dd81bbe3bf90cdacaf336aed18dccea.txt",
      "sha256": "e985d105b7ed2e0b635e8e82a09420436dd81bbe3bf90cdacaf336aed18dccea",
      "bytes": 3075,
      "redacted": false
    }
  ],
  "moves": [
    "K1541",
    "K1542",
    "K1543",
    "K1544"
  ]
}