{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K701-K719-xtYvXL/report.json",
    "sha256": "e8d5892bc84f74dc9e4029ddcef0991472e42436582670f53f4ebd4c80b5f3dc",
    "bytes": 76110
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/host.log",
      "originalSha256": "07e519d0ec9912a3643ebc39cb2241ffd48b37bd91bae81795e10fd169cecf2e",
      "href": "/os-evidence/07e519d0ec9912a3643ebc39cb2241ffd48b37bd91bae81795e10fd169cecf2e.txt",
      "sha256": "07e519d0ec9912a3643ebc39cb2241ffd48b37bd91bae81795e10fd169cecf2e",
      "bytes": 2926,
      "redacted": false
    },
    {
      "name": "classify-positive.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/classify-positive.log",
      "originalSha256": "a2c2cd82cb581354907ac9bb2922a4aebeb21e03fb99a97261152d9c21296214",
      "href": "/os-evidence/a2c2cd82cb581354907ac9bb2922a4aebeb21e03fb99a97261152d9c21296214.txt",
      "sha256": "a2c2cd82cb581354907ac9bb2922a4aebeb21e03fb99a97261152d9c21296214",
      "bytes": 405,
      "redacted": false
    },
    {
      "name": "classify-negative.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/classify-negative.log",
      "originalSha256": "584ba24bebbdc5bf4f6aaabf77513d202eb289d71387b815337e35b33d4f2247",
      "href": "/os-evidence/584ba24bebbdc5bf4f6aaabf77513d202eb289d71387b815337e35b33d4f2247.txt",
      "sha256": "584ba24bebbdc5bf4f6aaabf77513d202eb289d71387b815337e35b33d4f2247",
      "bytes": 405,
      "redacted": false
    },
    {
      "name": "reserve-positive.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/reserve-positive.log",
      "originalSha256": "f8abb9dc3d22dd8944af4dd075c7eab3e705bf30ac744424be67789700edd496",
      "href": "/os-evidence/f8abb9dc3d22dd8944af4dd075c7eab3e705bf30ac744424be67789700edd496.txt",
      "sha256": "f8abb9dc3d22dd8944af4dd075c7eab3e705bf30ac744424be67789700edd496",
      "bytes": 404,
      "redacted": false
    },
    {
      "name": "reserve-negative.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/reserve-negative.log",
      "originalSha256": "9c596debc51cbc771a71e80ea190df9aa50d9d552307c40549227241a5249bbd",
      "href": "/os-evidence/9c596debc51cbc771a71e80ea190df9aa50d9d552307c40549227241a5249bbd.txt",
      "sha256": "9c596debc51cbc771a71e80ea190df9aa50d9d552307c40549227241a5249bbd",
      "bytes": 404,
      "redacted": false
    },
    {
      "name": "endpoints-positive.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/endpoints-positive.log",
      "originalSha256": "1d917304d1c59d00acb8812bb043b1aa0ae88e030646517aa36d8f657c4f07f1",
      "href": "/os-evidence/1d917304d1c59d00acb8812bb043b1aa0ae88e030646517aa36d8f657c4f07f1.txt",
      "sha256": "1d917304d1c59d00acb8812bb043b1aa0ae88e030646517aa36d8f657c4f07f1",
      "bytes": 406,
      "redacted": false
    },
    {
      "name": "endpoints-negative.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/endpoints-negative.log",
      "originalSha256": "03d5a498809a3b6088b0ccd4ec97fa010fdcda7d874f68cf378746cdca2d05c7",
      "href": "/os-evidence/03d5a498809a3b6088b0ccd4ec97fa010fdcda7d874f68cf378746cdca2d05c7.txt",
      "sha256": "03d5a498809a3b6088b0ccd4ec97fa010fdcda7d874f68cf378746cdca2d05c7",
      "bytes": 406,
      "redacted": false
    },
    {
      "name": "audit-positive.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/audit-positive.log",
      "originalSha256": "2efe2c83368a6e07ed329874771169c91f643261aec506b2903a24abdeba1baf",
      "href": "/os-evidence/2efe2c83368a6e07ed329874771169c91f643261aec506b2903a24abdeba1baf.txt",
      "sha256": "2efe2c83368a6e07ed329874771169c91f643261aec506b2903a24abdeba1baf",
      "bytes": 402,
      "redacted": false
    },
    {
      "name": "audit-negative.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/audit-negative.log",
      "originalSha256": "1c37e919f3f7a1cca8dda9117cf9850324db74c4f720d34de01b058cc60728fc",
      "href": "/os-evidence/1c37e919f3f7a1cca8dda9117cf9850324db74c4f720d34de01b058cc60728fc.txt",
      "sha256": "1c37e919f3f7a1cca8dda9117cf9850324db74c4f720d34de01b058cc60728fc",
      "bytes": 402,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/arm64.log",
      "originalSha256": "84acf0aee995c82a5b791f83590ad2dc4a35186c1109d03fe66e55f170a02685",
      "href": "/os-evidence/84acf0aee995c82a5b791f83590ad2dc4a35186c1109d03fe66e55f170a02685.txt",
      "sha256": "84acf0aee995c82a5b791f83590ad2dc4a35186c1109d03fe66e55f170a02685",
      "bytes": 228,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/clippy.log",
      "originalSha256": "f5fd275fcd0281b4f8a5fd3548bb738000542fded46395fac56aa1589463c345",
      "href": "/os-evidence/f5fd275fcd0281b4f8a5fd3548bb738000542fded46395fac56aa1589463c345.txt",
      "sha256": "f5fd275fcd0281b4f8a5fd3548bb738000542fded46395fac56aa1589463c345",
      "bytes": 609,
      "redacted": false
    },
    {
      "name": "bridge.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/bridge.log",
      "originalSha256": "493a6e72aca81db67f0005aacd94f30cb58bb14884111f5822e4e35a02e180c0",
      "href": "/os-evidence/493a6e72aca81db67f0005aacd94f30cb58bb14884111f5822e4e35a02e180c0.txt",
      "sha256": "493a6e72aca81db67f0005aacd94f30cb58bb14884111f5822e4e35a02e180c0",
      "bytes": 1150,
      "redacted": false
    },
    {
      "name": "mutant-unknown-firmware.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-unknown-firmware.log",
      "originalSha256": "ad3e6c69372d6d04a710294762e6268109db23df946e87b5404dc1b6dff9957e",
      "href": "/os-evidence/ad3e6c69372d6d04a710294762e6268109db23df946e87b5404dc1b6dff9957e.txt",
      "sha256": "ad3e6c69372d6d04a710294762e6268109db23df946e87b5404dc1b6dff9957e",
      "bytes": 1588,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-unknown-firmware/os-frame-authority/src/authority.rs",
      "originalSha256": "63b4fe147ae213d936b3dc91da3445e90e27f7929fb40ec9e1ecae01e4b2cb51",
      "href": "/os-evidence/63b4fe147ae213d936b3dc91da3445e90e27f7929fb40ec9e1ecae01e4b2cb51.txt",
      "sha256": "63b4fe147ae213d936b3dc91da3445e90e27f7929fb40ec9e1ecae01e4b2cb51",
      "bytes": 34323,
      "redacted": false
    },
    {
      "name": "mutant-boot-services-admitted.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-boot-services-admitted.log",
      "originalSha256": "55fd1f8e40c4faeb1ab2fd75ce8544e414c3cf3d122653c3c51a3507d0f35dbd",
      "href": "/os-evidence/55fd1f8e40c4faeb1ab2fd75ce8544e414c3cf3d122653c3c51a3507d0f35dbd.txt",
      "sha256": "55fd1f8e40c4faeb1ab2fd75ce8544e414c3cf3d122653c3c51a3507d0f35dbd",
      "bytes": 1454,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-boot-services-admitted/os-frame-authority/src/authority.rs",
      "originalSha256": "135354f99b73de946104eb9f1b7874a9d4eae7bafbe8ca87a6f776b629d25c9a",
      "href": "/os-evidence/135354f99b73de946104eb9f1b7874a9d4eae7bafbe8ca87a6f776b629d25c9a.txt",
      "sha256": "135354f99b73de946104eb9f1b7874a9d4eae7bafbe8ca87a6f776b629d25c9a",
      "bytes": 34362,
      "redacted": false
    },
    {
      "name": "mutant-live-reservation.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-live-reservation.log",
      "originalSha256": "f1b84f771bf8c24ad19b8f06536cba7ae6a85a299f11cbfee7745fa629b613d6",
      "href": "/os-evidence/f1b84f771bf8c24ad19b8f06536cba7ae6a85a299f11cbfee7745fa629b613d6.txt",
      "sha256": "f1b84f771bf8c24ad19b8f06536cba7ae6a85a299f11cbfee7745fa629b613d6",
      "bytes": 1394,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-live-reservation/os-frame-authority/src/authority.rs",
      "originalSha256": "95ecc9737facfff268f5484bcf81cb99724fd8f1e83bdeb07be49fead041cc81",
      "href": "/os-evidence/95ecc9737facfff268f5484bcf81cb99724fd8f1e83bdeb07be49fead041cc81.txt",
      "sha256": "95ecc9737facfff268f5484bcf81cb99724fd8f1e83bdeb07be49fead041cc81",
      "bytes": 34347,
      "redacted": false
    },
    {
      "name": "mutant-partial-erasure.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-partial-erasure.log",
      "originalSha256": "4ddec8390deb935de7823d61e703babda42cc69698dd21757e58205dbb1a7fcd",
      "href": "/os-evidence/4ddec8390deb935de7823d61e703babda42cc69698dd21757e58205dbb1a7fcd.txt",
      "sha256": "4ddec8390deb935de7823d61e703babda42cc69698dd21757e58205dbb1a7fcd",
      "bytes": 1457,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-partial-erasure/os-frame-authority/src/authority.rs",
      "originalSha256": "096f21525bc3c1bb1f630897456e62e8c2bae595b1fefddc67ea6732ad9b42dd",
      "href": "/os-evidence/096f21525bc3c1bb1f630897456e62e8c2bae595b1fefddc67ea6732ad9b42dd.txt",
      "sha256": "096f21525bc3c1bb1f630897456e62e8c2bae595b1fefddc67ea6732ad9b42dd",
      "bytes": 34344,
      "redacted": false
    },
    {
      "name": "mutant-stale-generation.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-stale-generation.log",
      "originalSha256": "35faf71627213a11fdbb0818920c4fd86300ba8254639e62faeb53741115dfc9",
      "href": "/os-evidence/35faf71627213a11fdbb0818920c4fd86300ba8254639e62faeb53741115dfc9.txt",
      "sha256": "35faf71627213a11fdbb0818920c4fd86300ba8254639e62faeb53741115dfc9",
      "bytes": 1460,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-stale-generation/os-frame-authority/src/authority.rs",
      "originalSha256": "f69384242901f67443ae18f5e335a9970c1effab34071d887f688597faebf714",
      "href": "/os-evidence/f69384242901f67443ae18f5e335a9970c1effab34071d887f688597faebf714.txt",
      "sha256": "f69384242901f67443ae18f5e335a9970c1effab34071d887f688597faebf714",
      "bytes": 34306,
      "redacted": false
    },
    {
      "name": "mutant-count-only-inventory.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-count-only-inventory.log",
      "originalSha256": "4421b2c580cacd22b5d86cb8cefa063b520ce49a09cc030d054922a1e3415a63",
      "href": "/os-evidence/4421b2c580cacd22b5d86cb8cefa063b520ce49a09cc030d054922a1e3415a63.txt",
      "sha256": "4421b2c580cacd22b5d86cb8cefa063b520ce49a09cc030d054922a1e3415a63",
      "bytes": 1544,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-count-only-inventory/os-frame-authority/src/authority.rs",
      "originalSha256": "43939a7b87df78a3728ae786d4d670e09eae4fa286c6bde180c35035b26d1f89",
      "href": "/os-evidence/43939a7b87df78a3728ae786d4d670e09eae4fa286c6bde180c35035b26d1f89.txt",
      "sha256": "43939a7b87df78a3728ae786d4d670e09eae4fa286c6bde180c35035b26d1f89",
      "bytes": 34308,
      "redacted": false
    },
    {
      "name": "mutant-wrong-backing.log",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-wrong-backing.log",
      "originalSha256": "b140a33883771f734036e7e6a56ec548fd7a3e24285a0fe846e8daccb64c4077",
      "href": "/os-evidence/b140a33883771f734036e7e6a56ec548fd7a3e24285a0fe846e8daccb64c4077.txt",
      "sha256": "b140a33883771f734036e7e6a56ec548fd7a3e24285a0fe846e8daccb64c4077",
      "bytes": 1458,
      "redacted": false
    },
    {
      "name": "authority.rs",
      "source": "reports/os-implementation/K701-K719-xtYvXL/mutant-wrong-backing/os-frame-authority/src/authority.rs",
      "originalSha256": "aeae6a75f250a51aa249ca432cfccd961f536d8e7ce74b1cf50924311289a7ab",
      "href": "/os-evidence/aeae6a75f250a51aa249ca432cfccd961f536d8e7ce74b1cf50924311289a7ab.txt",
      "sha256": "aeae6a75f250a51aa249ca432cfccd961f536d8e7ce74b1cf50924311289a7ab",
      "bytes": 34305,
      "redacted": false
    }
  ],
  "moves": [
    "K701",
    "K702",
    "K703",
    "K704",
    "K706",
    "K707",
    "K708",
    "K709",
    "K711",
    "K712",
    "K713",
    "K714",
    "K716",
    "K717",
    "K718",
    "K719"
  ]
}