{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1285-echo-local-preflight-JS8wIe/report.json",
    "sha256": "6c2de1a0a33d19fb7b4c91acf13aa256f50e8d587d155db6e8fafa5654650e83",
    "bytes": 2220
  },
  "status": "K1281_K1284_LOCAL_VALIDATED",
  "scope": "Bounded UTF-8 echo encoding and resumable writer cursor, including injected partial writes, budget failure and a mutation that duplicates acknowledged bytes. EL0 serial output and product acceptance remain open.",
  "productAccepted": false,
  "tests": {
    "greenCount": 4,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-shell-echo/Cargo.toml",
      "originalSha256": "0b807664b5409be5a685263ad76ab323ff86a32233e87da9424eac91588dcbc2",
      "href": "/os-evidence/0b807664b5409be5a685263ad76ab323ff86a32233e87da9424eac91588dcbc2.txt",
      "sha256": "0b807664b5409be5a685263ad76ab323ff86a32233e87da9424eac91588dcbc2",
      "bytes": 155,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-shell-echo/src/lib.rs",
      "originalSha256": "42451f56e8129d7f58b58d7922e1df6e069a1adf157b0a4573f3ed6f10148c93",
      "href": "/os-evidence/42451f56e8129d7f58b58d7922e1df6e069a1adf157b0a4573f3ed6f10148c93.txt",
      "sha256": "42451f56e8129d7f58b58d7922e1df6e069a1adf157b0a4573f3ed6f10148c93",
      "bytes": 1963,
      "redacted": false
    },
    {
      "name": "echo.rs",
      "source": "os-shell-echo/tests/echo.rs",
      "originalSha256": "a6b2559994271a1c1cd2db662a5a2de54867d8aa5dc7b6397fce2abf21296b12",
      "href": "/os-evidence/a6b2559994271a1c1cd2db662a5a2de54867d8aa5dc7b6397fce2abf21296b12.txt",
      "sha256": "a6b2559994271a1c1cd2db662a5a2de54867d8aa5dc7b6397fce2abf21296b12",
      "bytes": 2163,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-shell-echo/CONTRACT.md",
      "originalSha256": "7e61428e7874453df4c49b68baad8cafe02c4323e182687345a691a96d47cdac",
      "href": "/os-evidence/7e61428e7874453df4c49b68baad8cafe02c4323e182687345a691a96d47cdac.txt",
      "sha256": "7e61428e7874453df4c49b68baad8cafe02c4323e182687345a691a96d47cdac",
      "bytes": 697,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1285-echo-local-preflight-JS8wIe/host-tests.log",
      "originalSha256": "9bc6d68c564ff8707dc5205769851fa63023c2b430d2a0821ae3b395c82d9a94",
      "href": "/os-evidence/9f2af5353371ab1ad53d5d254b3e7f74fd6348de69c63cd2ec50c29156141fb3.txt",
      "sha256": "9f2af5353371ab1ad53d5d254b3e7f74fd6348de69c63cd2ec50c29156141fb3",
      "bytes": 1171,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1285-echo-local-preflight-JS8wIe/aarch64-no-std-check.log",
      "originalSha256": "5e932e0baa44a14a04020227208effa17a34fe830ebb6e812b427034672d1268",
      "href": "/os-evidence/a3871c9384d866809b1aa023d801079698d73785174aa8b186337fdd840d23f7.txt",
      "sha256": "a3871c9384d866809b1aa023d801079698d73785174aa8b186337fdd840d23f7",
      "bytes": 632,
      "redacted": true
    },
    {
      "name": "acknowledgement-mutant.log",
      "source": "reports/os-implementation/K1285-echo-local-preflight-JS8wIe/acknowledgement-mutant.log",
      "originalSha256": "a099f55763be44507e9f8e42d4f3795bc7734037bb541c641c97a45987055eba",
      "href": "/os-evidence/a93a6425e4b18154a2c54b9190b41e8d48f4372c01af88fcd6c1b177dd0aa978.txt",
      "sha256": "a93a6425e4b18154a2c54b9190b41e8d48f4372c01af88fcd6c1b177dd0aa978",
      "bytes": 1445,
      "redacted": true
    }
  ],
  "moves": [
    "K1281",
    "K1282",
    "K1283",
    "K1284"
  ]
}