{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1365-shared-memory-create-local-preflight-MdyJnL/report.json",
    "sha256": "8fdde885a2896243f907277a38eef2d2f5255acfd1416c9b558e52512cf34e03",
    "bytes": 2922
  },
  "status": "K1361_K1364_LOCAL_VALIDATED",
  "scope": "Local two-page shared object authority model: A and B map the same two frame identities, C cannot acquire B's handle or forge its own grant, denied operations preserve all mappings, revoke and close release mappings, and an AArch64 no_std build plus an unauthorized-acquire mutant are checked. Native EL0 six-profile integration remains K1365.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-shared-memory/CONTRACT.md",
      "originalSha256": "37d47fb44499b6fd588a1ed6dd65f47ecb7aaf420983ad6fce6935ed51147087",
      "href": "/os-evidence/37d47fb44499b6fd588a1ed6dd65f47ecb7aaf420983ad6fce6935ed51147087.txt",
      "sha256": "37d47fb44499b6fd588a1ed6dd65f47ecb7aaf420983ad6fce6935ed51147087",
      "bytes": 1233,
      "redacted": false
    },
    {
      "name": "object.rs",
      "source": "os-shared-memory/src/object.rs",
      "originalSha256": "0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde",
      "href": "/os-evidence/0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde.txt",
      "sha256": "0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde",
      "bytes": 4240,
      "redacted": false
    },
    {
      "name": "shared_memory_create.rs",
      "source": "kernel/tests/os/shared_memory_create.rs",
      "originalSha256": "1688adb134f6fb2f7154a24feb38526aaeb54f577b02a1cc2c9712291ec72f87",
      "href": "/os-evidence/1688adb134f6fb2f7154a24feb38526aaeb54f577b02a1cc2c9712291ec72f87.txt",
      "sha256": "1688adb134f6fb2f7154a24feb38526aaeb54f577b02a1cc2c9712291ec72f87",
      "bytes": 2423,
      "redacted": false
    },
    {
      "name": "waitset-readiness.mjs",
      "source": "scripts/os-acceptance/waitset-readiness.mjs",
      "originalSha256": "473ad056b435b1969fb4875531498f0ce8dc1c75aa7c81d94b6faaf0c5dae924",
      "href": "/os-evidence/473ad056b435b1969fb4875531498f0ce8dc1c75aa7c81d94b6faaf0c5dae924.txt",
      "sha256": "473ad056b435b1969fb4875531498f0ce8dc1c75aa7c81d94b6faaf0c5dae924",
      "bytes": 5196,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1365-shared-memory-create-local-preflight-MdyJnL/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1365-shared-memory-create-local-preflight-MdyJnL/host-tests.log",
      "originalSha256": "bdc8455647cc53e342498e0a7ce19f3432904a45d01c8aa425f43ac9e1d2c4ba",
      "href": "/os-evidence/bdc8455647cc53e342498e0a7ce19f3432904a45d01c8aa425f43ac9e1d2c4ba.txt",
      "sha256": "bdc8455647cc53e342498e0a7ce19f3432904a45d01c8aa425f43ac9e1d2c4ba",
      "bytes": 260,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1365-shared-memory-create-local-preflight-MdyJnL/aarch64-no-std-check.log",
      "originalSha256": "363351fdf286175107e2cabfe20202580e5f0256922ee372d258da8b45fe7907",
      "href": "/os-evidence/e83cec3602f9157e88fc7d44da59b7de1d897079707c6e8a96b84eda31db899d.txt",
      "sha256": "e83cec3602f9157e88fc7d44da59b7de1d897079707c6e8a96b84eda31db899d",
      "bytes": 2760,
      "redacted": true
    },
    {
      "name": "unauthorized-acquire-mutant-compile.log",
      "source": "reports/os-implementation/K1365-shared-memory-create-local-preflight-MdyJnL/unauthorized-acquire-mutant-compile.log",
      "originalSha256": "5d7d8c7d3db40edfd078aa0707343a5645a3874005541217834705e28f3b8946",
      "href": "/os-evidence/393de8564268022f0e9bb010e3010fc36bd647edc884abb35a59f1a470d95b7c.txt",
      "sha256": "393de8564268022f0e9bb010e3010fc36bd647edc884abb35a59f1a470d95b7c",
      "bytes": 496,
      "redacted": true
    },
    {
      "name": "unauthorized-acquire-mutant.log",
      "source": "reports/os-implementation/K1365-shared-memory-create-local-preflight-MdyJnL/unauthorized-acquire-mutant.log",
      "originalSha256": "376eebea12840499299e5f30ff5f515b36f806e699113a8231c9e65d5e759704",
      "href": "/os-evidence/779944b5743018c1bf1078034688774d0c29fea591ff30b8795e64ed7b1ece6e.txt",
      "sha256": "779944b5743018c1bf1078034688774d0c29fea591ff30b8795e64ed7b1ece6e",
      "bytes": 578,
      "redacted": true
    }
  ],
  "moves": [
    "K1361",
    "K1362",
    "K1363",
    "K1364"
  ]
}