{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/report.json",
    "sha256": "9e2a8b1887e3c4f517d51b134748acf7525d50b6d617324de06ff28d6350dcce",
    "bytes": 3348
  },
  "status": "K1641_K1644_LOCAL_VALIDATED",
  "scope": "A serialized in-memory namespace publishes file or directory names with inode allocation bits. Two host tests check create/mkdir, duplicate names, quota exhaustion, invalid parents and names, and table exhaustion. A premature-bitmap-publication mutant fails. AArch64 no_std compilation is recorded. Six guest profiles remain for K1645; durable filesystem transactions stay open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/source/os-turkfs-namespace/src/lib.rs",
      "originalSha256": "ecc7b294690e0768b34f849c304198bd673200108461793b1f556f5c7abf62e2",
      "href": "/os-evidence/ecc7b294690e0768b34f849c304198bd673200108461793b1f556f5c7abf62e2.txt",
      "sha256": "ecc7b294690e0768b34f849c304198bd673200108461793b1f556f5c7abf62e2",
      "bytes": 6521,
      "redacted": false
    },
    {
      "name": "turkfs_namespace.rs",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/source/kernel/tests/os/turkfs_namespace.rs",
      "originalSha256": "865c3eee2bb08fc6e8fbb72850e759143bce56443f49374a9c443b5e021618e6",
      "href": "/os-evidence/865c3eee2bb08fc6e8fbb72850e759143bce56443f49374a9c443b5e021618e6.txt",
      "sha256": "865c3eee2bb08fc6e8fbb72850e759143bce56443f49374a9c443b5e021618e6",
      "bytes": 1870,
      "redacted": false
    },
    {
      "name": "TURKFS_NAMESPACE_CREATE_CONTRACT.md",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/source/kernel/TURKFS_NAMESPACE_CREATE_CONTRACT.md",
      "originalSha256": "bb80c22a75cf4d07a00777326b4d698d2c8c0138a77568250d79047e565a11f9",
      "href": "/os-evidence/bb80c22a75cf4d07a00777326b4d698d2c8c0138a77568250d79047e565a11f9.txt",
      "sha256": "bb80c22a75cf4d07a00777326b4d698d2c8c0138a77568250d79047e565a11f9",
      "bytes": 1123,
      "redacted": false
    },
    {
      "name": "turkfs-create-local.mjs",
      "source": "scripts/os-acceptance/turkfs-create-local.mjs",
      "originalSha256": "24df3cdb7cb8e245b849a1caa8cc8c2316e62cd82d8761575c7f6d5931dd267e",
      "href": "/os-evidence/24df3cdb7cb8e245b849a1caa8cc8c2316e62cd82d8761575c7f6d5931dd267e.txt",
      "sha256": "24df3cdb7cb8e245b849a1caa8cc8c2316e62cd82d8761575c7f6d5931dd267e",
      "bytes": 4926,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/source/no-std-root.rs",
      "originalSha256": "32f1ec93544f0dd16c9ff7058ba1baa2c341b8c6c8626326b6c2c057804a3616",
      "href": "/os-evidence/32f1ec93544f0dd16c9ff7058ba1baa2c341b8c6c8626326b6c2c057804a3616.txt",
      "sha256": "32f1ec93544f0dd16c9ff7058ba1baa2c341b8c6c8626326b6c2c057804a3616",
      "bytes": 73,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/host-compile.log",
      "originalSha256": "4a1352e62d2f49ae01aca3d21d135cc53471ef8e9606564a12eb37ac6a12cb71",
      "href": "/os-evidence/937b1ba2b92093baf547b5d38b523924b9ec078dfd33758e3643b8086464cad8.txt",
      "sha256": "937b1ba2b92093baf547b5d38b523924b9ec078dfd33758e3643b8086464cad8",
      "bytes": 2235,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/host-tests.log",
      "originalSha256": "7dd03f657face17219124c34262d204a2953d59506eb487c9d59827fc05f7710",
      "href": "/os-evidence/7dd03f657face17219124c34262d204a2953d59506eb487c9d59827fc05f7710.txt",
      "sha256": "7dd03f657face17219124c34262d204a2953d59506eb487c9d59827fc05f7710",
      "bytes": 209,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/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/K1645-turkfs-create-local-L4SfQN/mutant-compile.log",
      "originalSha256": "5641a09e48df986110c0c79fb5bd177d82e53723f44ae3acac57fae4762614d1",
      "href": "/os-evidence/e8b9f3749cc4aa26acc60b827715e1f8217df1d4c3f32edf308666c9f3d9fabe.txt",
      "sha256": "e8b9f3749cc4aa26acc60b827715e1f8217df1d4c3f32edf308666c9f3d9fabe",
      "bytes": 2236,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/mutant-tests.log",
      "originalSha256": "7849917ec9bdd06495acbe40acf21c3c0a8b5e5af9f25d96e28c81cdec750ae6",
      "href": "/os-evidence/314c1a7ecbf688a7db842e85835c9eadd3fb9e89e9b790aa09bb507cbfc94e0c.txt",
      "sha256": "314c1a7ecbf688a7db842e85835c9eadd3fb9e89e9b790aa09bb507cbfc94e0c",
      "bytes": 1053,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1645-turkfs-create-local-L4SfQN/mutant/os-turkfs-namespace/src/lib.rs",
      "originalSha256": "3c3756e8d2ffe4424f839ae9e50cf3bcd5900062344301a3fbb2a0b8e2ccdc82",
      "href": "/os-evidence/3c3756e8d2ffe4424f839ae9e50cf3bcd5900062344301a3fbb2a0b8e2ccdc82.txt",
      "sha256": "3c3756e8d2ffe4424f839ae9e50cf3bcd5900062344301a3fbb2a0b8e2ccdc82",
      "bytes": 6565,
      "redacted": false
    }
  ],
  "moves": [
    "K1641",
    "K1642",
    "K1643",
    "K1644"
  ]
}