{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K821-K839-preparation-6JTwAT/report.json",
    "sha256": "97b6019f63d4cecfad3589b2294bb32d95151bb91dd39ae80a80756140e60e56",
    "bytes": 18050
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only bounded ID/root and ASID preparation. Nonclone backend root owners, atomic failed creation, pre-acquisition quota gates, checked generations and safe retirement are tested. The two-ASID model quota is separate from real 8/16-bit MMFR0/TCR capability. Real TTBR/root captures, A-B-A EL0 data isolation, targeted hardware ASID reuse and EL0 kernel/MMIO faults remain guest gates; no guest or release acceptance is claimed.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/integration.log",
      "originalSha256": "1f6de08c427f70369c2d9ef3929803dbce9ad4fb21cb5671cdc9284c7920cd2e",
      "href": "/os-evidence/1f6de08c427f70369c2d9ef3929803dbce9ad4fb21cb5671cdc9284c7920cd2e.txt",
      "sha256": "1f6de08c427f70369c2d9ef3929803dbce9ad4fb21cb5671cdc9284c7920cd2e",
      "bytes": 1573,
      "redacted": false
    },
    {
      "name": "unit.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/unit.log",
      "originalSha256": "2a0a1f5292aa1db4d363fff65d9646b4cfc9034c252d7a185b376bad136f14b3",
      "href": "/os-evidence/2a0a1f5292aa1db4d363fff65d9646b4cfc9034c252d7a185b376bad136f14b3.txt",
      "sha256": "2a0a1f5292aa1db4d363fff65d9646b4cfc9034c252d7a185b376bad136f14b3",
      "bytes": 741,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/arm64.log",
      "originalSha256": "86349c60aa0b17dfc26916bd1067a51fda273a53652277e8b13b0166c2a3599b",
      "href": "/os-evidence/86349c60aa0b17dfc26916bd1067a51fda273a53652277e8b13b0166c2a3599b.txt",
      "sha256": "86349c60aa0b17dfc26916bd1067a51fda273a53652277e8b13b0166c2a3599b",
      "bytes": 147,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/clippy.log",
      "originalSha256": "bd5d4ae2b8b160ccc3c257ffded806b1d277d862346086c579fd65dbe05cb87d",
      "href": "/os-evidence/bd5d4ae2b8b160ccc3c257ffded806b1d277d862346086c579fd65dbe05cb87d.txt",
      "sha256": "bd5d4ae2b8b160ccc3c257ffded806b1d277d862346086c579fd65dbe05cb87d",
      "bytes": 147,
      "redacted": false
    },
    {
      "name": "mutant-kernel-asid-zero.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-kernel-asid-zero.log",
      "originalSha256": "1fc93e146d73303ea54ce69e88d2f76444aeb983ad093e166b2f765db79ce754",
      "href": "/os-evidence/1fc93e146d73303ea54ce69e88d2f76444aeb983ad093e166b2f765db79ce754.txt",
      "sha256": "1fc93e146d73303ea54ce69e88d2f76444aeb983ad093e166b2f765db79ce754",
      "bytes": 1079,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-kernel-asid-zero/os-address-spaces/src/spaces.rs",
      "originalSha256": "77cbf16e3ec794d1e728e6354a2b334af5061be3212d2d51e75c90966d6144d3",
      "href": "/os-evidence/77cbf16e3ec794d1e728e6354a2b334af5061be3212d2d51e75c90966d6144d3.txt",
      "sha256": "77cbf16e3ec794d1e728e6354a2b334af5061be3212d2d51e75c90966d6144d3",
      "bytes": 16774,
      "redacted": false
    },
    {
      "name": "mutant-fake-width.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-fake-width.log",
      "originalSha256": "f56953c5da71a485d98799d6a002b8eeffbc4e1ca593ec73463a355eadf8d258",
      "href": "/os-evidence/f56953c5da71a485d98799d6a002b8eeffbc4e1ca593ec73463a355eadf8d258.txt",
      "sha256": "f56953c5da71a485d98799d6a002b8eeffbc4e1ca593ec73463a355eadf8d258",
      "bytes": 1072,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-fake-width/os-address-spaces/src/spaces.rs",
      "originalSha256": "40026ed3fc95209f7500e96083ebe962411dc352f850941268da225ae2cfe1cb",
      "href": "/os-evidence/40026ed3fc95209f7500e96083ebe962411dc352f850941268da225ae2cfe1cb.txt",
      "sha256": "40026ed3fc95209f7500e96083ebe962411dc352f850941268da225ae2cfe1cb",
      "bytes": 16765,
      "redacted": false
    },
    {
      "name": "mutant-stale-id.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-stale-id.log",
      "originalSha256": "8faf2be1c23fe5d1405699501ad7798778b2300b22d17bb894e6280fa8dcd3b5",
      "href": "/os-evidence/8faf2be1c23fe5d1405699501ad7798778b2300b22d17bb894e6280fa8dcd3b5.txt",
      "sha256": "8faf2be1c23fe5d1405699501ad7798778b2300b22d17bb894e6280fa8dcd3b5",
      "bytes": 1153,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-stale-id/os-address-spaces/src/spaces.rs",
      "originalSha256": "243751cdf25a1c3cfc75b984ad1e1d3d89ee65f1b8282dbd249d2556285a2700",
      "href": "/os-evidence/243751cdf25a1c3cfc75b984ad1e1d3d89ee65f1b8282dbd249d2556285a2700.txt",
      "sha256": "243751cdf25a1c3cfc75b984ad1e1d3d89ee65f1b8282dbd249d2556285a2700",
      "bytes": 16748,
      "redacted": false
    },
    {
      "name": "mutant-missing-asid-invalidate.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-missing-asid-invalidate.log",
      "originalSha256": "98192bc965716126eff0ac9492e26b90168f615af75048a7946ccf8729dab1d0",
      "href": "/os-evidence/98192bc965716126eff0ac9492e26b90168f615af75048a7946ccf8729dab1d0.txt",
      "sha256": "98192bc965716126eff0ac9492e26b90168f615af75048a7946ccf8729dab1d0",
      "bytes": 1110,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-missing-asid-invalidate/os-address-spaces/src/spaces.rs",
      "originalSha256": "4d623b30484691734f4025a4fbe7afcc7e094decd3ff283e737bf8b7692a5362",
      "href": "/os-evidence/4d623b30484691734f4025a4fbe7afcc7e094decd3ff283e737bf8b7692a5362.txt",
      "sha256": "4d623b30484691734f4025a4fbe7afcc7e094decd3ff283e737bf8b7692a5362",
      "bytes": 16779,
      "redacted": false
    },
    {
      "name": "mutant-early-root-acquire.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-early-root-acquire.log",
      "originalSha256": "57b6db56d0c019a61f4463e941afed3ba2bc4a4058ac9bb97767a414cd4d1963",
      "href": "/os-evidence/57b6db56d0c019a61f4463e941afed3ba2bc4a4058ac9bb97767a414cd4d1963.txt",
      "sha256": "57b6db56d0c019a61f4463e941afed3ba2bc4a4058ac9bb97767a414cd4d1963",
      "bytes": 1013,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-early-root-acquire/os-address-spaces/src/spaces.rs",
      "originalSha256": "eb08d45f3f4bffe67d714f8f79cebf091158c29fa3dc9da49c58f49889efca0b",
      "href": "/os-evidence/eb08d45f3f4bffe67d714f8f79cebf091158c29fa3dc9da49c58f49889efca0b.txt",
      "sha256": "eb08d45f3f4bffe67d714f8f79cebf091158c29fa3dc9da49c58f49889efca0b",
      "bytes": 16842,
      "redacted": false
    },
    {
      "name": "mutant-lost-retained-root.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-lost-retained-root.log",
      "originalSha256": "e8d6e52ee14e917c55ab42145e0391e4205c1a6bac07073d3ac2d255811688da",
      "href": "/os-evidence/e8d6e52ee14e917c55ab42145e0391e4205c1a6bac07073d3ac2d255811688da.txt",
      "sha256": "e8d6e52ee14e917c55ab42145e0391e4205c1a6bac07073d3ac2d255811688da",
      "bytes": 1717,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-lost-retained-root/os-address-spaces/src/spaces.rs",
      "originalSha256": "cab40a999adea1f4f24d3a12fb582b6df8333720a38292ae04660130042defb9",
      "href": "/os-evidence/cab40a999adea1f4f24d3a12fb582b6df8333720a38292ae04660130042defb9.txt",
      "sha256": "cab40a999adea1f4f24d3a12fb582b6df8333720a38292ae04660130042defb9",
      "bytes": 16619,
      "redacted": false
    },
    {
      "name": "mutant-unretired-overflow-id.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-unretired-overflow-id.log",
      "originalSha256": "db14180257c3f3cb1847d349220453a01989793ce5885c19b15af07e98842d6b",
      "href": "/os-evidence/db14180257c3f3cb1847d349220453a01989793ce5885c19b15af07e98842d6b.txt",
      "sha256": "db14180257c3f3cb1847d349220453a01989793ce5885c19b15af07e98842d6b",
      "bytes": 1211,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-unretired-overflow-id/os-address-spaces/src/spaces.rs",
      "originalSha256": "90ce8d79723eabd51d0328608a0bbb7d4c3c414ab2f97a8d46c59c2fedfbd194",
      "href": "/os-evidence/90ce8d79723eabd51d0328608a0bbb7d4c3c414ab2f97a8d46c59c2fedfbd194.txt",
      "sha256": "90ce8d79723eabd51d0328608a0bbb7d4c3c414ab2f97a8d46c59c2fedfbd194",
      "bytes": 16726,
      "redacted": false
    },
    {
      "name": "mutant-unretired-overflow-asid.log",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-unretired-overflow-asid.log",
      "originalSha256": "9432a0756be11fbf4203783b4f938c332939057b0f1f66427fede7d6892a6121",
      "href": "/os-evidence/9432a0756be11fbf4203783b4f938c332939057b0f1f66427fede7d6892a6121.txt",
      "sha256": "9432a0756be11fbf4203783b4f938c332939057b0f1f66427fede7d6892a6121",
      "bytes": 1183,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K821-K839-preparation-6JTwAT/mutant-unretired-overflow-asid/os-address-spaces/src/spaces.rs",
      "originalSha256": "ba20eda0491157806776ce42288de30db00395b573b9958b405dda5e59ab1a09",
      "href": "/os-evidence/ba20eda0491157806776ce42288de30db00395b573b9958b405dda5e59ab1a09.txt",
      "sha256": "ba20eda0491157806776ce42288de30db00395b573b9958b405dda5e59ab1a09",
      "bytes": 16758,
      "redacted": false
    }
  ],
  "moves": [
    "K821",
    "K822",
    "K823",
    "K824",
    "K826",
    "K827",
    "K828",
    "K829",
    "K831",
    "K832",
    "K833",
    "K834",
    "K836",
    "K837",
    "K838",
    "K839"
  ]
}