{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/report.json",
    "sha256": "93d80e07d809944a20d058db20f53ca0ec441fe17b34c16b4f5ab331b51419c9",
    "bytes": 3236
  },
  "status": "K1631_K1634_LOCAL_VALIDATED",
  "scope": "A freed inode slot advances generation before reuse, and an old handle cannot read or release the new owner. Two host tests, AArch64 no_std compilation, and a red omitted-generation-guard mutant are recorded. Durable inode-table updates and six guest profiles remain for K1635.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/source/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "9b7f48d1b0f42b270fe3fbe665dfe115676e5a168efc37a6130da69c87e4d8dc",
      "href": "/os-evidence/9b7f48d1b0f42b270fe3fbe665dfe115676e5a168efc37a6130da69c87e4d8dc.txt",
      "sha256": "9b7f48d1b0f42b270fe3fbe665dfe115676e5a168efc37a6130da69c87e4d8dc",
      "bytes": 4758,
      "redacted": false
    },
    {
      "name": "turkfs_allocation_inode.rs",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/source/kernel/tests/os/turkfs_allocation_inode.rs",
      "originalSha256": "bf9092a9f02341599a51f980ecd5841b221ce5c187cd1c6cc58d6e750575a474",
      "href": "/os-evidence/bf9092a9f02341599a51f980ecd5841b221ce5c187cd1c6cc58d6e750575a474.txt",
      "sha256": "bf9092a9f02341599a51f980ecd5841b221ce5c187cd1c6cc58d6e750575a474",
      "bytes": 1468,
      "redacted": false
    },
    {
      "name": "TURKFS_INODE_SLOT_CONTRACT.md",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/source/kernel/TURKFS_INODE_SLOT_CONTRACT.md",
      "originalSha256": "64f638baf23fb34ec82fb1a0273afae54649dff94170a4fab7f7fa72a8e59607",
      "href": "/os-evidence/64f638baf23fb34ec82fb1a0273afae54649dff94170a4fab7f7fa72a8e59607.txt",
      "sha256": "64f638baf23fb34ec82fb1a0273afae54649dff94170a4fab7f7fa72a8e59607",
      "bytes": 715,
      "redacted": false
    },
    {
      "name": "turkfs-inode-local.mjs",
      "source": "scripts/os-acceptance/turkfs-inode-local.mjs",
      "originalSha256": "fff93804f6fd99193b22724f777d6da035fb36ad9d09b3fccb8a80b2aeb3958d",
      "href": "/os-evidence/fff93804f6fd99193b22724f777d6da035fb36ad9d09b3fccb8a80b2aeb3958d.txt",
      "sha256": "fff93804f6fd99193b22724f777d6da035fb36ad9d09b3fccb8a80b2aeb3958d",
      "bytes": 4804,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/source/no-std-root.rs",
      "originalSha256": "c5804ed2c7d0d60a5e321d4575f7018296a910f11627cd2b5a4696d9c7bfdf8d",
      "href": "/os-evidence/c5804ed2c7d0d60a5e321d4575f7018296a910f11627cd2b5a4696d9c7bfdf8d.txt",
      "sha256": "c5804ed2c7d0d60a5e321d4575f7018296a910f11627cd2b5a4696d9c7bfdf8d",
      "bytes": 75,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/host-compile.log",
      "originalSha256": "c63a153e0c57e0d9fb43e6e89f52c8cc48fd1979b12dcf0d2ace6319baa113f5",
      "href": "/os-evidence/0cc564422c233dcfe6fc8459d5e5c03a793d49c223d9ac4f72a4d6b75782d8f1.txt",
      "sha256": "0cc564422c233dcfe6fc8459d5e5c03a793d49c223d9ac4f72a4d6b75782d8f1",
      "bytes": 3216,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/host-tests.log",
      "originalSha256": "433d79db34c2998546f09efa6a650f0eacfdc7cef3ce3df7609a53226e966a25",
      "href": "/os-evidence/433d79db34c2998546f09efa6a650f0eacfdc7cef3ce3df7609a53226e966a25.txt",
      "sha256": "433d79db34c2998546f09efa6a650f0eacfdc7cef3ce3df7609a53226e966a25",
      "bytes": 221,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/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/K1635-turkfs-inode-local-fULuC8/mutant-compile.log",
      "originalSha256": "eea06ede0a39882b3926ed916ec7c9a8d8ffd4be13bb4b51b51079796c076800",
      "href": "/os-evidence/f1880d1fa4d937bae6c710547c8d69572d069d6ecf574dba8f71d1a513162f30.txt",
      "sha256": "f1880d1fa4d937bae6c710547c8d69572d069d6ecf574dba8f71d1a513162f30",
      "bytes": 3216,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/mutant-tests.log",
      "originalSha256": "05bfb8187c15ac4b39371fb0635764018a30b06493c675e75ffa9f354c45515d",
      "href": "/os-evidence/760ba7eb47c31bfcce5a4fed931caa11afaef811a89f21e525df7bcd650f856c.txt",
      "sha256": "760ba7eb47c31bfcce5a4fed931caa11afaef811a89f21e525df7bcd650f856c",
      "bytes": 702,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1635-turkfs-inode-local-fULuC8/mutant/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "f6542075e5bf8874cb5dc70602aa4b651362ab5d871269a09421e051474cddaf",
      "href": "/os-evidence/f6542075e5bf8874cb5dc70602aa4b651362ab5d871269a09421e051474cddaf.txt",
      "sha256": "f6542075e5bf8874cb5dc70602aa4b651362ab5d871269a09421e051474cddaf",
      "bytes": 4727,
      "redacted": false
    }
  ],
  "moves": [
    "K1631",
    "K1632",
    "K1633",
    "K1634"
  ]
}