{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1330-owned-el0-matrix-check-yTGOph/report.json",
    "sha256": "cd7cb0f6dbeedcc7470644162e64a9d9efff21c8772c40fa5658db6761aab1b6",
    "bytes": 8067
  },
  "status": "K1330_OWNED_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised a kernel-owned message copy across two real EL0 process identities in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. The child sent four bytes from writable user stack memory, changed that source to different bytes, closed its reference and exited. The shell then received the original bytes with the child process generation still attached; last close cleared payload and sender metadata. This gate checks synchronous owned copying, not a blocking scheduler wake. Source/Image/fixture, serial, QMP and prior policy archive evidence are bound. Canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "e42d1c178d1b0edaca9ee9956c678e9544b345a700052eb480d08e91dabbfbff",
  "files": [
    {
      "name": "handles_owned.rs",
      "source": "kernel/tests/os/handles_owned.rs",
      "originalSha256": "daa7df026c798b4d81c447adc13792cf84327546f072b502a2c02a70c4c6ced0",
      "href": "/os-evidence/daa7df026c798b4d81c447adc13792cf84327546f072b502a2c02a70c4c6ced0.txt",
      "sha256": "daa7df026c798b4d81c447adc13792cf84327546f072b502a2c02a70c4c6ced0",
      "bytes": 3199,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "cda80abc6639f48ed0b0155be36f59f7b26be7b3c20c5cc4cc53f27baee8b72b",
      "href": "/os-evidence/cda80abc6639f48ed0b0155be36f59f7b26be7b3c20c5cc4cc53f27baee8b72b.txt",
      "sha256": "cda80abc6639f48ed0b0155be36f59f7b26be7b3c20c5cc4cc53f27baee8b72b",
      "bytes": 65027,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1290-cat-disk.rs",
      "originalSha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "href": "/os-evidence/44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a.txt",
      "sha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "bytes": 6012,
      "redacted": false
    },
    {
      "name": "k1295-ls-disk.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1295-ls-disk.rs",
      "originalSha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "href": "/os-evidence/4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5.txt",
      "sha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "bytes": 5376,
      "redacted": false
    },
    {
      "name": "k1295-ls-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1295-ls-dispatch.rs",
      "originalSha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "href": "/os-evidence/67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182.txt",
      "sha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "bytes": 7342,
      "redacted": false
    },
    {
      "name": "k1300-process-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1300-process-dispatch.rs",
      "originalSha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "href": "/os-evidence/2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95.txt",
      "sha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "bytes": 10390,
      "redacted": false
    },
    {
      "name": "k1305-handles-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1305-handles-dispatch.rs",
      "originalSha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "href": "/os-evidence/f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f.txt",
      "sha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "bytes": 7976,
      "redacted": false
    },
    {
      "name": "k1310-generation-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1310-generation-dispatch.rs",
      "originalSha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "href": "/os-evidence/a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef.txt",
      "sha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "bytes": 7865,
      "redacted": false
    },
    {
      "name": "k1315-rights-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1315-rights-dispatch.rs",
      "originalSha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "href": "/os-evidence/b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882.txt",
      "sha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "bytes": 8427,
      "redacted": false
    },
    {
      "name": "k1320-lifetime-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1320-lifetime-dispatch.rs",
      "originalSha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "href": "/os-evidence/8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb.txt",
      "sha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "bytes": 11017,
      "redacted": false
    },
    {
      "name": "k1325-queue-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1325-queue-dispatch.rs",
      "originalSha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "href": "/os-evidence/ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a.txt",
      "sha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "bytes": 11583,
      "redacted": false
    },
    {
      "name": "k1330-owned-dispatch.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/k1330-owned-dispatch.rs",
      "originalSha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "href": "/os-evidence/d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d.txt",
      "sha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "bytes": 9799,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "a081f41a917dcdf00673eff2312fa4c9af669a1eaf6137fcaf2152146cb74248",
      "href": "/os-evidence/a081f41a917dcdf00673eff2312fa4c9af669a1eaf6137fcaf2152146cb74248.txt",
      "sha256": "a081f41a917dcdf00673eff2312fa4c9af669a1eaf6137fcaf2152146cb74248",
      "bytes": 24430,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "74a30b580f16aa0d8f562bfe3452afb213bae4aca8928f3890f794130877224b",
      "href": "/os-evidence/74a30b580f16aa0d8f562bfe3452afb213bae4aca8928f3890f794130877224b.txt",
      "sha256": "74a30b580f16aa0d8f562bfe3452afb213bae4aca8928f3890f794130877224b",
      "bytes": 83408,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "9fcfe9f1c7313a235f23da0a20b52e0ee7d2739163e2151c9db3b8b68d8207c8",
      "href": "/os-evidence/9fcfe9f1c7313a235f23da0a20b52e0ee7d2739163e2151c9db3b8b68d8207c8.txt",
      "sha256": "9fcfe9f1c7313a235f23da0a20b52e0ee7d2739163e2151c9db3b8b68d8207c8",
      "bytes": 45271,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "b2660eedbfaf56010325af984e0c72b3d182a4fd22aaad72c45b5fdf2e910603",
      "href": "/os-evidence/b2660eedbfaf56010325af984e0c72b3d182a4fd22aaad72c45b5fdf2e910603.txt",
      "sha256": "b2660eedbfaf56010325af984e0c72b3d182a4fd22aaad72c45b5fdf2e910603",
      "bytes": 21421,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1330-owned-el0-candidate-IV2B7E/kernel-product.log",
      "originalSha256": "ef9df9d4d85f02891ecfed2215610246a78f7aac7a5148851fa3618386f91199",
      "href": "/os-evidence/9bc7f10321efe1249d3c095dafe79a359051fdec488b90e3ac107f198287ec1f.txt",
      "sha256": "9bc7f10321efe1249d3c095dafe79a359051fdec488b90e3ac107f198287ec1f",
      "bytes": 1663,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1330-owned-el0-matrix-Mg6eD2/product-one-bank-direct-256-mode-57/serial.log",
      "originalSha256": "e195cd0e9ff685a419873e6e5cea588b8151d3a80e91c99bf69b06d37a04fbb3",
      "href": "/os-evidence/e195cd0e9ff685a419873e6e5cea588b8151d3a80e91c99bf69b06d37a04fbb3.txt",
      "sha256": "e195cd0e9ff685a419873e6e5cea588b8151d3a80e91c99bf69b06d37a04fbb3",
      "bytes": 45321,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1330-owned-el0-matrix-Mg6eD2/product-one-bank-direct-512-mode-57/serial.log",
      "originalSha256": "c348fc888c3e6731ba58bd2bbfaaf8fe270fae062c035a6cd6a925207e00e2a0",
      "href": "/os-evidence/c348fc888c3e6731ba58bd2bbfaaf8fe270fae062c035a6cd6a925207e00e2a0.txt",
      "sha256": "c348fc888c3e6731ba58bd2bbfaaf8fe270fae062c035a6cd6a925207e00e2a0",
      "bytes": 45321,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1330-owned-el0-matrix-Mg6eD2/product-one-bank-direct-1024-mode-57/serial.log",
      "originalSha256": "1508e560a9f7ed47d9450b2b99dd9fdb27ee9a86a0a9c5123481017e69a81908",
      "href": "/os-evidence/1508e560a9f7ed47d9450b2b99dd9fdb27ee9a86a0a9c5123481017e69a81908.txt",
      "sha256": "1508e560a9f7ed47d9450b2b99dd9fdb27ee9a86a0a9c5123481017e69a81908",
      "bytes": 45321,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1330-owned-el0-matrix-Mg6eD2/product-one-bank-uefi-256-mode-57/serial.log",
      "originalSha256": "2bda60e8bbe42ea4c5b4875307d4b94a268fc697b858a6d333516337ca652fd0",
      "href": "/os-evidence/2bda60e8bbe42ea4c5b4875307d4b94a268fc697b858a6d333516337ca652fd0.txt",
      "sha256": "2bda60e8bbe42ea4c5b4875307d4b94a268fc697b858a6d333516337ca652fd0",
      "bytes": 51561,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1330-owned-el0-matrix-Mg6eD2/product-one-bank-uefi-512-mode-57/serial.log",
      "originalSha256": "899dbba9931a17e621dafbc1f82ce6ccf530dc30fa7481e19141dc6149ebe07b",
      "href": "/os-evidence/899dbba9931a17e621dafbc1f82ce6ccf530dc30fa7481e19141dc6149ebe07b.txt",
      "sha256": "899dbba9931a17e621dafbc1f82ce6ccf530dc30fa7481e19141dc6149ebe07b",
      "bytes": 51561,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1330-owned-el0-matrix-Mg6eD2/product-one-bank-uefi-1024-mode-57/serial.log",
      "originalSha256": "6c501931548a725636041396979ab9014aaacc90a75988581d1ae41c544add47",
      "href": "/os-evidence/6c501931548a725636041396979ab9014aaacc90a75988581d1ae41c544add47.txt",
      "sha256": "6c501931548a725636041396979ab9014aaacc90a75988581d1ae41c544add47",
      "bytes": 51561,
      "redacted": false
    }
  ],
  "moves": [
    "K1330"
  ]
}