{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/report.json",
    "sha256": "6c71b5fa3bcc90d3c2890394a1ffee0a8ac65c3364330e846e3dcec7218813f4",
    "bytes": 3374
  },
  "status": "K1621_K1624_LOCAL_VALIDATED",
  "scope": "A bounded block bitmap validates reserved metadata bits before publication, allocates the last free block, refuses no-space without state change, and protects reserved blocks from release. Two host tests, AArch64 no_std compilation, and a red omitted-reservation-guard mutant are recorded. Real on-disk metadata and six guest profiles remain for K1625.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/source/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "92306a75a2fddd3b7da3502e6e745970c51fd51e14cbe4c9b367c36af4821b0e",
      "href": "/os-evidence/92306a75a2fddd3b7da3502e6e745970c51fd51e14cbe4c9b367c36af4821b0e.txt",
      "sha256": "92306a75a2fddd3b7da3502e6e745970c51fd51e14cbe4c9b367c36af4821b0e",
      "bytes": 2066,
      "redacted": false
    },
    {
      "name": "turkfs_allocation.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/source/kernel/tests/os/turkfs_allocation.rs",
      "originalSha256": "21869b43fc17fd8ff1743e156f30e61e1c52db520f908dfd2aed50e4337525c7",
      "href": "/os-evidence/21869b43fc17fd8ff1743e156f30e61e1c52db520f908dfd2aed50e4337525c7.txt",
      "sha256": "21869b43fc17fd8ff1743e156f30e61e1c52db520f908dfd2aed50e4337525c7",
      "bytes": 1569,
      "redacted": false
    },
    {
      "name": "TURKFS_BITMAP_OWNERSHIP_CONTRACT.md",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/source/kernel/TURKFS_BITMAP_OWNERSHIP_CONTRACT.md",
      "originalSha256": "c05426ac598f07b284c765e085016bbcfe47c3e0031c82ad180810ca615da295",
      "href": "/os-evidence/c05426ac598f07b284c765e085016bbcfe47c3e0031c82ad180810ca615da295.txt",
      "sha256": "c05426ac598f07b284c765e085016bbcfe47c3e0031c82ad180810ca615da295",
      "bytes": 720,
      "redacted": false
    },
    {
      "name": "turkfs-allocation-local.mjs",
      "source": "scripts/os-acceptance/turkfs-allocation-local.mjs",
      "originalSha256": "1e6a4859901ae45dbc030f899f79bf245720fb1b8667d720a14a3cb468a63610",
      "href": "/os-evidence/1e6a4859901ae45dbc030f899f79bf245720fb1b8667d720a14a3cb468a63610.txt",
      "sha256": "1e6a4859901ae45dbc030f899f79bf245720fb1b8667d720a14a3cb468a63610",
      "bytes": 4957,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/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/K1625-turkfs-allocation-local-I5hjuB/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/host-tests.log",
      "originalSha256": "d1abbf9f3177a16fa6f28ec8c1fcdc15474020246ec78eb798ba1a38b9a62535",
      "href": "/os-evidence/d1abbf9f3177a16fa6f28ec8c1fcdc15474020246ec78eb798ba1a38b9a62535.txt",
      "sha256": "d1abbf9f3177a16fa6f28ec8c1fcdc15474020246ec78eb798ba1a38b9a62535",
      "bytes": 211,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/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/K1625-turkfs-allocation-local-I5hjuB/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/mutant-tests.log",
      "originalSha256": "050289513002a101cc50d708af7e3f53fb2785673d7010a16e2d14b20c2e168f",
      "href": "/os-evidence/8f71beb7a85ed0a39616d68fe0a27e6d9cccdf1eacf9c0180506f3f31e74a935.txt",
      "sha256": "8f71beb7a85ed0a39616d68fe0a27e6d9cccdf1eacf9c0180506f3f31e74a935",
      "bytes": 751,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-local-I5hjuB/mutant/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "8e557a6c2527734e213b676252d0b1e525098105feb559f9497deec78f76a0b3",
      "href": "/os-evidence/8e557a6c2527734e213b676252d0b1e525098105feb559f9497deec78f76a0b3.txt",
      "sha256": "8e557a6c2527734e213b676252d0b1e525098105feb559f9497deec78f76a0b3",
      "bytes": 2039,
      "redacted": false
    }
  ],
  "moves": [
    "K1621",
    "K1622",
    "K1623",
    "K1624"
  ]
}