{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/report.json",
    "sha256": "296b6464334831f71eb4af31697f95df32a44a9e7765383e7f4ada67b103e5e8",
    "bytes": 3332
  },
  "status": "K1626_K1629_LOCAL_VALIDATED",
  "scope": "A one-block file grows to three separated blocks through a private bitmap copy. A second-allocation no-space error preserves the original file and bitmap. Two host tests, AArch64 no_std compilation, and a red mutant that ignores the second no-space error are recorded. File byte preservation, real disk rollback, and six guest profiles remain for K1630.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/source/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "04c4436baeb5bd0371d683c4fc58ba748866fd5ba0d2a2700bf88966703f4eea",
      "href": "/os-evidence/04c4436baeb5bd0371d683c4fc58ba748866fd5ba0d2a2700bf88966703f4eea.txt",
      "sha256": "04c4436baeb5bd0371d683c4fc58ba748866fd5ba0d2a2700bf88966703f4eea",
      "bytes": 3233,
      "redacted": false
    },
    {
      "name": "turkfs_allocation_growth.rs",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/source/kernel/tests/os/turkfs_allocation_growth.rs",
      "originalSha256": "09be143d3caec9528c88df90b0f0fdea161933429c642297205678e1843c757c",
      "href": "/os-evidence/09be143d3caec9528c88df90b0f0fdea161933429c642297205678e1843c757c.txt",
      "sha256": "09be143d3caec9528c88df90b0f0fdea161933429c642297205678e1843c757c",
      "bytes": 1463,
      "redacted": false
    },
    {
      "name": "TURKFS_EXTENT_GROWTH_CONTRACT.md",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/source/kernel/TURKFS_EXTENT_GROWTH_CONTRACT.md",
      "originalSha256": "eb3807958a59b200206bb132e9f025ef3c39c0c8607f2dada7392d058f83d72a",
      "href": "/os-evidence/eb3807958a59b200206bb132e9f025ef3c39c0c8607f2dada7392d058f83d72a.txt",
      "sha256": "eb3807958a59b200206bb132e9f025ef3c39c0c8607f2dada7392d058f83d72a",
      "bytes": 679,
      "redacted": false
    },
    {
      "name": "turkfs-growth-local.mjs",
      "source": "scripts/os-acceptance/turkfs-growth-local.mjs",
      "originalSha256": "41a666ef050cbda170da72b60bc1cea93068272f5520762e23d0396d8ff047b3",
      "href": "/os-evidence/41a666ef050cbda170da72b60bc1cea93068272f5520762e23d0396d8ff047b3.txt",
      "sha256": "41a666ef050cbda170da72b60bc1cea93068272f5520762e23d0396d8ff047b3",
      "bytes": 4947,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/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/K1630-turkfs-growth-local-b1Y6ac/host-compile.log",
      "originalSha256": "430c589c01bf34241f076d10d4c58ce50df5cf86747fece71b63b80607a1440c",
      "href": "/os-evidence/baff247c6cc7b64a13f8f92dffe877fb2026fe11066b878acfd2131a1470ed9f.txt",
      "sha256": "baff247c6cc7b64a13f8f92dffe877fb2026fe11066b878acfd2131a1470ed9f",
      "bytes": 1114,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/host-tests.log",
      "originalSha256": "ce4584fcce26f53e5cf97b9abcfce222fbb05aabc00d6726001de01607747d08",
      "href": "/os-evidence/ce4584fcce26f53e5cf97b9abcfce222fbb05aabc00d6726001de01607747d08.txt",
      "sha256": "ce4584fcce26f53e5cf97b9abcfce222fbb05aabc00d6726001de01607747d08",
      "bytes": 225,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/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/K1630-turkfs-growth-local-b1Y6ac/mutant-compile.log",
      "originalSha256": "f81ea02f88a4b11fabc8614456d7b2a5e7871a463d8fae9b8376e2cd6936b464",
      "href": "/os-evidence/3cf269520f241b66e20d19347eac9ace6ac11b29a203bf45c98a33be2ccc98b4.txt",
      "sha256": "3cf269520f241b66e20d19347eac9ace6ac11b29a203bf45c98a33be2ccc98b4",
      "bytes": 1114,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/mutant-tests.log",
      "originalSha256": "21756c5abc415965deebf8470a26cd0742c366a5ace714815c236ca502af6852",
      "href": "/os-evidence/032da4f8829296feed317ba5a58e91a1f168e737b69aae5feb48f741b9a04136.txt",
      "sha256": "032da4f8829296feed317ba5a58e91a1f168e737b69aae5feb48f741b9a04136",
      "bytes": 716,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1630-turkfs-growth-local-b1Y6ac/mutant/os-turkfs-allocation/src/lib.rs",
      "originalSha256": "12b25595227982a87c4ef5f5ab53fa3bcc98f19eab68c21279b2902acbb2fa02",
      "href": "/os-evidence/12b25595227982a87c4ef5f5ab53fa3bcc98f19eab68c21279b2902acbb2fa02.txt",
      "sha256": "12b25595227982a87c4ef5f5ab53fa3bcc98f19eab68c21279b2902acbb2fa02",
      "bytes": 3250,
      "redacted": false
    }
  ],
  "moves": [
    "K1626",
    "K1627",
    "K1628",
    "K1629"
  ]
}