{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/report.json",
    "sha256": "a55295f93a47596c7d13f4253700eda20f9aa71a3b30048949a7c1675d164a62",
    "bytes": 3365
  },
  "status": "K1651_K1654_LOCAL_VALIDATED",
  "scope": "A serialized single-name in-memory file keeps backing bytes and allocation bits after unlink while readers remain open. Two host tests compare all 1300 bytes, two-reader retirement, invalid unlink and short-buffer rollback. A premature-retirement mutant fails. AArch64 no_std compilation is recorded. Real disk-backed guest reads remain for K1655; durable namespace mutation stays open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/source/os-turkfs-open-unlink/src/lib.rs",
      "originalSha256": "da1247c8259aaba85d6d336fab021c9c83b26c1ac6fee338be86879d9724bd52",
      "href": "/os-evidence/da1247c8259aaba85d6d336fab021c9c83b26c1ac6fee338be86879d9724bd52.txt",
      "sha256": "da1247c8259aaba85d6d336fab021c9c83b26c1ac6fee338be86879d9724bd52",
      "bytes": 2865,
      "redacted": false
    },
    {
      "name": "turkfs_namespace_unlink.rs",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/source/kernel/tests/os/turkfs_namespace_unlink.rs",
      "originalSha256": "1f4566fad0c016064dd6e953f7c90176a69791d5919feedbf9e1daa67674f71c",
      "href": "/os-evidence/1f4566fad0c016064dd6e953f7c90176a69791d5919feedbf9e1daa67674f71c.txt",
      "sha256": "1f4566fad0c016064dd6e953f7c90176a69791d5919feedbf9e1daa67674f71c",
      "bytes": 2481,
      "redacted": false
    },
    {
      "name": "TURKFS_NAMESPACE_UNLINK_CONTRACT.md",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/source/kernel/TURKFS_NAMESPACE_UNLINK_CONTRACT.md",
      "originalSha256": "c2c358606b707ecf146dee0e2fc6327278ee02e1c18171ab80b8b50746aa67a2",
      "href": "/os-evidence/c2c358606b707ecf146dee0e2fc6327278ee02e1c18171ab80b8b50746aa67a2.txt",
      "sha256": "c2c358606b707ecf146dee0e2fc6327278ee02e1c18171ab80b8b50746aa67a2",
      "bytes": 1184,
      "redacted": false
    },
    {
      "name": "turkfs-unlink-local.mjs",
      "source": "scripts/os-acceptance/turkfs-unlink-local.mjs",
      "originalSha256": "fcba7fb53225ffef3b09e149690f00e58bdffb61d75e5dbf67769884c14a697b",
      "href": "/os-evidence/fcba7fb53225ffef3b09e149690f00e58bdffb61d75e5dbf67769884c14a697b.txt",
      "sha256": "fcba7fb53225ffef3b09e149690f00e58bdffb61d75e5dbf67769884c14a697b",
      "bytes": 4917,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/source/no-std-root.rs",
      "originalSha256": "5e03b4530b558a86342d49db0099b88b49d9f82a65f7d5da2f322cdb963c6bab",
      "href": "/os-evidence/5e03b4530b558a86342d49db0099b88b49d9f82a65f7d5da2f322cdb963c6bab.txt",
      "sha256": "5e03b4530b558a86342d49db0099b88b49d9f82a65f7d5da2f322cdb963c6bab",
      "bytes": 74,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/host-tests.log",
      "originalSha256": "07d4b2b2dd67fdfe69f09e4644e7065c44288c8c754cdf06f3c57a935d40deb7",
      "href": "/os-evidence/07d4b2b2dd67fdfe69f09e4644e7065c44288c8c754cdf06f3c57a935d40deb7.txt",
      "sha256": "07d4b2b2dd67fdfe69f09e4644e7065c44288c8c754cdf06f3c57a935d40deb7",
      "bytes": 209,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/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/K1655-turkfs-unlink-local-CRwxw2/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/mutant-tests.log",
      "originalSha256": "6fd4b2842c43c0dcfd8d54d0a08acda636a3ad98a8f4dd3a6f4f1548d5c8fc35",
      "href": "/os-evidence/9134e742edad46eba6555168c8f051da271b6c7cd88e009f59b693af83862e13.txt",
      "sha256": "9134e742edad46eba6555168c8f051da271b6c7cd88e009f59b693af83862e13",
      "bytes": 1013,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1655-turkfs-unlink-local-CRwxw2/mutant/os-turkfs-open-unlink/src/lib.rs",
      "originalSha256": "61d68b41754f0cfcb406b68bcd7a62527a5aeab14aeb30798f56515cd77b698b",
      "href": "/os-evidence/61d68b41754f0cfcb406b68bcd7a62527a5aeab14aeb30798f56515cd77b698b.txt",
      "sha256": "61d68b41754f0cfcb406b68bcd7a62527a5aeab14aeb30798f56515cd77b698b",
      "bytes": 2846,
      "redacted": false
    }
  ],
  "moves": [
    "K1651",
    "K1652",
    "K1653",
    "K1654"
  ]
}