{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/report.json",
    "sha256": "5a602af8bf814c5eebae814dffa2bae4501eb0a829226c5872970e4f7b5a8d53",
    "bytes": 4365
  },
  "status": "K1661_K1664_LOCAL_VALIDATED",
  "scope": "A bounded decoder validates journal version, exact length, sequence, CRC32 and three unique ordered metadata records. Two host tests use independent struct/zlib fixtures, including structurally malformed packets with valid checksums. An omitted-checksum-guard mutant fails. AArch64 no_std compilation is recorded. Real disk fixture guest profiles remain for K1665; mount integration and durable transactions stay open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/source/os-turkfs-journal/src/lib.rs",
      "originalSha256": "0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8",
      "href": "/os-evidence/0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8.txt",
      "sha256": "0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8",
      "bytes": 3327,
      "redacted": false
    },
    {
      "name": "turkfs_journal.rs",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/source/kernel/tests/os/turkfs_journal.rs",
      "originalSha256": "b9daee7017fe30a137b812874cbb862147956caa8771a42c01600877dbd8e6e0",
      "href": "/os-evidence/b9daee7017fe30a137b812874cbb862147956caa8771a42c01600877dbd8e6e0.txt",
      "sha256": "b9daee7017fe30a137b812874cbb862147956caa8771a42c01600877dbd8e6e0",
      "bytes": 1611,
      "redacted": false
    },
    {
      "name": "TURKFS_JOURNAL_FORMAT_CONTRACT.md",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/source/kernel/TURKFS_JOURNAL_FORMAT_CONTRACT.md",
      "originalSha256": "97d2968b6b8c2cfdbc97458ee8ef8868139c760e574a3f7ba4360a11eae118da",
      "href": "/os-evidence/97d2968b6b8c2cfdbc97458ee8ef8868139c760e574a3f7ba4360a11eae118da.txt",
      "sha256": "97d2968b6b8c2cfdbc97458ee8ef8868139c760e574a3f7ba4360a11eae118da",
      "bytes": 1282,
      "redacted": false
    },
    {
      "name": "turkfs-journal-local.mjs",
      "source": "scripts/os-acceptance/turkfs-journal-local.mjs",
      "originalSha256": "ad99d25b4d7d242e0cd65a766b3d6abee72196817950d746064aa69a86baa762",
      "href": "/os-evidence/ad99d25b4d7d242e0cd65a766b3d6abee72196817950d746064aa69a86baa762.txt",
      "sha256": "ad99d25b4d7d242e0cd65a766b3d6abee72196817950d746064aa69a86baa762",
      "bytes": 5335,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/source/no-std-root.rs",
      "originalSha256": "ae2a0266a1783c169df252f7c5e7a143ec5cfa8d50f1ebed2e7b3b699e85fce2",
      "href": "/os-evidence/ae2a0266a1783c169df252f7c5e7a143ec5cfa8d50f1ebed2e7b3b699e85fce2.txt",
      "sha256": "ae2a0266a1783c169df252f7c5e7a143ec5cfa8d50f1ebed2e7b3b699e85fce2",
      "bytes": 69,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/host-tests.log",
      "originalSha256": "399b03eb7d7a83c84b49549ceb77d70a6336346e894b26a655b53523be6d70a0",
      "href": "/os-evidence/399b03eb7d7a83c84b49549ceb77d70a6336346e894b26a655b53523be6d70a0.txt",
      "sha256": "399b03eb7d7a83c84b49549ceb77d70a6336346e894b26a655b53523be6d70a0",
      "bytes": 205,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/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/K1665-turkfs-journal-local-cRaFID/mutant-compile.log",
      "originalSha256": "714ca214108dbb2d85938184fe88c65c035495e77a653260c0fae904054444b7",
      "href": "/os-evidence/a6954f731024c6bccb0189bcaf2d4fbaab3b7599fb02b76d2a02628df44e9623.txt",
      "sha256": "a6954f731024c6bccb0189bcaf2d4fbaab3b7599fb02b76d2a02628df44e9623",
      "bytes": 355,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/mutant-tests.log",
      "originalSha256": "199765b222cab16bd1d36be91abb3fd7c5c4205d9df67992820bd21fd7b7d1a2",
      "href": "/os-evidence/ae9bd72addd8712eb4a3c62923362b0b6de3e129cf1b148f0f43eaee931c8553.txt",
      "sha256": "ae9bd72addd8712eb4a3c62923362b0b6de3e129cf1b148f0f43eaee931c8553",
      "bytes": 1032,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1665-turkfs-journal-local-cRaFID/mutant/os-turkfs-journal/src/lib.rs",
      "originalSha256": "e6a24459053cc2fa5cfff60940a3c2370154266dcb8b941be13a06c8d713f31f",
      "href": "/os-evidence/e6a24459053cc2fa5cfff60940a3c2370154266dcb8b941be13a06c8d713f31f.txt",
      "sha256": "e6a24459053cc2fa5cfff60940a3c2370154266dcb8b941be13a06c8d713f31f",
      "bytes": 3296,
      "redacted": false
    }
  ],
  "moves": [
    "K1661",
    "K1662",
    "K1663",
    "K1664"
  ]
}