{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1315-rights-el0-matrix-check-hy6Z7P/report.json",
    "sha256": "c5c399564f1f257af10653308490a698eb7bc79ac3e87bd19923cf94ed0d7168",
    "bytes": 8035
  },
  "status": "K1315_RIGHTS_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised native Rust EL0 rights attenuation in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. The actual child process duplicated an RW File handle to RO, read through both, received EACCES on copied write and RO-to-RW duplication without inventory mutation, then used the original RW and copied RO handles successfully. This gate checks rights and ownership over a kernel-minted File probe name, not disk writes. 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": "c724bfcd6e9ec731cd1178f8f5af909d5ca6c5c174fef0595381b7b7400f3e22",
  "files": [
    {
      "name": "handles_rights.rs",
      "source": "kernel/tests/os/handles_rights.rs",
      "originalSha256": "5eed95c2da25187129fa3a131c9ab205128681b6a8602ca85dcf84b6151d1de1",
      "href": "/os-evidence/5eed95c2da25187129fa3a131c9ab205128681b6a8602ca85dcf84b6151d1de1.txt",
      "sha256": "5eed95c2da25187129fa3a131c9ab205128681b6a8602ca85dcf84b6151d1de1",
      "bytes": 3528,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1315-rights-el0-candidate-mDqcD1/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "9fefe77ed98e05ba3de4fdb0db652a727343e129b2b312c190f5517ae74d5ec9",
      "href": "/os-evidence/9fefe77ed98e05ba3de4fdb0db652a727343e129b2b312c190f5517ae74d5ec9.txt",
      "sha256": "9fefe77ed98e05ba3de4fdb0db652a727343e129b2b312c190f5517ae74d5ec9",
      "bytes": 64012,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/sources/kernel/src/k1315-rights-dispatch.rs",
      "originalSha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "href": "/os-evidence/b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882.txt",
      "sha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "bytes": 8427,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1315-rights-el0-candidate-mDqcD1/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "7933f2abb4dae40e2a86b9c19b99d75b5d37de83b86a1312009e1fb0fdcb8b88",
      "href": "/os-evidence/7933f2abb4dae40e2a86b9c19b99d75b5d37de83b86a1312009e1fb0fdcb8b88.txt",
      "sha256": "7933f2abb4dae40e2a86b9c19b99d75b5d37de83b86a1312009e1fb0fdcb8b88",
      "bytes": 7921,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/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/K1315-rights-el0-candidate-mDqcD1/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "a3ef32a5363238927ba5ebcae03af8a6bf7ed9dd3bd38cebe5b6dc9375fef00c",
      "href": "/os-evidence/a3ef32a5363238927ba5ebcae03af8a6bf7ed9dd3bd38cebe5b6dc9375fef00c.txt",
      "sha256": "a3ef32a5363238927ba5ebcae03af8a6bf7ed9dd3bd38cebe5b6dc9375fef00c",
      "bytes": 21370,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1315-rights-el0-candidate-mDqcD1/kernel-product.log",
      "originalSha256": "cc32a1be8cf6b6abb33d5938e4f63e7589d3c6be40b5676b2caa113a2ed17769",
      "href": "/os-evidence/3c8aa63344777537942d159858b599968e961488326cedb5b31228eb3dff8a23.txt",
      "sha256": "3c8aa63344777537942d159858b599968e961488326cedb5b31228eb3dff8a23",
      "bytes": 1673,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1315-rights-el0-matrix-1Q3RfH/product-one-bank-direct-256-mode-54/serial.log",
      "originalSha256": "80830458c2fd4ad4338a524be9f0183443af1ddacadb8479112f8c4fc85b8102",
      "href": "/os-evidence/80830458c2fd4ad4338a524be9f0183443af1ddacadb8479112f8c4fc85b8102.txt",
      "sha256": "80830458c2fd4ad4338a524be9f0183443af1ddacadb8479112f8c4fc85b8102",
      "bytes": 45830,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1315-rights-el0-matrix-1Q3RfH/product-one-bank-direct-512-mode-54/serial.log",
      "originalSha256": "ae1c8913390035876ffac1606eb1e7fa8b360e6fed37730432657a0a108e5fd8",
      "href": "/os-evidence/ae1c8913390035876ffac1606eb1e7fa8b360e6fed37730432657a0a108e5fd8.txt",
      "sha256": "ae1c8913390035876ffac1606eb1e7fa8b360e6fed37730432657a0a108e5fd8",
      "bytes": 45830,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1315-rights-el0-matrix-1Q3RfH/product-one-bank-direct-1024-mode-54/serial.log",
      "originalSha256": "56955df05b944cbcc668842c61679f24548545a0557977f6b0b0c6af3ffacba3",
      "href": "/os-evidence/56955df05b944cbcc668842c61679f24548545a0557977f6b0b0c6af3ffacba3.txt",
      "sha256": "56955df05b944cbcc668842c61679f24548545a0557977f6b0b0c6af3ffacba3",
      "bytes": 45830,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1315-rights-el0-matrix-1Q3RfH/product-one-bank-uefi-256-mode-54/serial.log",
      "originalSha256": "e5b476801332c5e938f42ed3556e43623df41c8eb272ea66e889d31e921c5701",
      "href": "/os-evidence/e5b476801332c5e938f42ed3556e43623df41c8eb272ea66e889d31e921c5701.txt",
      "sha256": "e5b476801332c5e938f42ed3556e43623df41c8eb272ea66e889d31e921c5701",
      "bytes": 52070,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1315-rights-el0-matrix-1Q3RfH/product-one-bank-uefi-512-mode-54/serial.log",
      "originalSha256": "a7d808d361b4c5b0cbb8f7eaf9bfe4adc983c79349c5c763ef8e825356becd62",
      "href": "/os-evidence/a7d808d361b4c5b0cbb8f7eaf9bfe4adc983c79349c5c763ef8e825356becd62.txt",
      "sha256": "a7d808d361b4c5b0cbb8f7eaf9bfe4adc983c79349c5c763ef8e825356becd62",
      "bytes": 52070,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1315-rights-el0-matrix-1Q3RfH/product-one-bank-uefi-1024-mode-54/serial.log",
      "originalSha256": "8ce5df5b2e663a882d7b6a37d9fef7a35ca4930d1b100f372f01897473a5e687",
      "href": "/os-evidence/8ce5df5b2e663a882d7b6a37d9fef7a35ca4930d1b100f372f01897473a5e687.txt",
      "sha256": "8ce5df5b2e663a882d7b6a37d9fef7a35ca4930d1b100f372f01897473a5e687",
      "bytes": 52070,
      "redacted": false
    }
  ],
  "moves": [
    "K1315"
  ]
}