{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/report.json",
    "sha256": "8db4a1f1c51e5c654a8b263b901b4424506bd9966b5e5f561bcf65e09963cd1a",
    "bytes": 3340
  },
  "status": "K1636_K1639_LOCAL_VALIDATED",
  "scope": "A synthetic three-block file shrinks from 1025 to 100 bytes only after all reader guards close. Host tests check EOF, block ownership, Busy rollback and invalid ownership; the omitted-reader-guard mutant fails. Two tests and AArch64 no_std compilation are recorded. Six guest profiles remain for K1640; durable filesystem integration stays open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/source/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1",
      "href": "/os-evidence/1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1.txt",
      "sha256": "1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1",
      "bytes": 7709,
      "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": "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-truncate-local.mjs",
      "source": "scripts/os-acceptance/turkfs-truncate-local.mjs",
      "originalSha256": "6b9a7089bab5890b5dfd63bc7b5e6179135fc89fdf34e8f8420ef6edc688b81f",
      "href": "/os-evidence/6b9a7089bab5890b5dfd63bc7b5e6179135fc89fdf34e8f8420ef6edc688b81f.txt",
      "sha256": "6b9a7089bab5890b5dfd63bc7b5e6179135fc89fdf34e8f8420ef6edc688b81f",
      "bytes": 4872,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/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/K1640-turkfs-truncate-local-gyd1BC/host-compile.log",
      "originalSha256": "c5f68c728a7d89ecdea8c6c032dd860d95ca426bcf20026f01001ddade9d0997",
      "href": "/os-evidence/90ee49bafe5b7273253174d703ea00fe58cd6b40f8b10142b919ec9fbfd194c2.txt",
      "sha256": "90ee49bafe5b7273253174d703ea00fe58cd6b40f8b10142b919ec9fbfd194c2",
      "bytes": 3627,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/host-tests.log",
      "originalSha256": "e5c0f20cdb2f573db366c778ff397fc67dcd496f2e91de4f387f120532d2d075",
      "href": "/os-evidence/e5c0f20cdb2f573db366c778ff397fc67dcd496f2e91de4f387f120532d2d075.txt",
      "sha256": "e5c0f20cdb2f573db366c778ff397fc67dcd496f2e91de4f387f120532d2d075",
      "bytes": 215,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/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/K1640-turkfs-truncate-local-gyd1BC/mutant-compile.log",
      "originalSha256": "c34da676d19b8fac0dd2e2e76ac11e4804292b2e86d270dc6d76056c4ec68afa",
      "href": "/os-evidence/06f29350f48630a9a2b695d854361547a00117f0fd8f5bdf1ccf130c584358fa.txt",
      "sha256": "06f29350f48630a9a2b695d854361547a00117f0fd8f5bdf1ccf130c584358fa",
      "bytes": 3627,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/mutant-tests.log",
      "originalSha256": "53800c85e9cc7c61e4b59121aaee4c2b0bc0c90b6764d5cd782de41c953bfe56",
      "href": "/os-evidence/3180396d222d312ea974f3a3f92b3c397b2372060de9e50289bc6174bcbc0476.txt",
      "sha256": "3180396d222d312ea974f3a3f92b3c397b2372060de9e50289bc6174bcbc0476",
      "bytes": 692,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1640-turkfs-truncate-local-gyd1BC/mutant/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "24dc53c38358c3414755a72631f087caf58bc1c71d4a8067f72505ee798b9762",
      "href": "/os-evidence/24dc53c38358c3414755a72631f087caf58bc1c71d4a8067f72505ee798b9762.txt",
      "sha256": "24dc53c38358c3414755a72631f087caf58bc1c71d4a8067f72505ee798b9762",
      "bytes": 7691,
      "redacted": false
    }
  ],
  "moves": [
    "K1636",
    "K1637",
    "K1638",
    "K1639"
  ]
}