{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1625-turkfs-allocation-matrix-check-Oyjfj3/report.json",
    "sha256": "e70318db98360e7212d8410474c0288b51f14a81981a74dabb1c2c9f0d680de8",
    "bytes": 9595
  },
  "status": "K1625_TURKFS_ALLOCATION_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image validated a bounded synthetic block bitmap, acquired the last free block, rejected a metadata bit falsely marked free, refused no-space without state change, and restored ownership after release. Six direct and UEFI profiles supplied serial and QMP evidence with unchanged frame counts. Bitmap sectors were not read from disk; canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "21d1c49d025be18d8d03b9befd86f7135461a194ab58598b761704f38649a6f9",
  "files": [
    {
      "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.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": ".k1625-turkfs-allocation-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1625-turkfs-allocation-matrix-generated.mjs",
      "originalSha256": "01d14f2bfef30bc40de10734749265649980874143da0ad9c395fb8593530e84",
      "href": "/os-evidence/01d14f2bfef30bc40de10734749265649980874143da0ad9c395fb8593530e84.txt",
      "sha256": "01d14f2bfef30bc40de10734749265649980874143da0ad9c395fb8593530e84",
      "bytes": 81902,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1625-turkfs-allocation.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/sources/kernel/src/k1625-turkfs-allocation.rs",
      "originalSha256": "c427c8fafb06b012dd7b6812827886bbbae71be905a6d8f6e98e32b15348a6dc",
      "href": "/os-evidence/c427c8fafb06b012dd7b6812827886bbbae71be905a6d8f6e98e32b15348a6dc.txt",
      "sha256": "c427c8fafb06b012dd7b6812827886bbbae71be905a6d8f6e98e32b15348a6dc",
      "bytes": 1503,
      "redacted": false
    },
    {
      "name": "turkfs_allocation.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/sources/kernel/src/runtime/turkfs_allocation.rs",
      "originalSha256": "92306a75a2fddd3b7da3502e6e745970c51fd51e14cbe4c9b367c36af4821b0e",
      "href": "/os-evidence/92306a75a2fddd3b7da3502e6e745970c51fd51e14cbe4c9b367c36af4821b0e.txt",
      "sha256": "92306a75a2fddd3b7da3502e6e745970c51fd51e14cbe4c9b367c36af4821b0e",
      "bytes": 2066,
      "redacted": false
    },
    {
      "name": "turkfs_directory.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/sources/kernel/src/runtime/turkfs_directory.rs",
      "originalSha256": "e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c",
      "href": "/os-evidence/e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c.txt",
      "sha256": "e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c",
      "bytes": 3663,
      "redacted": false
    },
    {
      "name": "turkfs_reader.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/sources/kernel/src/runtime/turkfs_reader.rs",
      "originalSha256": "ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291",
      "href": "/os-evidence/ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291.txt",
      "sha256": "ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291",
      "bytes": 2999,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/sources/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "f4aade26d5c7596f12322debc5af252478cbbe324367878d551796b4f266a4ca",
      "href": "/os-evidence/f4aade26d5c7596f12322debc5af252478cbbe324367878d551796b4f266a4ca.txt",
      "sha256": "f4aade26d5c7596f12322debc5af252478cbbe324367878d551796b4f266a4ca",
      "bytes": 28355,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-candidate-ojxsK9/kernel-product.log",
      "originalSha256": "324cb990a1bd325578937a111c34e50452bfe3ec857339e8cd06a9eb8c2f5d9c",
      "href": "/os-evidence/0e01eb6520708fc32b76d21f12921254cb51a38517558d07d55140bb6e9d17a9.txt",
      "sha256": "0e01eb6520708fc32b76d21f12921254cb51a38517558d07d55140bb6e9d17a9",
      "bytes": 1743,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-matrix-Fm0Zsl/product-one-bank-direct-256-mode-116/serial.log",
      "originalSha256": "a1341a20e20fe95c5326c1a1f519d25e78a0eac919c0127582768966c76ce5e1",
      "href": "/os-evidence/a1341a20e20fe95c5326c1a1f519d25e78a0eac919c0127582768966c76ce5e1.txt",
      "sha256": "a1341a20e20fe95c5326c1a1f519d25e78a0eac919c0127582768966c76ce5e1",
      "bytes": 42655,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-matrix-Fm0Zsl/product-one-bank-direct-512-mode-116/serial.log",
      "originalSha256": "79f1071c34159a0848ca8c362d117c585826384e163ba8b8b1687c692e021cb9",
      "href": "/os-evidence/79f1071c34159a0848ca8c362d117c585826384e163ba8b8b1687c692e021cb9.txt",
      "sha256": "79f1071c34159a0848ca8c362d117c585826384e163ba8b8b1687c692e021cb9",
      "bytes": 42655,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-matrix-Fm0Zsl/product-one-bank-direct-1024-mode-116/serial.log",
      "originalSha256": "6154935ef82ee26028db5dcfda12dd7875952a3cf0c8fe38a8bdb71e5077f70b",
      "href": "/os-evidence/6154935ef82ee26028db5dcfda12dd7875952a3cf0c8fe38a8bdb71e5077f70b.txt",
      "sha256": "6154935ef82ee26028db5dcfda12dd7875952a3cf0c8fe38a8bdb71e5077f70b",
      "bytes": 42655,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-matrix-Fm0Zsl/product-one-bank-uefi-256-mode-116/serial.log",
      "originalSha256": "95cbca225adcb1b1977253077e8a4b268f66936919761d9de86ca1620f24bad8",
      "href": "/os-evidence/95cbca225adcb1b1977253077e8a4b268f66936919761d9de86ca1620f24bad8.txt",
      "sha256": "95cbca225adcb1b1977253077e8a4b268f66936919761d9de86ca1620f24bad8",
      "bytes": 49028,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-matrix-Fm0Zsl/product-one-bank-uefi-512-mode-116/serial.log",
      "originalSha256": "d9d951ec92c785750bcfe559b2d1f8ac7a679fb1011ba4a283d181b64ca43a47",
      "href": "/os-evidence/d9d951ec92c785750bcfe559b2d1f8ac7a679fb1011ba4a283d181b64ca43a47.txt",
      "sha256": "d9d951ec92c785750bcfe559b2d1f8ac7a679fb1011ba4a283d181b64ca43a47",
      "bytes": 49028,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1625-turkfs-allocation-matrix-Fm0Zsl/product-one-bank-uefi-1024-mode-116/serial.log",
      "originalSha256": "9570e6d73570bd46d8829356819b5d0e867e418565eeb0c6bc004305e513c545",
      "href": "/os-evidence/9570e6d73570bd46d8829356819b5d0e867e418565eeb0c6bc004305e513c545.txt",
      "sha256": "9570e6d73570bd46d8829356819b5d0e867e418565eeb0c6bc004305e513c545",
      "bytes": 49028,
      "redacted": false
    }
  ],
  "moves": [
    "K1625"
  ]
}