{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1640-turkfs-truncate-matrix-check-WGH2hy/report.json",
    "sha256": "cc1150d22e0e458cf95fad248ac6af167c76b924e70182898322a5afa96b56bd",
    "bytes": 9912
  },
  "status": "K1640_TURKFS_TRUNCATE_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image validated serialized in-memory truncation from 1025 to 100 bytes, refusal while either of two reader guards remains open, release of blocks 20 and 30, and EOF at offset 100. Six direct and UEFI profiles supplied serial/QMP evidence with unchanged frame counts. Durable inode/bitmap writes, VFS reader integration, SMP and canonical product acceptance remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "9cb7f8995de5b066b89fbc4c2c1df26e878184092d09d4d0c0ef3b4bce8b2966",
  "files": [
    {
      "name": "TURKFS_TRUNCATE_CONTRACT.md",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/source/kernel/TURKFS_TRUNCATE_CONTRACT.md",
      "originalSha256": "77a6c08131ac15331acc927000b15247bef9c7d6f47d5bee186bd4ae4c98def2",
      "href": "/os-evidence/77a6c08131ac15331acc927000b15247bef9c7d6f47d5bee186bd4ae4c98def2.txt",
      "sha256": "77a6c08131ac15331acc927000b15247bef9c7d6f47d5bee186bd4ae4c98def2",
      "bytes": 1343,
      "redacted": false
    },
    {
      "name": "turkfs_allocation_truncate.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/source/kernel/tests/os/turkfs_allocation_truncate.rs",
      "originalSha256": "cf2bb3aa28f30f449af20f4e688216c79a635c5d14641d86e97816a4d2a45d43",
      "href": "/os-evidence/cf2bb3aa28f30f449af20f4e688216c79a635c5d14641d86e97816a4d2a45d43.txt",
      "sha256": "cf2bb3aa28f30f449af20f4e688216c79a635c5d14641d86e97816a4d2a45d43",
      "bytes": 2515,
      "redacted": false
    },
    {
      "name": ".k1640-turkfs-truncate-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1640-turkfs-truncate-matrix-generated.mjs",
      "originalSha256": "fd839def69d1979815b72aeac31d7ab40abe9cf36d4f5e928495366ee987f6a3",
      "href": "/os-evidence/fd839def69d1979815b72aeac31d7ab40abe9cf36d4f5e928495366ee987f6a3.txt",
      "sha256": "fd839def69d1979815b72aeac31d7ab40abe9cf36d4f5e928495366ee987f6a3",
      "bytes": 81918,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-candidate-jpJ6Wx/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1640-turkfs-truncate.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-candidate-jpJ6Wx/sources/kernel/src/k1640-turkfs-truncate.rs",
      "originalSha256": "9cd4d208cf0076c4684c92e91aa08bc2e8867095308eee1239c7188022865579",
      "href": "/os-evidence/9cd4d208cf0076c4684c92e91aa08bc2e8867095308eee1239c7188022865579.txt",
      "sha256": "9cd4d208cf0076c4684c92e91aa08bc2e8867095308eee1239c7188022865579",
      "bytes": 2235,
      "redacted": false
    },
    {
      "name": "turkfs_allocation.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-candidate-jpJ6Wx/sources/kernel/src/runtime/turkfs_allocation.rs",
      "originalSha256": "1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1",
      "href": "/os-evidence/1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1.txt",
      "sha256": "1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1",
      "bytes": 7709,
      "redacted": false
    },
    {
      "name": "turkfs_directory.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-candidate-jpJ6Wx/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/K1640-turkfs-truncate-candidate-jpJ6Wx/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/K1640-turkfs-truncate-candidate-jpJ6Wx/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/K1640-turkfs-truncate-candidate-jpJ6Wx/kernel-product.log",
      "originalSha256": "eebf5ae98da63791fcf30d15af4e01a9ac5fec4c6c1844e93503c8b8012e2891",
      "href": "/os-evidence/dbce54bd3180f539d4a2fdc769d400b491e563d635fe8d783dfc1f8ffbfb74e6.txt",
      "sha256": "dbce54bd3180f539d4a2fdc769d400b491e563d635fe8d783dfc1f8ffbfb74e6",
      "bytes": 1723,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-matrix-NMx9r4/product-one-bank-direct-256-mode-119/serial.log",
      "originalSha256": "53cd5116cd4e552e71be0e597a42b3be9c9b2a1cda3a47f69d756845173b9c39",
      "href": "/os-evidence/53cd5116cd4e552e71be0e597a42b3be9c9b2a1cda3a47f69d756845173b9c39.txt",
      "sha256": "53cd5116cd4e552e71be0e597a42b3be9c9b2a1cda3a47f69d756845173b9c39",
      "bytes": 42679,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-matrix-NMx9r4/product-one-bank-direct-512-mode-119/serial.log",
      "originalSha256": "0ca25f3bb83ea26a3676f1cad7810700a40ced3f3137b0b476ea12929fba6e59",
      "href": "/os-evidence/0ca25f3bb83ea26a3676f1cad7810700a40ced3f3137b0b476ea12929fba6e59.txt",
      "sha256": "0ca25f3bb83ea26a3676f1cad7810700a40ced3f3137b0b476ea12929fba6e59",
      "bytes": 42679,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-matrix-NMx9r4/product-one-bank-direct-1024-mode-119/serial.log",
      "originalSha256": "e5fbf09456d779c97c0185eb351cab244c5349b1935f28196b3f3f962606c450",
      "href": "/os-evidence/e5fbf09456d779c97c0185eb351cab244c5349b1935f28196b3f3f962606c450.txt",
      "sha256": "e5fbf09456d779c97c0185eb351cab244c5349b1935f28196b3f3f962606c450",
      "bytes": 42679,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-matrix-NMx9r4/product-one-bank-uefi-256-mode-119/serial.log",
      "originalSha256": "17e991bf497a8744e302a22d071dd6411290d8366d63d4b6624b9044e7427541",
      "href": "/os-evidence/17e991bf497a8744e302a22d071dd6411290d8366d63d4b6624b9044e7427541.txt",
      "sha256": "17e991bf497a8744e302a22d071dd6411290d8366d63d4b6624b9044e7427541",
      "bytes": 49052,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-matrix-NMx9r4/product-one-bank-uefi-512-mode-119/serial.log",
      "originalSha256": "a250c4daf47be9b32f43419992eb67e5fbaea8f22b37d33cc4a054384abde5ee",
      "href": "/os-evidence/a250c4daf47be9b32f43419992eb67e5fbaea8f22b37d33cc4a054384abde5ee.txt",
      "sha256": "a250c4daf47be9b32f43419992eb67e5fbaea8f22b37d33cc4a054384abde5ee",
      "bytes": 49052,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-matrix-NMx9r4/product-one-bank-uefi-1024-mode-119/serial.log",
      "originalSha256": "f1c8c0a90feaf6393bb3096f89c8433969cbc894b159afe7ea3e3b52fbef8710",
      "href": "/os-evidence/f1c8c0a90feaf6393bb3096f89c8433969cbc894b159afe7ea3e3b52fbef8710.txt",
      "sha256": "f1c8c0a90feaf6393bb3096f89c8433969cbc894b159afe7ea3e3b52fbef8710",
      "bytes": 49052,
      "redacted": false
    }
  ],
  "moves": [
    "K1640"
  ]
}