{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1370-shared-memory-seal-local-preflight-RtF1Cl/report.json",
    "sha256": "6a5df5cd0e6d6f2d9b3828bf780cafb0ee7550dde43f8bdf33d5b0e1a1b88059",
    "bytes": 2898
  },
  "status": "K1366_K1369_LOCAL_VALIDATED",
  "scope": "Local two-page seal model: A writes two bytes before seal; seal downgrades live writable mappings to read-only; B reads both; post-seal RW mapping and A write are denied without snapshot mutation. Three host tests, AArch64 no_std build and a rejected seal-guard mutant are checked. Native EL0 six-profile integration remains K1370.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "SEAL_CONTRACT.md",
      "source": "os-shared-memory/SEAL_CONTRACT.md",
      "originalSha256": "f7d0dc211b3e5215eb98a6bbda6246393a8d31462f41c4fb4caaa6a182af877a",
      "href": "/os-evidence/f7d0dc211b3e5215eb98a6bbda6246393a8d31462f41c4fb4caaa6a182af877a.txt",
      "sha256": "f7d0dc211b3e5215eb98a6bbda6246393a8d31462f41c4fb4caaa6a182af877a",
      "bytes": 1321,
      "redacted": false
    },
    {
      "name": "seal.rs",
      "source": "os-shared-memory/src/seal.rs",
      "originalSha256": "ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede",
      "href": "/os-evidence/ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede.txt",
      "sha256": "ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede",
      "bytes": 5333,
      "redacted": false
    },
    {
      "name": "shared_memory_seal.rs",
      "source": "kernel/tests/os/shared_memory_seal.rs",
      "originalSha256": "6dd1492379db60a663562bc9d28e45f056ed41d585014c9815b9c4dd2dcc6a13",
      "href": "/os-evidence/6dd1492379db60a663562bc9d28e45f056ed41d585014c9815b9c4dd2dcc6a13.txt",
      "sha256": "6dd1492379db60a663562bc9d28e45f056ed41d585014c9815b9c4dd2dcc6a13",
      "bytes": 2500,
      "redacted": false
    },
    {
      "name": "shared-memory-seal.mjs",
      "source": "scripts/os-acceptance/shared-memory-seal.mjs",
      "originalSha256": "fdcd2e85594dd66baff504da5594dd1a8e5da7fa5f99e0aaad73a01eaee967cb",
      "href": "/os-evidence/fdcd2e85594dd66baff504da5594dd1a8e5da7fa5f99e0aaad73a01eaee967cb.txt",
      "sha256": "fdcd2e85594dd66baff504da5594dd1a8e5da7fa5f99e0aaad73a01eaee967cb",
      "bytes": 5122,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1370-shared-memory-seal-local-preflight-RtF1Cl/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1370-shared-memory-seal-local-preflight-RtF1Cl/host-tests.log",
      "originalSha256": "f0b5b3bd636e73199cd921c4e5576cc3f1dc0973bb592793db481c0b3fbac28c",
      "href": "/os-evidence/f0b5b3bd636e73199cd921c4e5576cc3f1dc0973bb592793db481c0b3fbac28c.txt",
      "sha256": "f0b5b3bd636e73199cd921c4e5576cc3f1dc0973bb592793db481c0b3fbac28c",
      "bytes": 261,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1370-shared-memory-seal-local-preflight-RtF1Cl/aarch64-no-std-check.log",
      "originalSha256": "84f30111362ecdb2f990fa18e8aa648e179cc20c5a1a80c6c77601d6ed0aa73e",
      "href": "/os-evidence/a112046e0fc221b526e93c9abb83363892478f23bc0b39e17f328376563a8d2c.txt",
      "sha256": "a112046e0fc221b526e93c9abb83363892478f23bc0b39e17f328376563a8d2c",
      "bytes": 3057,
      "redacted": true
    },
    {
      "name": "unauthorized-acquire-mutant-compile.log",
      "source": "reports/os-implementation/K1370-shared-memory-seal-local-preflight-RtF1Cl/unauthorized-acquire-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "unauthorized-acquire-mutant.log",
      "source": "reports/os-implementation/K1370-shared-memory-seal-local-preflight-RtF1Cl/unauthorized-acquire-mutant.log",
      "originalSha256": "da17911c3738ac56b21278ec3f9f1ff780431f14a87cfcbdf142860695ccb07c",
      "href": "/os-evidence/a68ea4eae075671314e2a74a9bde22065055d7a3d1d5eb6276d3b5d36a45f277.txt",
      "sha256": "a68ea4eae075671314e2a74a9bde22065055d7a3d1d5eb6276d3b5d36a45f277",
      "bytes": 583,
      "redacted": true
    }
  ],
  "moves": [
    "K1366",
    "K1367",
    "K1368",
    "K1369"
  ]
}