{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1305-handles-el0-matrix-check-lJQvHC/report.json",
    "sha256": "60b3897b89fd041d4376ec6e92b5029b737d524eee55ac93c4dc4476b368f247",
    "bytes": 8044
  },
  "status": "K1305_HANDLES_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised native Rust EL0 typed-handle calls in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. File, Channel and Task handle records were owned by the actual child process. File passed to Channel returned EBADF without table mutation; Channel remained healthy; two explicit closes and child-exit cleanup released all entries. This gate checks typed handle lookup and lifecycle, not file I/O or channel delivery. 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": "42cab80139acec7508d9e574d506e05939173dd08ebf22f21d3580f00e0646c6",
  "files": [
    {
      "name": "handles.rs",
      "source": "kernel/tests/os/handles.rs",
      "originalSha256": "d41308bbd5e1fe773a411c41f3068e9448b250041aaa6eea0b0b2f91ef1a41f6",
      "href": "/os-evidence/d41308bbd5e1fe773a411c41f3068e9448b250041aaa6eea0b0b2f91ef1a41f6.txt",
      "sha256": "d41308bbd5e1fe773a411c41f3068e9448b250041aaa6eea0b0b2f91ef1a41f6",
      "bytes": 3393,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1305-handles-el0-candidate-rYqUcL/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "e53f405bd758746ea7394ddad6fad2870fa2686d7f1b378c9d0f23f9de48fb3d",
      "href": "/os-evidence/e53f405bd758746ea7394ddad6fad2870fa2686d7f1b378c9d0f23f9de48fb3d.txt",
      "sha256": "e53f405bd758746ea7394ddad6fad2870fa2686d7f1b378c9d0f23f9de48fb3d",
      "bytes": 63430,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/sources/kernel/src/k1305-handles-dispatch.rs",
      "originalSha256": "67e4072d282d6cc890f7022f42b4c9c64b32a195922dc82e17a1fb9ff220fa2c",
      "href": "/os-evidence/67e4072d282d6cc890f7022f42b4c9c64b32a195922dc82e17a1fb9ff220fa2c.txt",
      "sha256": "67e4072d282d6cc890f7022f42b4c9c64b32a195922dc82e17a1fb9ff220fa2c",
      "bytes": 7961,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1305-handles-el0-candidate-rYqUcL/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "a2125dfb05805189b6d4b498e62f03f05095927ec4e9c7c664a503112b27d205",
      "href": "/os-evidence/a2125dfb05805189b6d4b498e62f03f05095927ec4e9c7c664a503112b27d205.txt",
      "sha256": "a2125dfb05805189b6d4b498e62f03f05095927ec4e9c7c664a503112b27d205",
      "bytes": 4354,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/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/K1305-handles-el0-candidate-rYqUcL/kernel-product.log",
      "originalSha256": "b83aefc735422f18c47286e982ecf43f417bbd626ebb5a101b1b8c2147515780",
      "href": "/os-evidence/547ce2ea24d5782d5854f31cef8a09c2858f0547f30f1f7aaa885396422ac2b0.txt",
      "sha256": "547ce2ea24d5782d5854f31cef8a09c2858f0547f30f1f7aaa885396422ac2b0",
      "bytes": 1683,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1305-handles-el0-matrix-24GBID/product-one-bank-direct-256-mode-52/serial.log",
      "originalSha256": "3defa1e212e6b422aff3e1dadff59a70fbffc75004c56879bfe27fa3c08ca1c7",
      "href": "/os-evidence/3defa1e212e6b422aff3e1dadff59a70fbffc75004c56879bfe27fa3c08ca1c7.txt",
      "sha256": "3defa1e212e6b422aff3e1dadff59a70fbffc75004c56879bfe27fa3c08ca1c7",
      "bytes": 45621,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1305-handles-el0-matrix-24GBID/product-one-bank-direct-512-mode-52/serial.log",
      "originalSha256": "a382532434fffc0d50c6a6e5045c724b513ca53dc1d3a3455c3475a89a51871f",
      "href": "/os-evidence/a382532434fffc0d50c6a6e5045c724b513ca53dc1d3a3455c3475a89a51871f.txt",
      "sha256": "a382532434fffc0d50c6a6e5045c724b513ca53dc1d3a3455c3475a89a51871f",
      "bytes": 45621,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1305-handles-el0-matrix-24GBID/product-one-bank-direct-1024-mode-52/serial.log",
      "originalSha256": "d81eb0adbd1159387c0f2bc447dfe9673bf2ed0625375fd902ed7ed7867bc024",
      "href": "/os-evidence/d81eb0adbd1159387c0f2bc447dfe9673bf2ed0625375fd902ed7ed7867bc024.txt",
      "sha256": "d81eb0adbd1159387c0f2bc447dfe9673bf2ed0625375fd902ed7ed7867bc024",
      "bytes": 45621,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1305-handles-el0-matrix-24GBID/product-one-bank-uefi-256-mode-52/serial.log",
      "originalSha256": "f5dfd883c50996ad40a0a1b83dfcfa646f27a3755b49496c4bc78a8655d6d941",
      "href": "/os-evidence/f5dfd883c50996ad40a0a1b83dfcfa646f27a3755b49496c4bc78a8655d6d941.txt",
      "sha256": "f5dfd883c50996ad40a0a1b83dfcfa646f27a3755b49496c4bc78a8655d6d941",
      "bytes": 51861,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1305-handles-el0-matrix-24GBID/product-one-bank-uefi-512-mode-52/serial.log",
      "originalSha256": "a1a29e9357bf8a680644564230a87cb754caf32020a8e5a5c8105e8bf96e784d",
      "href": "/os-evidence/a1a29e9357bf8a680644564230a87cb754caf32020a8e5a5c8105e8bf96e784d.txt",
      "sha256": "a1a29e9357bf8a680644564230a87cb754caf32020a8e5a5c8105e8bf96e784d",
      "bytes": 51861,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1305-handles-el0-matrix-24GBID/product-one-bank-uefi-1024-mode-52/serial.log",
      "originalSha256": "2470b45d03951e5006b2d96f67551ffab47f46c4547edde57bc5156dca46030e",
      "href": "/os-evidence/2470b45d03951e5006b2d96f67551ffab47f46c4547edde57bc5156dca46030e.txt",
      "sha256": "2470b45d03951e5006b2d96f67551ffab47f46c4547edde57bc5156dca46030e",
      "bytes": 51861,
      "redacted": false
    }
  ],
  "moves": [
    "K1305"
  ]
}