{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K901-K919-preparation-EQ5mcc/report.json",
    "sha256": "da510cbccdf50f8caf3be75f47c044de18ec3fde15cb249b6c682080380b3a3b",
    "bytes": 28076
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only vector, full general/SIMD frame ABI, trusted EL0 return, bounded nesting and fatal transport contracts. Tests check all sixteen vector sources, raw frame bounds before reference formation, nonclone nesting/return tokens, owner-root/RX-entry/RW-stack gates, generation overflow and bounded second fatal handling. Actual VBAR ingress, CPU ESR/ELR/SP/SPSR, register witnesses through ERET, timer IRQ during syscall and parked second-fatal guest remain pending. Current intended guest scope is one CPU nonpreemptive bootstrap; no full scheduler or release acceptance is claimed.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/integration.log",
      "originalSha256": "afd968149220531f0b5ac39d362b815048d3c213f52819f1e0a123702022ed87",
      "href": "/os-evidence/afd968149220531f0b5ac39d362b815048d3c213f52819f1e0a123702022ed87.txt",
      "sha256": "afd968149220531f0b5ac39d362b815048d3c213f52819f1e0a123702022ed87",
      "bytes": 1929,
      "redacted": false
    },
    {
      "name": "unit.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/unit.log",
      "originalSha256": "2253675230735cc94de25493cf4f7d36f0417cfe77ead8e64cac2c4777d2585d",
      "href": "/os-evidence/2253675230735cc94de25493cf4f7d36f0417cfe77ead8e64cac2c4777d2585d.txt",
      "sha256": "2253675230735cc94de25493cf4f7d36f0417cfe77ead8e64cac2c4777d2585d",
      "bytes": 698,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/arm64.log",
      "originalSha256": "de31644a3ca58b7c64d8a13a88429fc10439d7ffca5a21e00c76779c89b5c057",
      "href": "/os-evidence/de31644a3ca58b7c64d8a13a88429fc10439d7ffca5a21e00c76779c89b5c057.txt",
      "sha256": "de31644a3ca58b7c64d8a13a88429fc10439d7ffca5a21e00c76779c89b5c057",
      "bytes": 139,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/clippy.log",
      "originalSha256": "b3f61cb4b06572a70e2136a600eb730208cb4eae565d779bdc11f061499a305c",
      "href": "/os-evidence/b3f61cb4b06572a70e2136a600eb730208cb4eae565d779bdc11f061499a305c.txt",
      "sha256": "b3f61cb4b06572a70e2136a600eb730208cb4eae565d779bdc11f061499a305c",
      "bytes": 139,
      "redacted": false
    },
    {
      "name": "mutant-slot-origin.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-slot-origin.log",
      "originalSha256": "d6a1b9cb40d623666f19ae7f4a2fda05d80c60fb2ebbbdd4b4c5315378862ed4",
      "href": "/os-evidence/d6a1b9cb40d623666f19ae7f4a2fda05d80c60fb2ebbbdd4b4c5315378862ed4.txt",
      "sha256": "d6a1b9cb40d623666f19ae7f4a2fda05d80c60fb2ebbbdd4b4c5315378862ed4",
      "bytes": 1080,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-slot-origin/os-exceptions/src/exceptions.rs",
      "originalSha256": "fac1556ceeb3e6e56f82c2e1eb0acfc415ee7fa6d98a07b7025df2b5b542a397",
      "href": "/os-evidence/fac1556ceeb3e6e56f82c2e1eb0acfc415ee7fa6d98a07b7025df2b5b542a397.txt",
      "sha256": "fac1556ceeb3e6e56f82c2e1eb0acfc415ee7fa6d98a07b7025df2b5b542a397",
      "bytes": 18630,
      "redacted": false
    },
    {
      "name": "mutant-wrong-current-el.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrong-current-el.log",
      "originalSha256": "67008582eddee988823c976c4128ab882720bccbf409866505541894d68de588",
      "href": "/os-evidence/67008582eddee988823c976c4128ab882720bccbf409866505541894d68de588.txt",
      "sha256": "67008582eddee988823c976c4128ab882720bccbf409866505541894d68de588",
      "bytes": 1633,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrong-current-el/os-exceptions/src/exceptions.rs",
      "originalSha256": "3cfe57828e6d5f9a4f39cf912c6776b70931414b82e4f08c1aa87f3d14ad49a8",
      "href": "/os-evidence/3cfe57828e6d5f9a4f39cf912c6776b70931414b82e4f08c1aa87f3d14ad49a8.txt",
      "sha256": "3cfe57828e6d5f9a4f39cf912c6776b70931414b82e4f08c1aa87f3d14ad49a8",
      "bytes": 18620,
      "redacted": false
    },
    {
      "name": "mutant-missing-canary.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-canary.log",
      "originalSha256": "09581c8370ed00d2b0df1a38b777d89b8a72d4e875f21102960fc624d177c151",
      "href": "/os-evidence/09581c8370ed00d2b0df1a38b777d89b8a72d4e875f21102960fc624d177c151.txt",
      "sha256": "09581c8370ed00d2b0df1a38b777d89b8a72d4e875f21102960fc624d177c151",
      "bytes": 1102,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-canary/os-exceptions/src/exceptions.rs",
      "originalSha256": "7a9ab19dd9e2130cfa5e4cc732a20647791dba15a5949794c03f692893120459",
      "href": "/os-evidence/7a9ab19dd9e2130cfa5e4cc732a20647791dba15a5949794c03f692893120459.txt",
      "sha256": "7a9ab19dd9e2130cfa5e4cc732a20647791dba15a5949794c03f692893120459",
      "bytes": 18608,
      "redacted": false
    },
    {
      "name": "mutant-unchecked-frame-pointer.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-unchecked-frame-pointer.log",
      "originalSha256": "762199654051bd71f119f743d2c1c5c9e0bcf740f128c785ccb83e7cd3023ec4",
      "href": "/os-evidence/762199654051bd71f119f743d2c1c5c9e0bcf740f128c785ccb83e7cd3023ec4.txt",
      "sha256": "762199654051bd71f119f743d2c1c5c9e0bcf740f128c785ccb83e7cd3023ec4",
      "bytes": 1098,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-unchecked-frame-pointer/os-exceptions/src/exceptions.rs",
      "originalSha256": "ce8ea46af37cab63dd37a59def90020037197c19e9f7d1871170ed0402eb5c9e",
      "href": "/os-evidence/ce8ea46af37cab63dd37a59def90020037197c19e9f7d1871170ed0402eb5c9e.txt",
      "sha256": "ce8ea46af37cab63dd37a59def90020037197c19e9f7d1871170ed0402eb5c9e",
      "bytes": 18611,
      "redacted": false
    },
    {
      "name": "mutant-privileged-user-status.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-privileged-user-status.log",
      "originalSha256": "983bb5dc1f88a9e90d0f4c6d9fb37b9ad83714cf91191b2c0361d0eec8ed5657",
      "href": "/os-evidence/983bb5dc1f88a9e90d0f4c6d9fb37b9ad83714cf91191b2c0361d0eec8ed5657.txt",
      "sha256": "983bb5dc1f88a9e90d0f4c6d9fb37b9ad83714cf91191b2c0361d0eec8ed5657",
      "bytes": 1261,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-privileged-user-status/os-exceptions/src/exceptions.rs",
      "originalSha256": "085b1d15d648ef4f1dff7417d6a19b2b46ad34061c93dae0aeefed84b8f4e222",
      "href": "/os-evidence/085b1d15d648ef4f1dff7417d6a19b2b46ad34061c93dae0aeefed84b8f4e222.txt",
      "sha256": "085b1d15d648ef4f1dff7417d6a19b2b46ad34061c93dae0aeefed84b8f4e222",
      "bytes": 18607,
      "redacted": false
    },
    {
      "name": "mutant-missing-owner-root.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-owner-root.log",
      "originalSha256": "40c2d63286f2fec7003445fefe98df200128511f2f08f6f9cc657bb7b91d8156",
      "href": "/os-evidence/40c2d63286f2fec7003445fefe98df200128511f2f08f6f9cc657bb7b91d8156.txt",
      "sha256": "40c2d63286f2fec7003445fefe98df200128511f2f08f6f9cc657bb7b91d8156",
      "bytes": 1043,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-owner-root/os-exceptions/src/exceptions.rs",
      "originalSha256": "c9e189a0ffc89d8aececa75d3ed139073dd8e461670bf74fdc1b0bedaa599b60",
      "href": "/os-evidence/c9e189a0ffc89d8aececa75d3ed139073dd8e461670bf74fdc1b0bedaa599b60.txt",
      "sha256": "c9e189a0ffc89d8aececa75d3ed139073dd8e461670bf74fdc1b0bedaa599b60",
      "bytes": 18615,
      "redacted": false
    },
    {
      "name": "mutant-missing-rx-entry.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-rx-entry.log",
      "originalSha256": "6b187cfb4b79a258a51db86554b4be3fa84e963ce7922f2a3c38a8e016bddbe9",
      "href": "/os-evidence/6b187cfb4b79a258a51db86554b4be3fa84e963ce7922f2a3c38a8e016bddbe9.txt",
      "sha256": "6b187cfb4b79a258a51db86554b4be3fa84e963ce7922f2a3c38a8e016bddbe9",
      "bytes": 1224,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-rx-entry/os-exceptions/src/exceptions.rs",
      "originalSha256": "ee31529c341f33f8ead79876ca28308b35e522742bc97dd12ae0c29c8e98746a",
      "href": "/os-evidence/ee31529c341f33f8ead79876ca28308b35e522742bc97dd12ae0c29c8e98746a.txt",
      "sha256": "ee31529c341f33f8ead79876ca28308b35e522742bc97dd12ae0c29c8e98746a",
      "bytes": 18609,
      "redacted": false
    },
    {
      "name": "mutant-missing-rw-stack.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-rw-stack.log",
      "originalSha256": "61b1ea01ee0df34faf4d41fda3cc337b3e507fea05d355de79efc53b80ceea11",
      "href": "/os-evidence/61b1ea01ee0df34faf4d41fda3cc337b3e507fea05d355de79efc53b80ceea11.txt",
      "sha256": "61b1ea01ee0df34faf4d41fda3cc337b3e507fea05d355de79efc53b80ceea11",
      "bytes": 1224,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-rw-stack/os-exceptions/src/exceptions.rs",
      "originalSha256": "0a14ade1c46d577fad453b824da6fa1c8f6b49d4657b14829f6e6e28a42e45a3",
      "href": "/os-evidence/0a14ade1c46d577fad453b824da6fa1c8f6b49d4657b14829f6e6e28a42e45a3.txt",
      "sha256": "0a14ade1c46d577fad453b824da6fa1c8f6b49d4657b14829f6e6e28a42e45a3",
      "bytes": 18605,
      "redacted": false
    },
    {
      "name": "mutant-wrong-kernel-return-slot.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrong-kernel-return-slot.log",
      "originalSha256": "fb08efabe7d642b8354d7b43a3a71bfac27c5bf45866d48fb77a06beaf20fbf1",
      "href": "/os-evidence/fb08efabe7d642b8354d7b43a3a71bfac27c5bf45866d48fb77a06beaf20fbf1.txt",
      "sha256": "fb08efabe7d642b8354d7b43a3a71bfac27c5bf45866d48fb77a06beaf20fbf1",
      "bytes": 1546,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrong-kernel-return-slot/os-exceptions/src/exceptions.rs",
      "originalSha256": "5291e54d9f16c590e582648c8682739455af87adf35aa4eb4151940ae15ecc7d",
      "href": "/os-evidence/5291e54d9f16c590e582648c8682739455af87adf35aa4eb4151940ae15ecc7d.txt",
      "sha256": "5291e54d9f16c590e582648c8682739455af87adf35aa4eb4151940ae15ecc7d",
      "bytes": 18619,
      "redacted": false
    },
    {
      "name": "mutant-unbounded-nesting.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-unbounded-nesting.log",
      "originalSha256": "93c6d5058222cc9b399ae62699fe0c5ba14ee2d824c8531a76ca58ad6dc1c3a8",
      "href": "/os-evidence/93c6d5058222cc9b399ae62699fe0c5ba14ee2d824c8531a76ca58ad6dc1c3a8.txt",
      "sha256": "93c6d5058222cc9b399ae62699fe0c5ba14ee2d824c8531a76ca58ad6dc1c3a8",
      "bytes": 1089,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-unbounded-nesting/os-exceptions/src/exceptions.rs",
      "originalSha256": "134c1ae4eb51d6ef646a8f93a1f2be61e3f673a9a85a2a0b459985920004ccfe",
      "href": "/os-evidence/134c1ae4eb51d6ef646a8f93a1f2be61e3f673a9a85a2a0b459985920004ccfe.txt",
      "sha256": "134c1ae4eb51d6ef646a8f93a1f2be61e3f673a9a85a2a0b459985920004ccfe",
      "bytes": 18620,
      "redacted": false
    },
    {
      "name": "mutant-overlapping-frames.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-overlapping-frames.log",
      "originalSha256": "b8134c96345c2ae2727afd05d9311353b1b8b513bd96a43e43c251ea9d5a261d",
      "href": "/os-evidence/b8134c96345c2ae2727afd05d9311353b1b8b513bd96a43e43c251ea9d5a261d.txt",
      "sha256": "b8134c96345c2ae2727afd05d9311353b1b8b513bd96a43e43c251ea9d5a261d",
      "bytes": 1659,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-overlapping-frames/os-exceptions/src/exceptions.rs",
      "originalSha256": "796dd2b5a425b0f4bf497e2cc3204460d2c697f936290cbd071dcf6bd0755840",
      "href": "/os-evidence/796dd2b5a425b0f4bf497e2cc3204460d2c697f936290cbd071dcf6bd0755840.txt",
      "sha256": "796dd2b5a425b0f4bf497e2cc3204460d2c697f936290cbd071dcf6bd0755840",
      "bytes": 18547,
      "redacted": false
    },
    {
      "name": "mutant-non-lifo-return.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-non-lifo-return.log",
      "originalSha256": "2bc0f87356c67101953eb012f4ea0bab6c556fceed875964474417768fbc4ec0",
      "href": "/os-evidence/2bc0f87356c67101953eb012f4ea0bab6c556fceed875964474417768fbc4ec0.txt",
      "sha256": "2bc0f87356c67101953eb012f4ea0bab6c556fceed875964474417768fbc4ec0",
      "bytes": 1069,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-non-lifo-return/os-exceptions/src/exceptions.rs",
      "originalSha256": "caced9f208e48361193489eda66e782600e51cbb73457c042c4a662f1756fadf",
      "href": "/os-evidence/caced9f208e48361193489eda66e782600e51cbb73457c042c4a662f1756fadf.txt",
      "sha256": "caced9f208e48361193489eda66e782600e51cbb73457c042c4a662f1756fadf",
      "bytes": 18601,
      "redacted": false
    },
    {
      "name": "mutant-foreign-token.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-foreign-token.log",
      "originalSha256": "f3c7642cedd878fc5fd40ce9f14ffa4d4e88a790bf37a8997ebd006acebadb85",
      "href": "/os-evidence/f3c7642cedd878fc5fd40ce9f14ffa4d4e88a790bf37a8997ebd006acebadb85.txt",
      "sha256": "f3c7642cedd878fc5fd40ce9f14ffa4d4e88a790bf37a8997ebd006acebadb85",
      "bytes": 1099,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-foreign-token/os-exceptions/src/exceptions.rs",
      "originalSha256": "cc280ea736241621290ed9733bfd09a336a860628e10eaadd1283655c3a3dcb6",
      "href": "/os-evidence/cc280ea736241621290ed9733bfd09a336a860628e10eaadd1283655c3a3dcb6.txt",
      "sha256": "cc280ea736241621290ed9733bfd09a336a860628e10eaadd1283655c3a3dcb6",
      "bytes": 18608,
      "redacted": false
    },
    {
      "name": "mutant-stale-token.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-stale-token.log",
      "originalSha256": "ce0b21a8f4dd863debea71c421b615eee789d91db4c7643bb0a747d6b5bc4a59",
      "href": "/os-evidence/ce0b21a8f4dd863debea71c421b615eee789d91db4c7643bb0a747d6b5bc4a59.txt",
      "sha256": "ce0b21a8f4dd863debea71c421b615eee789d91db4c7643bb0a747d6b5bc4a59",
      "bytes": 1117,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-stale-token/os-exceptions/src/exceptions.rs",
      "originalSha256": "946f847db79364e8aeda285912ee14a3c9e50bb80774f08c54ec1075d43e7332",
      "href": "/os-evidence/946f847db79364e8aeda285912ee14a3c9e50bb80774f08c54ec1075d43e7332.txt",
      "sha256": "946f847db79364e8aeda285912ee14a3c9e50bb80774f08c54ec1075d43e7332",
      "bytes": 18599,
      "redacted": false
    },
    {
      "name": "mutant-wrapping-ingress.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrapping-ingress.log",
      "originalSha256": "e15012b4e5d3f474e53765c08006cbcc5d55f1cfb2c074619c9ccde25e9ac3cb",
      "href": "/os-evidence/e15012b4e5d3f474e53765c08006cbcc5d55f1cfb2c074619c9ccde25e9ac3cb.txt",
      "sha256": "e15012b4e5d3f474e53765c08006cbcc5d55f1cfb2c074619c9ccde25e9ac3cb",
      "bytes": 1261,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrapping-ingress/os-exceptions/src/exceptions.rs",
      "originalSha256": "037aaffd49764100a69b21e31ae98213e5741b6bc4adb0b324e3b183848563eb",
      "href": "/os-evidence/037aaffd49764100a69b21e31ae98213e5741b6bc4adb0b324e3b183848563eb.txt",
      "sha256": "037aaffd49764100a69b21e31ae98213e5741b6bc4adb0b324e3b183848563eb",
      "bytes": 18605,
      "redacted": false
    },
    {
      "name": "mutant-wrapping-egress.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrapping-egress.log",
      "originalSha256": "3b564a5eda6ecb19d98e77e8b0969fb18179877365d21e9ff69693b659a2b6c4",
      "href": "/os-evidence/3b564a5eda6ecb19d98e77e8b0969fb18179877365d21e9ff69693b659a2b6c4.txt",
      "sha256": "3b564a5eda6ecb19d98e77e8b0969fb18179877365d21e9ff69693b659a2b6c4",
      "bytes": 1154,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrapping-egress/os-exceptions/src/exceptions.rs",
      "originalSha256": "49e4efa235ddb11ed13bed5f8b47aaa7172ac7d10abefbd704f54253d8d02d99",
      "href": "/os-evidence/49e4efa235ddb11ed13bed5f8b47aaa7172ac7d10abefbd704f54253d8d02d99.txt",
      "sha256": "49e4efa235ddb11ed13bed5f8b47aaa7172ac7d10abefbd704f54253d8d02d99",
      "bytes": 18605,
      "redacted": false
    },
    {
      "name": "mutant-missing-second-fatal.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-second-fatal.log",
      "originalSha256": "d3539191a3753603bc06c49229b3a9c585f861a26b05be653ecd7557d44799dc",
      "href": "/os-evidence/d3539191a3753603bc06c49229b3a9c585f861a26b05be653ecd7557d44799dc.txt",
      "sha256": "d3539191a3753603bc06c49229b3a9c585f861a26b05be653ecd7557d44799dc",
      "bytes": 1065,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-missing-second-fatal/os-exceptions/src/exceptions.rs",
      "originalSha256": "bf7a246309b729a748b7f0e30cac91c9c79d2751c2a4b751d5f77e8bb87c52aa",
      "href": "/os-evidence/bf7a246309b729a748b7f0e30cac91c9c79d2751c2a4b751d5f77e8bb87c52aa.txt",
      "sha256": "bf7a246309b729a748b7f0e30cac91c9c79d2751c2a4b751d5f77e8bb87c52aa",
      "bytes": 18632,
      "redacted": false
    },
    {
      "name": "mutant-wrong-fatal-bound.log",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrong-fatal-bound.log",
      "originalSha256": "7b14338c73e2af70778802e221fcfb856aa67e9d592d19a2f40f0b02190a687e",
      "href": "/os-evidence/7b14338c73e2af70778802e221fcfb856aa67e9d592d19a2f40f0b02190a687e.txt",
      "sha256": "7b14338c73e2af70778802e221fcfb856aa67e9d592d19a2f40f0b02190a687e",
      "bytes": 1175,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K901-K919-preparation-EQ5mcc/mutant-wrong-fatal-bound/os-exceptions/src/exceptions.rs",
      "originalSha256": "b87d45c70331e17dc4d667f925c0e8ebcd328bcd26fffd2166d4d7cb5cbb8045",
      "href": "/os-evidence/b87d45c70331e17dc4d667f925c0e8ebcd328bcd26fffd2166d4d7cb5cbb8045.txt",
      "sha256": "b87d45c70331e17dc4d667f925c0e8ebcd328bcd26fffd2166d4d7cb5cbb8045",
      "bytes": 18634,
      "redacted": false
    }
  ],
  "moves": [
    "K901",
    "K902",
    "K903",
    "K904",
    "K906",
    "K907",
    "K908",
    "K909",
    "K911",
    "K912",
    "K913",
    "K914",
    "K916",
    "K917",
    "K918",
    "K919"
  ]
}