{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K761-K779-preparation-KNIrm3/report.json",
    "sha256": "8df203545d5397fe156de24ddde9f698d832286f2d1d20b82db6e2ecadc67593",
    "bytes": 18079
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only heap preparation. Caller-owned host buffers and nonclone backing tokens prove bounded slab/large metadata behavior and rollback. Real buddy-backed physical allocations, IRQ progress and fatal diagnostics under heap pressure require later guest evidence; K765/K770/K775/K780 are not accepted.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/integration.log",
      "originalSha256": "f96c6e3344877e3ef64bd0174b65f5ec6e5ac26429bc8494f04df37b9248fdc7",
      "href": "/os-evidence/f96c6e3344877e3ef64bd0174b65f5ec6e5ac26429bc8494f04df37b9248fdc7.txt",
      "sha256": "f96c6e3344877e3ef64bd0174b65f5ec6e5ac26429bc8494f04df37b9248fdc7",
      "bytes": 1094,
      "redacted": false
    },
    {
      "name": "unit.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/unit.log",
      "originalSha256": "8b6faaf8655554f034186554a24ba0a5dcd6505ba4f042a67ea61ae10c503b18",
      "href": "/os-evidence/8b6faaf8655554f034186554a24ba0a5dcd6505ba4f042a67ea61ae10c503b18.txt",
      "sha256": "8b6faaf8655554f034186554a24ba0a5dcd6505ba4f042a67ea61ae10c503b18",
      "bytes": 535,
      "redacted": false
    },
    {
      "name": "classes.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/classes.log",
      "originalSha256": "14938d95c5de9a5fb417ece14e87eabb3da2169bbeeda7f40dfadf1c84ab845f",
      "href": "/os-evidence/14938d95c5de9a5fb417ece14e87eabb3da2169bbeeda7f40dfadf1c84ab845f.txt",
      "sha256": "14938d95c5de9a5fb417ece14e87eabb3da2169bbeeda7f40dfadf1c84ab845f",
      "bytes": 443,
      "redacted": false
    },
    {
      "name": "large.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/large.log",
      "originalSha256": "ae854ba93c6d08e0f2e3dfe84c1a4191df011fe753a59fa69a3a5e5fc54ff4d5",
      "href": "/os-evidence/ae854ba93c6d08e0f2e3dfe84c1a4191df011fe753a59fa69a3a5e5fc54ff4d5.txt",
      "sha256": "ae854ba93c6d08e0f2e3dfe84c1a4191df011fe753a59fa69a3a5e5fc54ff4d5",
      "bytes": 439,
      "redacted": false
    },
    {
      "name": "release.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/release.log",
      "originalSha256": "74c14ce9c2b2388b375089bcb8aae7d181eb54cb77a60402fd1cf4d9441a326f",
      "href": "/os-evidence/74c14ce9c2b2388b375089bcb8aae7d181eb54cb77a60402fd1cf4d9441a326f.txt",
      "sha256": "74c14ce9c2b2388b375089bcb8aae7d181eb54cb77a60402fd1cf4d9441a326f",
      "bytes": 443,
      "redacted": false
    },
    {
      "name": "pressure.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/pressure.log",
      "originalSha256": "84bb14a48701b8ca91f103eb570b2613b652c575ca0888cd60f76850703df6c7",
      "href": "/os-evidence/84bb14a48701b8ca91f103eb570b2613b652c575ca0888cd60f76850703df6c7.txt",
      "sha256": "84bb14a48701b8ca91f103eb570b2613b652c575ca0888cd60f76850703df6c7",
      "bytes": 445,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/arm64.log",
      "originalSha256": "35af5eb9aa1f1e9f51ab50129dfe35bc0d52df04c13b51673b0f9dc432b31101",
      "href": "/os-evidence/35af5eb9aa1f1e9f51ab50129dfe35bc0d52df04c13b51673b0f9dc432b31101.txt",
      "sha256": "35af5eb9aa1f1e9f51ab50129dfe35bc0d52df04c13b51673b0f9dc432b31101",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/clippy.log",
      "originalSha256": "48af526d7a0210f4a3f0695a60db5eb5bf54e76f9261b9021e2a40a06f0cb4be",
      "href": "/os-evidence/48af526d7a0210f4a3f0695a60db5eb5bf54e76f9261b9021e2a40a06f0cb4be.txt",
      "sha256": "48af526d7a0210f4a3f0695a60db5eb5bf54e76f9261b9021e2a40a06f0cb4be",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "mutant-zero-layout.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-zero-layout.log",
      "originalSha256": "a9a58e1a738e39d47ca80d94ce1627047c202f403df88819024c33c5f6e269b4",
      "href": "/os-evidence/a9a58e1a738e39d47ca80d94ce1627047c202f403df88819024c33c5f6e269b4.txt",
      "sha256": "a9a58e1a738e39d47ca80d94ce1627047c202f403df88819024c33c5f6e269b4",
      "bytes": 1034,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-zero-layout/os-kernel-heap/src/heap.rs",
      "originalSha256": "18a72701ba712b0df655f30f0c9cf0a6fb88a2f45186a2f7f06121da48dc6aae",
      "href": "/os-evidence/18a72701ba712b0df655f30f0c9cf0a6fb88a2f45186a2f7f06121da48dc6aae.txt",
      "sha256": "18a72701ba712b0df655f30f0c9cf0a6fb88a2f45186a2f7f06121da48dc6aae",
      "bytes": 16708,
      "redacted": false
    },
    {
      "name": "mutant-stale-generation.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-stale-generation.log",
      "originalSha256": "94d74846eeb650812b006f277a80b8414e6775a6dbac4aee112908913c986eb4",
      "href": "/os-evidence/94d74846eeb650812b006f277a80b8414e6775a6dbac4aee112908913c986eb4.txt",
      "sha256": "94d74846eeb650812b006f277a80b8414e6775a6dbac4aee112908913c986eb4",
      "bytes": 984,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-stale-generation/os-kernel-heap/src/heap.rs",
      "originalSha256": "0084afc5c6e1e6717c675442aab69b598fde20e066ead9c8d0f645d26fa9bfb2",
      "href": "/os-evidence/0084afc5c6e1e6717c675442aab69b598fde20e066ead9c8d0f645d26fa9bfb2.txt",
      "sha256": "0084afc5c6e1e6717c675442aab69b598fde20e066ead9c8d0f645d26fa9bfb2",
      "bytes": 16682,
      "redacted": false
    },
    {
      "name": "mutant-inner-pointer.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-inner-pointer.log",
      "originalSha256": "4ab6457f075e68b0f4ae3c936196dfc4ddaac20076aebaaa6947cabf3ae048c3",
      "href": "/os-evidence/4ab6457f075e68b0f4ae3c936196dfc4ddaac20076aebaaa6947cabf3ae048c3.txt",
      "sha256": "4ab6457f075e68b0f4ae3c936196dfc4ddaac20076aebaaa6947cabf3ae048c3",
      "bytes": 1378,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-inner-pointer/os-kernel-heap/src/heap.rs",
      "originalSha256": "e4fda37279e75d1cac52f2280cf738ac72b2baec3dc56c0c82f5b8825fc6bc6e",
      "href": "/os-evidence/e4fda37279e75d1cac52f2280cf738ac72b2baec3dc56c0c82f5b8825fc6bc6e.txt",
      "sha256": "e4fda37279e75d1cac52f2280cf738ac72b2baec3dc56c0c82f5b8825fc6bc6e",
      "bytes": 16704,
      "redacted": false
    },
    {
      "name": "mutant-irq-allocator.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-irq-allocator.log",
      "originalSha256": "8af0147b19ba94424bffcd510d0e37321ae30bb97ce8c55a45c76468c4ae8446",
      "href": "/os-evidence/8af0147b19ba94424bffcd510d0e37321ae30bb97ce8c55a45c76468c4ae8446.txt",
      "sha256": "8af0147b19ba94424bffcd510d0e37321ae30bb97ce8c55a45c76468c4ae8446",
      "bytes": 1489,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-irq-allocator/os-kernel-heap/src/heap.rs",
      "originalSha256": "3113491c059920e9b06d07ca4a60f310a868a5ae944511920f38af35cf970eb9",
      "href": "/os-evidence/3113491c059920e9b06d07ca4a60f310a868a5ae944511920f38af35cf970eb9.txt",
      "sha256": "3113491c059920e9b06d07ca4a60f310a868a5ae944511920f38af35cf970eb9",
      "bytes": 16701,
      "redacted": false
    },
    {
      "name": "mutant-lost-live-handle.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-lost-live-handle.log",
      "originalSha256": "cb02b8cf2475082be6f8db53f6c1fcfdba82fa7c1a2ad08b7cf39bc20019a4ef",
      "href": "/os-evidence/cb02b8cf2475082be6f8db53f6c1fcfdba82fa7c1a2ad08b7cf39bc20019a4ef.txt",
      "sha256": "cb02b8cf2475082be6f8db53f6c1fcfdba82fa7c1a2ad08b7cf39bc20019a4ef",
      "bytes": 1023,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-lost-live-handle/os-kernel-heap/src/heap.rs",
      "originalSha256": "5c73e889e35946a09e768a669a43a541ecca206a1c1680d71e261504b4ff9133",
      "href": "/os-evidence/5c73e889e35946a09e768a669a43a541ecca206a1c1680d71e261504b4ff9133.txt",
      "sha256": "5c73e889e35946a09e768a669a43a541ecca206a1c1680d71e261504b4ff9133",
      "bytes": 16773,
      "redacted": false
    },
    {
      "name": "mutant-lost-backend-release.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-lost-backend-release.log",
      "originalSha256": "f0b6fd0e2682aee5ecdeaf145d081e732abd914fe7e40b87bef560ea26288432",
      "href": "/os-evidence/f0b6fd0e2682aee5ecdeaf145d081e732abd914fe7e40b87bef560ea26288432.txt",
      "sha256": "f0b6fd0e2682aee5ecdeaf145d081e732abd914fe7e40b87bef560ea26288432",
      "bytes": 1383,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-lost-backend-release/os-kernel-heap/src/heap.rs",
      "originalSha256": "27135b5e62496553834d4035c8c2f1c1b3d520a3637a28c309ed3d2765a846ee",
      "href": "/os-evidence/27135b5e62496553834d4035c8c2f1c1b3d520a3637a28c309ed3d2765a846ee.txt",
      "sha256": "27135b5e62496553834d4035c8c2f1c1b3d520a3637a28c309ed3d2765a846ee",
      "bytes": 16722,
      "redacted": false
    },
    {
      "name": "mutant-early-acquire.log",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-early-acquire.log",
      "originalSha256": "db5206ca36611c59e031db61c3bc34169458af1b05058e7f5cc5a9190bffcd04",
      "href": "/os-evidence/db5206ca36611c59e031db61c3bc34169458af1b05058e7f5cc5a9190bffcd04.txt",
      "sha256": "db5206ca36611c59e031db61c3bc34169458af1b05058e7f5cc5a9190bffcd04",
      "bytes": 986,
      "redacted": false
    },
    {
      "name": "heap.rs",
      "source": "reports/os-implementation/K761-K779-preparation-KNIrm3/mutant-early-acquire/os-kernel-heap/src/heap.rs",
      "originalSha256": "2dc9dec5b3cbbab5f70764c3c02f3ceb8c2137e4ed3d6dd5f972dc30e5c32f80",
      "href": "/os-evidence/2dc9dec5b3cbbab5f70764c3c02f3ceb8c2137e4ed3d6dd5f972dc30e5c32f80.txt",
      "sha256": "2dc9dec5b3cbbab5f70764c3c02f3ceb8c2137e4ed3d6dd5f972dc30e5c32f80",
      "bytes": 16780,
      "redacted": false
    }
  ],
  "moves": [
    "K761",
    "K762",
    "K763",
    "K764",
    "K766",
    "K767",
    "K768",
    "K769",
    "K771",
    "K772",
    "K773",
    "K774",
    "K776",
    "K777",
    "K778",
    "K779"
  ]
}