{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/report.json",
    "sha256": "fc46ff532259334e388533d3838b23d684bb6f741cbf5a12d6362780e4023e43",
    "bytes": 3442
  },
  "status": "K1616_K1619_LOCAL_VALIDATED",
  "scope": "A bounded read-only directory model validates at most sixteen inode records, unique names and identities, directory parents, and finite root ancestry before publication. Two host tests resolve a three-level path and reject self and mutual loops, invalid types, duplicate identities, and bad names. AArch64 no_std compilation and a red cycle-refusal mutant are recorded. Disk-backed directory records and six guest profiles remain for K1620.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/source/os-turkfs-directory/src/lib.rs",
      "originalSha256": "e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c",
      "href": "/os-evidence/e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c.txt",
      "sha256": "e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c",
      "bytes": 3663,
      "redacted": false
    },
    {
      "name": "turkfs_directory.rs",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/source/kernel/tests/os/turkfs_directory.rs",
      "originalSha256": "99963d9557261beaf14cc06621bb6064a76501040b3c410636030d7d1c419668",
      "href": "/os-evidence/99963d9557261beaf14cc06621bb6064a76501040b3c410636030d7d1c419668.txt",
      "sha256": "99963d9557261beaf14cc06621bb6064a76501040b3c410636030d7d1c419668",
      "bytes": 2633,
      "redacted": false
    },
    {
      "name": "TURKFS_DIRECTORY_WALK_CONTRACT.md",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/source/kernel/TURKFS_DIRECTORY_WALK_CONTRACT.md",
      "originalSha256": "c64c2f019820efe4dca14abed2f9e5845ddfa5b2d16ab4fa75e795b18ec4b069",
      "href": "/os-evidence/c64c2f019820efe4dca14abed2f9e5845ddfa5b2d16ab4fa75e795b18ec4b069.txt",
      "sha256": "c64c2f019820efe4dca14abed2f9e5845ddfa5b2d16ab4fa75e795b18ec4b069",
      "bytes": 749,
      "redacted": false
    },
    {
      "name": "turkfs-directory-local.mjs",
      "source": "scripts/os-acceptance/turkfs-directory-local.mjs",
      "originalSha256": "376504e64a055c0dc30e54f41f5e7ce26cadfc4f04e44b01c5674bdce0a45ae1",
      "href": "/os-evidence/376504e64a055c0dc30e54f41f5e7ce26cadfc4f04e44b01c5674bdce0a45ae1.txt",
      "sha256": "376504e64a055c0dc30e54f41f5e7ce26cadfc4f04e44b01c5674bdce0a45ae1",
      "bytes": 5022,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/source/no-std-root.rs",
      "originalSha256": "78ffab7c936fbb5d4167531c8ada5c7e84e79f4a0280ea20713b905649f1763a",
      "href": "/os-evidence/78ffab7c936fbb5d4167531c8ada5c7e84e79f4a0280ea20713b905649f1763a.txt",
      "sha256": "78ffab7c936fbb5d4167531c8ada5c7e84e79f4a0280ea20713b905649f1763a",
      "bytes": 73,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/host-tests.log",
      "originalSha256": "136a4f53ffc32357cdebe86ef94d4f9bc0f1921eacf1731df9d5128b0f239018",
      "href": "/os-evidence/136a4f53ffc32357cdebe86ef94d4f9bc0f1921eacf1731df9d5128b0f239018.txt",
      "sha256": "136a4f53ffc32357cdebe86ef94d4f9bc0f1921eacf1731df9d5128b0f239018",
      "bytes": 213,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/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/K1620-turkfs-directory-local-MFxlDp/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/mutant-tests.log",
      "originalSha256": "5c0c819c3e74f8f0e871faf8529578910cd864d8f7e149c872a00c075690c732",
      "href": "/os-evidence/cc9db34a0a9a52bbfdf8ac45225f4bda318badf539b68e4af62264a309862c81.txt",
      "sha256": "cc9db34a0a9a52bbfdf8ac45225f4bda318badf539b68e4af62264a309862c81",
      "bytes": 1169,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1620-turkfs-directory-local-MFxlDp/mutant/os-turkfs-directory/src/lib.rs",
      "originalSha256": "4b6d1cad897838cc4945cc7f6fa9d4600642f663893c286103cb4f85c92d3647",
      "href": "/os-evidence/4b6d1cad897838cc4945cc7f6fa9d4600642f663893c286103cb4f85c92d3647.txt",
      "sha256": "4b6d1cad897838cc4945cc7f6fa9d4600642f663893c286103cb4f85c92d3647",
      "bytes": 3645,
      "redacted": false
    }
  ],
  "moves": [
    "K1616",
    "K1617",
    "K1618",
    "K1619"
  ]
}