{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K945-K960-Sc0mSU/report.json",
    "sha256": "afb35875d0f34bb2ca01e28180d328d2d8c9a7fb6f97e4beb1a0d6421ee3aea7",
    "bytes": 13583389
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One bootstrap CPU transfers its actual physical timer PPI binding into an exclusive bounded timer bank. Real frequency/counter/CVAL/control readbacks, five actual IRQs, two independent six-page EL0 roots and stacks, six scheduler-selected EL0 executions and four main-only callbacks prove deadline order, missed periods and stale held expiry refusal after same-slot rearm. Absolute CVAL programming has barriers/readback and a conservative horizon below2^55; hardware counter width is not inferred. Full page walks, whole page erasure, exact central inventories, raw848-byte frames and genuine pre-clock IRQ27/current32 are independently checked before saved predecessor histories. Product performs no clock probe. Release, general preemption, SMP and matching physical M1 remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "d64090f990219a5bdfb8761dce904673f29bb94c66243746bdb4113909eb27fa",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "44ce53328248d7238b34b946980ddf00fe33caa7666322fda07138faf616d7f2",
      "href": "/os-evidence/44ce53328248d7238b34b946980ddf00fe33caa7666322fda07138faf616d7f2.txt",
      "sha256": "44ce53328248d7238b34b946980ddf00fe33caa7666322fda07138faf616d7f2",
      "bytes": 19235,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "64079d1383285fa7dbf0d66e7bc08db687ddc8334e78afc61476362735433a20",
      "href": "/os-evidence/64079d1383285fa7dbf0d66e7bc08db687ddc8334e78afc61476362735433a20.txt",
      "sha256": "64079d1383285fa7dbf0d66e7bc08db687ddc8334e78afc61476362735433a20",
      "bytes": 19235,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "88ef1810c348f79e91e0180a2490e7c174e1ef1c97dde01cc2863c3b3958fe27",
      "href": "/os-evidence/88ef1810c348f79e91e0180a2490e7c174e1ef1c97dde01cc2863c3b3958fe27.txt",
      "sha256": "88ef1810c348f79e91e0180a2490e7c174e1ef1c97dde01cc2863c3b3958fe27",
      "bytes": 19235,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "de8b0ae257927c9ab936a010ab8393ffce2666917b236698213ad10be943dda1",
      "href": "/os-evidence/de8b0ae257927c9ab936a010ab8393ffce2666917b236698213ad10be943dda1.txt",
      "sha256": "de8b0ae257927c9ab936a010ab8393ffce2666917b236698213ad10be943dda1",
      "bytes": 25475,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "719c9f610927554259affcc51551060235c76f5b6643d5695e12afa2ccd14d92",
      "href": "/os-evidence/719c9f610927554259affcc51551060235c76f5b6643d5695e12afa2ccd14d92.txt",
      "sha256": "719c9f610927554259affcc51551060235c76f5b6643d5695e12afa2ccd14d92",
      "bytes": 25475,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "98ba52d69e95940558caa45fcad27157705e386b011d35f1d69ad68bf042f38e",
      "href": "/os-evidence/98ba52d69e95940558caa45fcad27157705e386b011d35f1d69ad68bf042f38e.txt",
      "sha256": "98ba52d69e95940558caa45fcad27157705e386b011d35f1d69ad68bf042f38e",
      "bytes": 25475,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "c4b82e55797c07b5d7a62d8a0412be5b893dc8d3000c1bc82bcaf4c507853544",
      "href": "/os-evidence/c4b82e55797c07b5d7a62d8a0412be5b893dc8d3000c1bc82bcaf4c507853544.txt",
      "sha256": "c4b82e55797c07b5d7a62d8a0412be5b893dc8d3000c1bc82bcaf4c507853544",
      "bytes": 20119,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "956cf6b89773ee2124d05658265a1c107d8624fb1514bdb1b1efb285c81bab04",
      "href": "/os-evidence/956cf6b89773ee2124d05658265a1c107d8624fb1514bdb1b1efb285c81bab04.txt",
      "sha256": "956cf6b89773ee2124d05658265a1c107d8624fb1514bdb1b1efb285c81bab04",
      "bytes": 20119,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "03e55e7dd358715d4a1bb2ef30324ec1f13e295231e45d093120c248ec49e07e",
      "href": "/os-evidence/03e55e7dd358715d4a1bb2ef30324ec1f13e295231e45d093120c248ec49e07e.txt",
      "sha256": "03e55e7dd358715d4a1bb2ef30324ec1f13e295231e45d093120c248ec49e07e",
      "bytes": 20119,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "3d672f3cbd567fe74e152bc3fd1b13683cf8583f8e6deda47d6bb07c4fa73a35",
      "href": "/os-evidence/3d672f3cbd567fe74e152bc3fd1b13683cf8583f8e6deda47d6bb07c4fa73a35.txt",
      "sha256": "3d672f3cbd567fe74e152bc3fd1b13683cf8583f8e6deda47d6bb07c4fa73a35",
      "bytes": 26269,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "5a3946216c02fbf6ef2c0de5a909b097b532a03c79684530ed26c17c3f3719a8",
      "href": "/os-evidence/5a3946216c02fbf6ef2c0de5a909b097b532a03c79684530ed26c17c3f3719a8.txt",
      "sha256": "5a3946216c02fbf6ef2c0de5a909b097b532a03c79684530ed26c17c3f3719a8",
      "bytes": 26269,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "71bc25ff679bfd710751baa9f51495c667b3cd81251167b2f2f7ad5be429c308",
      "href": "/os-evidence/71bc25ff679bfd710751baa9f51495c667b3cd81251167b2f2f7ad5be429c308.txt",
      "sha256": "71bc25ff679bfd710751baa9f51495c667b3cd81251167b2f2f7ad5be429c308",
      "bytes": 26269,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-one-bank-direct-256/serial.log",
      "originalSha256": "046c7b525ff80335a865b2d010535ec67a245d3515c8b4bffb419c74e665e455",
      "href": "/os-evidence/046c7b525ff80335a865b2d010535ec67a245d3515c8b4bffb419c74e665e455.txt",
      "sha256": "046c7b525ff80335a865b2d010535ec67a245d3515c8b4bffb419c74e665e455",
      "bytes": 11560,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-one-bank-direct-512/serial.log",
      "originalSha256": "97d240396241c5ec6be8b584936ef52ecc48966216122e8b93108fc30da2bb00",
      "href": "/os-evidence/97d240396241c5ec6be8b584936ef52ecc48966216122e8b93108fc30da2bb00.txt",
      "sha256": "97d240396241c5ec6be8b584936ef52ecc48966216122e8b93108fc30da2bb00",
      "bytes": 11560,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-one-bank-direct-1024/serial.log",
      "originalSha256": "a9e6b85e178af6def432b72ec426b031e12d648d6cd5ff723d95031da6150833",
      "href": "/os-evidence/a9e6b85e178af6def432b72ec426b031e12d648d6cd5ff723d95031da6150833.txt",
      "sha256": "a9e6b85e178af6def432b72ec426b031e12d648d6cd5ff723d95031da6150833",
      "bytes": 11560,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-one-bank-uefi-256/serial.log",
      "originalSha256": "81f96ab9d4ae4bee67d6041f5ed33b56201d1ed689b840d8bafde12b4b2db648",
      "href": "/os-evidence/81f96ab9d4ae4bee67d6041f5ed33b56201d1ed689b840d8bafde12b4b2db648.txt",
      "sha256": "81f96ab9d4ae4bee67d6041f5ed33b56201d1ed689b840d8bafde12b4b2db648",
      "bytes": 17515,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-one-bank-uefi-512/serial.log",
      "originalSha256": "9cf7affb313b163563b42b12d77e5cfaac3ddbc83a7880865dc7b0ebf9beaa01",
      "href": "/os-evidence/9cf7affb313b163563b42b12d77e5cfaac3ddbc83a7880865dc7b0ebf9beaa01.txt",
      "sha256": "9cf7affb313b163563b42b12d77e5cfaac3ddbc83a7880865dc7b0ebf9beaa01",
      "bytes": 17515,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "19813fe0f86626e98ba64e8b9c132488ddfda87e96fd9b0ea8330f9314373d9f",
      "href": "/os-evidence/19813fe0f86626e98ba64e8b9c132488ddfda87e96fd9b0ea8330f9314373d9f.txt",
      "sha256": "19813fe0f86626e98ba64e8b9c132488ddfda87e96fd9b0ea8330f9314373d9f",
      "bytes": 17515,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-two-banks-direct-256/serial.log",
      "originalSha256": "34a2ed6cd6f9f52542fbcfaba52640c36da482f5ce8a22702e1ef38eb20827ed",
      "href": "/os-evidence/34a2ed6cd6f9f52542fbcfaba52640c36da482f5ce8a22702e1ef38eb20827ed.txt",
      "sha256": "34a2ed6cd6f9f52542fbcfaba52640c36da482f5ce8a22702e1ef38eb20827ed",
      "bytes": 12444,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-two-banks-direct-512/serial.log",
      "originalSha256": "dcad89c34f26958375fab10d649bc05d4d08769b7209598a9be6c131852e7aee",
      "href": "/os-evidence/dcad89c34f26958375fab10d649bc05d4d08769b7209598a9be6c131852e7aee.txt",
      "sha256": "dcad89c34f26958375fab10d649bc05d4d08769b7209598a9be6c131852e7aee",
      "bytes": 12444,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-two-banks-direct-1024/serial.log",
      "originalSha256": "95a8e81330709da61fd6bced71f8958fb988c1e2934e9c5b0d6f3287dae3a517",
      "href": "/os-evidence/95a8e81330709da61fd6bced71f8958fb988c1e2934e9c5b0d6f3287dae3a517.txt",
      "sha256": "95a8e81330709da61fd6bced71f8958fb988c1e2934e9c5b0d6f3287dae3a517",
      "bytes": 12444,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-two-banks-uefi-256/serial.log",
      "originalSha256": "b0b650708c5bedcd4e6f071aef5f22cdd901057c356a8ed6954c986288dbc832",
      "href": "/os-evidence/b0b650708c5bedcd4e6f071aef5f22cdd901057c356a8ed6954c986288dbc832.txt",
      "sha256": "b0b650708c5bedcd4e6f071aef5f22cdd901057c356a8ed6954c986288dbc832",
      "bytes": 18309,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-two-banks-uefi-512/serial.log",
      "originalSha256": "a769a2ab0f6388228c4aeedb15deb36a362f80ffac2e5dda9fe22809c8d3995f",
      "href": "/os-evidence/a769a2ab0f6388228c4aeedb15deb36a362f80ffac2e5dda9fe22809c8d3995f.txt",
      "sha256": "a769a2ab0f6388228c4aeedb15deb36a362f80ffac2e5dda9fe22809c8d3995f",
      "bytes": 18309,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K945-K960-Sc0mSU/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "c6b89c4ac48446fbf775f3f4c7eb911373d4cbd65a2df449de7e1b9838e81451",
      "href": "/os-evidence/c6b89c4ac48446fbf775f3f4c7eb911373d4cbd65a2df449de7e1b9838e81451.txt",
      "sha256": "c6b89c4ac48446fbf775f3f4c7eb911373d4cbd65a2df449de7e1b9838e81451",
      "bytes": 18309,
      "redacted": false
    }
  ],
  "moves": [
    "K945",
    "K950",
    "K955",
    "K960"
  ]
}