{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1255-restart-local-preflight-ohDsN9/report.json",
    "sha256": "b49e09ff206e03c3dcc8b7602676cc5ae72575e955d956863a42ac4c469730b0",
    "bytes": 2207
  },
  "status": "K1251_K1254_LOCAL_VALIDATED",
  "scope": "Bounded restart backoff, exhaustion, stop-error owner retention and clock-overflow refusal. A missing owner-slot release fails the fault test. Actual EL0 restart remains K1255.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-init-restart/Cargo.toml",
      "originalSha256": "d5376ca69d903a5176dc5bb13f84d283705b594c48a9ef17b146fa53d9b757ce",
      "href": "/os-evidence/d5376ca69d903a5176dc5bb13f84d283705b594c48a9ef17b146fa53d9b757ce.txt",
      "sha256": "d5376ca69d903a5176dc5bb13f84d283705b594c48a9ef17b146fa53d9b757ce",
      "bytes": 77,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-init-restart/src/lib.rs",
      "originalSha256": "e74b730e7ef03f0be9cc0c263af3b3365c5c99ae3bd1693bd21e497cc0b2e51f",
      "href": "/os-evidence/e74b730e7ef03f0be9cc0c263af3b3365c5c99ae3bd1693bd21e497cc0b2e51f.txt",
      "sha256": "e74b730e7ef03f0be9cc0c263af3b3365c5c99ae3bd1693bd21e497cc0b2e51f",
      "bytes": 3997,
      "redacted": false
    },
    {
      "name": "restart.rs",
      "source": "os-init-restart/tests/restart.rs",
      "originalSha256": "469b7c6c7856bc811885273a5deed137cf891edbd7cab1f78707c7b200b2f722",
      "href": "/os-evidence/469b7c6c7856bc811885273a5deed137cf891edbd7cab1f78707c7b200b2f722.txt",
      "sha256": "469b7c6c7856bc811885273a5deed137cf891edbd7cab1f78707c7b200b2f722",
      "bytes": 3962,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-init-restart/CONTRACT.md",
      "originalSha256": "142d7c744dd771e4fa553be5487104f80cac038df5e2ae36666d3ac2224845e1",
      "href": "/os-evidence/142d7c744dd771e4fa553be5487104f80cac038df5e2ae36666d3ac2224845e1.txt",
      "sha256": "142d7c744dd771e4fa553be5487104f80cac038df5e2ae36666d3ac2224845e1",
      "bytes": 820,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1255-restart-local-preflight-ohDsN9/host-tests.log",
      "originalSha256": "129f9d1efe6a13058c878c059e082a59448ff99a410cfe3f34f3080956084998",
      "href": "/os-evidence/5a54db4dca10b03fd904df80223d6d5466815a49d457408654032d0c8dd7a37a.txt",
      "sha256": "5a54db4dca10b03fd904df80223d6d5466815a49d457408654032d0c8dd7a37a",
      "bytes": 693,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1255-restart-local-preflight-ohDsN9/aarch64-no-std-check.log",
      "originalSha256": "fa048423b3d0ef66c910f1f206b5799c1498f406b87d385cfed5593036b2e02b",
      "href": "/os-evidence/24a5fd8aac2838476e8bd64009b080c3582b435f036628789c51f300c7fca27b.txt",
      "sha256": "24a5fd8aac2838476e8bd64009b080c3582b435f036628789c51f300c7fca27b",
      "bytes": 216,
      "redacted": true
    },
    {
      "name": "stop-owner-mutant.log",
      "source": "reports/os-implementation/K1255-restart-local-preflight-ohDsN9/stop-owner-mutant.log",
      "originalSha256": "15caa06b0b56d54991e7de7d258f339c373284947930662a7d8ee5163624fea5",
      "href": "/os-evidence/8b73277d129c4e1d446b51103425698013ceca261722fc950e1e8aa386b3e826.txt",
      "sha256": "8b73277d129c4e1d446b51103425698013ceca261722fc950e1e8aa386b3e826",
      "bytes": 1047,
      "redacted": true
    }
  ],
  "moves": [
    "K1251",
    "K1252",
    "K1253",
    "K1254"
  ]
}