{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1280-input-local-preflight-CsDJIq/report.json",
    "sha256": "55c78a861f956ae45c554050f0e02c651681c0c26051eb5c8af83042fca600cf",
    "bytes": 2233
  },
  "status": "K1276_K1279_LOCAL_VALIDATED",
  "scope": "Bounded UTF-8 shell input with cancellation epochs, stale commit refusal, atomic capacity errors and buffer reset. Removing the cancel epoch advance fails the fault test. Actual EL0 input interrupt remains K1280.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-shell-input/Cargo.toml",
      "originalSha256": "c3a344fb2117f1dbdf103713c00fa6898742a43c3cbf826407575c74bc5e5a4f",
      "href": "/os-evidence/c3a344fb2117f1dbdf103713c00fa6898742a43c3cbf826407575c74bc5e5a4f.txt",
      "sha256": "c3a344fb2117f1dbdf103713c00fa6898742a43c3cbf826407575c74bc5e5a4f",
      "bytes": 77,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-shell-input/src/lib.rs",
      "originalSha256": "c446a03a8b9b8d29780fb9e659ae0a9f4215cf6c2864ada7a615c488318373c8",
      "href": "/os-evidence/c446a03a8b9b8d29780fb9e659ae0a9f4215cf6c2864ada7a615c488318373c8.txt",
      "sha256": "c446a03a8b9b8d29780fb9e659ae0a9f4215cf6c2864ada7a615c488318373c8",
      "bytes": 2094,
      "redacted": false
    },
    {
      "name": "input.rs",
      "source": "os-shell-input/tests/input.rs",
      "originalSha256": "a3a087d1c56d20064543bca73cd8c3605d7b1591beb6e8cc5eab7d247f25d348",
      "href": "/os-evidence/a3a087d1c56d20064543bca73cd8c3605d7b1591beb6e8cc5eab7d247f25d348.txt",
      "sha256": "a3a087d1c56d20064543bca73cd8c3605d7b1591beb6e8cc5eab7d247f25d348",
      "bytes": 1563,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-shell-input/CONTRACT.md",
      "originalSha256": "7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376",
      "href": "/os-evidence/7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376.txt",
      "sha256": "7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376",
      "bytes": 576,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1280-input-local-preflight-CsDJIq/host-tests.log",
      "originalSha256": "14a410225fb73a30589dc1f6346bea3a2014f68c5b8b792debf09cdde971fe35",
      "href": "/os-evidence/de5f35d487758fd0b826599acd13fedf90cb4795197adf541db142fd9e46f5a2.txt",
      "sha256": "de5f35d487758fd0b826599acd13fedf90cb4795197adf541db142fd9e46f5a2",
      "bytes": 705,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1280-input-local-preflight-CsDJIq/aarch64-no-std-check.log",
      "originalSha256": "0ff7686ad7860589fe76e338774764845721f05b8b3a226ad2c9f89ff8612075",
      "href": "/os-evidence/039548d23cac214bdc0ffefbd60e76123bcc7c932d5ce7ad22a6184638c6adff.txt",
      "sha256": "039548d23cac214bdc0ffefbd60e76123bcc7c932d5ce7ad22a6184638c6adff",
      "bytes": 212,
      "redacted": true
    },
    {
      "name": "cancel-epoch-mutant.log",
      "source": "reports/os-implementation/K1280-input-local-preflight-CsDJIq/cancel-epoch-mutant.log",
      "originalSha256": "7a1d91071af88d1809017f694eec8e7796a9f1a19d2b672b1758355f3a713918",
      "href": "/os-evidence/e8bb6fe925aaf4a2ec6420674404e5fbbf5ee1a8ee4fe465187bbd8bf4461575.txt",
      "sha256": "e8bb6fe925aaf4a2ec6420674404e5fbbf5ee1a8ee4fe465187bbd8bf4461575",
      "bytes": 1536,
      "redacted": true
    }
  ],
  "moves": [
    "K1276",
    "K1277",
    "K1278",
    "K1279"
  ]
}