{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K905-K920-DWX6sE/report.json",
    "sha256": "333f7929093da17a40ec1688f4e02c39148d2539ac2a7278de45cdb311e1c9e6",
    "bytes": 11993894
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Actual16-slot AArch64 vector table and full848-byte ingress/egress ABI measured on one nonpreemptive bootstrap CPU. EL1t BRK, EL1h timerIRQ, EL0 SVC and translation fault bind actual ESR/ELR/SPSR/SP and guarded frame addresses. Measured trusted kernel TCO bit25 is preserved in every raw frame through a separately tested narrow gate; the frozen user-return gate rejects optional status. CPU x0/x30/v0/v31 witnesses survive IRQ and user ERET, including a timer nested inside the syscall; eight mutated actual user frames are refused before privileged return without authority changes. Separate negative boots retain6 actual owned pages and an active IRQ while a second fatal entry parks after4096 bounded lock-refused polls; no K920 acceptance or own stack restoration is claimed. Actual CPU GIC active readback is bound through captured RAM evidence; separate raw debugger MMIO bytes are retained without treating them as CPU controller status. The new Image span extends the prior first-block layout: actual loader span, declared RAM, AT/PAR guard and complete retained kernel table walk are checked before the source-bound one-assertion prior proof. Exact central inventories and full erased acquired backing restore after normal probes; the pre-allocation full pool checkpoint binds every unused page to its actual initial bytes. Genuine prior IRQ16 is captured, current18 is checked, raw ancestor artifacts and original event histories are retained. Product has no exception vector/IRQ probe. General preemptive scheduling, fresh matching physical M1 and production release remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 30,
  "caseSerialsSelected": 30,
  "imageSha256": "a673d408eec4e326a2268910c22a1afd7080ed1dbf795ddd39bbd8b7d46b10f3",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "082e47c41cfc3eb43539b316fa1923acab6018a40a4bad3b8be7c4baaafca176",
      "href": "/os-evidence/082e47c41cfc3eb43539b316fa1923acab6018a40a4bad3b8be7c4baaafca176.txt",
      "sha256": "082e47c41cfc3eb43539b316fa1923acab6018a40a4bad3b8be7c4baaafca176",
      "bytes": 17022,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "e598aa6c901374a5bc9bb2c9734c0cd1069072e0b9c0c134ee44ebef6941ef67",
      "href": "/os-evidence/e598aa6c901374a5bc9bb2c9734c0cd1069072e0b9c0c134ee44ebef6941ef67.txt",
      "sha256": "e598aa6c901374a5bc9bb2c9734c0cd1069072e0b9c0c134ee44ebef6941ef67",
      "bytes": 17022,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "0b207627c5a549ebc7e6c93943341f3147242039f20ed66026baa48315f196bf",
      "href": "/os-evidence/0b207627c5a549ebc7e6c93943341f3147242039f20ed66026baa48315f196bf.txt",
      "sha256": "0b207627c5a549ebc7e6c93943341f3147242039f20ed66026baa48315f196bf",
      "bytes": 17022,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "6ce0395d37a029e154dd9ada4cdf703e26d763eb400d53735fc3f2179e8f520e",
      "href": "/os-evidence/6ce0395d37a029e154dd9ada4cdf703e26d763eb400d53735fc3f2179e8f520e.txt",
      "sha256": "6ce0395d37a029e154dd9ada4cdf703e26d763eb400d53735fc3f2179e8f520e",
      "bytes": 23262,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "184ebf6d8fde4ea9432e7bc5a2aa57a0ac5058b184370876d8000165311a63fc",
      "href": "/os-evidence/184ebf6d8fde4ea9432e7bc5a2aa57a0ac5058b184370876d8000165311a63fc.txt",
      "sha256": "184ebf6d8fde4ea9432e7bc5a2aa57a0ac5058b184370876d8000165311a63fc",
      "bytes": 23262,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "6233ed5a768255499c8930b82da5bb6533f0271f05a1ac3c114ab1279a5b9966",
      "href": "/os-evidence/6233ed5a768255499c8930b82da5bb6533f0271f05a1ac3c114ab1279a5b9966.txt",
      "sha256": "6233ed5a768255499c8930b82da5bb6533f0271f05a1ac3c114ab1279a5b9966",
      "bytes": 23262,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "c594729651704f953d37f1bcc92a570f24555dbf05c72d864bca11fe9497f0ce",
      "href": "/os-evidence/c594729651704f953d37f1bcc92a570f24555dbf05c72d864bca11fe9497f0ce.txt",
      "sha256": "c594729651704f953d37f1bcc92a570f24555dbf05c72d864bca11fe9497f0ce",
      "bytes": 17906,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "8e65488b4dc6495eecfadf34b81f00f0879b6b89d1e19c81dfb0bb9667d27869",
      "href": "/os-evidence/8e65488b4dc6495eecfadf34b81f00f0879b6b89d1e19c81dfb0bb9667d27869.txt",
      "sha256": "8e65488b4dc6495eecfadf34b81f00f0879b6b89d1e19c81dfb0bb9667d27869",
      "bytes": 17906,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "c1979f67031b12c9b18e2a474a84e9f1f2b0c900b8770c4528ba3dd736412692",
      "href": "/os-evidence/c1979f67031b12c9b18e2a474a84e9f1f2b0c900b8770c4528ba3dd736412692.txt",
      "sha256": "c1979f67031b12c9b18e2a474a84e9f1f2b0c900b8770c4528ba3dd736412692",
      "bytes": 17906,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "2aa60979fb34e8b33378c48c55f7f784484d143d32c45cc1f63c20960aa40e6a",
      "href": "/os-evidence/2aa60979fb34e8b33378c48c55f7f784484d143d32c45cc1f63c20960aa40e6a.txt",
      "sha256": "2aa60979fb34e8b33378c48c55f7f784484d143d32c45cc1f63c20960aa40e6a",
      "bytes": 24056,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "8551d80150d8132edfcf7c04637466c7f23765c49f172f85bd7c54f1dfc8d7f0",
      "href": "/os-evidence/8551d80150d8132edfcf7c04637466c7f23765c49f172f85bd7c54f1dfc8d7f0.txt",
      "sha256": "8551d80150d8132edfcf7c04637466c7f23765c49f172f85bd7c54f1dfc8d7f0",
      "bytes": 24056,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "271ef2426019c44dc7c788ad980111caa224867a9e281f2d14ae05ff97b6a1bc",
      "href": "/os-evidence/271ef2426019c44dc7c788ad980111caa224867a9e281f2d14ae05ff97b6a1bc.txt",
      "sha256": "271ef2426019c44dc7c788ad980111caa224867a9e281f2d14ae05ff97b6a1bc",
      "bytes": 24056,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-one-bank-direct-256/serial.log",
      "originalSha256": "fcdfd7520413287e5df12171d61e78d97df3031c3a545c1c483947be1339975e",
      "href": "/os-evidence/fcdfd7520413287e5df12171d61e78d97df3031c3a545c1c483947be1339975e.txt",
      "sha256": "fcdfd7520413287e5df12171d61e78d97df3031c3a545c1c483947be1339975e",
      "bytes": 11466,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-one-bank-direct-512/serial.log",
      "originalSha256": "8f9810c82968c3de3bb25b3aff10e344c1038d2212951be7004f3a67256b600e",
      "href": "/os-evidence/8f9810c82968c3de3bb25b3aff10e344c1038d2212951be7004f3a67256b600e.txt",
      "sha256": "8f9810c82968c3de3bb25b3aff10e344c1038d2212951be7004f3a67256b600e",
      "bytes": 11466,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-one-bank-direct-1024/serial.log",
      "originalSha256": "a393607c85a297dc426317e9703fbd27029a9b39b53658c50ef5a0ff3ac7a7ca",
      "href": "/os-evidence/a393607c85a297dc426317e9703fbd27029a9b39b53658c50ef5a0ff3ac7a7ca.txt",
      "sha256": "a393607c85a297dc426317e9703fbd27029a9b39b53658c50ef5a0ff3ac7a7ca",
      "bytes": 11466,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-one-bank-uefi-256/serial.log",
      "originalSha256": "71c31518c8323c4165649a7e778a54cd9abd06dc83d7b55e4ad4068a55458683",
      "href": "/os-evidence/71c31518c8323c4165649a7e778a54cd9abd06dc83d7b55e4ad4068a55458683.txt",
      "sha256": "71c31518c8323c4165649a7e778a54cd9abd06dc83d7b55e4ad4068a55458683",
      "bytes": 17706,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-one-bank-uefi-512/serial.log",
      "originalSha256": "695196835e43d8364658d48c77c529ff01a0eb65ad3f67c980bbfac3882ad91c",
      "href": "/os-evidence/695196835e43d8364658d48c77c529ff01a0eb65ad3f67c980bbfac3882ad91c.txt",
      "sha256": "695196835e43d8364658d48c77c529ff01a0eb65ad3f67c980bbfac3882ad91c",
      "bytes": 17706,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "e09ed2116ff5296f95f2fe52a5cbd7d3dba1828cb5c481efba0a524d3510b679",
      "href": "/os-evidence/e09ed2116ff5296f95f2fe52a5cbd7d3dba1828cb5c481efba0a524d3510b679.txt",
      "sha256": "e09ed2116ff5296f95f2fe52a5cbd7d3dba1828cb5c481efba0a524d3510b679",
      "bytes": 17706,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-two-banks-direct-256/serial.log",
      "originalSha256": "bd15b66bc332a1b5f8177c449c48e9be1811ec8f936316b8203736f3cf96d816",
      "href": "/os-evidence/bd15b66bc332a1b5f8177c449c48e9be1811ec8f936316b8203736f3cf96d816.txt",
      "sha256": "bd15b66bc332a1b5f8177c449c48e9be1811ec8f936316b8203736f3cf96d816",
      "bytes": 12350,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-two-banks-direct-512/serial.log",
      "originalSha256": "b6ad93c79ea65083a5f125b256d2b30c6d3ef4dfee2c51ba7e05a63f7b6683ff",
      "href": "/os-evidence/b6ad93c79ea65083a5f125b256d2b30c6d3ef4dfee2c51ba7e05a63f7b6683ff.txt",
      "sha256": "b6ad93c79ea65083a5f125b256d2b30c6d3ef4dfee2c51ba7e05a63f7b6683ff",
      "bytes": 12350,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-two-banks-direct-1024/serial.log",
      "originalSha256": "c967fd2dfbe608c59666d90d18348a0974ea22ed05e75367fe89f46997759a1a",
      "href": "/os-evidence/c967fd2dfbe608c59666d90d18348a0974ea22ed05e75367fe89f46997759a1a.txt",
      "sha256": "c967fd2dfbe608c59666d90d18348a0974ea22ed05e75367fe89f46997759a1a",
      "bytes": 12350,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-two-banks-uefi-256/serial.log",
      "originalSha256": "63fbd4985860f4a9f3cd39a9ac8e52e779efcbfff8116935f127ece48345be75",
      "href": "/os-evidence/63fbd4985860f4a9f3cd39a9ac8e52e779efcbfff8116935f127ece48345be75.txt",
      "sha256": "63fbd4985860f4a9f3cd39a9ac8e52e779efcbfff8116935f127ece48345be75",
      "bytes": 18500,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-two-banks-uefi-512/serial.log",
      "originalSha256": "72bc10cee14d108f7eb1d027de93a6b5e132d92b9783809b8133ca8511cd2978",
      "href": "/os-evidence/72bc10cee14d108f7eb1d027de93a6b5e132d92b9783809b8133ca8511cd2978.txt",
      "sha256": "72bc10cee14d108f7eb1d027de93a6b5e132d92b9783809b8133ca8511cd2978",
      "bytes": 18500,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "cf04b523a321fc0146a8fb128f3a6deb6bcad4bef5a1df6bab58f4e4d57fa23f",
      "href": "/os-evidence/cf04b523a321fc0146a8fb128f3a6deb6bcad4bef5a1df6bab58f4e4d57fa23f.txt",
      "sha256": "cf04b523a321fc0146a8fb128f3a6deb6bcad4bef5a1df6bab58f4e4d57fa23f",
      "bytes": 18500,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-direct-256-exceptions-fatal/serial.log",
      "originalSha256": "264e61af6df2d4c46f1dd51384cd9c95ae2b6f52d0d49eedae091171f72374fd",
      "href": "/os-evidence/264e61af6df2d4c46f1dd51384cd9c95ae2b6f52d0d49eedae091171f72374fd.txt",
      "sha256": "264e61af6df2d4c46f1dd51384cd9c95ae2b6f52d0d49eedae091171f72374fd",
      "bytes": 16573,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-uefi-256-exceptions-fatal/serial.log",
      "originalSha256": "c6aef3b2745662d9b8627d2b790b3ec00de8a6de19fed46ec4f56b36b39bb76a",
      "href": "/os-evidence/c6aef3b2745662d9b8627d2b790b3ec00de8a6de19fed46ec4f56b36b39bb76a.txt",
      "sha256": "c6aef3b2745662d9b8627d2b790b3ec00de8a6de19fed46ec4f56b36b39bb76a",
      "bytes": 22813,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-direct-512-exceptions-fatal/serial.log",
      "originalSha256": "739a1c9ebfadad37baf18a49e3bffa899e37e884fde21e9f7a0a290d12ffadb6",
      "href": "/os-evidence/739a1c9ebfadad37baf18a49e3bffa899e37e884fde21e9f7a0a290d12ffadb6.txt",
      "sha256": "739a1c9ebfadad37baf18a49e3bffa899e37e884fde21e9f7a0a290d12ffadb6",
      "bytes": 16573,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-uefi-512-exceptions-fatal/serial.log",
      "originalSha256": "6d047fdcd25a1bbd7f1c25181d220e7cd8ef2d892d7884eddd2690fbdb1c98fa",
      "href": "/os-evidence/6d047fdcd25a1bbd7f1c25181d220e7cd8ef2d892d7884eddd2690fbdb1c98fa.txt",
      "sha256": "6d047fdcd25a1bbd7f1c25181d220e7cd8ef2d892d7884eddd2690fbdb1c98fa",
      "bytes": 22813,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-direct-1024-exceptions-fatal/serial.log",
      "originalSha256": "0a1fdad3e855683327c8a286ffd901d87f7c15b1b48d4d438ff3c72bfa8fdf6f",
      "href": "/os-evidence/0a1fdad3e855683327c8a286ffd901d87f7c15b1b48d4d438ff3c72bfa8fdf6f.txt",
      "sha256": "0a1fdad3e855683327c8a286ffd901d87f7c15b1b48d4d438ff3c72bfa8fdf6f",
      "bytes": 16573,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K905-K920-DWX6sE/acceptance-one-bank-uefi-1024-exceptions-fatal/serial.log",
      "originalSha256": "653c9114a7d32a4208f052c47a8f2e5a091b6204316bdbda866055002236a3fc",
      "href": "/os-evidence/653c9114a7d32a4208f052c47a8f2e5a091b6204316bdbda866055002236a3fc.txt",
      "sha256": "653c9114a7d32a4208f052c47a8f2e5a091b6204316bdbda866055002236a3fc",
      "bytes": 22813,
      "redacted": false
    }
  ],
  "moves": [
    "K905",
    "K910",
    "K915",
    "K920"
  ]
}