{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1375-shared-memory-lifetime-local-preflight-G9THnP/report.json",
    "sha256": "af168b43476650312f13acef6e4696b1250dc30fe4732c5fbed30cbe8d55f4e3",
    "bytes": 2950
  },
  "status": "K1371_K1374_LOCAL_VALIDATED",
  "scope": "Local two-frame lifetime model: closing handles preserves live mappings and their bytes, freeing while a mapping is live is rejected without snapshot mutation, and the final unmap releases backing exactly once. Three host tests, AArch64 no_std build and a rejected early-free mutant are checked. Native EL0 six-profile integration remains K1375.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "LIFETIME_CONTRACT.md",
      "source": "os-shared-memory/LIFETIME_CONTRACT.md",
      "originalSha256": "4f3f3d356b56a4a9a5b8a3ae1671155fa7048be874fe9a12973110a0c9957f6b",
      "href": "/os-evidence/4f3f3d356b56a4a9a5b8a3ae1671155fa7048be874fe9a12973110a0c9957f6b.txt",
      "sha256": "4f3f3d356b56a4a9a5b8a3ae1671155fa7048be874fe9a12973110a0c9957f6b",
      "bytes": 923,
      "redacted": false
    },
    {
      "name": "lifetime.rs",
      "source": "os-shared-memory/src/lifetime.rs",
      "originalSha256": "05ea09880b963e765a446fb9f86914efc7020cd5f3b6619fa05d18eef3cfeefc",
      "href": "/os-evidence/05ea09880b963e765a446fb9f86914efc7020cd5f3b6619fa05d18eef3cfeefc.txt",
      "sha256": "05ea09880b963e765a446fb9f86914efc7020cd5f3b6619fa05d18eef3cfeefc",
      "bytes": 5126,
      "redacted": false
    },
    {
      "name": "shared_memory_lifetime.rs",
      "source": "kernel/tests/os/shared_memory_lifetime.rs",
      "originalSha256": "cc73ae23a6a078cd3dca4ac581bdf844d37300b527f2c6dfcbbc56112eaf4c9c",
      "href": "/os-evidence/cc73ae23a6a078cd3dca4ac581bdf844d37300b527f2c6dfcbbc56112eaf4c9c.txt",
      "sha256": "cc73ae23a6a078cd3dca4ac581bdf844d37300b527f2c6dfcbbc56112eaf4c9c",
      "bytes": 2231,
      "redacted": false
    },
    {
      "name": "shared-memory-lifetime.mjs",
      "source": "scripts/os-acceptance/shared-memory-lifetime.mjs",
      "originalSha256": "a600f6470ee6fbc30210006db4137fcf1ec38014e9a88beb73dd30bca4d7b71a",
      "href": "/os-evidence/a600f6470ee6fbc30210006db4137fcf1ec38014e9a88beb73dd30bca4d7b71a.txt",
      "sha256": "a600f6470ee6fbc30210006db4137fcf1ec38014e9a88beb73dd30bca4d7b71a",
      "bytes": 5146,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1375-shared-memory-lifetime-local-preflight-G9THnP/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1375-shared-memory-lifetime-local-preflight-G9THnP/host-tests.log",
      "originalSha256": "9289edc0a4d8136b5b4b2004fb28bd5d3f66209addc0cf72deb30c3269d606c2",
      "href": "/os-evidence/9289edc0a4d8136b5b4b2004fb28bd5d3f66209addc0cf72deb30c3269d606c2.txt",
      "sha256": "9289edc0a4d8136b5b4b2004fb28bd5d3f66209addc0cf72deb30c3269d606c2",
      "bytes": 264,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1375-shared-memory-lifetime-local-preflight-G9THnP/aarch64-no-std-check.log",
      "originalSha256": "cd2d5e8205806491e30c415505367aaff68ba08025862125b45ad0bf89bcdd2c",
      "href": "/os-evidence/72f18e80b34e0bba4c78a8e6ca0d4dbc3354d27fb10065a7679f829ab7b7d23b.txt",
      "sha256": "72f18e80b34e0bba4c78a8e6ca0d4dbc3354d27fb10065a7679f829ab7b7d23b",
      "bytes": 2212,
      "redacted": true
    },
    {
      "name": "unauthorized-acquire-mutant-compile.log",
      "source": "reports/os-implementation/K1375-shared-memory-lifetime-local-preflight-G9THnP/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/K1375-shared-memory-lifetime-local-preflight-G9THnP/unauthorized-acquire-mutant.log",
      "originalSha256": "298f95d07c240c5e45ab4c3d6d585f86b29465e3f5dbe479283285203f1fbe6b",
      "href": "/os-evidence/4d8d31c43ac006ea19cc0a52c2e2c1e170a30458b0bf1235c7b71b82a2fddbab.txt",
      "sha256": "4d8d31c43ac006ea19cc0a52c2e2c1e170a30458b0bf1235c7b71b82a2fddbab",
      "bytes": 586,
      "redacted": true
    }
  ],
  "moves": [
    "K1371",
    "K1372",
    "K1373",
    "K1374"
  ]
}