{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1005-K1020-LFfI9H/report.json",
    "sha256": "72a83289793806ffa40a2bc002dadd3347ff0e3352be409025635bbf5a9bdf47",
    "bytes": 31824204
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One actual bootstrap CPU runs seven actual kernel thread callback entries on five separately leased guarded16KiB stacks and checks three slot generations. Ten normal CPU/QMP/RSP gates bind actual stack switch instructions, SP/canary/guard witnesses, immutable thread identities and exact central restoration before predecessor history. Six separate post-K640 negative boots retain five typed pages and one truly unmapped guard after an actual EL1 fault; the normal completion and later fatal ownership remain separate. The fatal proof checks exactly one current kernel PTE transition against genuine normal checkpoint9 bytes before historical ancestor table views. Product performs no thread probe. Actual A-to-B-to-A continuation, general preemption, two CPU contention, fresh matching M1 and release remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 30,
  "caseSerialsSelected": 30,
  "imageSha256": "513e724943eaedd75938ccda8332f0f1e24361aae0fc317528044ba3f682ddc5",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "b4e3aae48320ec7a3ee17898e96ca68fab60f768a9fa87b3f626306cb3f58faa",
      "href": "/os-evidence/b4e3aae48320ec7a3ee17898e96ca68fab60f768a9fa87b3f626306cb3f58faa.txt",
      "sha256": "b4e3aae48320ec7a3ee17898e96ca68fab60f768a9fa87b3f626306cb3f58faa",
      "bytes": 22606,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "577fc0f447e3841d1d9719195e714b973ade412923588cd67698c9490c4b75b6",
      "href": "/os-evidence/577fc0f447e3841d1d9719195e714b973ade412923588cd67698c9490c4b75b6.txt",
      "sha256": "577fc0f447e3841d1d9719195e714b973ade412923588cd67698c9490c4b75b6",
      "bytes": 22606,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "220c333eb1f41db27bee3a6550e29f7025c8c47b29057d689e758c8fb0f5cfbf",
      "href": "/os-evidence/220c333eb1f41db27bee3a6550e29f7025c8c47b29057d689e758c8fb0f5cfbf.txt",
      "sha256": "220c333eb1f41db27bee3a6550e29f7025c8c47b29057d689e758c8fb0f5cfbf",
      "bytes": 22606,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "fdc79570153781fe424007770378ef36d8cb9c2ade857be55bc2b64ecbae4bf7",
      "href": "/os-evidence/fdc79570153781fe424007770378ef36d8cb9c2ade857be55bc2b64ecbae4bf7.txt",
      "sha256": "fdc79570153781fe424007770378ef36d8cb9c2ade857be55bc2b64ecbae4bf7",
      "bytes": 28561,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "65139eb862755a2b06becded47abfeca43c697b93c91320fc02c3d46ab5e57e4",
      "href": "/os-evidence/65139eb862755a2b06becded47abfeca43c697b93c91320fc02c3d46ab5e57e4.txt",
      "sha256": "65139eb862755a2b06becded47abfeca43c697b93c91320fc02c3d46ab5e57e4",
      "bytes": 28561,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "50a57f7bc09a39c432d0f4c1155dcbfe86dcb74f78d6c9a28cda2fbbd742882d",
      "href": "/os-evidence/50a57f7bc09a39c432d0f4c1155dcbfe86dcb74f78d6c9a28cda2fbbd742882d.txt",
      "sha256": "50a57f7bc09a39c432d0f4c1155dcbfe86dcb74f78d6c9a28cda2fbbd742882d",
      "bytes": 28561,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "1e265f7b0becfcf982acbecb10985eae8806a19eaccbbb5d16abc9573404258f",
      "href": "/os-evidence/1e265f7b0becfcf982acbecb10985eae8806a19eaccbbb5d16abc9573404258f.txt",
      "sha256": "1e265f7b0becfcf982acbecb10985eae8806a19eaccbbb5d16abc9573404258f",
      "bytes": 23490,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "2ffee0df4b96fe72784bef65fecbe156c5f4caad56d525948c732f49b0905f0e",
      "href": "/os-evidence/2ffee0df4b96fe72784bef65fecbe156c5f4caad56d525948c732f49b0905f0e.txt",
      "sha256": "2ffee0df4b96fe72784bef65fecbe156c5f4caad56d525948c732f49b0905f0e",
      "bytes": 23490,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "d5bfcc8aac947abff7669daae716f87d868e93502f415411fe2444c66471dbed",
      "href": "/os-evidence/d5bfcc8aac947abff7669daae716f87d868e93502f415411fe2444c66471dbed.txt",
      "sha256": "d5bfcc8aac947abff7669daae716f87d868e93502f415411fe2444c66471dbed",
      "bytes": 23490,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "d9a817b21f42b8f712d47750c82fc28bdbd474167ed30d1b367f23d034b79628",
      "href": "/os-evidence/d9a817b21f42b8f712d47750c82fc28bdbd474167ed30d1b367f23d034b79628.txt",
      "sha256": "d9a817b21f42b8f712d47750c82fc28bdbd474167ed30d1b367f23d034b79628",
      "bytes": 29355,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "48322556ba3a28e439fbcc73ec7768bb4d7c324c1a45479cf7b96393678f14aa",
      "href": "/os-evidence/48322556ba3a28e439fbcc73ec7768bb4d7c324c1a45479cf7b96393678f14aa.txt",
      "sha256": "48322556ba3a28e439fbcc73ec7768bb4d7c324c1a45479cf7b96393678f14aa",
      "bytes": 29355,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "ad689d6a9ae8b0de9afe3099c0645ed8e73d62265d6baed47deb202c69db361a",
      "href": "/os-evidence/ad689d6a9ae8b0de9afe3099c0645ed8e73d62265d6baed47deb202c69db361a.txt",
      "sha256": "ad689d6a9ae8b0de9afe3099c0645ed8e73d62265d6baed47deb202c69db361a",
      "bytes": 29355,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-one-bank-direct-256/serial.log",
      "originalSha256": "79fe5b26fc6536facb1b90aa8a85813337fc58127ca4d052a50d9722dc90a629",
      "href": "/os-evidence/79fe5b26fc6536facb1b90aa8a85813337fc58127ca4d052a50d9722dc90a629.txt",
      "sha256": "79fe5b26fc6536facb1b90aa8a85813337fc58127ca4d052a50d9722dc90a629",
      "bytes": 11712,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-one-bank-direct-512/serial.log",
      "originalSha256": "9828c3c1dcbb0a4bee5e4cb4c18e04ef4c3d71744016acbaf83dc669c80bf88e",
      "href": "/os-evidence/9828c3c1dcbb0a4bee5e4cb4c18e04ef4c3d71744016acbaf83dc669c80bf88e.txt",
      "sha256": "9828c3c1dcbb0a4bee5e4cb4c18e04ef4c3d71744016acbaf83dc669c80bf88e",
      "bytes": 11712,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-one-bank-direct-1024/serial.log",
      "originalSha256": "c0855679b7170dfeb7a6320e9e19542d418403665a13284cb967aad3f57bceb0",
      "href": "/os-evidence/c0855679b7170dfeb7a6320e9e19542d418403665a13284cb967aad3f57bceb0.txt",
      "sha256": "c0855679b7170dfeb7a6320e9e19542d418403665a13284cb967aad3f57bceb0",
      "bytes": 11712,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-one-bank-uefi-256/serial.log",
      "originalSha256": "d3475a9053d3e12f1c55afaea35dcb3b5978d606e6762455208a47d2a8276dcd",
      "href": "/os-evidence/d3475a9053d3e12f1c55afaea35dcb3b5978d606e6762455208a47d2a8276dcd.txt",
      "sha256": "d3475a9053d3e12f1c55afaea35dcb3b5978d606e6762455208a47d2a8276dcd",
      "bytes": 17952,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-one-bank-uefi-512/serial.log",
      "originalSha256": "166cfac8bc5a8c615eb4d999f2b04aa88bb77c495c7405eb5edb990b1ad79b33",
      "href": "/os-evidence/166cfac8bc5a8c615eb4d999f2b04aa88bb77c495c7405eb5edb990b1ad79b33.txt",
      "sha256": "166cfac8bc5a8c615eb4d999f2b04aa88bb77c495c7405eb5edb990b1ad79b33",
      "bytes": 17952,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "045e91e352451e04860104e83330fad9b07cc16b04e38c613ede4ad8220f9f05",
      "href": "/os-evidence/045e91e352451e04860104e83330fad9b07cc16b04e38c613ede4ad8220f9f05.txt",
      "sha256": "045e91e352451e04860104e83330fad9b07cc16b04e38c613ede4ad8220f9f05",
      "bytes": 17952,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-two-banks-direct-256/serial.log",
      "originalSha256": "c8e5348fffcbd2e76139789ebc330ec4f0e2dd9c7ac3cf54a9f2f3b20a244748",
      "href": "/os-evidence/c8e5348fffcbd2e76139789ebc330ec4f0e2dd9c7ac3cf54a9f2f3b20a244748.txt",
      "sha256": "c8e5348fffcbd2e76139789ebc330ec4f0e2dd9c7ac3cf54a9f2f3b20a244748",
      "bytes": 12596,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-two-banks-direct-512/serial.log",
      "originalSha256": "a489687b7b68f6812f032def81ef2bc96f6a467e266e839abf3b71e3ac8fd9a1",
      "href": "/os-evidence/a489687b7b68f6812f032def81ef2bc96f6a467e266e839abf3b71e3ac8fd9a1.txt",
      "sha256": "a489687b7b68f6812f032def81ef2bc96f6a467e266e839abf3b71e3ac8fd9a1",
      "bytes": 12596,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-two-banks-direct-1024/serial.log",
      "originalSha256": "40cda69e09d21ada7d74d190b8c05efe3610ac51d5a82c38be480b1e0ebc7d8e",
      "href": "/os-evidence/40cda69e09d21ada7d74d190b8c05efe3610ac51d5a82c38be480b1e0ebc7d8e.txt",
      "sha256": "40cda69e09d21ada7d74d190b8c05efe3610ac51d5a82c38be480b1e0ebc7d8e",
      "bytes": 12596,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-two-banks-uefi-256/serial.log",
      "originalSha256": "274648172551b226edfe555dae2928dc87e8f13d04ce268a62db4138866db344",
      "href": "/os-evidence/274648172551b226edfe555dae2928dc87e8f13d04ce268a62db4138866db344.txt",
      "sha256": "274648172551b226edfe555dae2928dc87e8f13d04ce268a62db4138866db344",
      "bytes": 18746,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-two-banks-uefi-512/serial.log",
      "originalSha256": "84cb0de4e5271a1f4f619ceef4d66f558b4fad654946c86cb086af9286ca89f8",
      "href": "/os-evidence/84cb0de4e5271a1f4f619ceef4d66f558b4fad654946c86cb086af9286ca89f8.txt",
      "sha256": "84cb0de4e5271a1f4f619ceef4d66f558b4fad654946c86cb086af9286ca89f8",
      "bytes": 18746,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "cc2240937c4ff74633fa820b1f4d884b380f2b73e73b742019a93eeb519668de",
      "href": "/os-evidence/cc2240937c4ff74633fa820b1f4d884b380f2b73e73b742019a93eeb519668de.txt",
      "sha256": "cc2240937c4ff74633fa820b1f4d884b380f2b73e73b742019a93eeb519668de",
      "bytes": 18746,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/threads-fatal-one-bank-256/serial.log",
      "originalSha256": "6d6ff7541a478a6c4f91b60ab08e68f396830982bde5734c099007200fce7dc4",
      "href": "/os-evidence/6d6ff7541a478a6c4f91b60ab08e68f396830982bde5734c099007200fce7dc4.txt",
      "sha256": "6d6ff7541a478a6c4f91b60ab08e68f396830982bde5734c099007200fce7dc4",
      "bytes": 22774,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/threads-fatal-two-banks-256/serial.log",
      "originalSha256": "0429d7f10ddb69443317aed328875a766ae685610c2633538c73f05c58efd18f",
      "href": "/os-evidence/0429d7f10ddb69443317aed328875a766ae685610c2633538c73f05c58efd18f.txt",
      "sha256": "0429d7f10ddb69443317aed328875a766ae685610c2633538c73f05c58efd18f",
      "bytes": 29523,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/threads-fatal-one-bank-512/serial.log",
      "originalSha256": "a8dd388388bca13101b8b5ce79c6cdd569f571b19655932d02f3d2bf58868932",
      "href": "/os-evidence/a8dd388388bca13101b8b5ce79c6cdd569f571b19655932d02f3d2bf58868932.txt",
      "sha256": "a8dd388388bca13101b8b5ce79c6cdd569f571b19655932d02f3d2bf58868932",
      "bytes": 28729,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/threads-fatal-two-banks-512/serial.log",
      "originalSha256": "da6023789ea2f4f6125a5407cbb17068ce34087c692a8b49cbc3de5448139406",
      "href": "/os-evidence/da6023789ea2f4f6125a5407cbb17068ce34087c692a8b49cbc3de5448139406.txt",
      "sha256": "da6023789ea2f4f6125a5407cbb17068ce34087c692a8b49cbc3de5448139406",
      "bytes": 23658,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/threads-fatal-one-bank-1024/serial.log",
      "originalSha256": "404c16e237255d5655650e2db50b7e2e79f95fe8da8557118e1857c987531b86",
      "href": "/os-evidence/404c16e237255d5655650e2db50b7e2e79f95fe8da8557118e1857c987531b86.txt",
      "sha256": "404c16e237255d5655650e2db50b7e2e79f95fe8da8557118e1857c987531b86",
      "bytes": 22774,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1005-K1020-LFfI9H/threads-fatal-two-banks-1024/serial.log",
      "originalSha256": "bb6562a1763e5e01654414b22e075c2a523aa7d990d14a76271957087b7131d5",
      "href": "/os-evidence/bb6562a1763e5e01654414b22e075c2a523aa7d990d14a76271957087b7131d5.txt",
      "sha256": "bb6562a1763e5e01654414b22e075c2a523aa7d990d14a76271957087b7131d5",
      "bytes": 29523,
      "redacted": false
    }
  ],
  "moves": [
    "K1005",
    "K1010",
    "K1015",
    "K1020"
  ]
}