{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K845-K860-2uuu2S/report.json",
    "sha256": "8eefe78aae04e51bcc1bb606bf650946de2be2114e55ce862493ba49a055958f",
    "bytes": 4939112
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Actual complete private replacement roots are prepared before any visible mapping commit. Third-page conflict and owned-table-pool ENOSPC preserve the old root, PTEs, retained data owners and exact authority inventory. Middle-page unmap preserves readable endpoints; RW-to-RO-to-RX transitions include genuine EL0 write and execute permission faults and actual RX execution. Retained physical user backing refuses writable/executable aliases, foreign owner/generation, and destructive changes under a private pin; guards acquire no backing. All retired tables follow completed ARM64 invalidation. Seven CPU checkpoints bind physical roots, data bytes, typed ownership inventories and exact one-byte GDB gate interventions after QMP stop and before continue. The isolated K860 64 KiB stack has an unmapped guard, two canaries and restored original SP. Large mapping storage is initialized and extracted in caller BSS. The generated UEFI loader permits a checked image memory span up to 2 MiB and still reserves the exact validated header span. Acquired pool pages are erased; never-owned pages preserve their independently captured initial bytes. Every predecessor physical, IRQ and EventLog witness remains intact. Scope is one-CPU QEMU development evidence; fresh matching Image M1 proof and physical noncoherent DMA cache maintenance remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "ab15e12c9d240afcbb025e5bab88dab6cd5cab56904e023634b5108256fe85d2",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-one-bank-direct-256/serial.log",
      "originalSha256": "66194cb4c44afd7bbea3e209f6c49cc08b13e28dfe83e9a0cb0787ce57b2932a",
      "href": "/os-evidence/66194cb4c44afd7bbea3e209f6c49cc08b13e28dfe83e9a0cb0787ce57b2932a.txt",
      "sha256": "66194cb4c44afd7bbea3e209f6c49cc08b13e28dfe83e9a0cb0787ce57b2932a",
      "bytes": 11124,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-one-bank-direct-512/serial.log",
      "originalSha256": "10c54c7e467915b3a91547c0b42004e9bc018e897cd6aab42720ac5b873601cd",
      "href": "/os-evidence/10c54c7e467915b3a91547c0b42004e9bc018e897cd6aab42720ac5b873601cd.txt",
      "sha256": "10c54c7e467915b3a91547c0b42004e9bc018e897cd6aab42720ac5b873601cd",
      "bytes": 11124,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-one-bank-direct-1024/serial.log",
      "originalSha256": "893a16d1ccc771e778f0766d10d5ffcb9f35ec4767fde074802ccc5213628c86",
      "href": "/os-evidence/893a16d1ccc771e778f0766d10d5ffcb9f35ec4767fde074802ccc5213628c86.txt",
      "sha256": "893a16d1ccc771e778f0766d10d5ffcb9f35ec4767fde074802ccc5213628c86",
      "bytes": 11124,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-one-bank-uefi-256/serial.log",
      "originalSha256": "48aeaaad5b99588af9c357d11f2e38cc2ea31714dc62ca9fcf82639d88e367f9",
      "href": "/os-evidence/48aeaaad5b99588af9c357d11f2e38cc2ea31714dc62ca9fcf82639d88e367f9.txt",
      "sha256": "48aeaaad5b99588af9c357d11f2e38cc2ea31714dc62ca9fcf82639d88e367f9",
      "bytes": 17364,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-one-bank-uefi-512/serial.log",
      "originalSha256": "39cc83c342670ab0d19e7891bff10b0c39f63252b5b6174b908dda8b9cf4eeb6",
      "href": "/os-evidence/39cc83c342670ab0d19e7891bff10b0c39f63252b5b6174b908dda8b9cf4eeb6.txt",
      "sha256": "39cc83c342670ab0d19e7891bff10b0c39f63252b5b6174b908dda8b9cf4eeb6",
      "bytes": 17364,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "88f4a62d895f3f30f14a87bac03220a74b0f35caf41be71d7f2a6525307f3ea8",
      "href": "/os-evidence/88f4a62d895f3f30f14a87bac03220a74b0f35caf41be71d7f2a6525307f3ea8.txt",
      "sha256": "88f4a62d895f3f30f14a87bac03220a74b0f35caf41be71d7f2a6525307f3ea8",
      "bytes": 17364,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-two-banks-direct-256/serial.log",
      "originalSha256": "9fe00d1c496b0abc77e1224b10ed17c486c00bde60eff2cc340145649c4f6b69",
      "href": "/os-evidence/9fe00d1c496b0abc77e1224b10ed17c486c00bde60eff2cc340145649c4f6b69.txt",
      "sha256": "9fe00d1c496b0abc77e1224b10ed17c486c00bde60eff2cc340145649c4f6b69",
      "bytes": 12008,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-two-banks-direct-512/serial.log",
      "originalSha256": "20a88ea84cfc42887bdf20bc256c57830817bdd48bfdadded90cc07d8bd3ee7e",
      "href": "/os-evidence/20a88ea84cfc42887bdf20bc256c57830817bdd48bfdadded90cc07d8bd3ee7e.txt",
      "sha256": "20a88ea84cfc42887bdf20bc256c57830817bdd48bfdadded90cc07d8bd3ee7e",
      "bytes": 12008,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-two-banks-direct-1024/serial.log",
      "originalSha256": "708ed5fa2141781d043b18cd3b49c4d550413b24d8511747fb526ca83aa4517b",
      "href": "/os-evidence/708ed5fa2141781d043b18cd3b49c4d550413b24d8511747fb526ca83aa4517b.txt",
      "sha256": "708ed5fa2141781d043b18cd3b49c4d550413b24d8511747fb526ca83aa4517b",
      "bytes": 12008,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-two-banks-uefi-256/serial.log",
      "originalSha256": "510bd75907376ad94b43d309d9639541ff9b8a9dc9bd980ccf3314d2cccd7b4d",
      "href": "/os-evidence/510bd75907376ad94b43d309d9639541ff9b8a9dc9bd980ccf3314d2cccd7b4d.txt",
      "sha256": "510bd75907376ad94b43d309d9639541ff9b8a9dc9bd980ccf3314d2cccd7b4d",
      "bytes": 18158,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-two-banks-uefi-512/serial.log",
      "originalSha256": "c059450fcfec98448a2c66169b03b09488ac268506f7765ce5df010cdb6e67c6",
      "href": "/os-evidence/c059450fcfec98448a2c66169b03b09488ac268506f7765ce5df010cdb6e67c6.txt",
      "sha256": "c059450fcfec98448a2c66169b03b09488ac268506f7765ce5df010cdb6e67c6",
      "bytes": 18158,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "9860193b37949aac7ba49df6b8434a604b2a66b078fcb10a64222c9f66c6f506",
      "href": "/os-evidence/9860193b37949aac7ba49df6b8434a604b2a66b078fcb10a64222c9f66c6f506.txt",
      "sha256": "9860193b37949aac7ba49df6b8434a604b2a66b078fcb10a64222c9f66c6f506",
      "bytes": 18158,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "8f572e0ba04a503e633e282e0bb0f794fa456bd7766af6c7a2e4bd8940b8ac89",
      "href": "/os-evidence/8f572e0ba04a503e633e282e0bb0f794fa456bd7766af6c7a2e4bd8940b8ac89.txt",
      "sha256": "8f572e0ba04a503e633e282e0bb0f794fa456bd7766af6c7a2e4bd8940b8ac89",
      "bytes": 14458,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "7e0a4382984d2f55a8df392259459eb6ac68a51a9f7d336565493db6fc546412",
      "href": "/os-evidence/7e0a4382984d2f55a8df392259459eb6ac68a51a9f7d336565493db6fc546412.txt",
      "sha256": "7e0a4382984d2f55a8df392259459eb6ac68a51a9f7d336565493db6fc546412",
      "bytes": 14458,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "754a2ca1f72ce2826827105557eb3101c55c39684a4c01db5af8d13bd17eb024",
      "href": "/os-evidence/754a2ca1f72ce2826827105557eb3101c55c39684a4c01db5af8d13bd17eb024.txt",
      "sha256": "754a2ca1f72ce2826827105557eb3101c55c39684a4c01db5af8d13bd17eb024",
      "bytes": 14458,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "681343bd376a13778d3b06b69b8f0e1e815945a3303cc6c72eac3e48f6b5cfd1",
      "href": "/os-evidence/681343bd376a13778d3b06b69b8f0e1e815945a3303cc6c72eac3e48f6b5cfd1.txt",
      "sha256": "681343bd376a13778d3b06b69b8f0e1e815945a3303cc6c72eac3e48f6b5cfd1",
      "bytes": 20413,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "db9583ecd0e80d0b2944a6a91f3ce929e5a5fc9eb6fb3e04acd49aad06fcffce",
      "href": "/os-evidence/db9583ecd0e80d0b2944a6a91f3ce929e5a5fc9eb6fb3e04acd49aad06fcffce.txt",
      "sha256": "db9583ecd0e80d0b2944a6a91f3ce929e5a5fc9eb6fb3e04acd49aad06fcffce",
      "bytes": 20413,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "22f73f46c28fdc2efc6ce724737dd0040e4f5a00463cfeb5da0951aeafeda240",
      "href": "/os-evidence/22f73f46c28fdc2efc6ce724737dd0040e4f5a00463cfeb5da0951aeafeda240.txt",
      "sha256": "22f73f46c28fdc2efc6ce724737dd0040e4f5a00463cfeb5da0951aeafeda240",
      "bytes": 20413,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "54385b31f01881b732e960da1f7b9577a799286822273aae1856bd0086748f23",
      "href": "/os-evidence/54385b31f01881b732e960da1f7b9577a799286822273aae1856bd0086748f23.txt",
      "sha256": "54385b31f01881b732e960da1f7b9577a799286822273aae1856bd0086748f23",
      "bytes": 15342,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "3f6b8c4a79f94722bbb1f32ba6be5c4176eb4acc5cda9948dde1eb14c9973999",
      "href": "/os-evidence/3f6b8c4a79f94722bbb1f32ba6be5c4176eb4acc5cda9948dde1eb14c9973999.txt",
      "sha256": "3f6b8c4a79f94722bbb1f32ba6be5c4176eb4acc5cda9948dde1eb14c9973999",
      "bytes": 15342,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "0b2d331166d2141452300d47f225bf17bd79037e1e90ce60d4268e5163d17d09",
      "href": "/os-evidence/0b2d331166d2141452300d47f225bf17bd79037e1e90ce60d4268e5163d17d09.txt",
      "sha256": "0b2d331166d2141452300d47f225bf17bd79037e1e90ce60d4268e5163d17d09",
      "bytes": 15342,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "d0ae1b250f0f98e455b5adf8301aac665f62d6e93f5cbe179e22ed7485f4574f",
      "href": "/os-evidence/d0ae1b250f0f98e455b5adf8301aac665f62d6e93f5cbe179e22ed7485f4574f.txt",
      "sha256": "d0ae1b250f0f98e455b5adf8301aac665f62d6e93f5cbe179e22ed7485f4574f",
      "bytes": 21207,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "084498619fd48457fbe991b4343b77484c311c4c44b3252ea6832a8d0f3dbb14",
      "href": "/os-evidence/084498619fd48457fbe991b4343b77484c311c4c44b3252ea6832a8d0f3dbb14.txt",
      "sha256": "084498619fd48457fbe991b4343b77484c311c4c44b3252ea6832a8d0f3dbb14",
      "bytes": 21207,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K845-K860-2uuu2S/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "692781d870f5f0b94b553de90b6de3a7083bea44f14db0136a0fbf21d90b64e3",
      "href": "/os-evidence/692781d870f5f0b94b553de90b6de3a7083bea44f14db0136a0fbf21d90b64e3.txt",
      "sha256": "692781d870f5f0b94b553de90b6de3a7083bea44f14db0136a0fbf21d90b64e3",
      "bytes": 21207,
      "redacted": false
    }
  ],
  "moves": [
    "K845",
    "K850",
    "K855",
    "K860"
  ]
}