{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1275-foreground-local-preflight-IRfcKt/report.json",
    "sha256": "3006dae9af5947cce4eec3ebc104395b34747e787684412ff82cc3d395712dbb",
    "bytes": 2280
  },
  "status": "K1271_K1274_LOCAL_VALIDATED",
  "scope": "One foreground child owner, rejected duplicate launch, failed-spawn boundary and wait-error retention. Removing successful owner release fails the fault test. Actual EL0 foreground execution remains K1275.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-shell-foreground/Cargo.toml",
      "originalSha256": "96aa76b1002fbd8057230955b92f74f7aad103a206e5d49e4478c4512439027a",
      "href": "/os-evidence/96aa76b1002fbd8057230955b92f74f7aad103a206e5d49e4478c4512439027a.txt",
      "sha256": "96aa76b1002fbd8057230955b92f74f7aad103a206e5d49e4478c4512439027a",
      "bytes": 82,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-shell-foreground/src/lib.rs",
      "originalSha256": "dadbe64bac0427be913a4de8c77a891c823e0eb9942b1ceaf08c3a59a36d5fe9",
      "href": "/os-evidence/dadbe64bac0427be913a4de8c77a891c823e0eb9942b1ceaf08c3a59a36d5fe9.txt",
      "sha256": "dadbe64bac0427be913a4de8c77a891c823e0eb9942b1ceaf08c3a59a36d5fe9",
      "bytes": 1577,
      "redacted": false
    },
    {
      "name": "foreground.rs",
      "source": "os-shell-foreground/tests/foreground.rs",
      "originalSha256": "06fdc0c1960131200c6db1f398524db7fceebcdd2e442a4222c99c57534e240e",
      "href": "/os-evidence/06fdc0c1960131200c6db1f398524db7fceebcdd2e442a4222c99c57534e240e.txt",
      "sha256": "06fdc0c1960131200c6db1f398524db7fceebcdd2e442a4222c99c57534e240e",
      "bytes": 2611,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-shell-foreground/CONTRACT.md",
      "originalSha256": "bf3d795f7dcce0d4b765858e397bf10738844bcd7bab23fab4c02a9bb85cdc20",
      "href": "/os-evidence/bf3d795f7dcce0d4b765858e397bf10738844bcd7bab23fab4c02a9bb85cdc20.txt",
      "sha256": "bf3d795f7dcce0d4b765858e397bf10738844bcd7bab23fab4c02a9bb85cdc20",
      "bytes": 614,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1275-foreground-local-preflight-IRfcKt/host-tests.log",
      "originalSha256": "106a3cef654b1b21a3c1439decda9f23534898f63153d1f03a401616702db456",
      "href": "/os-evidence/bb6841b82303b82550551e00099906578b3b31ac346ad2d726ad01b31a6c6196.txt",
      "sha256": "bb6841b82303b82550551e00099906578b3b31ac346ad2d726ad01b31a6c6196",
      "bytes": 724,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1275-foreground-local-preflight-IRfcKt/aarch64-no-std-check.log",
      "originalSha256": "3d3c0428afff4dc3e8e51f34ffef2aab187770c87b69f1d42cdb191d0492dd61",
      "href": "/os-evidence/1275c2075cc29533abd9cd60b45d76fb9a4404882e97eb07814f079deab821d9.txt",
      "sha256": "1275c2075cc29533abd9cd60b45d76fb9a4404882e97eb07814f079deab821d9",
      "bytes": 227,
      "redacted": true
    },
    {
      "name": "foreground-release-mutant.log",
      "source": "reports/os-implementation/K1275-foreground-local-preflight-IRfcKt/foreground-release-mutant.log",
      "originalSha256": "b6b5573e764230dc1bb4df8dba1ef040df747989dada3d17c80e01cc4bbfc573",
      "href": "/os-evidence/325d3595095d69c77c99de530f2c0c17c34554afee70673ca9a5165cf5b846d0.txt",
      "sha256": "325d3595095d69c77c99de530f2c0c17c34554afee70673ca9a5165cf5b846d0",
      "bytes": 1039,
      "redacted": true
    }
  ],
  "moves": [
    "K1271",
    "K1272",
    "K1273",
    "K1274"
  ]
}