{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/report.json",
    "sha256": "679223bc70c2bc27be724b7326036fa2da56308365f40e32539e27bf8daa8064",
    "bytes": 4673
  },
  "status": "K1676_K1679_LOCAL_VALIDATED",
  "scope": "Fixed three-record checkpoint model. Two host tests verify home flush before checkpoint flush and journal retirement, remount validation, nine injected I/O failures and unchanged early refusal. The model retains the expected wire format as a dependency. An omitted-recycle-guard mutant fails. Actual fresh-process guests remain for K1680; torn writes, physical durability, general mounts and product acceptance stay open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/source/os-turkfs-journal/src/lib.rs",
      "originalSha256": "0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8",
      "href": "/os-evidence/0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8.txt",
      "sha256": "0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8",
      "bytes": 3327,
      "redacted": false
    },
    {
      "name": "checkpoint.rs",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/source/os-turkfs-journal/src/checkpoint.rs",
      "originalSha256": "428d4fbac7cbeee10f1244748e3e0e360326b10d721b420cf3b1fc250619654a",
      "href": "/os-evidence/428d4fbac7cbeee10f1244748e3e0e360326b10d721b420cf3b1fc250619654a.txt",
      "sha256": "428d4fbac7cbeee10f1244748e3e0e360326b10d721b420cf3b1fc250619654a",
      "bytes": 4842,
      "redacted": false
    },
    {
      "name": "turkfs_journal_checkpoint.rs",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/source/kernel/tests/os/turkfs_journal_checkpoint.rs",
      "originalSha256": "38c95e13c4e03538202a263bad0426ab5861390671379b6292a2a65dbb4b389c",
      "href": "/os-evidence/38c95e13c4e03538202a263bad0426ab5861390671379b6292a2a65dbb4b389c.txt",
      "sha256": "38c95e13c4e03538202a263bad0426ab5861390671379b6292a2a65dbb4b389c",
      "bytes": 4492,
      "redacted": false
    },
    {
      "name": "TURKFS_JOURNAL_CHECKPOINT_CONTRACT.md",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/source/kernel/TURKFS_JOURNAL_CHECKPOINT_CONTRACT.md",
      "originalSha256": "b64e019659e25b4550250dfff928ff0ca92444566de88a4187446287cd721ace",
      "href": "/os-evidence/b64e019659e25b4550250dfff928ff0ca92444566de88a4187446287cd721ace.txt",
      "sha256": "b64e019659e25b4550250dfff928ff0ca92444566de88a4187446287cd721ace",
      "bytes": 1897,
      "redacted": false
    },
    {
      "name": "turkfs-checkpoint-local.mjs",
      "source": "scripts/os-acceptance/turkfs-checkpoint-local.mjs",
      "originalSha256": "f7890488ee1648da8ca1bb35ff6544528d3f6a505ff29a3385dce20cbf12518f",
      "href": "/os-evidence/f7890488ee1648da8ca1bb35ff6544528d3f6a505ff29a3385dce20cbf12518f.txt",
      "sha256": "f7890488ee1648da8ca1bb35ff6544528d3f6a505ff29a3385dce20cbf12518f",
      "bytes": 5631,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/source/no-std-root.rs",
      "originalSha256": "7e35c97b1de0b440894740373d8034346700413a99029c0de84edfd2b1d1ab5d",
      "href": "/os-evidence/7e35c97b1de0b440894740373d8034346700413a99029c0de84edfd2b1d1ab5d.txt",
      "sha256": "7e35c97b1de0b440894740373d8034346700413a99029c0de84edfd2b1d1ab5d",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/host-tests.log",
      "originalSha256": "65f22ab8b8385b00c9b5c4d6a8475a95371e0be7c3819b581b2539c69752f9b9",
      "href": "/os-evidence/65f22ab8b8385b00c9b5c4d6a8475a95371e0be7c3819b581b2539c69752f9b9.txt",
      "sha256": "65f22ab8b8385b00c9b5c4d6a8475a95371e0be7c3819b581b2539c69752f9b9",
      "bytes": 213,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/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/K1680-turkfs-checkpoint-local-ckBZqw/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/mutant-tests.log",
      "originalSha256": "e19414c0fa3280f220a25dbafff08ba194ac3d2a557ec528645312f7937708b9",
      "href": "/os-evidence/e6d2f75ed128be4c426859b3d5dae38cf40c6dc83613d849d5fd2a0cec095044.txt",
      "sha256": "e6d2f75ed128be4c426859b3d5dae38cf40c6dc83613d849d5fd2a0cec095044",
      "bytes": 689,
      "redacted": true
    },
    {
      "name": "checkpoint.rs",
      "source": "reports/os-implementation/K1680-turkfs-checkpoint-local-ckBZqw/mutant/os-turkfs-journal/src/checkpoint.rs",
      "originalSha256": "7c4096ea67abcb510b67c2202f8efad9d23b85898eacc2651d48f94a827fd707",
      "href": "/os-evidence/7c4096ea67abcb510b67c2202f8efad9d23b85898eacc2651d48f94a827fd707.txt",
      "sha256": "7c4096ea67abcb510b67c2202f8efad9d23b85898eacc2651d48f94a827fd707",
      "bytes": 4814,
      "redacted": false
    }
  ],
  "moves": [
    "K1676",
    "K1677",
    "K1678",
    "K1679"
  ]
}