{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K765-K780-zwDFeS/report.json",
    "sha256": "68c8440c4ca69cd96ab90eba395e40d7278df7ac3d91b07311f33ec36a9e6ec7",
    "bytes": 991668
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Isolated guarded64KiB acceptance stack, real Buddy-backed slab requests24/64/128 and contiguous8192-byte block, exact physical ownership inventories and full capacity byte canary checkpoints. Metadata16-object pressure rejects before backing acquisition; real8-page Buddy exhaustion keeps backing owned during bounded diagnostics with the serial lock held and4actualtimerinterrupts. Pure IRQ permission gate invokes the frozen private Heap context policy before forming any heap reference, returning WouldBlock4times without allocator access. Named actual preheapIRQ and diagnostic snapshots support an explicitly verified historical projection for predecessor inspection; raw serial, final EventLog progression and real cumulativeIRQ12 remain independently captured. No counters are reset. K700freshM1proof and release remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "dfde39a1505a3f35ac48164876895bb7b27041075f9a477a27e51d86167aae7c",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-one-bank-direct-256/serial.log",
      "originalSha256": "20800bfd763682ea6234a822fa540a3c7d4bd30911e4bb87cb9f2b2f000cce1c",
      "href": "/os-evidence/20800bfd763682ea6234a822fa540a3c7d4bd30911e4bb87cb9f2b2f000cce1c.txt",
      "sha256": "20800bfd763682ea6234a822fa540a3c7d4bd30911e4bb87cb9f2b2f000cce1c",
      "bytes": 8674,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-one-bank-direct-512/serial.log",
      "originalSha256": "7db9c004d6c8e9c2a0e8bfc723ccbdfd31b69b6d1114c40f9b974325868274cd",
      "href": "/os-evidence/7db9c004d6c8e9c2a0e8bfc723ccbdfd31b69b6d1114c40f9b974325868274cd.txt",
      "sha256": "7db9c004d6c8e9c2a0e8bfc723ccbdfd31b69b6d1114c40f9b974325868274cd",
      "bytes": 8674,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-one-bank-direct-1024/serial.log",
      "originalSha256": "c7156cdeaf76989164feb933dc727e02c76445514197a84991cad10490004016",
      "href": "/os-evidence/c7156cdeaf76989164feb933dc727e02c76445514197a84991cad10490004016.txt",
      "sha256": "c7156cdeaf76989164feb933dc727e02c76445514197a84991cad10490004016",
      "bytes": 8674,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-one-bank-uefi-256/serial.log",
      "originalSha256": "bef9812a8f4ddfdc356c6881421f88ad609c8d6a631c3510fde89439cb9a47ea",
      "href": "/os-evidence/bef9812a8f4ddfdc356c6881421f88ad609c8d6a631c3510fde89439cb9a47ea.txt",
      "sha256": "bef9812a8f4ddfdc356c6881421f88ad609c8d6a631c3510fde89439cb9a47ea",
      "bytes": 14914,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-one-bank-uefi-512/serial.log",
      "originalSha256": "026b3429d17bd42af2d42a066dd8947145130560bc09d6e1311d1e0bbc523fe1",
      "href": "/os-evidence/026b3429d17bd42af2d42a066dd8947145130560bc09d6e1311d1e0bbc523fe1.txt",
      "sha256": "026b3429d17bd42af2d42a066dd8947145130560bc09d6e1311d1e0bbc523fe1",
      "bytes": 14914,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "71c9e0960b6e5ccfbc5ee2a63a4bff524386075b21fc1603e7d6378e701be8ce",
      "href": "/os-evidence/71c9e0960b6e5ccfbc5ee2a63a4bff524386075b21fc1603e7d6378e701be8ce.txt",
      "sha256": "71c9e0960b6e5ccfbc5ee2a63a4bff524386075b21fc1603e7d6378e701be8ce",
      "bytes": 14914,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-two-banks-direct-256/serial.log",
      "originalSha256": "1da6c1f0379c1668aebc12874f74ac56eb5ae6b931491e7b7721e69087fe02dd",
      "href": "/os-evidence/1da6c1f0379c1668aebc12874f74ac56eb5ae6b931491e7b7721e69087fe02dd.txt",
      "sha256": "1da6c1f0379c1668aebc12874f74ac56eb5ae6b931491e7b7721e69087fe02dd",
      "bytes": 9558,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-two-banks-direct-512/serial.log",
      "originalSha256": "2383a453ae310ac4c4984407933ca148c8a70f8b66838926abe56c229acf6765",
      "href": "/os-evidence/2383a453ae310ac4c4984407933ca148c8a70f8b66838926abe56c229acf6765.txt",
      "sha256": "2383a453ae310ac4c4984407933ca148c8a70f8b66838926abe56c229acf6765",
      "bytes": 9558,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-two-banks-direct-1024/serial.log",
      "originalSha256": "26ed82f9f2387f51152fad61d301acc9e2687d937baaa0efb7f3469c794f34a8",
      "href": "/os-evidence/26ed82f9f2387f51152fad61d301acc9e2687d937baaa0efb7f3469c794f34a8.txt",
      "sha256": "26ed82f9f2387f51152fad61d301acc9e2687d937baaa0efb7f3469c794f34a8",
      "bytes": 9558,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-two-banks-uefi-256/serial.log",
      "originalSha256": "d1eac1c624488d0efa853679225f7b1d27661a957466fc86049b2ddc5b0cd5c6",
      "href": "/os-evidence/d1eac1c624488d0efa853679225f7b1d27661a957466fc86049b2ddc5b0cd5c6.txt",
      "sha256": "d1eac1c624488d0efa853679225f7b1d27661a957466fc86049b2ddc5b0cd5c6",
      "bytes": 15708,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-two-banks-uefi-512/serial.log",
      "originalSha256": "46fc661edf2a1bfef70fd042ad03facacad9d59ab1b8ea4ea40a2e0a505e2340",
      "href": "/os-evidence/46fc661edf2a1bfef70fd042ad03facacad9d59ab1b8ea4ea40a2e0a505e2340.txt",
      "sha256": "46fc661edf2a1bfef70fd042ad03facacad9d59ab1b8ea4ea40a2e0a505e2340",
      "bytes": 15708,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "7fcc5777e19074a58d8a195d10e556f1111737b8c8865fa7c43cdbbdfe1d8074",
      "href": "/os-evidence/7fcc5777e19074a58d8a195d10e556f1111737b8c8865fa7c43cdbbdfe1d8074.txt",
      "sha256": "7fcc5777e19074a58d8a195d10e556f1111737b8c8865fa7c43cdbbdfe1d8074",
      "bytes": 15708,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "76111a7a186aad0f769e5f8656c3464df66fc517ace373d0e8b1d37733b8b43d",
      "href": "/os-evidence/76111a7a186aad0f769e5f8656c3464df66fc517ace373d0e8b1d37733b8b43d.txt",
      "sha256": "76111a7a186aad0f769e5f8656c3464df66fc517ace373d0e8b1d37733b8b43d",
      "bytes": 10851,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "0fc986ab6d672e8a6e3063acd4ee276056d2378a5a4ccccf300ff694bc1021c4",
      "href": "/os-evidence/0fc986ab6d672e8a6e3063acd4ee276056d2378a5a4ccccf300ff694bc1021c4.txt",
      "sha256": "0fc986ab6d672e8a6e3063acd4ee276056d2378a5a4ccccf300ff694bc1021c4",
      "bytes": 10851,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "91b305d7fd53a99ccbad95a7b0ca8c5651eaf21ff0dfff5a47b85c6f2ccaa57f",
      "href": "/os-evidence/91b305d7fd53a99ccbad95a7b0ca8c5651eaf21ff0dfff5a47b85c6f2ccaa57f.txt",
      "sha256": "91b305d7fd53a99ccbad95a7b0ca8c5651eaf21ff0dfff5a47b85c6f2ccaa57f",
      "bytes": 10851,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "d53b268c175510eed0a5e72f8c06dfb8e56d99b7ebaee3bcd601b5b4809e2acf",
      "href": "/os-evidence/d53b268c175510eed0a5e72f8c06dfb8e56d99b7ebaee3bcd601b5b4809e2acf.txt",
      "sha256": "d53b268c175510eed0a5e72f8c06dfb8e56d99b7ebaee3bcd601b5b4809e2acf",
      "bytes": 17091,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "4b8f28ab284a24ff7a3871dfdb31b146b30896c077e54d91d61607d1bcdf11c6",
      "href": "/os-evidence/4b8f28ab284a24ff7a3871dfdb31b146b30896c077e54d91d61607d1bcdf11c6.txt",
      "sha256": "4b8f28ab284a24ff7a3871dfdb31b146b30896c077e54d91d61607d1bcdf11c6",
      "bytes": 17091,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "999a907b6d97b7262b9875fc420b45d9860e43f6a13d4aecb7ff1ecf3c67b7fb",
      "href": "/os-evidence/999a907b6d97b7262b9875fc420b45d9860e43f6a13d4aecb7ff1ecf3c67b7fb.txt",
      "sha256": "999a907b6d97b7262b9875fc420b45d9860e43f6a13d4aecb7ff1ecf3c67b7fb",
      "bytes": 17091,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "bd987e23de083ffce3a1a963e074b8fe6734b32469244aad3d3e5ade729b1985",
      "href": "/os-evidence/bd987e23de083ffce3a1a963e074b8fe6734b32469244aad3d3e5ade729b1985.txt",
      "sha256": "bd987e23de083ffce3a1a963e074b8fe6734b32469244aad3d3e5ade729b1985",
      "bytes": 11735,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "9610401be8330c91f12ee78ff07decc7465c5787470635abbd59094c8183627b",
      "href": "/os-evidence/9610401be8330c91f12ee78ff07decc7465c5787470635abbd59094c8183627b.txt",
      "sha256": "9610401be8330c91f12ee78ff07decc7465c5787470635abbd59094c8183627b",
      "bytes": 11735,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "08178296e990d2cbfaa33ab5d7f64096a000fe9cae3fd4fa929823adefa06145",
      "href": "/os-evidence/08178296e990d2cbfaa33ab5d7f64096a000fe9cae3fd4fa929823adefa06145.txt",
      "sha256": "08178296e990d2cbfaa33ab5d7f64096a000fe9cae3fd4fa929823adefa06145",
      "bytes": 11735,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "5c28a9062873f33cbae77e7ed08da92f21984ea9513b913f6433fd01b22f1df0",
      "href": "/os-evidence/5c28a9062873f33cbae77e7ed08da92f21984ea9513b913f6433fd01b22f1df0.txt",
      "sha256": "5c28a9062873f33cbae77e7ed08da92f21984ea9513b913f6433fd01b22f1df0",
      "bytes": 17885,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "5ef5201a2da7416013e4dd5920c1e798af69b55c2053b5806f47d1311f2d6fe9",
      "href": "/os-evidence/5ef5201a2da7416013e4dd5920c1e798af69b55c2053b5806f47d1311f2d6fe9.txt",
      "sha256": "5ef5201a2da7416013e4dd5920c1e798af69b55c2053b5806f47d1311f2d6fe9",
      "bytes": 17885,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K765-K780-zwDFeS/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "9d1dfcae04111c0f9844e543034c2891e64b3bd83797ce9a4f6328e290b74c16",
      "href": "/os-evidence/9d1dfcae04111c0f9844e543034c2891e64b3bd83797ce9a4f6328e290b74c16.txt",
      "sha256": "9d1dfcae04111c0f9844e543034c2891e64b3bd83797ce9a4f6328e290b74c16",
      "bytes": 17885,
      "redacted": false
    }
  ],
  "moves": [
    "K765",
    "K770",
    "K775",
    "K780"
  ]
}