{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K635-1c0YC4/report.json",
    "sha256": "1a119dce4afd2b8cf094ff19d0668607b945d0dad71d09e876f5fa91276d1bfb",
    "bytes": 154997
  },
  "status": "DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Single-CPU development Image; direct and UEFI HVF runs. Guard faults and argument corruption use separate explicitly attested negative images. Initial guard protection starts after MMU; this is not release or second-machine acceptance.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 13,
  "caseSerialsSelected": 13,
  "imageSha256": "5d517e5b7bbf4694f0422284e36d5d73190787840d53a4afef72c495b6af2ddd",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/positive-direct-256/serial.log",
      "originalSha256": "e4cc791fb005e2d10ac8794ea427ba886cf40ab4369c0d72e8fa7f75914348d6",
      "href": "/os-evidence/e4cc791fb005e2d10ac8794ea427ba886cf40ab4369c0d72e8fa7f75914348d6.txt",
      "sha256": "e4cc791fb005e2d10ac8794ea427ba886cf40ab4369c0d72e8fa7f75914348d6",
      "bytes": 3824,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/positive-direct-512/serial.log",
      "originalSha256": "b69eb966115f17b8572c7fc081abc2c950ad581ed398399092b904623ebe0da3",
      "href": "/os-evidence/b69eb966115f17b8572c7fc081abc2c950ad581ed398399092b904623ebe0da3.txt",
      "sha256": "b69eb966115f17b8572c7fc081abc2c950ad581ed398399092b904623ebe0da3",
      "bytes": 3824,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/positive-direct-1024/serial.log",
      "originalSha256": "b1bf518cf33ce7927905b6f91e88c1966b7698505f78fa04aefd7fbbea787497",
      "href": "/os-evidence/b1bf518cf33ce7927905b6f91e88c1966b7698505f78fa04aefd7fbbea787497.txt",
      "sha256": "b1bf518cf33ce7927905b6f91e88c1966b7698505f78fa04aefd7fbbea787497",
      "bytes": 3824,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/positive-uefi-256/serial.log",
      "originalSha256": "2ac95c96f512b96abf99448beff97d8d969d1cc4ba6e637f60bdaa5bdb4ebc9d",
      "href": "/os-evidence/2ac95c96f512b96abf99448beff97d8d969d1cc4ba6e637f60bdaa5bdb4ebc9d.txt",
      "sha256": "2ac95c96f512b96abf99448beff97d8d969d1cc4ba6e637f60bdaa5bdb4ebc9d",
      "bytes": 10066,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/positive-uefi-512/serial.log",
      "originalSha256": "53310e73e5b897b14b0095941c4c9efd066f10853c5eebce7702a6ddf716cb74",
      "href": "/os-evidence/53310e73e5b897b14b0095941c4c9efd066f10853c5eebce7702a6ddf716cb74.txt",
      "sha256": "53310e73e5b897b14b0095941c4c9efd066f10853c5eebce7702a6ddf716cb74",
      "bytes": 10066,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/positive-uefi-1024/serial.log",
      "originalSha256": "d84d1f4bdfa0ed18057d5bb48975c4a5671e173f3497e346f7ee14aca8392415",
      "href": "/os-evidence/d84d1f4bdfa0ed18057d5bb48975c4a5671e173f3497e346f7ee14aca8392415.txt",
      "sha256": "d84d1f4bdfa0ed18057d5bb48975c4a5671e173f3497e346f7ee14aca8392415",
      "bytes": 10066,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/guard-read-direct-256/serial.log",
      "originalSha256": "6e9091cac736fb32c668c30a9f8f192bee009ce86651fe130ec8f123e6cdce0f",
      "href": "/os-evidence/6e9091cac736fb32c668c30a9f8f192bee009ce86651fe130ec8f123e6cdce0f.txt",
      "sha256": "6e9091cac736fb32c668c30a9f8f192bee009ce86651fe130ec8f123e6cdce0f",
      "bytes": 3835,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/guard-read-direct-512/serial.log",
      "originalSha256": "372c2906c6ffa90529cb663dbe7fb2de602a0cba3059a63bcaf54ad85226976f",
      "href": "/os-evidence/372c2906c6ffa90529cb663dbe7fb2de602a0cba3059a63bcaf54ad85226976f.txt",
      "sha256": "372c2906c6ffa90529cb663dbe7fb2de602a0cba3059a63bcaf54ad85226976f",
      "bytes": 3835,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/guard-read-direct-1024/serial.log",
      "originalSha256": "12ed3af6b8a09ba1e6e18696baa136ace8054dd5bd797cd3ece445b333318972",
      "href": "/os-evidence/12ed3af6b8a09ba1e6e18696baa136ace8054dd5bd797cd3ece445b333318972.txt",
      "sha256": "12ed3af6b8a09ba1e6e18696baa136ace8054dd5bd797cd3ece445b333318972",
      "bytes": 3835,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/guard-read-uefi-256/serial.log",
      "originalSha256": "813784fcbd636a8fd1ed5c37dd1f10bad8655c62952b20798272c26684089962",
      "href": "/os-evidence/813784fcbd636a8fd1ed5c37dd1f10bad8655c62952b20798272c26684089962.txt",
      "sha256": "813784fcbd636a8fd1ed5c37dd1f10bad8655c62952b20798272c26684089962",
      "bytes": 10077,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/guard-read-uefi-512/serial.log",
      "originalSha256": "5419b0ae0e38cc3d1e56d23817dd996fbcd12f675625458f05e505dfc5c9c094",
      "href": "/os-evidence/5419b0ae0e38cc3d1e56d23817dd996fbcd12f675625458f05e505dfc5c9c094.txt",
      "sha256": "5419b0ae0e38cc3d1e56d23817dd996fbcd12f675625458f05e505dfc5c9c094",
      "bytes": 10077,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/guard-read-uefi-1024/serial.log",
      "originalSha256": "7cad2393d319233ba697065e928f733ce69d8584b2757279be188a1932c0286b",
      "href": "/os-evidence/7cad2393d319233ba697065e928f733ce69d8584b2757279be188a1932c0286b.txt",
      "sha256": "7cad2393d319233ba697065e928f733ce69d8584b2757279be188a1932c0286b",
      "bytes": 10077,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K635-1c0YC4/blind-control-direct-512/serial.log",
      "originalSha256": "474de16f389e45d46d7046ce95a6469337524cd7ff4a5fc32307a08a24089b3a",
      "href": "/os-evidence/474de16f389e45d46d7046ce95a6469337524cd7ff4a5fc32307a08a24089b3a.txt",
      "sha256": "474de16f389e45d46d7046ce95a6469337524cd7ff4a5fc32307a08a24089b3a",
      "bytes": 3208,
      "redacted": false
    }
  ],
  "moves": [
    "K635"
  ]
}