{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1675-turkfs-reservation-matrix-check-cWhVi8/report.json",
    "sha256": "74721da284fcbc502a134bfcc7c53d13e5e4544d70ef3f6694d8aa223eca85a4",
    "bytes": 16694
  },
  "status": "K1675_TURKFS_JOURNAL_RESERVATION_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image admitted the last complete three-record transaction using five logical slots, issued its three OUT/FLUSH pairs, then refused a full-journal reservation without a second transaction. Guest completions match independent QEMU device traces and the post-run disk matches only the admitted writes. Six direct and UEFI profiles supply evidence. Logical slots are not a durable on-disk ring; physical durability, general recovery and product acceptance remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "b471da587808d218db7244db11046bd601a5482e176c7e82e52aae65282b2654",
  "files": [
    {
      "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_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": ".k1675-turkfs-reservation-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1675-turkfs-reservation-matrix-generated.mjs",
      "originalSha256": "eb197a6760c9e6faf9efbf3e760e0471e1e177b27c515bdb23d1ff9d42f85168",
      "href": "/os-evidence/eb197a6760c9e6faf9efbf3e760e0471e1e177b27c515bdb23d1ff9d42f85168.txt",
      "sha256": "eb197a6760c9e6faf9efbf3e760e0471e1e177b27c515bdb23d1ff9d42f85168",
      "bytes": 83111,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1675-turkfs-reservation.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/k1675-turkfs-reservation.rs",
      "originalSha256": "496cafc988651dcb1baeeac9ccac375806ea7317641aedcfacd0ec12638ef59b",
      "href": "/os-evidence/496cafc988651dcb1baeeac9ccac375806ea7317641aedcfacd0ec12638ef59b.txt",
      "sha256": "496cafc988651dcb1baeeac9ccac375806ea7317641aedcfacd0ec12638ef59b",
      "bytes": 2846,
      "redacted": false
    },
    {
      "name": "turkfs_journal_reservation.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_journal_reservation.rs",
      "originalSha256": "57842f5f4808ca42b6d8e81ebcdec50ba45720e681d6e5e922cb363280762888",
      "href": "/os-evidence/57842f5f4808ca42b6d8e81ebcdec50ba45720e681d6e5e922cb363280762888.txt",
      "sha256": "57842f5f4808ca42b6d8e81ebcdec50ba45720e681d6e5e922cb363280762888",
      "bytes": 1145,
      "redacted": false
    },
    {
      "name": "k1670-virtio-journal.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/k1670-virtio-journal.rs",
      "originalSha256": "468e395c2de19d388f6e78b9f6c2120e7cc4927a683f23559ce46da47d7e207f",
      "href": "/os-evidence/468e395c2de19d388f6e78b9f6c2120e7cc4927a683f23559ce46da47d7e207f.txt",
      "sha256": "468e395c2de19d388f6e78b9f6c2120e7cc4927a683f23559ce46da47d7e207f",
      "bytes": 13103,
      "redacted": false
    },
    {
      "name": "turkfs_journal_ordering.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_journal_ordering.rs",
      "originalSha256": "ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91",
      "href": "/os-evidence/ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91.txt",
      "sha256": "ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91",
      "bytes": 1915,
      "redacted": false
    },
    {
      "name": "turkfs_journal.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_journal.rs",
      "originalSha256": "0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8",
      "href": "/os-evidence/0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8.txt",
      "sha256": "0f846ba6e90c3814e8a490f9ad4a857512e0610c0798bba45898ff3b46e47ad8",
      "bytes": 3327,
      "redacted": false
    },
    {
      "name": "turkfs_namespace.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_namespace.rs",
      "originalSha256": "ecc7b294690e0768b34f849c304198bd673200108461793b1f556f5c7abf62e2",
      "href": "/os-evidence/ecc7b294690e0768b34f849c304198bd673200108461793b1f556f5c7abf62e2.txt",
      "sha256": "ecc7b294690e0768b34f849c304198bd673200108461793b1f556f5c7abf62e2",
      "bytes": 6521,
      "redacted": false
    },
    {
      "name": "turkfs_open_unlink.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_open_unlink.rs",
      "originalSha256": "da1247c8259aaba85d6d336fab021c9c83b26c1ac6fee338be86879d9724bd52",
      "href": "/os-evidence/da1247c8259aaba85d6d336fab021c9c83b26c1ac6fee338be86879d9724bd52.txt",
      "sha256": "da1247c8259aaba85d6d336fab021c9c83b26c1ac6fee338be86879d9724bd52",
      "bytes": 2865,
      "redacted": false
    },
    {
      "name": "turkfs_allocation.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_allocation.rs",
      "originalSha256": "1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1",
      "href": "/os-evidence/1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1.txt",
      "sha256": "1af3d7b8d2f2c314c2193ba0576bcb3f437887ca883f2e0a76205de3b0be00f1",
      "bytes": 7709,
      "redacted": false
    },
    {
      "name": "turkfs_directory.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_directory.rs",
      "originalSha256": "e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c",
      "href": "/os-evidence/e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c.txt",
      "sha256": "e1b785e76f2df4611b763e8017c50601b41478acceb9bb16f3f7ccaff565206c",
      "bytes": 3663,
      "redacted": false
    },
    {
      "name": "turkfs_reader.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/runtime/turkfs_reader.rs",
      "originalSha256": "ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291",
      "href": "/os-evidence/ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291.txt",
      "sha256": "ec8d03d4f011a616787a6c24a60003c3e5ec62440a7e82fa783fbe83a77b7291",
      "bytes": 2999,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/sources/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "f4aade26d5c7596f12322debc5af252478cbbe324367878d551796b4f266a4ca",
      "href": "/os-evidence/f4aade26d5c7596f12322debc5af252478cbbe324367878d551796b4f266a4ca.txt",
      "sha256": "f4aade26d5c7596f12322debc5af252478cbbe324367878d551796b4f266a4ca",
      "bytes": 28355,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-candidate-dmtSoP/kernel-product.log",
      "originalSha256": "24613e4594041301cd9342769b338f267df618098d8811c8660ad12d3e4bb911",
      "href": "/os-evidence/351af5bee80580c96df320f593032c6fcc475b5a90b80d35125482bae2babc99.txt",
      "sha256": "351af5bee80580c96df320f593032c6fcc475b5a90b80d35125482bae2babc99",
      "bytes": 1753,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-matrix-JGMP9u/product-one-bank-direct-256-mode-126/serial.log",
      "originalSha256": "7c00a22697c9ce488e61b3b0d284d38cccd8686907b2d0eae122049eb0a7dceb",
      "href": "/os-evidence/7c00a22697c9ce488e61b3b0d284d38cccd8686907b2d0eae122049eb0a7dceb.txt",
      "sha256": "7c00a22697c9ce488e61b3b0d284d38cccd8686907b2d0eae122049eb0a7dceb",
      "bytes": 43656,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-matrix-JGMP9u/product-one-bank-direct-512-mode-126/serial.log",
      "originalSha256": "b8ebed9488ae7a8e90037731c9994793bfd5215865ee6f0e8127fadf724a6954",
      "href": "/os-evidence/b8ebed9488ae7a8e90037731c9994793bfd5215865ee6f0e8127fadf724a6954.txt",
      "sha256": "b8ebed9488ae7a8e90037731c9994793bfd5215865ee6f0e8127fadf724a6954",
      "bytes": 43656,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-matrix-JGMP9u/product-one-bank-direct-1024-mode-126/serial.log",
      "originalSha256": "bc17ccb47bb4e592b731b42af0dc197811b69472bcde992fc1978eba34e2c901",
      "href": "/os-evidence/bc17ccb47bb4e592b731b42af0dc197811b69472bcde992fc1978eba34e2c901.txt",
      "sha256": "bc17ccb47bb4e592b731b42af0dc197811b69472bcde992fc1978eba34e2c901",
      "bytes": 43656,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-matrix-JGMP9u/product-one-bank-uefi-256-mode-126/serial.log",
      "originalSha256": "64320fc206493cab391a9361ccf2e445ab903f0f941926c2a500cf4f8b3d43fc",
      "href": "/os-evidence/64320fc206493cab391a9361ccf2e445ab903f0f941926c2a500cf4f8b3d43fc.txt",
      "sha256": "64320fc206493cab391a9361ccf2e445ab903f0f941926c2a500cf4f8b3d43fc",
      "bytes": 49744,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-matrix-JGMP9u/product-one-bank-uefi-512-mode-126/serial.log",
      "originalSha256": "e8f2138625fd384e3e55e4180e6210a00c3885d59407559c3bb2f2085cddacc0",
      "href": "/os-evidence/e8f2138625fd384e3e55e4180e6210a00c3885d59407559c3bb2f2085cddacc0.txt",
      "sha256": "e8f2138625fd384e3e55e4180e6210a00c3885d59407559c3bb2f2085cddacc0",
      "bytes": 49744,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1675-turkfs-reservation-matrix-JGMP9u/product-one-bank-uefi-1024-mode-126/serial.log",
      "originalSha256": "f76726c6887d09b6d1b928109e5f3b38d4a5e8c9e7e2291cddde0b240f3c41c9",
      "href": "/os-evidence/f76726c6887d09b6d1b928109e5f3b38d4a5e8c9e7e2291cddde0b240f3c41c9.txt",
      "sha256": "f76726c6887d09b6d1b928109e5f3b38d4a5e8c9e7e2291cddde0b240f3c41c9",
      "bytes": 50029,
      "redacted": false
    }
  ],
  "moves": [
    "K1675"
  ]
}