{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1025-K1040-i7hOLr/report.json",
    "sha256": "8d0b72874087c6db4cdfef16057f33947afc9b376e760068d80fa7578ca9fe00",
    "bytes": 32367797
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One actual bootstrap CPU performs1000 actual A/B cooperative handoffs on two separately owned guarded16KiB stacks and private kernel-only roots. Every handoff captures all twelve callee GP, all32 full SIMD/FP state and a checked live capture episode before Rust; copied landing/bootstrap frames bind independently captured restore Wire/private owners, while later retention of their popped stack bytes is unclaimed; source-bound physical root/stack/central owners are checked at sixteen actual QMP/RSP gates. One critical timer IRQ is refused then retained as the full848-byte original witness; real intervening work precedes a fresh640-byte safe-point handoff. A real masked-boundary WFI and already-pending refusal retain the same sleeping Wait, then the actual woken B continuation runs bounded work and returns. Two actual bootstrap frames and both original stack selectors/registers are restored before all twelve typed pages are erased and returned. Product performs no Context probe. EL2 effective cache behavior remains unobserved. Arbitrary asynchronous preemption, two CPU contention, fresh matching M1 and release remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "700e3e458e42330d0ee98c5e3cee07e028003377522b878ac5fc46d9359884ea",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "76f1f9b9b13cf7bb69b30557585fd67ea3ad41b624976ee33ec3b0fc02dd5cc8",
      "href": "/os-evidence/76f1f9b9b13cf7bb69b30557585fd67ea3ad41b624976ee33ec3b0fc02dd5cc8.txt",
      "sha256": "76f1f9b9b13cf7bb69b30557585fd67ea3ad41b624976ee33ec3b0fc02dd5cc8",
      "bytes": 23876,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "b49bc926c9ebb0d533aadf7cd40f3733e4fe1f362cb13b4ce358d3018fd042cf",
      "href": "/os-evidence/b49bc926c9ebb0d533aadf7cd40f3733e4fe1f362cb13b4ce358d3018fd042cf.txt",
      "sha256": "b49bc926c9ebb0d533aadf7cd40f3733e4fe1f362cb13b4ce358d3018fd042cf",
      "bytes": 23876,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "161e3dfd07ab7f3ebfdd282b3bb67303cbdd31276dfe2c423511a7688409fa21",
      "href": "/os-evidence/161e3dfd07ab7f3ebfdd282b3bb67303cbdd31276dfe2c423511a7688409fa21.txt",
      "sha256": "161e3dfd07ab7f3ebfdd282b3bb67303cbdd31276dfe2c423511a7688409fa21",
      "bytes": 23876,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "e7cf86f3975d41c6e7c2c7287e050c9c60b50b192c2f4382ef5684c6901f02a6",
      "href": "/os-evidence/e7cf86f3975d41c6e7c2c7287e050c9c60b50b192c2f4382ef5684c6901f02a6.txt",
      "sha256": "e7cf86f3975d41c6e7c2c7287e050c9c60b50b192c2f4382ef5684c6901f02a6",
      "bytes": 30116,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "e682d2fb7b1634a9ecb58872ff6350fc53cf13a73457bab426ecdc1bdf45d466",
      "href": "/os-evidence/e682d2fb7b1634a9ecb58872ff6350fc53cf13a73457bab426ecdc1bdf45d466.txt",
      "sha256": "e682d2fb7b1634a9ecb58872ff6350fc53cf13a73457bab426ecdc1bdf45d466",
      "bytes": 30116,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "d8c846ae1449a98d0afe43c2d8ea4940b0f5134c2fb1308e67ce20443ed05147",
      "href": "/os-evidence/d8c846ae1449a98d0afe43c2d8ea4940b0f5134c2fb1308e67ce20443ed05147.txt",
      "sha256": "d8c846ae1449a98d0afe43c2d8ea4940b0f5134c2fb1308e67ce20443ed05147",
      "bytes": 30116,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "8714cdfbb65bdb5961917a818cb836904431323e0a5697c2f5bffd44f3629dd4",
      "href": "/os-evidence/8714cdfbb65bdb5961917a818cb836904431323e0a5697c2f5bffd44f3629dd4.txt",
      "sha256": "8714cdfbb65bdb5961917a818cb836904431323e0a5697c2f5bffd44f3629dd4",
      "bytes": 24760,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "6fe0ce058e6ec6135fb0ec16892c8a03f4691f30ace2ddedd9a9794445510b22",
      "href": "/os-evidence/6fe0ce058e6ec6135fb0ec16892c8a03f4691f30ace2ddedd9a9794445510b22.txt",
      "sha256": "6fe0ce058e6ec6135fb0ec16892c8a03f4691f30ace2ddedd9a9794445510b22",
      "bytes": 24760,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "a365b0c141c97783075694ede3407288d1c699c56acd1146fa8706c15aa6b2d2",
      "href": "/os-evidence/a365b0c141c97783075694ede3407288d1c699c56acd1146fa8706c15aa6b2d2.txt",
      "sha256": "a365b0c141c97783075694ede3407288d1c699c56acd1146fa8706c15aa6b2d2",
      "bytes": 24760,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "d0e8dba29cd0a0adbe87dba07494dd0cfabfb551a8851e702c2752628bdaada4",
      "href": "/os-evidence/d0e8dba29cd0a0adbe87dba07494dd0cfabfb551a8851e702c2752628bdaada4.txt",
      "sha256": "d0e8dba29cd0a0adbe87dba07494dd0cfabfb551a8851e702c2752628bdaada4",
      "bytes": 30910,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "d0659445040d0391ca6e53fb6daaa105eb9dba9257afedc3edbf164b43e7830e",
      "href": "/os-evidence/d0659445040d0391ca6e53fb6daaa105eb9dba9257afedc3edbf164b43e7830e.txt",
      "sha256": "d0659445040d0391ca6e53fb6daaa105eb9dba9257afedc3edbf164b43e7830e",
      "bytes": 30910,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "bcfcef6258588ba3d4466e8b552de65fc87eefabf3e6fecf03ee87f3eaab989a",
      "href": "/os-evidence/bcfcef6258588ba3d4466e8b552de65fc87eefabf3e6fecf03ee87f3eaab989a.txt",
      "sha256": "bcfcef6258588ba3d4466e8b552de65fc87eefabf3e6fecf03ee87f3eaab989a",
      "bytes": 30910,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-one-bank-direct-256/serial.log",
      "originalSha256": "72c082a85531203df766e58c1ad847177dfea49639ae7d13391d0532e8a90675",
      "href": "/os-evidence/72c082a85531203df766e58c1ad847177dfea49639ae7d13391d0532e8a90675.txt",
      "sha256": "72c082a85531203df766e58c1ad847177dfea49639ae7d13391d0532e8a90675",
      "bytes": 11763,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-one-bank-direct-512/serial.log",
      "originalSha256": "7b33f57b051dec40e4da58d9af9d61641533193e7c9494c32e08ff0c3cf1dcd2",
      "href": "/os-evidence/7b33f57b051dec40e4da58d9af9d61641533193e7c9494c32e08ff0c3cf1dcd2.txt",
      "sha256": "7b33f57b051dec40e4da58d9af9d61641533193e7c9494c32e08ff0c3cf1dcd2",
      "bytes": 11763,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-one-bank-direct-1024/serial.log",
      "originalSha256": "0a6643ad552861b20feb021d012adc673680e8669bb8b91f8fdf81795873987b",
      "href": "/os-evidence/0a6643ad552861b20feb021d012adc673680e8669bb8b91f8fdf81795873987b.txt",
      "sha256": "0a6643ad552861b20feb021d012adc673680e8669bb8b91f8fdf81795873987b",
      "bytes": 11763,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-one-bank-uefi-256/serial.log",
      "originalSha256": "2412d59c207fed69eb6d03f2849c6b03fd7046f6edcce16e63058e5be45d2221",
      "href": "/os-evidence/2412d59c207fed69eb6d03f2849c6b03fd7046f6edcce16e63058e5be45d2221.txt",
      "sha256": "2412d59c207fed69eb6d03f2849c6b03fd7046f6edcce16e63058e5be45d2221",
      "bytes": 18003,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-one-bank-uefi-512/serial.log",
      "originalSha256": "ff8691dbbc7e46bfe7ac6945cb2bc025598c67c0972a73bf9014a4f3d86905a5",
      "href": "/os-evidence/ff8691dbbc7e46bfe7ac6945cb2bc025598c67c0972a73bf9014a4f3d86905a5.txt",
      "sha256": "ff8691dbbc7e46bfe7ac6945cb2bc025598c67c0972a73bf9014a4f3d86905a5",
      "bytes": 18003,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "7b50b9317a9c1f035ac29a0e86c651285d1967c0e24c2640ccc71b2e849aef5e",
      "href": "/os-evidence/7b50b9317a9c1f035ac29a0e86c651285d1967c0e24c2640ccc71b2e849aef5e.txt",
      "sha256": "7b50b9317a9c1f035ac29a0e86c651285d1967c0e24c2640ccc71b2e849aef5e",
      "bytes": 18003,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-two-banks-direct-256/serial.log",
      "originalSha256": "48bd3084cf89033e8c2ac58d125d8dff2b9ff45ce023f7dcb911222c5ab9b289",
      "href": "/os-evidence/48bd3084cf89033e8c2ac58d125d8dff2b9ff45ce023f7dcb911222c5ab9b289.txt",
      "sha256": "48bd3084cf89033e8c2ac58d125d8dff2b9ff45ce023f7dcb911222c5ab9b289",
      "bytes": 12647,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-two-banks-direct-512/serial.log",
      "originalSha256": "b3ea329fa3be907b4e8fcd45294380300a70cdce4db394125445976027ff1507",
      "href": "/os-evidence/b3ea329fa3be907b4e8fcd45294380300a70cdce4db394125445976027ff1507.txt",
      "sha256": "b3ea329fa3be907b4e8fcd45294380300a70cdce4db394125445976027ff1507",
      "bytes": 12647,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-two-banks-direct-1024/serial.log",
      "originalSha256": "4a4ff258b405509924fdbade3ddf9569c6efcfef6cfba55f88451416f787fe08",
      "href": "/os-evidence/4a4ff258b405509924fdbade3ddf9569c6efcfef6cfba55f88451416f787fe08.txt",
      "sha256": "4a4ff258b405509924fdbade3ddf9569c6efcfef6cfba55f88451416f787fe08",
      "bytes": 12647,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-two-banks-uefi-256/serial.log",
      "originalSha256": "0822f2a672b61ebd8293b666ec1e71543217e35d4118a49c7431025efe7deea9",
      "href": "/os-evidence/0822f2a672b61ebd8293b666ec1e71543217e35d4118a49c7431025efe7deea9.txt",
      "sha256": "0822f2a672b61ebd8293b666ec1e71543217e35d4118a49c7431025efe7deea9",
      "bytes": 18797,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-two-banks-uefi-512/serial.log",
      "originalSha256": "77b6c8322d51de7d7bfd6210b8f50406fe4c23c9aaafa03c7a8dccbe1a07657b",
      "href": "/os-evidence/77b6c8322d51de7d7bfd6210b8f50406fe4c23c9aaafa03c7a8dccbe1a07657b.txt",
      "sha256": "77b6c8322d51de7d7bfd6210b8f50406fe4c23c9aaafa03c7a8dccbe1a07657b",
      "bytes": 18797,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1025-K1040-i7hOLr/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "5db5b30afdd690b898595878c7d825a61c88fd556b0201890f411ae9cfab2504",
      "href": "/os-evidence/5db5b30afdd690b898595878c7d825a61c88fd556b0201890f411ae9cfab2504.txt",
      "sha256": "5db5b30afdd690b898595878c7d825a61c88fd556b0201890f411ae9cfab2504",
      "bytes": 18797,
      "redacted": false
    }
  ],
  "moves": [
    "K1025",
    "K1030",
    "K1035",
    "K1040"
  ]
}