{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1250-startup-local-preflight-dWL0nM/report.json",
    "sha256": "a650bb66175bd333105e2f1c4a123f0e9c58a3b90c534690a6d6f6178709258d",
    "bytes": 2225
  },
  "status": "K1246_K1249_LOCAL_VALIDATED",
  "scope": "Fixed-capacity INIT dependency order and reverse rollback retain adapter ownership on failed stop. A missing owner-slot release fails the fault test. Actual EL0 startup order remains K1250.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-init-startup/Cargo.toml",
      "originalSha256": "db1179cadf690bb591a2cf713243c1e14e8f2d24642743a9b7d08d5ee14b6341",
      "href": "/os-evidence/db1179cadf690bb591a2cf713243c1e14e8f2d24642743a9b7d08d5ee14b6341.txt",
      "sha256": "db1179cadf690bb591a2cf713243c1e14e8f2d24642743a9b7d08d5ee14b6341",
      "bytes": 152,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-init-startup/src/lib.rs",
      "originalSha256": "68fb39d9f75ce3e2c0b0c748b7eb30a035b53dcfbc9639ec107aa5e1fa6d41a0",
      "href": "/os-evidence/68fb39d9f75ce3e2c0b0c748b7eb30a035b53dcfbc9639ec107aa5e1fa6d41a0.txt",
      "sha256": "68fb39d9f75ce3e2c0b0c748b7eb30a035b53dcfbc9639ec107aa5e1fa6d41a0",
      "bytes": 4549,
      "redacted": false
    },
    {
      "name": "startup.rs",
      "source": "os-init-startup/tests/startup.rs",
      "originalSha256": "df10ca022518092b5881fbc1cd0f5e220f7b5c537ec7023bb17e9b7203691931",
      "href": "/os-evidence/df10ca022518092b5881fbc1cd0f5e220f7b5c537ec7023bb17e9b7203691931.txt",
      "sha256": "df10ca022518092b5881fbc1cd0f5e220f7b5c537ec7023bb17e9b7203691931",
      "bytes": 3655,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-init-startup/CONTRACT.md",
      "originalSha256": "f3a662051ca56688b37afd456aacf94e0f7f6d61f550f89e340ff1d77cf02f8a",
      "href": "/os-evidence/f3a662051ca56688b37afd456aacf94e0f7f6d61f550f89e340ff1d77cf02f8a.txt",
      "sha256": "f3a662051ca56688b37afd456aacf94e0f7f6d61f550f89e340ff1d77cf02f8a",
      "bytes": 741,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1250-startup-local-preflight-dWL0nM/host-tests.log",
      "originalSha256": "b59ba6255637654ca85b1d3725f9ea941b0e6745a0a21c1b11b72aef9dbbe870",
      "href": "/os-evidence/18d27a85c50a227ef4df6dc9fbec826cd0a3186da364fd1f03884250cb7925ed.txt",
      "sha256": "18d27a85c50a227ef4df6dc9fbec826cd0a3186da364fd1f03884250cb7925ed",
      "bytes": 1263,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1250-startup-local-preflight-dWL0nM/aarch64-no-std-check.log",
      "originalSha256": "ae56f117156aee74911e7b30417984b1aa07f7916311af37654a0f4ae665886c",
      "href": "/os-evidence/8d3c2dd7f7ee999f1f140c72e62ced5033a9d3f3197778b5a72356e37fad9460.txt",
      "sha256": "8d3c2dd7f7ee999f1f140c72e62ced5033a9d3f3197778b5a72356e37fad9460",
      "bytes": 796,
      "redacted": true
    },
    {
      "name": "rollback-owner-mutant.log",
      "source": "reports/os-implementation/K1250-startup-local-preflight-dWL0nM/rollback-owner-mutant.log",
      "originalSha256": "a6ec6b6950b78703fbe171e835f160298d24d8766a2686c49dbf820e52c7d0ec",
      "href": "/os-evidence/71f946e7982e6d8268acde74515425e82cadd1f3a58938236a8009a6ac19a8ac.txt",
      "sha256": "71f946e7982e6d8268acde74515425e82cadd1f3a58938236a8009a6ac19a8ac",
      "bytes": 1059,
      "redacted": true
    }
  ],
  "moves": [
    "K1246",
    "K1247",
    "K1248",
    "K1249"
  ]
}