{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K985-K1000-HXdORh/report.json",
    "sha256": "5b872530e51fccc25ddb2d9c3712152c86fb1ca7e7b86e049512f175b4c24e12",
    "bytes": 18407493
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One actual bootstrap CPU receives16 VirtIO RX completions through12 real NET SPI entries while eight nonclone detached task work leases occupy a bounded queue. A distinct producer completion is refused before retain with exact loss counters, and a forged Task argument is rejected by actual IRQ resource observation before mutable access. The worker performs13 actual VirtIO TX replies without a Queue/backend/Registry/Runtime loan. Two separately issued service registrations retain immutable context pages, source generations, owner and distinct callback PCs; coalescing matches device plus source epoch plus registration generation, and old work keeps its original callback. All19 physical backing pages and35 nonclone metadata Pins remain held through drain and the final running job, then the device is stopped, Pins consumed and backing erased with exact central restoration. Ten raw CPU/QMP/RSP checkpoints bind typed lease/metadata generations and whole buffers before historical IRQ34 projections. Product performs no deferred probe. This proves one CPU nonpreemptive bootstrap task/IRQ cooperation; physical M1, K970 actual two CPU contention, general preemption and release remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "83537f9ff25e09612d8022c2548a698c530d3c026bf92c290a2c030284bbcc23",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "6402a41a0e2458f66f486b0c8efe9d769e9474a45f2d56cf1689a4d3c0cd21a3",
      "href": "/os-evidence/6402a41a0e2458f66f486b0c8efe9d769e9474a45f2d56cf1689a4d3c0cd21a3.txt",
      "sha256": "6402a41a0e2458f66f486b0c8efe9d769e9474a45f2d56cf1689a4d3c0cd21a3",
      "bytes": 21842,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "87a5169278f859ca73ef5553f011794212e72356dfb1011336d8b5ac25d6ae96",
      "href": "/os-evidence/87a5169278f859ca73ef5553f011794212e72356dfb1011336d8b5ac25d6ae96.txt",
      "sha256": "87a5169278f859ca73ef5553f011794212e72356dfb1011336d8b5ac25d6ae96",
      "bytes": 21842,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "ed6d236e6bb56ce628eec09ec543f37cc0e40809ac8facd84078c7bd9f451096",
      "href": "/os-evidence/ed6d236e6bb56ce628eec09ec543f37cc0e40809ac8facd84078c7bd9f451096.txt",
      "sha256": "ed6d236e6bb56ce628eec09ec543f37cc0e40809ac8facd84078c7bd9f451096",
      "bytes": 21842,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "226e0dcc37ee90d0b27f2c86520428b0c66a034d02346be0973df908692b5dc3",
      "href": "/os-evidence/226e0dcc37ee90d0b27f2c86520428b0c66a034d02346be0973df908692b5dc3.txt",
      "sha256": "226e0dcc37ee90d0b27f2c86520428b0c66a034d02346be0973df908692b5dc3",
      "bytes": 28082,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "083c8c2bcf143ae35ec42bbd60528ab176c9022960476378360274ccb60eceaa",
      "href": "/os-evidence/083c8c2bcf143ae35ec42bbd60528ab176c9022960476378360274ccb60eceaa.txt",
      "sha256": "083c8c2bcf143ae35ec42bbd60528ab176c9022960476378360274ccb60eceaa",
      "bytes": 28082,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "9c156eed0289aa6bb4bbc565c8cbd4df5406c81407c84f0e4ebfbb4de80fa7fa",
      "href": "/os-evidence/9c156eed0289aa6bb4bbc565c8cbd4df5406c81407c84f0e4ebfbb4de80fa7fa.txt",
      "sha256": "9c156eed0289aa6bb4bbc565c8cbd4df5406c81407c84f0e4ebfbb4de80fa7fa",
      "bytes": 28082,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "4f1f4f3721d6bd0077deb0bc30f76bed9263bb446cb164c72a82843b5109bb3f",
      "href": "/os-evidence/4f1f4f3721d6bd0077deb0bc30f76bed9263bb446cb164c72a82843b5109bb3f.txt",
      "sha256": "4f1f4f3721d6bd0077deb0bc30f76bed9263bb446cb164c72a82843b5109bb3f",
      "bytes": 22726,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "1374b8ae8e954a960351e3e0f247a82fdf8d01935b0e25fe55a69d2eab4c299e",
      "href": "/os-evidence/1374b8ae8e954a960351e3e0f247a82fdf8d01935b0e25fe55a69d2eab4c299e.txt",
      "sha256": "1374b8ae8e954a960351e3e0f247a82fdf8d01935b0e25fe55a69d2eab4c299e",
      "bytes": 22726,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "611e784435f4a0568e48d417299c39ff477d893d442fd4eb92057360685d5214",
      "href": "/os-evidence/611e784435f4a0568e48d417299c39ff477d893d442fd4eb92057360685d5214.txt",
      "sha256": "611e784435f4a0568e48d417299c39ff477d893d442fd4eb92057360685d5214",
      "bytes": 22726,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "fc37ad9920d777c716cf2744486a1e02807a9b2a75d8bcd8e447dfdf95a9f843",
      "href": "/os-evidence/fc37ad9920d777c716cf2744486a1e02807a9b2a75d8bcd8e447dfdf95a9f843.txt",
      "sha256": "fc37ad9920d777c716cf2744486a1e02807a9b2a75d8bcd8e447dfdf95a9f843",
      "bytes": 28876,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "d8ee9eaefa145a5fa0d88b4f4d526a818464cda6254267aaffea51ca4d547707",
      "href": "/os-evidence/d8ee9eaefa145a5fa0d88b4f4d526a818464cda6254267aaffea51ca4d547707.txt",
      "sha256": "d8ee9eaefa145a5fa0d88b4f4d526a818464cda6254267aaffea51ca4d547707",
      "bytes": 28876,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "7cbd7045fc970a2ee1fcfadc8cb296bde65871fa0df57e56ed089e7409169d39",
      "href": "/os-evidence/7cbd7045fc970a2ee1fcfadc8cb296bde65871fa0df57e56ed089e7409169d39.txt",
      "sha256": "7cbd7045fc970a2ee1fcfadc8cb296bde65871fa0df57e56ed089e7409169d39",
      "bytes": 28876,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-one-bank-direct-256/serial.log",
      "originalSha256": "c357801ed6bcc936d3e4ab4b2ab124ada585d7d9f736f5168910a89341983dea",
      "href": "/os-evidence/c357801ed6bcc936d3e4ab4b2ab124ada585d7d9f736f5168910a89341983dea.txt",
      "sha256": "c357801ed6bcc936d3e4ab4b2ab124ada585d7d9f736f5168910a89341983dea",
      "bytes": 11662,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-one-bank-direct-512/serial.log",
      "originalSha256": "530017fa8c7ab4d1a7c054623e0448448db51fc569ba4c902ac3970ce7c2aebd",
      "href": "/os-evidence/530017fa8c7ab4d1a7c054623e0448448db51fc569ba4c902ac3970ce7c2aebd.txt",
      "sha256": "530017fa8c7ab4d1a7c054623e0448448db51fc569ba4c902ac3970ce7c2aebd",
      "bytes": 11662,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-one-bank-direct-1024/serial.log",
      "originalSha256": "854295b759563d1a71202af17feacef3179210afcf6a508c59dade5f3a7c24ea",
      "href": "/os-evidence/854295b759563d1a71202af17feacef3179210afcf6a508c59dade5f3a7c24ea.txt",
      "sha256": "854295b759563d1a71202af17feacef3179210afcf6a508c59dade5f3a7c24ea",
      "bytes": 11662,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-one-bank-uefi-256/serial.log",
      "originalSha256": "887303022e1ae10fe084813c7ed5d4c25317f022a814646e0fb54ba7d10818e0",
      "href": "/os-evidence/887303022e1ae10fe084813c7ed5d4c25317f022a814646e0fb54ba7d10818e0.txt",
      "sha256": "887303022e1ae10fe084813c7ed5d4c25317f022a814646e0fb54ba7d10818e0",
      "bytes": 17617,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-one-bank-uefi-512/serial.log",
      "originalSha256": "9d08698f67b97d267a0a9f9c4620b1eff5fff3975826c531a9b08446335cc247",
      "href": "/os-evidence/9d08698f67b97d267a0a9f9c4620b1eff5fff3975826c531a9b08446335cc247.txt",
      "sha256": "9d08698f67b97d267a0a9f9c4620b1eff5fff3975826c531a9b08446335cc247",
      "bytes": 17617,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "e97400848604166a2edf43ab7caccc3eb257e3a5caeaf45fc3b7965159df7e5e",
      "href": "/os-evidence/e97400848604166a2edf43ab7caccc3eb257e3a5caeaf45fc3b7965159df7e5e.txt",
      "sha256": "e97400848604166a2edf43ab7caccc3eb257e3a5caeaf45fc3b7965159df7e5e",
      "bytes": 17617,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-two-banks-direct-256/serial.log",
      "originalSha256": "28230883c48d5c2b3d7162b66c446f3e1a7021a9a05f4782fc50693ee04cb013",
      "href": "/os-evidence/28230883c48d5c2b3d7162b66c446f3e1a7021a9a05f4782fc50693ee04cb013.txt",
      "sha256": "28230883c48d5c2b3d7162b66c446f3e1a7021a9a05f4782fc50693ee04cb013",
      "bytes": 12546,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-two-banks-direct-512/serial.log",
      "originalSha256": "e47cfe9eebffa01358a27d2fe9d4974f2313cfd22ba1e850ddd9e50efb60b11b",
      "href": "/os-evidence/e47cfe9eebffa01358a27d2fe9d4974f2313cfd22ba1e850ddd9e50efb60b11b.txt",
      "sha256": "e47cfe9eebffa01358a27d2fe9d4974f2313cfd22ba1e850ddd9e50efb60b11b",
      "bytes": 12546,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-two-banks-direct-1024/serial.log",
      "originalSha256": "2a5a60606a6de6bf1785db72e5a00e631fc7205835f3b52b5810a6a47f500bc3",
      "href": "/os-evidence/2a5a60606a6de6bf1785db72e5a00e631fc7205835f3b52b5810a6a47f500bc3.txt",
      "sha256": "2a5a60606a6de6bf1785db72e5a00e631fc7205835f3b52b5810a6a47f500bc3",
      "bytes": 12546,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-two-banks-uefi-256/serial.log",
      "originalSha256": "ba70452b30a64803f6dee5a885440529dc4b15aa8e7d63373dc9e593c9156e80",
      "href": "/os-evidence/ba70452b30a64803f6dee5a885440529dc4b15aa8e7d63373dc9e593c9156e80.txt",
      "sha256": "ba70452b30a64803f6dee5a885440529dc4b15aa8e7d63373dc9e593c9156e80",
      "bytes": 18411,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-two-banks-uefi-512/serial.log",
      "originalSha256": "a64587ad92165635a5c7602cd453e32c8721b9f43e1f88286a3ed27a3a6728c6",
      "href": "/os-evidence/a64587ad92165635a5c7602cd453e32c8721b9f43e1f88286a3ed27a3a6728c6.txt",
      "sha256": "a64587ad92165635a5c7602cd453e32c8721b9f43e1f88286a3ed27a3a6728c6",
      "bytes": 18411,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K985-K1000-HXdORh/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "714639c488528216c96e79b1d16f8f343792371a9ce8bef0096a8a56198f3100",
      "href": "/os-evidence/714639c488528216c96e79b1d16f8f343792371a9ce8bef0096a8a56198f3100.txt",
      "sha256": "714639c488528216c96e79b1d16f8f343792371a9ce8bef0096a8a56198f3100",
      "bytes": 18411,
      "redacted": false
    }
  ],
  "moves": [
    "K985",
    "K990",
    "K995",
    "K1000"
  ]
}