{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1065-K1080-IwxcBz/report.json",
    "sha256": "95c0d8a6a3ab1c5a14199b3a43a12f16953f39c32bea703935a037731ca875f8",
    "bytes": 145828011
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One actual bootstrap CPU executes three privately owned guarded28KiB thread continuations after the genuine complete K1060 episode. Seventy-two fresh chronological physical gates bind actual Queue/Completion/Table/Wait custody,640-byte cooperative saves and landings,848-byte IRQ frames,three completed Sleep episodes with at most two retained Waits,early signal before departure,one signal-versus-deadline winner,independent counter Timeout,cancellation and old wait generation refusal. Two actual IRQ deliveries and four single winners are source/counter bound. All27 typed pages return wholly erased and the central authority,whole original kernel table graph,primary guard,SP and interrupt authority are restored. Product performs no wait probe. Captured true pre0 bytes are exposed to frozen ancestor inspectors only after full own validation. This development episode does not establish arbitrary preemption,physical SMP,M1 hardware or an actual one-hour workload.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "581790b748bd7e5c403b4e2623817e5af18710eb1e24d24d0bc7c6165cb1ccb2",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "ea4d2e50df706a30fc3cf29bb292233ac151fb0135747e38c38382d6ccd72733",
      "href": "/os-evidence/ea4d2e50df706a30fc3cf29bb292233ac151fb0135747e38c38382d6ccd72733.txt",
      "sha256": "ea4d2e50df706a30fc3cf29bb292233ac151fb0135747e38c38382d6ccd72733",
      "bytes": 36608,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "65c656d761b965e4e5983a7ea7134f245b59551d35b6339786a6f8fd37c8fa33",
      "href": "/os-evidence/65c656d761b965e4e5983a7ea7134f245b59551d35b6339786a6f8fd37c8fa33.txt",
      "sha256": "65c656d761b965e4e5983a7ea7134f245b59551d35b6339786a6f8fd37c8fa33",
      "bytes": 36608,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "59761293e2fc3330cafdb468f05040f91f57e7d159ec420c2c44fbfc4f308ca1",
      "href": "/os-evidence/59761293e2fc3330cafdb468f05040f91f57e7d159ec420c2c44fbfc4f308ca1.txt",
      "sha256": "59761293e2fc3330cafdb468f05040f91f57e7d159ec420c2c44fbfc4f308ca1",
      "bytes": 36608,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "f78e71619b52e67a1bd76d3b534a0ee0556ef8d5327c239ee76775a177a6e6bb",
      "href": "/os-evidence/f78e71619b52e67a1bd76d3b534a0ee0556ef8d5327c239ee76775a177a6e6bb.txt",
      "sha256": "f78e71619b52e67a1bd76d3b534a0ee0556ef8d5327c239ee76775a177a6e6bb",
      "bytes": 42848,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "db2ec2f0e064c58bbfdce08b3de579d456613d42b3c7f35d2907b7c60361eb90",
      "href": "/os-evidence/db2ec2f0e064c58bbfdce08b3de579d456613d42b3c7f35d2907b7c60361eb90.txt",
      "sha256": "db2ec2f0e064c58bbfdce08b3de579d456613d42b3c7f35d2907b7c60361eb90",
      "bytes": 42848,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "01c3cb3208c3f8d380c20be153d4f1c18ec6b569a7cbe184ee6f0ec8f03ae05d",
      "href": "/os-evidence/01c3cb3208c3f8d380c20be153d4f1c18ec6b569a7cbe184ee6f0ec8f03ae05d.txt",
      "sha256": "01c3cb3208c3f8d380c20be153d4f1c18ec6b569a7cbe184ee6f0ec8f03ae05d",
      "bytes": 42848,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "2ccbda2e62b4301758ea1c6985d06883f3b510bc8240280d3f0184d1436577aa",
      "href": "/os-evidence/2ccbda2e62b4301758ea1c6985d06883f3b510bc8240280d3f0184d1436577aa.txt",
      "sha256": "2ccbda2e62b4301758ea1c6985d06883f3b510bc8240280d3f0184d1436577aa",
      "bytes": 37492,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "b934050d8919d254b5e70cd35bb5cc658ba20344df0b399f4eb8175261498a84",
      "href": "/os-evidence/b934050d8919d254b5e70cd35bb5cc658ba20344df0b399f4eb8175261498a84.txt",
      "sha256": "b934050d8919d254b5e70cd35bb5cc658ba20344df0b399f4eb8175261498a84",
      "bytes": 37492,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "36729c28d3f252c6d3c309bc6ca3aaa4312f23f901b12e9892a4d1ab998dc719",
      "href": "/os-evidence/36729c28d3f252c6d3c309bc6ca3aaa4312f23f901b12e9892a4d1ab998dc719.txt",
      "sha256": "36729c28d3f252c6d3c309bc6ca3aaa4312f23f901b12e9892a4d1ab998dc719",
      "bytes": 37492,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "02725595bd12000cf9137f2e1f511236fd8d2d009d7d520b22a537422383b4e3",
      "href": "/os-evidence/02725595bd12000cf9137f2e1f511236fd8d2d009d7d520b22a537422383b4e3.txt",
      "sha256": "02725595bd12000cf9137f2e1f511236fd8d2d009d7d520b22a537422383b4e3",
      "bytes": 43642,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "80da8d5b97f6fe3466281244ee88c5a936515035fdfc4c8ed8910d129ac0f75f",
      "href": "/os-evidence/80da8d5b97f6fe3466281244ee88c5a936515035fdfc4c8ed8910d129ac0f75f.txt",
      "sha256": "80da8d5b97f6fe3466281244ee88c5a936515035fdfc4c8ed8910d129ac0f75f",
      "bytes": 43642,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "b1457d7227ffeb2d3024d493f3d9b4f8242cc1e84dcc4982dd46d903bb2df6e9",
      "href": "/os-evidence/b1457d7227ffeb2d3024d493f3d9b4f8242cc1e84dcc4982dd46d903bb2df6e9.txt",
      "sha256": "b1457d7227ffeb2d3024d493f3d9b4f8242cc1e84dcc4982dd46d903bb2df6e9",
      "bytes": 43642,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-one-bank-direct-256/serial.log",
      "originalSha256": "2a6892111b1c76a42544e4a2d025b9638d8c7147c685df2a0a5a6dfc918e4e9b",
      "href": "/os-evidence/2a6892111b1c76a42544e4a2d025b9638d8c7147c685df2a0a5a6dfc918e4e9b.txt",
      "sha256": "2a6892111b1c76a42544e4a2d025b9638d8c7147c685df2a0a5a6dfc918e4e9b",
      "bytes": 11863,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-one-bank-direct-512/serial.log",
      "originalSha256": "b4d3a2e4ced93abb4bd8f2f88ca2ac5732928b49e95f7a0e63ab1fee0b11247e",
      "href": "/os-evidence/b4d3a2e4ced93abb4bd8f2f88ca2ac5732928b49e95f7a0e63ab1fee0b11247e.txt",
      "sha256": "b4d3a2e4ced93abb4bd8f2f88ca2ac5732928b49e95f7a0e63ab1fee0b11247e",
      "bytes": 11863,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-one-bank-direct-1024/serial.log",
      "originalSha256": "1c7b75f1c0450079d2c1b9fdee08f417317d8ed0546b8da1f2bcebd214c69707",
      "href": "/os-evidence/1c7b75f1c0450079d2c1b9fdee08f417317d8ed0546b8da1f2bcebd214c69707.txt",
      "sha256": "1c7b75f1c0450079d2c1b9fdee08f417317d8ed0546b8da1f2bcebd214c69707",
      "bytes": 11863,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-one-bank-uefi-256/serial.log",
      "originalSha256": "81c5f7f1e9dbee3e4d4ca732d3d791432346fefba1a08346d0910ba3fccec1f8",
      "href": "/os-evidence/81c5f7f1e9dbee3e4d4ca732d3d791432346fefba1a08346d0910ba3fccec1f8.txt",
      "sha256": "81c5f7f1e9dbee3e4d4ca732d3d791432346fefba1a08346d0910ba3fccec1f8",
      "bytes": 18103,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-one-bank-uefi-512/serial.log",
      "originalSha256": "0ec60f93b2b19c9ee711fddb5ef668eb7cfc8edd427b98fde59558a41d7cee51",
      "href": "/os-evidence/0ec60f93b2b19c9ee711fddb5ef668eb7cfc8edd427b98fde59558a41d7cee51.txt",
      "sha256": "0ec60f93b2b19c9ee711fddb5ef668eb7cfc8edd427b98fde59558a41d7cee51",
      "bytes": 18103,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "30dc9acf9d2edff267daffe3db45d46aa8af27af8134b9c7f679ee43162661b6",
      "href": "/os-evidence/30dc9acf9d2edff267daffe3db45d46aa8af27af8134b9c7f679ee43162661b6.txt",
      "sha256": "30dc9acf9d2edff267daffe3db45d46aa8af27af8134b9c7f679ee43162661b6",
      "bytes": 18103,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-two-banks-direct-256/serial.log",
      "originalSha256": "8acbfa44528a534080ff02e178de532641c622e1637d2e6bf85bf508202430f3",
      "href": "/os-evidence/8acbfa44528a534080ff02e178de532641c622e1637d2e6bf85bf508202430f3.txt",
      "sha256": "8acbfa44528a534080ff02e178de532641c622e1637d2e6bf85bf508202430f3",
      "bytes": 12747,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-two-banks-direct-512/serial.log",
      "originalSha256": "6362c6db0373cd4b38b8d9d3ed7afb93f98d10b9cf2cdb23d152540ba43301e5",
      "href": "/os-evidence/6362c6db0373cd4b38b8d9d3ed7afb93f98d10b9cf2cdb23d152540ba43301e5.txt",
      "sha256": "6362c6db0373cd4b38b8d9d3ed7afb93f98d10b9cf2cdb23d152540ba43301e5",
      "bytes": 12747,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-two-banks-direct-1024/serial.log",
      "originalSha256": "c450a1540032848513e4063de14918d955ed0811a064086160ed40f3a840bb5d",
      "href": "/os-evidence/c450a1540032848513e4063de14918d955ed0811a064086160ed40f3a840bb5d.txt",
      "sha256": "c450a1540032848513e4063de14918d955ed0811a064086160ed40f3a840bb5d",
      "bytes": 12747,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-two-banks-uefi-256/serial.log",
      "originalSha256": "c50fd752edc48fa77fedde54b67b6fea874bf8e252f3aa84fa7a1445748bba43",
      "href": "/os-evidence/c50fd752edc48fa77fedde54b67b6fea874bf8e252f3aa84fa7a1445748bba43.txt",
      "sha256": "c50fd752edc48fa77fedde54b67b6fea874bf8e252f3aa84fa7a1445748bba43",
      "bytes": 18897,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-two-banks-uefi-512/serial.log",
      "originalSha256": "fc80f0803495665fdf291aaeb4ae9ec4af7cfc42ade8d0dffa7cf65484e2f431",
      "href": "/os-evidence/fc80f0803495665fdf291aaeb4ae9ec4af7cfc42ade8d0dffa7cf65484e2f431.txt",
      "sha256": "fc80f0803495665fdf291aaeb4ae9ec4af7cfc42ade8d0dffa7cf65484e2f431",
      "bytes": 18897,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1065-K1080-IwxcBz/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "248eeabcd080c8301ca224924714a2ed918e168c0a3ee53722433ca9afd73f55",
      "href": "/os-evidence/248eeabcd080c8301ca224924714a2ed918e168c0a3ee53722433ca9afd73f55.txt",
      "sha256": "248eeabcd080c8301ca224924714a2ed918e168c0a3ee53722433ca9afd73f55",
      "bytes": 18897,
      "redacted": false
    }
  ],
  "moves": [
    "K1065",
    "K1070",
    "K1075",
    "K1080"
  ]
}
