{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1300-process-el0-matrix-check-5iUn4T/report.json",
    "sha256": "4c241ea9ddf72c385e1e95dbc03caa378802c291e395be639bf48c3ae77fc890",
    "bytes": 11553
  },
  "status": "K1300_PROCESS_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised native Rust EL0 ps and uptime in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. Three real process records were published and reaped; user stdout binary frames exactly match the native process rows and monotonic clock samples. A foreign address request was denied before snapshot acquisition. Source/Image/fixture, serial, QMP, owner cleanup and prior policy archive hashes are bound. Canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "03743089627ca396341a809450ec9e3ac98a573cf62f81b65917ff7a9b72a26e",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1300-process-el0-candidate-yGEHm6/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "7e8e129510d42665a57744fec30aef960afe11199a28d1a3aac77af5a7fed81b",
      "href": "/os-evidence/7e8e129510d42665a57744fec30aef960afe11199a28d1a3aac77af5a7fed81b.txt",
      "sha256": "7e8e129510d42665a57744fec30aef960afe11199a28d1a3aac77af5a7fed81b",
      "bytes": 63143,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1300-process-el0-candidate-yGEHm6/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/K1300-process-el0-candidate-yGEHm6/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/K1300-process-el0-candidate-yGEHm6/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/K1300-process-el0-candidate-yGEHm6/sources/kernel/src/k1300-process-dispatch.rs",
      "originalSha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "href": "/os-evidence/2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95.txt",
      "sha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "bytes": 10390,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1300-process-el0-candidate-yGEHm6/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/K1300-process-el0-candidate-yGEHm6/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/K1300-process-el0-candidate-yGEHm6/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/K1300-process-el0-candidate-yGEHm6/kernel-product.log",
      "originalSha256": "b35441fde68920834e323361ec8ac21ab4abbbb5cf5a06053ab14e1d369fa4b8",
      "href": "/os-evidence/e672b70b3e05f9f84d763fca85ba9d15eea9478a90d70eacc9f1d0a1347be0cc.txt",
      "sha256": "e672b70b3e05f9f84d763fca85ba9d15eea9478a90d70eacc9f1d0a1347be0cc",
      "bytes": 1683,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1300-process-el0-matrix-fDMNal/product-one-bank-direct-256-mode-51/serial.log",
      "originalSha256": "75b8f8500f19de4b99fd9bcc55268bc5ae830ecb0773884336b22fae22ebaf65",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1300-process-el0-matrix-fDMNal/product-one-bank-direct-512-mode-51/serial.log",
      "originalSha256": "56dbc34c18569ca9414170e653004830fe63dd1db832b1bc7d163204a059edb4",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1300-process-el0-matrix-fDMNal/product-one-bank-direct-1024-mode-51/serial.log",
      "originalSha256": "9f78cf7953af056509fbac486bc3fe6a8dfbeb4927a57fcc2aed71a829ca1255",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1300-process-el0-matrix-fDMNal/product-one-bank-uefi-256-mode-51/serial.log",
      "originalSha256": "40d14b0101a45cfa1dec52d21753672a85aca33379f618b5f77335da815184ac",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1300-process-el0-matrix-fDMNal/product-one-bank-uefi-512-mode-51/serial.log",
      "originalSha256": "899540d72b6583ba3134104e2b4ad3ef94f9669b97d9f7561e2b659153a3651a",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1300-process-el0-matrix-fDMNal/product-one-bank-uefi-1024-mode-51/serial.log",
      "originalSha256": "5835d6262368d640544da75d98d0e033ad0e894369f8cc7a82a55626728177fa",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    }
  ],
  "moves": [
    "K1300"
  ]
}
