{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1045-K1060-7GFa7T/report.json",
    "sha256": "adf6405079e3038180fec763764b5d37e4681f479598cc83c4c4874b296429a6",
    "bytes": 91354338
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One actual bootstrap CPU runs three independently owned kernel thread continuations on private roots and guarded28KiB stacks. Actual Ready FIFO duplicate refusal, retained Table Wait sleep/wake, thirty live848-byte timer IRQs and single-use Normal4/Low2 charges are bound at eighty-two physical gates. Actual EL0 class2 SVC is refused before mutable Queue ingress. This controlled episode measures24Normal/6Low ticks and three CPU-heavy task progress counters without fairness or arbitrary preemption claims. Whole8MiB Image guard AT/PAR and retained kernel table ownership are checked; twenty-seven typed thread pages and six user pages return wholly erased with exact central inventory and original primary SP/canaries restored. Product performs no probe. M1, SMP contention, general preemption and actual one-hour workload remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "1de8836ddfd151407b79fb1dee0c26bd8020e7ff971a6b27cd5a441f65d56a97",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "cc96a2b517b8e39dd345d0ba524adfaa2cd292b0b2ffa3ba9071f056fcd29848",
      "href": "/os-evidence/cc96a2b517b8e39dd345d0ba524adfaa2cd292b0b2ffa3ba9071f056fcd29848.txt",
      "sha256": "cc96a2b517b8e39dd345d0ba524adfaa2cd292b0b2ffa3ba9071f056fcd29848",
      "bytes": 30701,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "686331dfee097a8f58392fc07731d28af642ee28488765a7587a9e003ce83272",
      "href": "/os-evidence/686331dfee097a8f58392fc07731d28af642ee28488765a7587a9e003ce83272.txt",
      "sha256": "686331dfee097a8f58392fc07731d28af642ee28488765a7587a9e003ce83272",
      "bytes": 30701,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "c744137464bb6d042a20d8550c00f5bc56805355a89a125723519ae186c4acc5",
      "href": "/os-evidence/c744137464bb6d042a20d8550c00f5bc56805355a89a125723519ae186c4acc5.txt",
      "sha256": "c744137464bb6d042a20d8550c00f5bc56805355a89a125723519ae186c4acc5",
      "bytes": 30701,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "f181309c38d79c8d78964b1ec4e8b15946585a124523111a58cccd05c55658a8",
      "href": "/os-evidence/f181309c38d79c8d78964b1ec4e8b15946585a124523111a58cccd05c55658a8.txt",
      "sha256": "f181309c38d79c8d78964b1ec4e8b15946585a124523111a58cccd05c55658a8",
      "bytes": 36941,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "5ef47c9fe4a61d718abd51c70af548a30605c2743a0dbb1084c95e5e58243df8",
      "href": "/os-evidence/5ef47c9fe4a61d718abd51c70af548a30605c2743a0dbb1084c95e5e58243df8.txt",
      "sha256": "5ef47c9fe4a61d718abd51c70af548a30605c2743a0dbb1084c95e5e58243df8",
      "bytes": 36941,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "b266b7e493140855bee51624a697a2cb43cd3f2e24f5e54ce56f631fab91bd6c",
      "href": "/os-evidence/b266b7e493140855bee51624a697a2cb43cd3f2e24f5e54ce56f631fab91bd6c.txt",
      "sha256": "b266b7e493140855bee51624a697a2cb43cd3f2e24f5e54ce56f631fab91bd6c",
      "bytes": 36941,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "6c343419934fbd5bc04718b9d963d66d6bdbf3706093ca138ccb2951ed85f695",
      "href": "/os-evidence/6c343419934fbd5bc04718b9d963d66d6bdbf3706093ca138ccb2951ed85f695.txt",
      "sha256": "6c343419934fbd5bc04718b9d963d66d6bdbf3706093ca138ccb2951ed85f695",
      "bytes": 31585,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "42fc2fef564b9adfed0b45fff9a009b389bb6fb722b272475788f466d3d9425a",
      "href": "/os-evidence/42fc2fef564b9adfed0b45fff9a009b389bb6fb722b272475788f466d3d9425a.txt",
      "sha256": "42fc2fef564b9adfed0b45fff9a009b389bb6fb722b272475788f466d3d9425a",
      "bytes": 31585,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "6ea47ed5e7c53dcef782934927ce21766cee03e4bdd1bd6990df7a16533d290f",
      "href": "/os-evidence/6ea47ed5e7c53dcef782934927ce21766cee03e4bdd1bd6990df7a16533d290f.txt",
      "sha256": "6ea47ed5e7c53dcef782934927ce21766cee03e4bdd1bd6990df7a16533d290f",
      "bytes": 31585,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "73c9fb870bb1590042931bbe2bab4647c163b1e6175af35dd5a6b3755c54b401",
      "href": "/os-evidence/73c9fb870bb1590042931bbe2bab4647c163b1e6175af35dd5a6b3755c54b401.txt",
      "sha256": "73c9fb870bb1590042931bbe2bab4647c163b1e6175af35dd5a6b3755c54b401",
      "bytes": 37735,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "7aa3f08ddf508740d8a43a9296351ecea7abd6c94875bb011a3ac749ce2db0d7",
      "href": "/os-evidence/7aa3f08ddf508740d8a43a9296351ecea7abd6c94875bb011a3ac749ce2db0d7.txt",
      "sha256": "7aa3f08ddf508740d8a43a9296351ecea7abd6c94875bb011a3ac749ce2db0d7",
      "bytes": 37735,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "53c1014f6b440bb22a3267f4dd7cecb537956dd7b817631eca32d5ac5d996d44",
      "href": "/os-evidence/53c1014f6b440bb22a3267f4dd7cecb537956dd7b817631eca32d5ac5d996d44.txt",
      "sha256": "53c1014f6b440bb22a3267f4dd7cecb537956dd7b817631eca32d5ac5d996d44",
      "bytes": 37735,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-one-bank-direct-256/serial.log",
      "originalSha256": "9178b38dc778cb3e33a61d752d7e2c0e52e4c7bb500c6820dfb1ec1bf126d7a6",
      "href": "/os-evidence/9178b38dc778cb3e33a61d752d7e2c0e52e4c7bb500c6820dfb1ec1bf126d7a6.txt",
      "sha256": "9178b38dc778cb3e33a61d752d7e2c0e52e4c7bb500c6820dfb1ec1bf126d7a6",
      "bytes": 11815,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-one-bank-direct-512/serial.log",
      "originalSha256": "c7d7c0a6079a3d22b140538101cb82259062f87073253a832d4ff7e0611fc391",
      "href": "/os-evidence/c7d7c0a6079a3d22b140538101cb82259062f87073253a832d4ff7e0611fc391.txt",
      "sha256": "c7d7c0a6079a3d22b140538101cb82259062f87073253a832d4ff7e0611fc391",
      "bytes": 11815,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-one-bank-direct-1024/serial.log",
      "originalSha256": "c8c1bf7429bddc7c1e34728e3e144b20027c8df461c990f2aee02a4a150d9096",
      "href": "/os-evidence/c8c1bf7429bddc7c1e34728e3e144b20027c8df461c990f2aee02a4a150d9096.txt",
      "sha256": "c8c1bf7429bddc7c1e34728e3e144b20027c8df461c990f2aee02a4a150d9096",
      "bytes": 11815,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-one-bank-uefi-256/serial.log",
      "originalSha256": "b0f5dc42dc90ba5ed5ab81f12ee7ca3d2124d13236c87de6759e97959d311e2a",
      "href": "/os-evidence/b0f5dc42dc90ba5ed5ab81f12ee7ca3d2124d13236c87de6759e97959d311e2a.txt",
      "sha256": "b0f5dc42dc90ba5ed5ab81f12ee7ca3d2124d13236c87de6759e97959d311e2a",
      "bytes": 18055,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-one-bank-uefi-512/serial.log",
      "originalSha256": "66f98ab4966c00fa49072d9161090d5f7f5d38e041bdd3e0e016dc36f6bf9ad9",
      "href": "/os-evidence/66f98ab4966c00fa49072d9161090d5f7f5d38e041bdd3e0e016dc36f6bf9ad9.txt",
      "sha256": "66f98ab4966c00fa49072d9161090d5f7f5d38e041bdd3e0e016dc36f6bf9ad9",
      "bytes": 18055,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "d368ba937e727c8863df4730f709b8314ede624f88c3dca52a4794f9147526bf",
      "href": "/os-evidence/d368ba937e727c8863df4730f709b8314ede624f88c3dca52a4794f9147526bf.txt",
      "sha256": "d368ba937e727c8863df4730f709b8314ede624f88c3dca52a4794f9147526bf",
      "bytes": 18055,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-two-banks-direct-256/serial.log",
      "originalSha256": "2bdd05830d82ec30368fab48b6af12a7a96e133802600a296e31e8b1f2a45b2d",
      "href": "/os-evidence/2bdd05830d82ec30368fab48b6af12a7a96e133802600a296e31e8b1f2a45b2d.txt",
      "sha256": "2bdd05830d82ec30368fab48b6af12a7a96e133802600a296e31e8b1f2a45b2d",
      "bytes": 12699,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-two-banks-direct-512/serial.log",
      "originalSha256": "762675c5665957c86cf356f7b413dbcf872e70f666ac99757c095a083008666d",
      "href": "/os-evidence/762675c5665957c86cf356f7b413dbcf872e70f666ac99757c095a083008666d.txt",
      "sha256": "762675c5665957c86cf356f7b413dbcf872e70f666ac99757c095a083008666d",
      "bytes": 12699,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-two-banks-direct-1024/serial.log",
      "originalSha256": "72efd466a18fb7bd91a96786daa3d5ccadc6fbb76a7c3b7e47f285f6affe88cc",
      "href": "/os-evidence/72efd466a18fb7bd91a96786daa3d5ccadc6fbb76a7c3b7e47f285f6affe88cc.txt",
      "sha256": "72efd466a18fb7bd91a96786daa3d5ccadc6fbb76a7c3b7e47f285f6affe88cc",
      "bytes": 12699,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-two-banks-uefi-256/serial.log",
      "originalSha256": "66436e34c0ec4e6e4027ae03d830506ca6a87d30b1f3ce48fcabb57474007ed7",
      "href": "/os-evidence/66436e34c0ec4e6e4027ae03d830506ca6a87d30b1f3ce48fcabb57474007ed7.txt",
      "sha256": "66436e34c0ec4e6e4027ae03d830506ca6a87d30b1f3ce48fcabb57474007ed7",
      "bytes": 18849,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-two-banks-uefi-512/serial.log",
      "originalSha256": "72ec25ed58172e8da1733e2064c3cc0bc978da2b971f25f98692ad3c70809fe4",
      "href": "/os-evidence/72ec25ed58172e8da1733e2064c3cc0bc978da2b971f25f98692ad3c70809fe4.txt",
      "sha256": "72ec25ed58172e8da1733e2064c3cc0bc978da2b971f25f98692ad3c70809fe4",
      "bytes": 18849,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1045-K1060-7GFa7T/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "17cd7ad74de72acc08da9fde4f0901fe002e16bfb53d5376fb1f8e47814454cf",
      "href": "/os-evidence/17cd7ad74de72acc08da9fde4f0901fe002e16bfb53d5376fb1f8e47814454cf.txt",
      "sha256": "17cd7ad74de72acc08da9fde4f0901fe002e16bfb53d5376fb1f8e47814454cf",
      "bytes": 18849,
      "redacted": false
    }
  ],
  "moves": [
    "K1045",
    "K1050",
    "K1055",
    "K1060"
  ]
}