{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1380-shared-memory-ring-local-preflight-MSpXfz/report.json",
    "sha256": "509c75af1a4623f624cc8167dae18ba1e70299b056e01e11343a85705447dbed",
    "bytes": 2959
  },
  "status": "K1376_K1379_LOCAL_VALIDATED",
  "scope": "Local sixteen-slot shared user ring model: one thousand messages preserve producer-consumer order, full and empty boundaries are atomic, and corrupt or stale producer indexes are rejected before slot access without changing slots or the kernel canary. Three host tests, an AArch64 no_std build and a rejected index-guard mutant are checked. Native EL0 six-profile integration remains K1380.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "RING_CONTRACT.md",
      "source": "os-shared-memory/RING_CONTRACT.md",
      "originalSha256": "97fdbec9eef11fc6ed0390180e139396cfae4ae59ed3d96c0bc3a344a4144362",
      "href": "/os-evidence/97fdbec9eef11fc6ed0390180e139396cfae4ae59ed3d96c0bc3a344a4144362.txt",
      "sha256": "97fdbec9eef11fc6ed0390180e139396cfae4ae59ed3d96c0bc3a344a4144362",
      "bytes": 996,
      "redacted": false
    },
    {
      "name": "ring.rs",
      "source": "os-shared-memory/src/ring.rs",
      "originalSha256": "fd30b2ed4fca662b9d84ce966c49eba22899749592de815f7e27eb700659f0d9",
      "href": "/os-evidence/fd30b2ed4fca662b9d84ce966c49eba22899749592de815f7e27eb700659f0d9.txt",
      "sha256": "fd30b2ed4fca662b9d84ce966c49eba22899749592de815f7e27eb700659f0d9",
      "bytes": 2011,
      "redacted": false
    },
    {
      "name": "shared_memory_ring.rs",
      "source": "kernel/tests/os/shared_memory_ring.rs",
      "originalSha256": "2af68416842eedeca58232d2f2a5ab17f3552ccf4804642fb43f9dfb51470407",
      "href": "/os-evidence/2af68416842eedeca58232d2f2a5ab17f3552ccf4804642fb43f9dfb51470407.txt",
      "sha256": "2af68416842eedeca58232d2f2a5ab17f3552ccf4804642fb43f9dfb51470407",
      "bytes": 1716,
      "redacted": false
    },
    {
      "name": "shared-memory-ring.mjs",
      "source": "scripts/os-acceptance/shared-memory-ring.mjs",
      "originalSha256": "f8f0f9c674a9cb0b531c427074d6aae58063c17a9340554b31f55b8f27edf6cc",
      "href": "/os-evidence/f8f0f9c674a9cb0b531c427074d6aae58063c17a9340554b31f55b8f27edf6cc.txt",
      "sha256": "f8f0f9c674a9cb0b531c427074d6aae58063c17a9340554b31f55b8f27edf6cc",
      "bytes": 5164,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1380-shared-memory-ring-local-preflight-MSpXfz/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1380-shared-memory-ring-local-preflight-MSpXfz/host-tests.log",
      "originalSha256": "56e317e335509fbf2e59a78b71032bed0d2eb92923a030605ea12045d4860fd9",
      "href": "/os-evidence/56e317e335509fbf2e59a78b71032bed0d2eb92923a030605ea12045d4860fd9.txt",
      "sha256": "56e317e335509fbf2e59a78b71032bed0d2eb92923a030605ea12045d4860fd9",
      "bytes": 253,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1380-shared-memory-ring-local-preflight-MSpXfz/aarch64-no-std-check.log",
      "originalSha256": "78137d93fac0191e0fc973b33cb71e2ca4a727090a3ab0a1a39478006191426a",
      "href": "/os-evidence/60410780a28b34c6a505a938e4285dd97e9586ab4898e96ea2819626c06e5bdc.txt",
      "sha256": "60410780a28b34c6a505a938e4285dd97e9586ab4898e96ea2819626c06e5bdc",
      "bytes": 1855,
      "redacted": true
    },
    {
      "name": "unauthorized-acquire-mutant-compile.log",
      "source": "reports/os-implementation/K1380-shared-memory-ring-local-preflight-MSpXfz/unauthorized-acquire-mutant-compile.log",
      "originalSha256": "1c3d637e17ab0f3867ae8b490dd6931720332cdbf7f7896bbb0642e3506ff81d",
      "href": "/os-evidence/42b1eb54bb745ca921f32601167c3358b74aa15c54aa0457a155c67a1b706473.txt",
      "sha256": "42b1eb54bb745ca921f32601167c3358b74aa15c54aa0457a155c67a1b706473",
      "bytes": 486,
      "redacted": true
    },
    {
      "name": "unauthorized-acquire-mutant.log",
      "source": "reports/os-implementation/K1380-shared-memory-ring-local-preflight-MSpXfz/unauthorized-acquire-mutant.log",
      "originalSha256": "87b09d1f6ede0db68eddfd115c285e718b895d1c934ab53efa41ee1874d06665",
      "href": "/os-evidence/d06cb4b52a053079f269515c0c62a37511f7ce189063608dd43c2b6d6b735cdd.txt",
      "sha256": "d06cb4b52a053079f269515c0c62a37511f7ce189063608dd43c2b6d6b735cdd",
      "bytes": 569,
      "redacted": true
    }
  ],
  "moves": [
    "K1376",
    "K1377",
    "K1378",
    "K1379"
  ]
}