{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1215-user-alloc-local-preflight-WvDqJE/report.json",
    "sha256": "f087352314c2f3a02b884b36ad131304df59c4a28c88fed2c69321c811c3eed1",
    "bytes": 3011
  },
  "status": "K1211_K1214_LOCAL_VALIDATED",
  "scope": "Local host owner model and real ELF provenance only; this does not establish K1215 EL0 guest acceptance.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "k1215-user-alloc-host-tests.rs",
      "source": "scripts/os-acceptance/k1215-user-alloc-host-tests.rs",
      "originalSha256": "f7ef73f5c6a7815434994fba74c6de2a7b8fcf1518d89b282cec2f592327a29a",
      "href": "/os-evidence/f7ef73f5c6a7815434994fba74c6de2a7b8fcf1518d89b282cec2f592327a29a.txt",
      "sha256": "f7ef73f5c6a7815434994fba74c6de2a7b8fcf1518d89b282cec2f592327a29a",
      "bytes": 2616,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1215-user-alloc-local-preflight-WvDqJE/green-workspace/os-user-runtime/tests/runtime.rs",
      "originalSha256": "920c3a203616ca3bd70ffb57dede4722850f0190dac2eb6c53a2a52aecf8465b",
      "href": "/os-evidence/920c3a203616ca3bd70ffb57dede4722850f0190dac2eb6c53a2a52aecf8465b.txt",
      "sha256": "920c3a203616ca3bd70ffb57dede4722850f0190dac2eb6c53a2a52aecf8465b",
      "bytes": 25408,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1215-user-alloc-local-preflight-WvDqJE/green-workspace/os-user-runtime/src/runtime.rs",
      "originalSha256": "7db4fba691b58c507bb9ff080355e99b512545f922af8fbea70e7f006084790c",
      "href": "/os-evidence/7db4fba691b58c507bb9ff080355e99b512545f922af8fbea70e7f006084790c.txt",
      "sha256": "7db4fba691b58c507bb9ff080355e99b512545f922af8fbea70e7f006084790c",
      "bytes": 18058,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1215-user-alloc-local-preflight-WvDqJE/mutant-workspace/os-user-runtime/src/runtime.rs",
      "originalSha256": "74a08d8b1b22097a9bd179998be4a95f14fa202b1fb4dce4faf5b8ed46d6934a",
      "href": "/os-evidence/74a08d8b1b22097a9bd179998be4a95f14fa202b1fb4dce4faf5b8ed46d6934a.txt",
      "sha256": "74a08d8b1b22097a9bd179998be4a95f14fa202b1fb4dce4faf5b8ed46d6934a",
      "bytes": 18049,
      "redacted": false
    },
    {
      "name": "green-alloc.log",
      "source": "reports/os-implementation/K1215-user-alloc-local-preflight-WvDqJE/green-alloc.log",
      "originalSha256": "92be9bd49f02d24c8f2e6a065b3cc0128e7a450d7697f7af7cc8e8045b722142",
      "href": "/os-evidence/caf3cb32a33f3dfec4633d146b463eb509851dbbce07bf2f5be4c6089b9235a6.txt",
      "sha256": "caf3cb32a33f3dfec4633d146b463eb509851dbbce07bf2f5be4c6089b9235a6",
      "bytes": 1870,
      "redacted": true
    },
    {
      "name": "red-quota-omitted.log",
      "source": "reports/os-implementation/K1215-user-alloc-local-preflight-WvDqJE/red-quota-omitted.log",
      "originalSha256": "4ed427c7dc950e3ce574d01a37a04bdfc2de405f5c41bff02b1cfdd612733230",
      "href": "/os-evidence/8f3e16d2b724b6ba1e9cf43fd86678cf32df7fd2c7192c3990dd694e41d76949.txt",
      "sha256": "8f3e16d2b724b6ba1e9cf43fd86678cf32df7fd2c7192c3990dd694e41d76949",
      "bytes": 2237,
      "redacted": true
    }
  ],
  "moves": [
    "K1211",
    "K1212",
    "K1213",
    "K1214"
  ]
}