{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1670-turkfs-ordering-matrix-check-K4osyd/report.json",
    "sha256": "51bcc7d3fae2e593e56abe978e1f792fd634714bec018b76b0cb78c0ca65977e",
    "bytes": 16181
  },
  "status": "K1670_TURKFS_JOURNAL_ORDERING_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image issued three real OUT and three FLUSH operations in data/log/commit order on per-guest disposable disks. Guest used-ring completions match independent QEMU device queue/request traces, and final disk bytes match exactly the three intended writes. Early publication was refused and DMA ownership returned only after verified reset. Six direct and UEFI profiles supply evidence; physical power-loss safety, general recovery and canonical product acceptance remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "ffbd2245c806828484807327ff898c619914cbadedb778f895dafc86d6ef3459",
  "files": [
    {
      "name": "TURKFS_JOURNAL_ORDERING_CONTRACT.md",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/source/kernel/TURKFS_JOURNAL_ORDERING_CONTRACT.md",
      "originalSha256": "5e72c04481420a45bcce85309a8487ac4c93bbe246e114c8869ba46ac865b51f",
      "href": "/os-evidence/5e72c04481420a45bcce85309a8487ac4c93bbe246e114c8869ba46ac865b51f.txt",
      "sha256": "5e72c04481420a45bcce85309a8487ac4c93bbe246e114c8869ba46ac865b51f",
      "bytes": 1057,
      "redacted": false
    },
    {
      "name": "turkfs_journal_ordering.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/source/kernel/tests/os/turkfs_journal_ordering.rs",
      "originalSha256": "ab77482bb433e1efc7ac3027f3f70f11d8d9de9225d0ae0697be953172488eca",
      "href": "/os-evidence/ab77482bb433e1efc7ac3027f3f70f11d8d9de9225d0ae0697be953172488eca.txt",
      "sha256": "ab77482bb433e1efc7ac3027f3f70f11d8d9de9225d0ae0697be953172488eca",
      "bytes": 2078,
      "redacted": false
    },
    {
      "name": ".k1670-turkfs-ordering-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1670-turkfs-ordering-matrix-generated.mjs",
      "originalSha256": "51f1cc91c0b2dcb217b970af992fc1708aa91d8f65671985b793b29c306da67f",
      "href": "/os-evidence/51f1cc91c0b2dcb217b970af992fc1708aa91d8f65671985b793b29c306da67f.txt",
      "sha256": "51f1cc91c0b2dcb217b970af992fc1708aa91d8f65671985b793b29c306da67f",
      "bytes": 83108,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-candidate-lKFhMp/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1670-turkfs-ordering.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-candidate-lKFhMp/sources/kernel/src/k1670-turkfs-ordering.rs",
      "originalSha256": "2bc616890e50e5312c90ceca7daa6e61e9a15de3482d97dc8c6273f1a61fc71d",
      "href": "/os-evidence/2bc616890e50e5312c90ceca7daa6e61e9a15de3482d97dc8c6273f1a61fc71d.txt",
      "sha256": "2bc616890e50e5312c90ceca7daa6e61e9a15de3482d97dc8c6273f1a61fc71d",
      "bytes": 2225,
      "redacted": false
    },
    {
      "name": "turkfs_journal_ordering.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-candidate-lKFhMp/sources/kernel/src/runtime/turkfs_journal_ordering.rs",
      "originalSha256": "ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91",
      "href": "/os-evidence/ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91.txt",
      "sha256": "ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91",
      "bytes": 1915,
      "redacted": false
    },
    {
      "name": "k1670-virtio-journal.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-candidate-lKFhMp/sources/kernel/src/k1670-virtio-journal.rs",
      "originalSha256": "468e395c2de19d388f6e78b9f6c2120e7cc4927a683f23559ce46da47d7e207f",
      "href": "/os-evidence/468e395c2de19d388f6e78b9f6c2120e7cc4927a683f23559ce46da47d7e207f.txt",
      "sha256": "468e395c2de19d388f6e78b9f6c2120e7cc4927a683f23559ce46da47d7e207f",
      "bytes": 13103,
      "redacted": false
    },
    {
      "name": "turkfs_journal.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/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/K1670-turkfs-ordering-candidate-lKFhMp/kernel-product.log",
      "originalSha256": "5906b8a087ac3c8dab94c59d85ce61a8a7a2a4daee81b15ecb01d83074aff4a1",
      "href": "/os-evidence/b857d092822870fc6dba54a337bffab50a040ebbf363a952881e7dfa149ae003.txt",
      "sha256": "b857d092822870fc6dba54a337bffab50a040ebbf363a952881e7dfa149ae003",
      "bytes": 1723,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-matrix-yBtlkh/product-one-bank-direct-256-mode-125/serial.log",
      "originalSha256": "ba00e0ef9636adeb31748cdca00f80364149c9ed26f96ea5bf6a152bda022e12",
      "href": "/os-evidence/ba00e0ef9636adeb31748cdca00f80364149c9ed26f96ea5bf6a152bda022e12.txt",
      "sha256": "ba00e0ef9636adeb31748cdca00f80364149c9ed26f96ea5bf6a152bda022e12",
      "bytes": 43573,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-matrix-yBtlkh/product-one-bank-direct-512-mode-125/serial.log",
      "originalSha256": "5cef581339aa803bead88bf50d769c3198dbf2fe7617fb48fe65db9d49f1d7c6",
      "href": "/os-evidence/5cef581339aa803bead88bf50d769c3198dbf2fe7617fb48fe65db9d49f1d7c6.txt",
      "sha256": "5cef581339aa803bead88bf50d769c3198dbf2fe7617fb48fe65db9d49f1d7c6",
      "bytes": 43573,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-matrix-yBtlkh/product-one-bank-direct-1024-mode-125/serial.log",
      "originalSha256": "760566314336714b0ebfab9937c4f48e99460b85353593bd19f0814505577897",
      "href": "/os-evidence/760566314336714b0ebfab9937c4f48e99460b85353593bd19f0814505577897.txt",
      "sha256": "760566314336714b0ebfab9937c4f48e99460b85353593bd19f0814505577897",
      "bytes": 43573,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-matrix-yBtlkh/product-one-bank-uefi-256-mode-125/serial.log",
      "originalSha256": "5a7c013f1c614471b2360aa09186833169874df3fd2204be7c7f56aa1b6bdda8",
      "href": "/os-evidence/5a7c013f1c614471b2360aa09186833169874df3fd2204be7c7f56aa1b6bdda8.txt",
      "sha256": "5a7c013f1c614471b2360aa09186833169874df3fd2204be7c7f56aa1b6bdda8",
      "bytes": 49661,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-matrix-yBtlkh/product-one-bank-uefi-512-mode-125/serial.log",
      "originalSha256": "37fe3b5978bbe77c2c83bd83a413af4c00f39b452702acd9b96bdf247f751a91",
      "href": "/os-evidence/37fe3b5978bbe77c2c83bd83a413af4c00f39b452702acd9b96bdf247f751a91.txt",
      "sha256": "37fe3b5978bbe77c2c83bd83a413af4c00f39b452702acd9b96bdf247f751a91",
      "bytes": 49946,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-matrix-yBtlkh/product-one-bank-uefi-1024-mode-125/serial.log",
      "originalSha256": "9eabd8899c6cd85200b7f8281dc87049df771c7cb659362df7f0df50a66b434f",
      "href": "/os-evidence/9eabd8899c6cd85200b7f8281dc87049df771c7cb659362df7f0df50a66b434f.txt",
      "sha256": "9eabd8899c6cd85200b7f8281dc87049df771c7cb659362df7f0df50a66b434f",
      "bytes": 49946,
      "redacted": false
    }
  ],
  "moves": [
    "K1670"
  ]
}