{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/report.json",
    "sha256": "d294e51710a150d61e6bee89ad98ae5334357589aba9a828ac3465fdace17375",
    "bytes": 4392
  },
  "status": "K1666_K1669_LOCAL_VALIDATED",
  "scope": "A bounded writer issues data OUT/FLUSH, log OUT/FLUSH and commit OUT/FLUSH before publication. Two host tests inject failure at all six I/O boundaries and refuse premature or failed publication. An omitted-publication-guard mutant fails. AArch64 no_std compilation is recorded. Real disposable-disk writes and independent device trace remain for K1670; physical durability and product acceptance stay open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "ordering.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/source/os-turkfs-journal/src/ordering.rs",
      "originalSha256": "ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91",
      "href": "/os-evidence/ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91.txt",
      "sha256": "ba3945ae43c05cf9ec085c0a0797b86f19f3cab85c073cce7030bd22aa8dec91",
      "bytes": 1915,
      "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": "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-ordering-local.mjs",
      "source": "scripts/os-acceptance/turkfs-ordering-local.mjs",
      "originalSha256": "1dea28873a19de74c443cb9c234a225de80b22ac781254887684e6f28b3e8206",
      "href": "/os-evidence/1dea28873a19de74c443cb9c234a225de80b22ac781254887684e6f28b3e8206.txt",
      "sha256": "1dea28873a19de74c443cb9c234a225de80b22ac781254887684e6f28b3e8206",
      "bytes": 5398,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/source/no-std-root.rs",
      "originalSha256": "e7f8f7a4d4855bae88c59a7646fe69798512a87d7d68a1529f11cd7c03c3b9d9",
      "href": "/os-evidence/e7f8f7a4d4855bae88c59a7646fe69798512a87d7d68a1529f11cd7c03c3b9d9.txt",
      "sha256": "e7f8f7a4d4855bae88c59a7646fe69798512a87d7d68a1529f11cd7c03c3b9d9",
      "bytes": 74,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/host-tests.log",
      "originalSha256": "9b5ab92b07f159cc991b0d84bc8efb16b0cf047850565b903cb908888a09a015",
      "href": "/os-evidence/9b5ab92b07f159cc991b0d84bc8efb16b0cf047850565b903cb908888a09a015.txt",
      "sha256": "9b5ab92b07f159cc991b0d84bc8efb16b0cf047850565b903cb908888a09a015",
      "bytes": 209,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/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/K1670-turkfs-ordering-local-KAJ2yQ/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/mutant-tests.log",
      "originalSha256": "129f9d951a34f1d463cf86a217703538d8dd4208c9977bf7c57a345fd05a0b3c",
      "href": "/os-evidence/24e9b76bbff24aefcca39de14b96ae6e8e7c39206de842766dd2514ff5693256.txt",
      "sha256": "24e9b76bbff24aefcca39de14b96ae6e8e7c39206de842766dd2514ff5693256",
      "bytes": 675,
      "redacted": true
    },
    {
      "name": "ordering.rs",
      "source": "reports/os-implementation/K1670-turkfs-ordering-local-KAJ2yQ/mutant/os-turkfs-journal/src/ordering.rs",
      "originalSha256": "9cd2c8dcca708cce7cd8e536974107547abb8ce8f160af2ee5ad13e94f59ea15",
      "href": "/os-evidence/9cd2c8dcca708cce7cd8e536974107547abb8ce8f160af2ee5ad13e94f59ea15.txt",
      "sha256": "9cd2c8dcca708cce7cd8e536974107547abb8ce8f160af2ee5ad13e94f59ea15",
      "bytes": 1886,
      "redacted": false
    }
  ],
  "moves": [
    "K1666",
    "K1667",
    "K1668",
    "K1669"
  ]
}