{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/report.json",
    "sha256": "eb0d9f571af46aab79e2a1521f1e3e1185b5252afc7639465f1aec0116ecd0bc",
    "bytes": 4443
  },
  "status": "K1671_K1674_LOCAL_VALIDATED",
  "scope": "A bounded logical journal reserves header, all records and commit together. Two host tests check the last complete transaction, one-record shortage, invalid counts and 16-bit capacity limits. An omitted-capacity-guard mutant fails. AArch64 no_std compilation is recorded. Pairing admission with real disposable-disk I/O remains for K1675; durable ring allocation and product acceptance stay open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "reservation.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/source/os-turkfs-journal/src/reservation.rs",
      "originalSha256": "57842f5f4808ca42b6d8e81ebcdec50ba45720e681d6e5e922cb363280762888",
      "href": "/os-evidence/57842f5f4808ca42b6d8e81ebcdec50ba45720e681d6e5e922cb363280762888.txt",
      "sha256": "57842f5f4808ca42b6d8e81ebcdec50ba45720e681d6e5e922cb363280762888",
      "bytes": 1145,
      "redacted": false
    },
    {
      "name": "turkfs_journal_reservation.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/source/kernel/tests/os/turkfs_journal_reservation.rs",
      "originalSha256": "dabe130396c22e0d245a88100eb5d87962fb41903523b19525935551259b5742",
      "href": "/os-evidence/dabe130396c22e0d245a88100eb5d87962fb41903523b19525935551259b5742.txt",
      "sha256": "dabe130396c22e0d245a88100eb5d87962fb41903523b19525935551259b5742",
      "bytes": 1221,
      "redacted": false
    },
    {
      "name": "TURKFS_JOURNAL_RESERVATION_CONTRACT.md",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/source/kernel/TURKFS_JOURNAL_RESERVATION_CONTRACT.md",
      "originalSha256": "10e085b41ac75af12a1cad107bc1c03e98a7a427e66a0fd5b9621ed54ee1ab92",
      "href": "/os-evidence/10e085b41ac75af12a1cad107bc1c03e98a7a427e66a0fd5b9621ed54ee1ab92.txt",
      "sha256": "10e085b41ac75af12a1cad107bc1c03e98a7a427e66a0fd5b9621ed54ee1ab92",
      "bytes": 968,
      "redacted": false
    },
    {
      "name": "turkfs-reservation-local.mjs",
      "source": "scripts/os-acceptance/turkfs-reservation-local.mjs",
      "originalSha256": "046eea4104e646f03a77ff3f66f6f70e9e4a86ebb9e93fff15047f811c78e7de",
      "href": "/os-evidence/046eea4104e646f03a77ff3f66f6f70e9e4a86ebb9e93fff15047f811c78e7de.txt",
      "sha256": "046eea4104e646f03a77ff3f66f6f70e9e4a86ebb9e93fff15047f811c78e7de",
      "bytes": 5451,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/source/no-std-root.rs",
      "originalSha256": "b29faf0153b550b9cd0bff322fc0393f988db902b3708ab84cf328c60c101acf",
      "href": "/os-evidence/b29faf0153b550b9cd0bff322fc0393f988db902b3708ab84cf328c60c101acf.txt",
      "sha256": "b29faf0153b550b9cd0bff322fc0393f988db902b3708ab84cf328c60c101acf",
      "bytes": 77,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/host-tests.log",
      "originalSha256": "9e2876245436a727f098f5189190d805f169947e809533ef4bf0d484d6b3f630",
      "href": "/os-evidence/9e2876245436a727f098f5189190d805f169947e809533ef4bf0d484d6b3f630.txt",
      "sha256": "9e2876245436a727f098f5189190d805f169947e809533ef4bf0d484d6b3f630",
      "bytes": 215,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/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/K1675-turkfs-reservation-local-zEIwLB/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/mutant-tests.log",
      "originalSha256": "a8bab2f4c91c0f9a37a157ff5ddb7d65ad3d4de3c6dd59ea2d4b26dd6cd550e0",
      "href": "/os-evidence/1b5b6a1c8a2ff39d68b504daa79612d13800fcd9426444130f372751e8bbe3f5.txt",
      "sha256": "1b5b6a1c8a2ff39d68b504daa79612d13800fcd9426444130f372751e8bbe3f5",
      "bytes": 739,
      "redacted": true
    },
    {
      "name": "reservation.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-local-zEIwLB/mutant/os-turkfs-journal/src/reservation.rs",
      "originalSha256": "ca2fe3b01c453b305f8155cd1426bb9b36337d3c922a6f9fe7306b208e5dafbf",
      "href": "/os-evidence/ca2fe3b01c453b305f8155cd1426bb9b36337d3c922a6f9fe7306b208e5dafbf.txt",
      "sha256": "ca2fe3b01c453b305f8155cd1426bb9b36337d3c922a6f9fe7306b208e5dafbf",
      "bytes": 1116,
      "redacted": false
    }
  ],
  "moves": [
    "K1671",
    "K1672",
    "K1673",
    "K1674"
  ]
}