{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1230-bounded-io-local-preflight-30wVPZ/report.json",
    "sha256": "137382be240ca5c9939296b069dc81b6df39255dcd172b6f4fb2ae0317f69090",
    "bytes": 2424
  },
  "status": "K1226_K1229_LOCAL_VALIDATED",
  "scope": "Local borrowed-buffer bounded read/write loops with exact short I/O, EINTR, zero-progress, EOF and budget transitions. Negative zero-progress mutant fails the actual test. Native guest I/O integration remains K1230.",
  "productAccepted": false,
  "tests": {
    "greenCount": 6,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-user-runtime-io/Cargo.toml",
      "originalSha256": "3786fffb01234718c07d7ef6f47c51e867b6d59ad0b196a7cd1a71b88da2bb00",
      "href": "/os-evidence/3786fffb01234718c07d7ef6f47c51e867b6d59ad0b196a7cd1a71b88da2bb00.txt",
      "sha256": "3786fffb01234718c07d7ef6f47c51e867b6d59ad0b196a7cd1a71b88da2bb00",
      "bytes": 151,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-user-runtime-io/src/lib.rs",
      "originalSha256": "41c0b6c5fe75e48099d1de1483201c66b299c580f18104e7f8d3dc944eee3721",
      "href": "/os-evidence/41c0b6c5fe75e48099d1de1483201c66b299c580f18104e7f8d3dc944eee3721.txt",
      "sha256": "41c0b6c5fe75e48099d1de1483201c66b299c580f18104e7f8d3dc944eee3721",
      "bytes": 23,
      "redacted": false
    },
    {
      "name": "io.rs",
      "source": "os-user-runtime-io/src/io.rs",
      "originalSha256": "42fc30ccb099d3b084c851b8a5a59ae1fb1b3a0454c59bb4efcfb1449018d0b4",
      "href": "/os-evidence/42fc30ccb099d3b084c851b8a5a59ae1fb1b3a0454c59bb4efcfb1449018d0b4.txt",
      "sha256": "42fc30ccb099d3b084c851b8a5a59ae1fb1b3a0454c59bb4efcfb1449018d0b4",
      "bytes": 3991,
      "redacted": false
    },
    {
      "name": "io.rs",
      "source": "os-user-runtime-io/tests/io.rs",
      "originalSha256": "285bf407f520aca2dae8640bb083c057a792234e5315dff1f5d787bb5422209c",
      "href": "/os-evidence/285bf407f520aca2dae8640bb083c057a792234e5315dff1f5d787bb5422209c.txt",
      "sha256": "285bf407f520aca2dae8640bb083c057a792234e5315dff1f5d787bb5422209c",
      "bytes": 3985,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-user-runtime-io/CONTRACT.md",
      "originalSha256": "1d9806d24da3c3b58bed77b7391717cc097a6d2ec552c7973dfa510151bda2ff",
      "href": "/os-evidence/1d9806d24da3c3b58bed77b7391717cc097a6d2ec552c7973dfa510151bda2ff.txt",
      "sha256": "1d9806d24da3c3b58bed77b7391717cc097a6d2ec552c7973dfa510151bda2ff",
      "bytes": 1031,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1230-bounded-io-local-preflight-30wVPZ/host-tests.log",
      "originalSha256": "6333217534f1070c7e3ae60e5617c71bbc659c3d5735cf03a1c55b5b9424dc6b",
      "href": "/os-evidence/2739333e23d5c2912e624a630a7c700f848b92bc46daeda90d24d70b28c58f83.txt",
      "sha256": "2739333e23d5c2912e624a630a7c700f848b92bc46daeda90d24d70b28c58f83",
      "bytes": 1112,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1230-bounded-io-local-preflight-30wVPZ/aarch64-no-std-check.log",
      "originalSha256": "17638f6431d9ec6c06f1429670928ca4769b973d56e513b896c93eadc05d0b8e",
      "href": "/os-evidence/5d25b641ce12e7468159877deb674eacb2bccc4357ff58c729bb86d3b60022b7.txt",
      "sha256": "5d25b641ce12e7468159877deb674eacb2bccc4357ff58c729bb86d3b60022b7",
      "bytes": 513,
      "redacted": true
    },
    {
      "name": "zero-progress-mutant.log",
      "source": "reports/os-implementation/K1230-bounded-io-local-preflight-30wVPZ/zero-progress-mutant.log",
      "originalSha256": "50de216b659ace2b6bc192a0c3d8c1f717572f5cfc80f1d01ce0e6851506f67c",
      "href": "/os-evidence/c7b1f5dfe09c836ac3c0c4e08f1173c272344c5ff55f76d3dd9cf86a74653a35.txt",
      "sha256": "c7b1f5dfe09c836ac3c0c4e08f1173c272344c5ff55f76d3dd9cf86a74653a35",
      "bytes": 1018,
      "redacted": true
    }
  ],
  "moves": [
    "K1226",
    "K1227",
    "K1228",
    "K1229"
  ]
}