{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K805-K820-93t6lu/report.json",
    "sha256": "f2c7e1a92f4973f750d2c007ad8eec7c1e5afc44cf438964e70a79f5a2c78f5b",
    "bytes": 1811004
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Isolated Registry-owned four-level page tables and genuine EL0 permission faults with physical table captures before retirement. Previous VirtIO MMIO RX/TX with actual Registry pins and typed central authority backing, real split-ring and payload captures plus independently saved Unix socket frame bytes. Exact one-byte GDB gate interventions are recorded after QMP stop and physical captures, before QMP continue; no debugger result writes are permitted. ARM64 publish/consume/reset barriers and CPU volatile reset/QueueReady witnesses precede unpin. All predecessor physical and counter evidence is independently checked. Hardware scope is QEMU VirtIO; physical noncoherent cache maintenance and fresh matching Image M1 evidence remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "21f36c486622a8848f3bdb6c53954d2b24de91acec326a90211956cc7872b0e4",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-one-bank-direct-256/serial.log",
      "originalSha256": "039ce4f938359796538f8436eb572c805841feb580964e4bda559d658e92f934",
      "href": "/os-evidence/039ce4f938359796538f8436eb572c805841feb580964e4bda559d658e92f934.txt",
      "sha256": "039ce4f938359796538f8436eb572c805841feb580964e4bda559d658e92f934",
      "bytes": 10241,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-one-bank-direct-512/serial.log",
      "originalSha256": "282dbb8510476a0043c9e951d5380088b774f3fc763654ac32f8771d58a87473",
      "href": "/os-evidence/282dbb8510476a0043c9e951d5380088b774f3fc763654ac32f8771d58a87473.txt",
      "sha256": "282dbb8510476a0043c9e951d5380088b774f3fc763654ac32f8771d58a87473",
      "bytes": 10241,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-one-bank-direct-1024/serial.log",
      "originalSha256": "bf7291338087259cb6bebe790c83222a593c5edf0234e6c6cae8a12f294bf3a2",
      "href": "/os-evidence/bf7291338087259cb6bebe790c83222a593c5edf0234e6c6cae8a12f294bf3a2.txt",
      "sha256": "bf7291338087259cb6bebe790c83222a593c5edf0234e6c6cae8a12f294bf3a2",
      "bytes": 10241,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-one-bank-uefi-256/serial.log",
      "originalSha256": "7cf8e7308201769b51c60aab4006d6c06a99f802a9e27ab33dfca4219d7aaaca",
      "href": "/os-evidence/7cf8e7308201769b51c60aab4006d6c06a99f802a9e27ab33dfca4219d7aaaca.txt",
      "sha256": "7cf8e7308201769b51c60aab4006d6c06a99f802a9e27ab33dfca4219d7aaaca",
      "bytes": 16196,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-one-bank-uefi-512/serial.log",
      "originalSha256": "0ba3973656488c0db4d1adc0fc99fb2f32e096a41cbe2d05216a7f00ae486045",
      "href": "/os-evidence/0ba3973656488c0db4d1adc0fc99fb2f32e096a41cbe2d05216a7f00ae486045.txt",
      "sha256": "0ba3973656488c0db4d1adc0fc99fb2f32e096a41cbe2d05216a7f00ae486045",
      "bytes": 16196,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "b6a3570c9f080b7c29455805c31dea9bd47429914611b610de651805437f3d82",
      "href": "/os-evidence/b6a3570c9f080b7c29455805c31dea9bd47429914611b610de651805437f3d82.txt",
      "sha256": "b6a3570c9f080b7c29455805c31dea9bd47429914611b610de651805437f3d82",
      "bytes": 16196,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-two-banks-direct-256/serial.log",
      "originalSha256": "aa4fa648b18a9f7492a98dcded25ab32323ff898314ee482da19056b330caebb",
      "href": "/os-evidence/aa4fa648b18a9f7492a98dcded25ab32323ff898314ee482da19056b330caebb.txt",
      "sha256": "aa4fa648b18a9f7492a98dcded25ab32323ff898314ee482da19056b330caebb",
      "bytes": 11125,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-two-banks-direct-512/serial.log",
      "originalSha256": "572a718027cec16e9338e8d26eb6534a8a3805acb2f84c90abe704775fd91d1c",
      "href": "/os-evidence/572a718027cec16e9338e8d26eb6534a8a3805acb2f84c90abe704775fd91d1c.txt",
      "sha256": "572a718027cec16e9338e8d26eb6534a8a3805acb2f84c90abe704775fd91d1c",
      "bytes": 11125,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-two-banks-direct-1024/serial.log",
      "originalSha256": "6e274641bbbef03d5c5ae539505c87806ac67e465ef2c8c074536cd9ffd77712",
      "href": "/os-evidence/6e274641bbbef03d5c5ae539505c87806ac67e465ef2c8c074536cd9ffd77712.txt",
      "sha256": "6e274641bbbef03d5c5ae539505c87806ac67e465ef2c8c074536cd9ffd77712",
      "bytes": 11125,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-two-banks-uefi-256/serial.log",
      "originalSha256": "6764884aee4aec23cf529709cbce913e449d867beec6a3f806ec826ed5f05c80",
      "href": "/os-evidence/6764884aee4aec23cf529709cbce913e449d867beec6a3f806ec826ed5f05c80.txt",
      "sha256": "6764884aee4aec23cf529709cbce913e449d867beec6a3f806ec826ed5f05c80",
      "bytes": 16990,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-two-banks-uefi-512/serial.log",
      "originalSha256": "1fad965fea056e2e40ebed92218e50767a62d878b50572db0d876b43ac7619ad",
      "href": "/os-evidence/1fad965fea056e2e40ebed92218e50767a62d878b50572db0d876b43ac7619ad.txt",
      "sha256": "1fad965fea056e2e40ebed92218e50767a62d878b50572db0d876b43ac7619ad",
      "bytes": 16990,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "c217d90c29000b2c82563b7a77e89c3a50841fb9afe4b85bdd8a84d2ee3176c8",
      "href": "/os-evidence/c217d90c29000b2c82563b7a77e89c3a50841fb9afe4b85bdd8a84d2ee3176c8.txt",
      "sha256": "c217d90c29000b2c82563b7a77e89c3a50841fb9afe4b85bdd8a84d2ee3176c8",
      "bytes": 16990,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "a9c1fbe6e68ea4092710b976269e4f8536e4639a0f6e1b1999af1525a407b4e6",
      "href": "/os-evidence/a9c1fbe6e68ea4092710b976269e4f8536e4639a0f6e1b1999af1525a407b4e6.txt",
      "sha256": "a9c1fbe6e68ea4092710b976269e4f8536e4639a0f6e1b1999af1525a407b4e6",
      "bytes": 12455,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "079211474e017cf7c09f0a8457466f7d01eb3d1c43ab52a8ff176bf0e160cc55",
      "href": "/os-evidence/079211474e017cf7c09f0a8457466f7d01eb3d1c43ab52a8ff176bf0e160cc55.txt",
      "sha256": "079211474e017cf7c09f0a8457466f7d01eb3d1c43ab52a8ff176bf0e160cc55",
      "bytes": 12455,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "8f173c0efe900fd99cb6f8896dfd1c332b27a042e737e4aa15647cef60e00a5d",
      "href": "/os-evidence/8f173c0efe900fd99cb6f8896dfd1c332b27a042e737e4aa15647cef60e00a5d.txt",
      "sha256": "8f173c0efe900fd99cb6f8896dfd1c332b27a042e737e4aa15647cef60e00a5d",
      "bytes": 12455,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "80b1f835f38f6fdc01d7ba383f3df72403cd46f2cbdcd41c19f5ff9aa377c801",
      "href": "/os-evidence/80b1f835f38f6fdc01d7ba383f3df72403cd46f2cbdcd41c19f5ff9aa377c801.txt",
      "sha256": "80b1f835f38f6fdc01d7ba383f3df72403cd46f2cbdcd41c19f5ff9aa377c801",
      "bytes": 18410,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "3f3908c5daf82b2e64b80173762516932ceec20626b265a29b9c6b725a4ae3c0",
      "href": "/os-evidence/3f3908c5daf82b2e64b80173762516932ceec20626b265a29b9c6b725a4ae3c0.txt",
      "sha256": "3f3908c5daf82b2e64b80173762516932ceec20626b265a29b9c6b725a4ae3c0",
      "bytes": 18410,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "b4bc4fa91b1e432d221cd477c8285a87929223f3b21bfab6f4bea3effc7b8b45",
      "href": "/os-evidence/b4bc4fa91b1e432d221cd477c8285a87929223f3b21bfab6f4bea3effc7b8b45.txt",
      "sha256": "b4bc4fa91b1e432d221cd477c8285a87929223f3b21bfab6f4bea3effc7b8b45",
      "bytes": 18410,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "57d90bc6d08099567999c94351ee555949735213a2a3982bb3b5ece2a936aece",
      "href": "/os-evidence/57d90bc6d08099567999c94351ee555949735213a2a3982bb3b5ece2a936aece.txt",
      "sha256": "57d90bc6d08099567999c94351ee555949735213a2a3982bb3b5ece2a936aece",
      "bytes": 13339,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "e5b07e0ec824079c27b199782c4394781b534a5b98b701f9c47a7685c596203c",
      "href": "/os-evidence/e5b07e0ec824079c27b199782c4394781b534a5b98b701f9c47a7685c596203c.txt",
      "sha256": "e5b07e0ec824079c27b199782c4394781b534a5b98b701f9c47a7685c596203c",
      "bytes": 13339,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "da7ac38138bd6b980c68705a7e58d1bcb4bcaf746ad9cdfb3761a2d735d3fa83",
      "href": "/os-evidence/da7ac38138bd6b980c68705a7e58d1bcb4bcaf746ad9cdfb3761a2d735d3fa83.txt",
      "sha256": "da7ac38138bd6b980c68705a7e58d1bcb4bcaf746ad9cdfb3761a2d735d3fa83",
      "bytes": 13339,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "f383ff075e99c30b7c8d6d8ddee90de396bd6c5b23e25a109fb37c21d4bcdf32",
      "href": "/os-evidence/f383ff075e99c30b7c8d6d8ddee90de396bd6c5b23e25a109fb37c21d4bcdf32.txt",
      "sha256": "f383ff075e99c30b7c8d6d8ddee90de396bd6c5b23e25a109fb37c21d4bcdf32",
      "bytes": 19204,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "b91fd153582b7e3c52948c660052f1a24a717f6c1b3e22aa6a33113d3d582338",
      "href": "/os-evidence/b91fd153582b7e3c52948c660052f1a24a717f6c1b3e22aa6a33113d3d582338.txt",
      "sha256": "b91fd153582b7e3c52948c660052f1a24a717f6c1b3e22aa6a33113d3d582338",
      "bytes": 19204,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K805-K820-93t6lu/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "337fc8e8acca3031730eaf65843e5c5d72bef4140424385488a07460471b0d59",
      "href": "/os-evidence/337fc8e8acca3031730eaf65843e5c5d72bef4140424385488a07460471b0d59.txt",
      "sha256": "337fc8e8acca3031730eaf65843e5c5d72bef4140424385488a07460471b0d59",
      "bytes": 19204,
      "redacted": false
    }
  ],
  "moves": [
    "K805",
    "K810",
    "K815",
    "K820"
  ]
}