{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K881-K899-preparation-EmtNWF/report.json",
    "sha256": "25c9647576d4d4045bc087a8ebd95017976bcb4adf1ff5234493652f052f7392",
    "bytes": 39942
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only fault classification, anonymous/stack quota and private COW ownership contracts, with actual Registry tokens backed by central typed frame leases. Staged table tokens and complete retirement callbacks are host contracts; real ESR/FAR/ELR, PTEs, CPU retries, payload isolation and TLBI require later isolated guests on K880. No new guest gate is accepted; fresh matching Image M1 proof remains pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/host.log",
      "originalSha256": "690cb2f9a3e7bda825970f31e951e4d578b7c84c77131cb131e5be95710d3a3b",
      "href": "/os-evidence/690cb2f9a3e7bda825970f31e951e4d578b7c84c77131cb131e5be95710d3a3b.txt",
      "sha256": "690cb2f9a3e7bda825970f31e951e4d578b7c84c77131cb131e5be95710d3a3b",
      "bytes": 2331,
      "redacted": false
    },
    {
      "name": "classify-positive.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/classify-positive.log",
      "originalSha256": "9bdbdd57b23f9eeaca3a555877ea876a01d46228147ff03d07532c5717274406",
      "href": "/os-evidence/9bdbdd57b23f9eeaca3a555877ea876a01d46228147ff03d07532c5717274406.txt",
      "sha256": "9bdbdd57b23f9eeaca3a555877ea876a01d46228147ff03d07532c5717274406",
      "bytes": 413,
      "redacted": false
    },
    {
      "name": "classify-negative.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/classify-negative.log",
      "originalSha256": "251f7e66d9eee5a992017ff6bce89f94e86bbb3f8c26da09fab4587019e97e98",
      "href": "/os-evidence/251f7e66d9eee5a992017ff6bce89f94e86bbb3f8c26da09fab4587019e97e98.txt",
      "sha256": "251f7e66d9eee5a992017ff6bce89f94e86bbb3f8c26da09fab4587019e97e98",
      "bytes": 413,
      "redacted": false
    },
    {
      "name": "anonymous-positive.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/anonymous-positive.log",
      "originalSha256": "0026a9d419872175416b63881cf01d6767b279cea4971a4903e64d1f9f0bbd47",
      "href": "/os-evidence/0026a9d419872175416b63881cf01d6767b279cea4971a4903e64d1f9f0bbd47.txt",
      "sha256": "0026a9d419872175416b63881cf01d6767b279cea4971a4903e64d1f9f0bbd47",
      "bytes": 414,
      "redacted": false
    },
    {
      "name": "anonymous-negative.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/anonymous-negative.log",
      "originalSha256": "70eb4975d720c20c791267738f7f35375dd508151eaddf473ee5bb5938ed098c",
      "href": "/os-evidence/70eb4975d720c20c791267738f7f35375dd508151eaddf473ee5bb5938ed098c.txt",
      "sha256": "70eb4975d720c20c791267738f7f35375dd508151eaddf473ee5bb5938ed098c",
      "bytes": 414,
      "redacted": false
    },
    {
      "name": "stack_grow-positive.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/stack_grow-positive.log",
      "originalSha256": "2946d48230aaa382507263af36e71619b5b1379ee12b06060bc80ba1e2e5e058",
      "href": "/os-evidence/2946d48230aaa382507263af36e71619b5b1379ee12b06060bc80ba1e2e5e058.txt",
      "sha256": "2946d48230aaa382507263af36e71619b5b1379ee12b06060bc80ba1e2e5e058",
      "bytes": 415,
      "redacted": false
    },
    {
      "name": "stack_grow-negative.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/stack_grow-negative.log",
      "originalSha256": "0e7f836749714ec2b470efed8f696eed98d5c07366cf59551b66784e87e4dd93",
      "href": "/os-evidence/0e7f836749714ec2b470efed8f696eed98d5c07366cf59551b66784e87e4dd93.txt",
      "sha256": "0e7f836749714ec2b470efed8f696eed98d5c07366cf59551b66784e87e4dd93",
      "bytes": 415,
      "redacted": false
    },
    {
      "name": "copy_on_write-positive.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/copy_on_write-positive.log",
      "originalSha256": "97c75d6dd9a3c8258d3a5cbae06f1c146f502414ca891982be4c29a6b3185f6d",
      "href": "/os-evidence/97c75d6dd9a3c8258d3a5cbae06f1c146f502414ca891982be4c29a6b3185f6d.txt",
      "sha256": "97c75d6dd9a3c8258d3a5cbae06f1c146f502414ca891982be4c29a6b3185f6d",
      "bytes": 418,
      "redacted": false
    },
    {
      "name": "copy_on_write-negative.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/copy_on_write-negative.log",
      "originalSha256": "e7816f01a28cfca5bc706b7217864b3d72dfefbdf27c664acf3c4d648520dead",
      "href": "/os-evidence/e7816f01a28cfca5bc706b7217864b3d72dfefbdf27c664acf3c4d648520dead.txt",
      "sha256": "e7816f01a28cfca5bc706b7217864b3d72dfefbdf27c664acf3c4d648520dead",
      "bytes": 418,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/arm64.log",
      "originalSha256": "e90b8182e53a297ff5d58f3a53491caab300faa49e3ba7fd8e8584cfa9c840b3",
      "href": "/os-evidence/e90b8182e53a297ff5d58f3a53491caab300faa49e3ba7fd8e8584cfa9c840b3.txt",
      "sha256": "e90b8182e53a297ff5d58f3a53491caab300faa49e3ba7fd8e8584cfa9c840b3",
      "bytes": 271,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/clippy.log",
      "originalSha256": "24d59b3b50a4efece226b50220318a87bab95913b278c1df87d140fade4f2d4a",
      "href": "/os-evidence/24d59b3b50a4efece226b50220318a87bab95913b278c1df87d140fade4f2d4a.txt",
      "sha256": "24d59b3b50a4efece226b50220318a87bab95913b278c1df87d140fade4f2d4a",
      "bytes": 502,
      "redacted": false
    },
    {
      "name": "mutant-kernel-vector.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-kernel-vector.log",
      "originalSha256": "c3cb457d6cff656ba0f1e489c91feef59b92a42175f6a3baa8c26569487663e9",
      "href": "/os-evidence/c3cb457d6cff656ba0f1e489c91feef59b92a42175f6a3baa8c26569487663e9.txt",
      "sha256": "c3cb457d6cff656ba0f1e489c91feef59b92a42175f6a3baa8c26569487663e9",
      "bytes": 1311,
      "redacted": false
    },
    {
      "name": "classify.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-kernel-vector/os-page-faults/src/classify.rs",
      "originalSha256": "1c1d2e1cda482bcfce1c720ad3103fedd14a0568038e82c1a5d5888aec48f707",
      "href": "/os-evidence/1c1d2e1cda482bcfce1c720ad3103fedd14a0568038e82c1a5d5888aec48f707.txt",
      "sha256": "1c1d2e1cda482bcfce1c720ad3103fedd14a0568038e82c1a5d5888aec48f707",
      "bytes": 3706,
      "redacted": false
    },
    {
      "name": "mutant-kernel-class.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-kernel-class.log",
      "originalSha256": "f11c98cd4beba19d028a67fc5633bc4a3433e80445747f8c0fc793f9060e6408",
      "href": "/os-evidence/f11c98cd4beba19d028a67fc5633bc4a3433e80445747f8c0fc793f9060e6408.txt",
      "sha256": "f11c98cd4beba19d028a67fc5633bc4a3433e80445747f8c0fc793f9060e6408",
      "bytes": 1308,
      "redacted": false
    },
    {
      "name": "classify.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-kernel-class/os-page-faults/src/classify.rs",
      "originalSha256": "547583a621ddf53722b1a780ebca48bbffc44a3fa942d39f78df36a64e08ac00",
      "href": "/os-evidence/547583a621ddf53722b1a780ebca48bbffc44a3fa942d39f78df36a64e08ac00.txt",
      "sha256": "547583a621ddf53722b1a780ebca48bbffc44a3fa942d39f78df36a64e08ac00",
      "bytes": 3693,
      "redacted": false
    },
    {
      "name": "mutant-unknown-iss2.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-unknown-iss2.log",
      "originalSha256": "c87dfa3c85069c9a93685ee6aa5fb574b90010c8951932e4ce372399d4da8e83",
      "href": "/os-evidence/c87dfa3c85069c9a93685ee6aa5fb574b90010c8951932e4ce372399d4da8e83.txt",
      "sha256": "c87dfa3c85069c9a93685ee6aa5fb574b90010c8951932e4ce372399d4da8e83",
      "bytes": 1418,
      "redacted": false
    },
    {
      "name": "classify.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-unknown-iss2/os-page-faults/src/classify.rs",
      "originalSha256": "2aeb76a1fd87b1d318f6ddf2f1103331b52fc19d846082fe167fb47f94eb1cb8",
      "href": "/os-evidence/2aeb76a1fd87b1d318f6ddf2f1103331b52fc19d846082fe167fb47f94eb1cb8.txt",
      "sha256": "2aeb76a1fd87b1d318f6ddf2f1103331b52fc19d846082fe167fb47f94eb1cb8",
      "bytes": 3702,
      "redacted": false
    },
    {
      "name": "mutant-invalid-far.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-invalid-far.log",
      "originalSha256": "bb8934f6d9b7352197691e751b389e74fbbfdc2cdf51e1408331e1d37cf9e92f",
      "href": "/os-evidence/bb8934f6d9b7352197691e751b389e74fbbfdc2cdf51e1408331e1d37cf9e92f.txt",
      "sha256": "bb8934f6d9b7352197691e751b389e74fbbfdc2cdf51e1408331e1d37cf9e92f",
      "bytes": 1416,
      "redacted": false
    },
    {
      "name": "classify.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-invalid-far/os-page-faults/src/classify.rs",
      "originalSha256": "8fb47a0d5dc415bef45c33816fd28dce8eddd6eeaebde88f39d954d2586279a0",
      "href": "/os-evidence/8fb47a0d5dc415bef45c33816fd28dce8eddd6eeaebde88f39d954d2586279a0.txt",
      "sha256": "8fb47a0d5dc415bef45c33816fd28dce8eddd6eeaebde88f39d954d2586279a0",
      "bytes": 3725,
      "redacted": false
    },
    {
      "name": "mutant-duplicate-anonymous.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-duplicate-anonymous.log",
      "originalSha256": "d74998b8d45eebb937208e71dba24fc6faaa78bfd74c9173e0b4d314f7a68555",
      "href": "/os-evidence/d74998b8d45eebb937208e71dba24fc6faaa78bfd74c9173e0b4d314f7a68555.txt",
      "sha256": "d74998b8d45eebb937208e71dba24fc6faaa78bfd74c9173e0b4d314f7a68555",
      "bytes": 38844,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-duplicate-anonymous/os-page-faults/src/pager.rs",
      "originalSha256": "3331f9e9a208ebb60f204940e3e5dfc0f0b0021676725efd2133f5cdfad5611d",
      "href": "/os-evidence/3331f9e9a208ebb60f204940e3e5dfc0f0b0021676725efd2133f5cdfad5611d.txt",
      "sha256": "3331f9e9a208ebb60f204940e3e5dfc0f0b0021676725efd2133f5cdfad5611d",
      "bytes": 24653,
      "redacted": false
    },
    {
      "name": "mutant-quota-overrun.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-quota-overrun.log",
      "originalSha256": "f347416d4d6d258393b9a1f74338d28e6946322095226412123c43d1a1ef4dd1",
      "href": "/os-evidence/f347416d4d6d258393b9a1f74338d28e6946322095226412123c43d1a1ef4dd1.txt",
      "sha256": "f347416d4d6d258393b9a1f74338d28e6946322095226412123c43d1a1ef4dd1",
      "bytes": 1475,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-quota-overrun/os-page-faults/src/pager.rs",
      "originalSha256": "7450f676362ec86ce85aa3cd476082dec79e0465b05f69b493b8e0a8f3c9818d",
      "href": "/os-evidence/7450f676362ec86ce85aa3cd476082dec79e0465b05f69b493b8e0a8f3c9818d.txt",
      "sha256": "7450f676362ec86ce85aa3cd476082dec79e0465b05f69b493b8e0a8f3c9818d",
      "bytes": 24614,
      "redacted": false
    },
    {
      "name": "mutant-stack-gap.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-stack-gap.log",
      "originalSha256": "7ac02221c0d9dca9085c2c8e0b0c7270aea5b8e3919217fe8cc71978e0b03bc3",
      "href": "/os-evidence/7ac02221c0d9dca9085c2c8e0b0c7270aea5b8e3919217fe8cc71978e0b03bc3.txt",
      "sha256": "7ac02221c0d9dca9085c2c8e0b0c7270aea5b8e3919217fe8cc71978e0b03bc3",
      "bytes": 1916,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-stack-gap/os-page-faults/src/pager.rs",
      "originalSha256": "aace2867885b4076656e1460d64d5d8f4a52a76205df7b9d02981a4c083b3620",
      "href": "/os-evidence/aace2867885b4076656e1460d64d5d8f4a52a76205df7b9d02981a4c083b3620.txt",
      "sha256": "aace2867885b4076656e1460d64d5d8f4a52a76205df7b9d02981a4c083b3620",
      "bytes": 24573,
      "redacted": false
    },
    {
      "name": "mutant-stack-sp-distance.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-stack-sp-distance.log",
      "originalSha256": "62339ef073cf2e152ed64aab5fed5405f1d4eb6c769cf00325bc34221d38b281",
      "href": "/os-evidence/62339ef073cf2e152ed64aab5fed5405f1d4eb6c769cf00325bc34221d38b281.txt",
      "sha256": "62339ef073cf2e152ed64aab5fed5405f1d4eb6c769cf00325bc34221d38b281",
      "bytes": 1482,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-stack-sp-distance/os-page-faults/src/pager.rs",
      "originalSha256": "d542f14509364f34627ff825a4885f8f72d34de7e067f40164b695ca25d9fb61",
      "href": "/os-evidence/d542f14509364f34627ff825a4885f8f72d34de7e067f40164b695ca25d9fb61.txt",
      "sha256": "d542f14509364f34627ff825a4885f8f72d34de7e067f40164b695ca25d9fb61",
      "bytes": 24594,
      "redacted": false
    },
    {
      "name": "mutant-heap-jump-sp.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-heap-jump-sp.log",
      "originalSha256": "c95211079a4c76d8f680ade451d269a2543d094389bdc57ab3cfee282d7fc649",
      "href": "/os-evidence/c95211079a4c76d8f680ade451d269a2543d094389bdc57ab3cfee282d7fc649.txt",
      "sha256": "c95211079a4c76d8f680ade451d269a2543d094389bdc57ab3cfee282d7fc649",
      "bytes": 2213,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-heap-jump-sp/os-page-faults/src/pager.rs",
      "originalSha256": "3e2b66b7b0afba999759926ebe01a8fbcb4beba92e70ea6e97488d2886601130",
      "href": "/os-evidence/3e2b66b7b0afba999759926ebe01a8fbcb4beba92e70ea6e97488d2886601130.txt",
      "sha256": "3e2b66b7b0afba999759926ebe01a8fbcb4beba92e70ea6e97488d2886601130",
      "bytes": 24560,
      "redacted": false
    },
    {
      "name": "mutant-skip-cow-copy.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-skip-cow-copy.log",
      "originalSha256": "a2f78c7d4d69ea417bdfa7b55685399f6f23ed19b85faa105d05095f11eaea84",
      "href": "/os-evidence/a2f78c7d4d69ea417bdfa7b55685399f6f23ed19b85faa105d05095f11eaea84.txt",
      "sha256": "a2f78c7d4d69ea417bdfa7b55685399f6f23ed19b85faa105d05095f11eaea84",
      "bytes": 32218,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-skip-cow-copy/os-page-faults/src/pager.rs",
      "originalSha256": "9ca79f20134ed4ea6c7a3e333816d90184b91883f33742c93cd22d9be020413b",
      "href": "/os-evidence/9ca79f20134ed4ea6c7a3e333816d90184b91883f33742c93cd22d9be020413b.txt",
      "sha256": "9ca79f20134ed4ea6c7a3e333816d90184b91883f33742c93cd22d9be020413b",
      "bytes": 24599,
      "redacted": false
    },
    {
      "name": "mutant-reverse-cow-copy.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-reverse-cow-copy.log",
      "originalSha256": "c52f74c0d9c2a87519d91e4bf48790d1849e1531232fa8621f4e25d367609080",
      "href": "/os-evidence/c52f74c0d9c2a87519d91e4bf48790d1849e1531232fa8621f4e25d367609080.txt",
      "sha256": "c52f74c0d9c2a87519d91e4bf48790d1849e1531232fa8621f4e25d367609080",
      "bytes": 33284,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-reverse-cow-copy/os-page-faults/src/pager.rs",
      "originalSha256": "7d0d6b520c53a9f22566a6726529d154eb7588ce44be537bc4b1505fbd80eb6a",
      "href": "/os-evidence/7d0d6b520c53a9f22566a6726529d154eb7588ce44be537bc4b1505fbd80eb6a.txt",
      "sha256": "7d0d6b520c53a9f22566a6726529d154eb7588ce44be537bc4b1505fbd80eb6a",
      "bytes": 24615,
      "redacted": false
    },
    {
      "name": "mutant-lost-rollback-owner.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-lost-rollback-owner.log",
      "originalSha256": "c4dd0d5cf025e0b2156d174d1675f14be8fde5ff9cf60c5567ecdfccb9bd6e09",
      "href": "/os-evidence/c4dd0d5cf025e0b2156d174d1675f14be8fde5ff9cf60c5567ecdfccb9bd6e09.txt",
      "sha256": "c4dd0d5cf025e0b2156d174d1675f14be8fde5ff9cf60c5567ecdfccb9bd6e09",
      "bytes": 1395,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-lost-rollback-owner/os-page-faults/src/pager.rs",
      "originalSha256": "7bcce429023067d2772893638b370732c6209f3d72f2a7c25ab24b69c1916a72",
      "href": "/os-evidence/7bcce429023067d2772893638b370732c6209f3d72f2a7c25ab24b69c1916a72.txt",
      "sha256": "7bcce429023067d2772893638b370732c6209f3d72f2a7c25ab24b69c1916a72",
      "bytes": 24500,
      "redacted": false
    },
    {
      "name": "mutant-free-before-retire.log",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-free-before-retire.log",
      "originalSha256": "b2e557f799d9c5dee50f5c06f184d1ef1ed7bdeffa015be3f44e9b07593488d1",
      "href": "/os-evidence/b2e557f799d9c5dee50f5c06f184d1ef1ed7bdeffa015be3f44e9b07593488d1.txt",
      "sha256": "b2e557f799d9c5dee50f5c06f184d1ef1ed7bdeffa015be3f44e9b07593488d1",
      "bytes": 1368,
      "redacted": false
    },
    {
      "name": "pager.rs",
      "source": "reports/os-implementation/K881-K899-preparation-EmtNWF/mutant-free-before-retire/os-page-faults/src/pager.rs",
      "originalSha256": "dd6c10d538c9c7c727107217aa9a73723314cb02f7c011662fb83a380dcd9607",
      "href": "/os-evidence/dd6c10d538c9c7c727107217aa9a73723314cb02f7c011662fb83a380dcd9607.txt",
      "sha256": "dd6c10d538c9c7c727107217aa9a73723314cb02f7c011662fb83a380dcd9607",
      "bytes": 24707,
      "redacted": false
    }
  ],
  "moves": [
    "K881",
    "K882",
    "K883",
    "K884",
    "K886",
    "K887",
    "K888",
    "K889",
    "K891",
    "K892",
    "K893",
    "K894",
    "K896",
    "K897",
    "K898",
    "K899"
  ]
}