{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1245-manifest-local-preflight-3dJV2x/report.json",
    "sha256": "81297f1ddf40e17d197db5d168d9d090f59cded39f32de85a3b0ebb77167933d",
    "bytes": 2252
  },
  "status": "K1241_K1244_LOCAL_VALIDATED",
  "scope": "Fixed-capacity INIT declarations reject duplicate IDs, invalid image and ABI metadata, and budget overflow before acquisition. A duplicate-ID guard mutant fails. Actual EL0 INIT integration remains K1245.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-init-manifest/Cargo.toml",
      "originalSha256": "ac5ef6188b9eab54a6c649d1eec64af8faf8e71302b5fde55ccbd742e63be653",
      "href": "/os-evidence/ac5ef6188b9eab54a6c649d1eec64af8faf8e71302b5fde55ccbd742e63be653.txt",
      "sha256": "ac5ef6188b9eab54a6c649d1eec64af8faf8e71302b5fde55ccbd742e63be653",
      "bytes": 159,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-init-manifest/src/lib.rs",
      "originalSha256": "e4b955a09fe27188a9e8d3f9b48309e95a81fb16cb258e085d73d3b51f3f1e14",
      "href": "/os-evidence/e4b955a09fe27188a9e8d3f9b48309e95a81fb16cb258e085d73d3b51f3f1e14.txt",
      "sha256": "e4b955a09fe27188a9e8d3f9b48309e95a81fb16cb258e085d73d3b51f3f1e14",
      "bytes": 2574,
      "redacted": false
    },
    {
      "name": "manifest.rs",
      "source": "os-init-manifest/tests/manifest.rs",
      "originalSha256": "2752467aaf58abb14d80d37fb84bfd483ecf07c3a4e7c44a8c82353183885ae1",
      "href": "/os-evidence/2752467aaf58abb14d80d37fb84bfd483ecf07c3a4e7c44a8c82353183885ae1.txt",
      "sha256": "2752467aaf58abb14d80d37fb84bfd483ecf07c3a4e7c44a8c82353183885ae1",
      "bytes": 2355,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-init-manifest/CONTRACT.md",
      "originalSha256": "addd981cfba662bf68e0ed40d7ea1ecdf740c76ec32a594bc077fb9e4813ac0b",
      "href": "/os-evidence/addd981cfba662bf68e0ed40d7ea1ecdf740c76ec32a594bc077fb9e4813ac0b.txt",
      "sha256": "addd981cfba662bf68e0ed40d7ea1ecdf740c76ec32a594bc077fb9e4813ac0b",
      "bytes": 724,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1245-manifest-local-preflight-3dJV2x/host-tests.log",
      "originalSha256": "b2fb976e20d9d8738ef0cade2d70bb2ce2197fc5e08a3d6a0da2a928212199e4",
      "href": "/os-evidence/02654e13037a2d45c782027add91fac6a5ef838bbfd9185e13c47ea1778d0d6a.txt",
      "sha256": "02654e13037a2d45c782027add91fac6a5ef838bbfd9185e13c47ea1778d0d6a",
      "bytes": 1145,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1245-manifest-local-preflight-3dJV2x/aarch64-no-std-check.log",
      "originalSha256": "daaf4d463ec542713dab98ecc4c6df6a66a29aacd47fbb0cd14546f7877195fd",
      "href": "/os-evidence/b24703b540f1cb138b38eb5355ed86f9161682bb4acc8bcc4d5a41b6b9ffc2e7.txt",
      "sha256": "b24703b540f1cb138b38eb5355ed86f9161682bb4acc8bcc4d5a41b6b9ffc2e7",
      "bytes": 656,
      "redacted": true
    },
    {
      "name": "duplicate-identity-mutant.log",
      "source": "reports/os-implementation/K1245-manifest-local-preflight-3dJV2x/duplicate-identity-mutant.log",
      "originalSha256": "ecc3f573d39ed2bacb4c31364fbfc603c029afcd8b42d42227ac6718b0a6c8a3",
      "href": "/os-evidence/988b8a272cfcaaac2770d620c1748561ce05219abbc94afad7d84d05a8d1cbf4.txt",
      "sha256": "988b8a272cfcaaac2770d620c1748561ce05219abbc94afad7d84d05a8d1cbf4",
      "bytes": 1147,
      "redacted": true
    }
  ],
  "moves": [
    "K1241",
    "K1242",
    "K1243",
    "K1244"
  ]
}