{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/report.json",
    "sha256": "671af64fa9d9ca6a933c1f089c04bae5723a74b3d89ce8d8df0ae5bdb13497e8",
    "bytes": 2691
  },
  "status": "K1186_K1189_LOCAL_VALIDATED",
  "scope": "Exact candidate ProcessTable wait code is exercised in the host owner fixture; the duplicate-result mutation fails. Live EL0 before/after and second-wait behavior is still pending.",
  "productAccepted": false,
  "tests": {
    "greenCount": 28,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/host-workspace/os-process-table/src/process_table.rs",
      "originalSha256": "3c0e7fdb4db935464c69f2d91a489dc6e58a2f1c26a83d36b9966432ea8b82a9",
      "href": "/os-evidence/3c0e7fdb4db935464c69f2d91a489dc6e58a2f1c26a83d36b9966432ea8b82a9.txt",
      "sha256": "3c0e7fdb4db935464c69f2d91a489dc6e58a2f1c26a83d36b9966432ea8b82a9",
      "bytes": 38405,
      "redacted": false
    },
    {
      "name": "process_exit.rs",
      "source": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/host-workspace/os-process-table/src/process_exit.rs",
      "originalSha256": "b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39",
      "href": "/os-evidence/b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39.txt",
      "sha256": "b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39",
      "bytes": 1974,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/host-workspace/os-process-table/tests/process_table.rs",
      "originalSha256": "be50ed27af9236f4258dfc8b8aeefa8b5fb86a09ed4b3fc9bdadb27f80966ca6",
      "href": "/os-evidence/be50ed27af9236f4258dfc8b8aeefa8b5fb86a09ed4b3fc9bdadb27f80966ca6.txt",
      "sha256": "be50ed27af9236f4258dfc8b8aeefa8b5fb86a09ed4b3fc9bdadb27f80966ca6",
      "bytes": 31775,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/mutant-workspace/os-process-table/src/process_table.rs",
      "originalSha256": "5b9c5f79ca96cd7a9b259a29bb8d0010ca860e35127da827c9630a20dc7a207a",
      "href": "/os-evidence/5b9c5f79ca96cd7a9b259a29bb8d0010ca860e35127da827c9630a20dc7a207a.txt",
      "sha256": "5b9c5f79ca96cd7a9b259a29bb8d0010ca860e35127da827c9630a20dc7a207a",
      "bytes": 38351,
      "redacted": false
    },
    {
      "name": "green.log",
      "source": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/green.log",
      "originalSha256": "6a1e045231f93df86a804ca464a077a5bd51d7c509a48310544db2593ea06c2e",
      "href": "/os-evidence/896a663767029240803ed4f342caed75cea1abc29cfa5c96730574103dc34ecd.txt",
      "sha256": "896a663767029240803ed4f342caed75cea1abc29cfa5c96730574103dc34ecd",
      "bytes": 3210,
      "redacted": true
    },
    {
      "name": "red-duplicate-outcome.log",
      "source": "reports/os-implementation/K1190-wait-local-preflight-ECdTrV/red-duplicate-outcome.log",
      "originalSha256": "617d4480623a0067717bc2eb646fd8e7e42a470348c1136f39128c0a660a2bf3",
      "href": "/os-evidence/c77bdb18355bb04ea8ce5b6fa2693ec14d1755dd39ad69266e61e88b68120fa8.txt",
      "sha256": "c77bdb18355bb04ea8ce5b6fa2693ec14d1755dd39ad69266e61e88b68120fa8",
      "bytes": 1482,
      "redacted": true
    },
    {
      "name": "k1185-init-el0-guest-v5.rs",
      "source": "scripts/os-acceptance/k1185-init-el0-guest-v5.rs",
      "originalSha256": "9fe86c840f6a232fa011175125647f0aadce9d5ae56295792104b6221c51f36e",
      "href": "/os-evidence/9fe86c840f6a232fa011175125647f0aadce9d5ae56295792104b6221c51f36e.txt",
      "sha256": "9fe86c840f6a232fa011175125647f0aadce9d5ae56295792104b6221c51f36e",
      "bytes": 22456,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "e651cbb4a296798a6c37401db17f6e689399b5b730a7022bb04280c98965c42e",
      "href": "/os-evidence/e651cbb4a296798a6c37401db17f6e689399b5b730a7022bb04280c98965c42e.txt",
      "sha256": "e651cbb4a296798a6c37401db17f6e689399b5b730a7022bb04280c98965c42e",
      "bytes": 38437,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "554bab72e82968a798c716d92ba82ad3df54c7f543ca56c4913e92090619450d",
      "href": "/os-evidence/554bab72e82968a798c716d92ba82ad3df54c7f543ca56c4913e92090619450d.txt",
      "sha256": "554bab72e82968a798c716d92ba82ad3df54c7f543ca56c4913e92090619450d",
      "bytes": 73650,
      "redacted": false
    },
    {
      "name": "process_exit.rs",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/runtime/process_exit.rs",
      "originalSha256": "b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39",
      "href": "/os-evidence/b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39.txt",
      "sha256": "b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39",
      "bytes": 1974,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "7fd905ee095334ab55b02851ee750e83b107ae2badb22f84e9181e265cc688e7",
      "href": "/os-evidence/7fd905ee095334ab55b02851ee750e83b107ae2badb22f84e9181e265cc688e7.txt",
      "sha256": "7fd905ee095334ab55b02851ee750e83b107ae2badb22f84e9181e265cc688e7",
      "bytes": 21093,
      "redacted": false
    },
    {
      "name": "os_k1185i_vectors.S",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/os_k1185i_vectors.S",
      "originalSha256": "c0836865f15b48ea44b6120bb98d71f242d8c9d2b31aaab90cca4453f82a1941",
      "href": "/os-evidence/c0836865f15b48ea44b6120bb98d71f242d8c9d2b31aaab90cca4453f82a1941.txt",
      "sha256": "c0836865f15b48ea44b6120bb98d71f242d8c9d2b31aaab90cca4453f82a1941",
      "bytes": 6108,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "f2773a420dad8f87fbd2fd7abbbbbe11e189299c289b82eddfe744432e6a6dec",
      "href": "/os-evidence/f2773a420dad8f87fbd2fd7abbbbbe11e189299c289b82eddfe744432e6a6dec.txt",
      "sha256": "f2773a420dad8f87fbd2fd7abbbbbe11e189299c289b82eddfe744432e6a6dec",
      "bytes": 35870,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/kernel-product.log",
      "originalSha256": "e28361f04ee31b5271362ffdae1d04ef951006dbdd99336632671c21e2252a7a",
      "href": "/os-evidence/7b6d37b137271141d3b940b7118230ca21d74d1964db7135b11f8b058d16cd8d.txt",
      "sha256": "7b6d37b137271141d3b940b7118230ca21d74d1964db7135b11f8b058d16cd8d",
      "bytes": 21086,
      "redacted": true
    }
  ],
  "moves": [
    "K1186",
    "K1187",
    "K1188",
    "K1189"
  ]
}