{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K961-K979-preparation-HHDGYT/report.json",
    "sha256": "5d963dfca6370d4b80d97cfaca65f099e02c34c12d593a9a018f8f249ce55ee0",
    "bytes": 61293
  },
  "status": "HOST_PREPARED",
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/integration.log",
      "originalSha256": "ca90554dbfc7e380f1171fbf776fdde94c1f7b9b47b66fa8a448e205f67969a5",
      "href": "/os-evidence/ca90554dbfc7e380f1171fbf776fdde94c1f7b9b47b66fa8a448e205f67969a5.txt",
      "sha256": "ca90554dbfc7e380f1171fbf776fdde94c1f7b9b47b66fa8a448e205f67969a5",
      "bytes": 3040,
      "redacted": false
    },
    {
      "name": "unit.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/unit.log",
      "originalSha256": "a6a7e2ac2a3aa9351a5cc6aa02c19ebd1fc72e149b9dd2f117725cbeda2c9940",
      "href": "/os-evidence/a6a7e2ac2a3aa9351a5cc6aa02c19ebd1fc72e149b9dd2f117725cbeda2c9940.txt",
      "sha256": "a6a7e2ac2a3aa9351a5cc6aa02c19ebd1fc72e149b9dd2f117725cbeda2c9940",
      "bytes": 960,
      "redacted": false
    },
    {
      "name": "irq_guard-positive.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/irq_guard-positive.log",
      "originalSha256": "d7ec52e5ee0c0dfe03a12d485fb9930298c1a263825a6d26967e84e4bb1ddf54",
      "href": "/os-evidence/d7ec52e5ee0c0dfe03a12d485fb9930298c1a263825a6d26967e84e4bb1ddf54.txt",
      "sha256": "d7ec52e5ee0c0dfe03a12d485fb9930298c1a263825a6d26967e84e4bb1ddf54",
      "bytes": 398,
      "redacted": false
    },
    {
      "name": "irq_guard-negative.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/irq_guard-negative.log",
      "originalSha256": "e0a0e224f9867328c70599bb321278ea0b1cb26314cf4c829a3517099167f0a9",
      "href": "/os-evidence/e0a0e224f9867328c70599bb321278ea0b1cb26314cf4c829a3517099167f0a9.txt",
      "sha256": "e0a0e224f9867328c70599bb321278ea0b1cb26314cf4c829a3517099167f0a9",
      "bytes": 398,
      "redacted": false
    },
    {
      "name": "spin-positive.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/spin-positive.log",
      "originalSha256": "78072ac22616acb21f5dbd7d3b0e6858826e9be3a4a201b43cee4338fdfb6baf",
      "href": "/os-evidence/78072ac22616acb21f5dbd7d3b0e6858826e9be3a4a201b43cee4338fdfb6baf.txt",
      "sha256": "78072ac22616acb21f5dbd7d3b0e6858826e9be3a4a201b43cee4338fdfb6baf",
      "bytes": 508,
      "redacted": false
    },
    {
      "name": "spin-negative.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/spin-negative.log",
      "originalSha256": "e8610d211aca11ca86042cd2c3cd25a4b9968da8f831b73a2f683a0007c062ed",
      "href": "/os-evidence/e8610d211aca11ca86042cd2c3cd25a4b9968da8f831b73a2f683a0007c062ed.txt",
      "sha256": "e8610d211aca11ca86042cd2c3cd25a4b9968da8f831b73a2f683a0007c062ed",
      "bytes": 393,
      "redacted": false
    },
    {
      "name": "mutex-positive.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutex-positive.log",
      "originalSha256": "c0365fc4af5d6ebc52e9fd09a8f45e32a5d431c82fbb38f7e4573887cbc0c25e",
      "href": "/os-evidence/c0365fc4af5d6ebc52e9fd09a8f45e32a5d431c82fbb38f7e4573887cbc0c25e.txt",
      "sha256": "c0365fc4af5d6ebc52e9fd09a8f45e32a5d431c82fbb38f7e4573887cbc0c25e",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "mutex-negative.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutex-negative.log",
      "originalSha256": "f4735faeed3081220db9f79373b3fe554589f6441c8411b9492a197238a1fb43",
      "href": "/os-evidence/f4735faeed3081220db9f79373b3fe554589f6441c8411b9492a197238a1fb43.txt",
      "sha256": "f4735faeed3081220db9f79373b3fe554589f6441c8411b9492a197238a1fb43",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "ordering-positive.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/ordering-positive.log",
      "originalSha256": "460a75234bfccc7e967624c3be0b5553cde1a25238537b2995d208f4d71ce565",
      "href": "/os-evidence/460a75234bfccc7e967624c3be0b5553cde1a25238537b2995d208f4d71ce565.txt",
      "sha256": "460a75234bfccc7e967624c3be0b5553cde1a25238537b2995d208f4d71ce565",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "ordering-negative.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/ordering-negative.log",
      "originalSha256": "57015f2302b5e6d42d698178edc530697b08b83759e95b7babf26b5a45df7d3f",
      "href": "/os-evidence/57015f2302b5e6d42d698178edc530697b08b83759e95b7babf26b5a45df7d3f.txt",
      "sha256": "57015f2302b5e6d42d698178edc530697b08b83759e95b7babf26b5a45df7d3f",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/arm64.log",
      "originalSha256": "53ad20bf04ca67eefd853d1c44119313865c60958949737b693768684d18807c",
      "href": "/os-evidence/53ad20bf04ca67eefd853d1c44119313865c60958949737b693768684d18807c.txt",
      "sha256": "53ad20bf04ca67eefd853d1c44119313865c60958949737b693768684d18807c",
      "bytes": 133,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/clippy.log",
      "originalSha256": "f532ac9cdd5d67c768a2e9031dd25caa085eee136fe82050038a48a4d8138397",
      "href": "/os-evidence/f532ac9cdd5d67c768a2e9031dd25caa085eee136fe82050038a48a4d8138397.txt",
      "sha256": "f532ac9cdd5d67c768a2e9031dd25caa085eee136fe82050038a48a4d8138397",
      "bytes": 133,
      "redacted": false
    },
    {
      "name": "mutant-irq-no-mask.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-no-mask.log",
      "originalSha256": "2c5f4fa0788fb4e167c7cfd7d0c169e786bbac8129bac02a5348886f8b2702ea",
      "href": "/os-evidence/2c5f4fa0788fb4e167c7cfd7d0c169e786bbac8129bac02a5348886f8b2702ea.txt",
      "sha256": "2c5f4fa0788fb4e167c7cfd7d0c169e786bbac8129bac02a5348886f8b2702ea",
      "bytes": 885,
      "redacted": false
    },
    {
      "name": "irq.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-no-mask/os-locking/src/irq.rs",
      "originalSha256": "a23c319495155a66045ffbd277bfdd6360be1924176acebe012b6814a8657413",
      "href": "/os-evidence/a23c319495155a66045ffbd277bfdd6360be1924176acebe012b6814a8657413.txt",
      "sha256": "a23c319495155a66045ffbd277bfdd6360be1924176acebe012b6814a8657413",
      "bytes": 4762,
      "redacted": false
    },
    {
      "name": "mutant-irq-inner-early-open.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-inner-early-open.log",
      "originalSha256": "fd4b4c6aaeef559d941db4ccf0e82617515577c93f2a991e90a1393798e9a932",
      "href": "/os-evidence/fd4b4c6aaeef559d941db4ccf0e82617515577c93f2a991e90a1393798e9a932.txt",
      "sha256": "fd4b4c6aaeef559d941db4ccf0e82617515577c93f2a991e90a1393798e9a932",
      "bytes": 903,
      "redacted": false
    },
    {
      "name": "irq.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-inner-early-open/os-locking/src/irq.rs",
      "originalSha256": "d25252917bbd3d45d8eba1726cb6020e946fa83dff115256a2bfe2922d9dfba8",
      "href": "/os-evidence/d25252917bbd3d45d8eba1726cb6020e946fa83dff115256a2bfe2922d9dfba8.txt",
      "sha256": "d25252917bbd3d45d8eba1726cb6020e946fa83dff115256a2bfe2922d9dfba8",
      "bytes": 4785,
      "redacted": false
    },
    {
      "name": "mutant-irq-loses-nonirq-bits.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-loses-nonirq-bits.log",
      "originalSha256": "e2eca1c54e120c9c9e6684e7d7d7e41a1b4120f6e0d867b6ac0803676c38e9f2",
      "href": "/os-evidence/e2eca1c54e120c9c9e6684e7d7d7e41a1b4120f6e0d867b6ac0803676c38e9f2.txt",
      "sha256": "e2eca1c54e120c9c9e6684e7d7d7e41a1b4120f6e0d867b6ac0803676c38e9f2",
      "bytes": 905,
      "redacted": false
    },
    {
      "name": "irq.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-loses-nonirq-bits/os-locking/src/irq.rs",
      "originalSha256": "5535ba9721425ff1afa19a8658edd479b680f9d3dd9a72ac67ab48c3f40d5a5c",
      "href": "/os-evidence/5535ba9721425ff1afa19a8658edd479b680f9d3dd9a72ac67ab48c3f40d5a5c.txt",
      "sha256": "5535ba9721425ff1afa19a8658edd479b680f9d3dd9a72ac67ab48c3f40d5a5c",
      "bytes": 4784,
      "redacted": false
    },
    {
      "name": "mutant-irq-no-write-readback.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-no-write-readback.log",
      "originalSha256": "60fbd1f31a40f533b5385cacba098bc8e38c5d34d971581acd3c8f03a386b40b",
      "href": "/os-evidence/60fbd1f31a40f533b5385cacba098bc8e38c5d34d971581acd3c8f03a386b40b.txt",
      "sha256": "60fbd1f31a40f533b5385cacba098bc8e38c5d34d971581acd3c8f03a386b40b",
      "bytes": 972,
      "redacted": false
    },
    {
      "name": "irq.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-no-write-readback/os-locking/src/irq.rs",
      "originalSha256": "cce71cbe2c89c7f181244f9a10f0f906c02816271324220d9ba0683f571a8671",
      "href": "/os-evidence/cce71cbe2c89c7f181244f9a10f0f906c02816271324220d9ba0683f571a8671.txt",
      "sha256": "cce71cbe2c89c7f181244f9a10f0f906c02816271324220d9ba0683f571a8671",
      "bytes": 4725,
      "redacted": false
    },
    {
      "name": "mutant-irq-failed-write-unquarantined.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-failed-write-unquarantined.log",
      "originalSha256": "1aa85b6d6c3e91d06cbe48e10d9f677d5d3b4ced73dc74628c1ae1719cc1b941",
      "href": "/os-evidence/1aa85b6d6c3e91d06cbe48e10d9f677d5d3b4ced73dc74628c1ae1719cc1b941.txt",
      "sha256": "1aa85b6d6c3e91d06cbe48e10d9f677d5d3b4ced73dc74628c1ae1719cc1b941",
      "bytes": 1013,
      "redacted": false
    },
    {
      "name": "irq.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-failed-write-unquarantined/os-locking/src/irq.rs",
      "originalSha256": "e9bd165acf70e71b065bc05a43f19e93255271b53ba1115dc2d0c60972f2881b",
      "href": "/os-evidence/e9bd165acf70e71b065bc05a43f19e93255271b53ba1115dc2d0c60972f2881b.txt",
      "sha256": "e9bd165acf70e71b065bc05a43f19e93255271b53ba1115dc2d0c60972f2881b",
      "bytes": 4774,
      "redacted": false
    },
    {
      "name": "mutant-irq-depth-wrap.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-depth-wrap.log",
      "originalSha256": "ba88952631f9950ac107ce816ee69fc84734c629b8200504901e74e01bf1c3fd",
      "href": "/os-evidence/ba88952631f9950ac107ce816ee69fc84734c629b8200504901e74e01bf1c3fd.txt",
      "sha256": "ba88952631f9950ac107ce816ee69fc84734c629b8200504901e74e01bf1c3fd",
      "bytes": 999,
      "redacted": false
    },
    {
      "name": "irq.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-irq-depth-wrap/os-locking/src/irq.rs",
      "originalSha256": "907c1e4d2307626dc42d2bbcbfdd1d66d1d91f147d6b3c944e110507b4ddedb2",
      "href": "/os-evidence/907c1e4d2307626dc42d2bbcbfdd1d66d1d91f147d6b3c944e110507b4ddedb2.txt",
      "sha256": "907c1e4d2307626dc42d2bbcbfdd1d66d1d91f147d6b3c944e110507b4ddedb2",
      "bytes": 4750,
      "redacted": false
    },
    {
      "name": "mutant-spin-recursion-not-diagnosed.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-recursion-not-diagnosed.log",
      "originalSha256": "947ea98b49da6b3112ef345832075cb7291ce33ab121ff4e7622755bfabdc852",
      "href": "/os-evidence/947ea98b49da6b3112ef345832075cb7291ce33ab121ff4e7622755bfabdc852.txt",
      "sha256": "947ea98b49da6b3112ef345832075cb7291ce33ab121ff4e7622755bfabdc852",
      "bytes": 922,
      "redacted": false
    },
    {
      "name": "spin.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-recursion-not-diagnosed/os-locking/src/spin.rs",
      "originalSha256": "10b14b96b469946a7f82a69ed6aca6a09dcc2710d991e1929673770861b18e56",
      "href": "/os-evidence/10b14b96b469946a7f82a69ed6aca6a09dcc2710d991e1929673770861b18e56.txt",
      "sha256": "10b14b96b469946a7f82a69ed6aca6a09dcc2710d991e1929673770861b18e56",
      "bytes": 8377,
      "redacted": false
    },
    {
      "name": "mutant-spin-foreign-mask-admitted.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-foreign-mask-admitted.log",
      "originalSha256": "84510675dddf80e2948c01f62c95c4f306923a73ea68864c50f649f347446e43",
      "href": "/os-evidence/84510675dddf80e2948c01f62c95c4f306923a73ea68864c50f649f347446e43.txt",
      "sha256": "84510675dddf80e2948c01f62c95c4f306923a73ea68864c50f649f347446e43",
      "bytes": 1014,
      "redacted": false
    },
    {
      "name": "spin.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-foreign-mask-admitted/os-locking/src/spin.rs",
      "originalSha256": "9c7c22135bb9735f846d7dd1fcb6c8d7695d90d6bfff43975d2b8faa65797922",
      "href": "/os-evidence/9c7c22135bb9735f846d7dd1fcb6c8d7695d90d6bfff43975d2b8faa65797922.txt",
      "sha256": "9c7c22135bb9735f846d7dd1fcb6c8d7695d90d6bfff43975d2b8faa65797922",
      "bytes": 8361,
      "redacted": false
    },
    {
      "name": "mutant-spin-owner-not-released.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-owner-not-released.log",
      "originalSha256": "fd6d1a46d3c67a6b325294e9acf166398642320083f8572e1a00b54b780e9761",
      "href": "/os-evidence/fd6d1a46d3c67a6b325294e9acf166398642320083f8572e1a00b54b780e9761.txt",
      "sha256": "fd6d1a46d3c67a6b325294e9acf166398642320083f8572e1a00b54b780e9761",
      "bytes": 903,
      "redacted": false
    },
    {
      "name": "spin.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-owner-not-released/os-locking/src/spin.rs",
      "originalSha256": "71ee635ef4337185db8ace45fc2b9fe6eed2524210be6859e237b722b6d34d9b",
      "href": "/os-evidence/71ee635ef4337185db8ace45fc2b9fe6eed2524210be6859e237b722b6d34d9b.txt",
      "sha256": "71ee635ef4337185db8ace45fc2b9fe6eed2524210be6859e237b722b6d34d9b",
      "bytes": 8279,
      "redacted": false
    },
    {
      "name": "mutant-spin-depth-allows-sleep.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-depth-allows-sleep.log",
      "originalSha256": "03772594316567d4cc6d5a57f1f83a0b5fa1bd8268a63569dbaf12d4f01854b5",
      "href": "/os-evidence/03772594316567d4cc6d5a57f1f83a0b5fa1bd8268a63569dbaf12d4f01854b5.txt",
      "sha256": "03772594316567d4cc6d5a57f1f83a0b5fa1bd8268a63569dbaf12d4f01854b5",
      "bytes": 1128,
      "redacted": false
    },
    {
      "name": "spin.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-depth-allows-sleep/os-locking/src/spin.rs",
      "originalSha256": "aef9f6e457472fa6e53ca166c6e6a62529dfdbf97e40af3c84f6659f4f0fdb2f",
      "href": "/os-evidence/aef9f6e457472fa6e53ca166c6e6a62529dfdbf97e40af3c84f6659f4f0fdb2f.txt",
      "sha256": "aef9f6e457472fa6e53ca166c6e6a62529dfdbf97e40af3c84f6659f4f0fdb2f",
      "bytes": 8362,
      "redacted": false
    },
    {
      "name": "mutant-spin-failed-owner-token-discarded.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-failed-owner-token-discarded.log",
      "originalSha256": "534ff0a15cc2326d8dc7ae78b251cadb5843a7f3154d6821acb1f29d2a466140",
      "href": "/os-evidence/534ff0a15cc2326d8dc7ae78b251cadb5843a7f3154d6821acb1f29d2a466140.txt",
      "sha256": "534ff0a15cc2326d8dc7ae78b251cadb5843a7f3154d6821acb1f29d2a466140",
      "bytes": 993,
      "redacted": false
    },
    {
      "name": "spin.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-spin-failed-owner-token-discarded/os-locking/src/spin.rs",
      "originalSha256": "12c5a46ab9fc8b2d0bf0b0109828eb6e273d44ce3ba8c6957c0c02b62c2ec645",
      "href": "/os-evidence/12c5a46ab9fc8b2d0bf0b0109828eb6e273d44ce3ba8c6957c0c02b62c2ec645.txt",
      "sha256": "12c5a46ab9fc8b2d0bf0b0109828eb6e273d44ce3ba8c6957c0c02b62c2ec645",
      "bytes": 8396,
      "redacted": false
    },
    {
      "name": "mutant-mutex-irq-handler-admitted.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-irq-handler-admitted.log",
      "originalSha256": "8ad18768f8d30d6021a49dc5a5806c3e54f6c3a6e78f2b64d8e78c0a573b9379",
      "href": "/os-evidence/8ad18768f8d30d6021a49dc5a5806c3e54f6c3a6e78f2b64d8e78c0a573b9379.txt",
      "sha256": "8ad18768f8d30d6021a49dc5a5806c3e54f6c3a6e78f2b64d8e78c0a573b9379",
      "bytes": 926,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-irq-handler-admitted/os-locking/src/mutex.rs",
      "originalSha256": "ae9ebfad9a4d9413ec88bfe2528a8f86b6cb129b9eb1c6e8fbcb2ef569de5dee",
      "href": "/os-evidence/ae9ebfad9a4d9413ec88bfe2528a8f86b6cb129b9eb1c6e8fbcb2ef569de5dee.txt",
      "sha256": "ae9ebfad9a4d9413ec88bfe2528a8f86b6cb129b9eb1c6e8fbcb2ef569de5dee",
      "bytes": 18457,
      "redacted": false
    },
    {
      "name": "mutant-mutex-park-prefix-published.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-park-prefix-published.log",
      "originalSha256": "db94125e58c7447729be8d24e731ed02642125b48561049a62fb4ce13971b852",
      "href": "/os-evidence/db94125e58c7447729be8d24e731ed02642125b48561049a62fb4ce13971b852.txt",
      "sha256": "db94125e58c7447729be8d24e731ed02642125b48561049a62fb4ce13971b852",
      "bytes": 1003,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-park-prefix-published/os-locking/src/mutex.rs",
      "originalSha256": "94f0e24aab7d4d1010a1a91bb8a0663ac55d2652aa5d3ca990733793e33ead6d",
      "href": "/os-evidence/94f0e24aab7d4d1010a1a91bb8a0663ac55d2652aa5d3ca990733793e33ead6d.txt",
      "sha256": "94f0e24aab7d4d1010a1a91bb8a0663ac55d2652aa5d3ca990733793e33ead6d",
      "bytes": 18459,
      "redacted": false
    },
    {
      "name": "mutant-mutex-lifo-handoff.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-lifo-handoff.log",
      "originalSha256": "6951c4498b7a05753a64f02ae80ce0c3fd81186535acca968af223c85970cec8",
      "href": "/os-evidence/6951c4498b7a05753a64f02ae80ce0c3fd81186535acca968af223c85970cec8.txt",
      "sha256": "6951c4498b7a05753a64f02ae80ce0c3fd81186535acca968af223c85970cec8",
      "bytes": 979,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-lifo-handoff/os-locking/src/mutex.rs",
      "originalSha256": "a0473dcaefc9a4787411ad76b6a68fa462349fd66dfdd9922cd659689bdd6274",
      "href": "/os-evidence/a0473dcaefc9a4787411ad76b6a68fa462349fd66dfdd9922cd659689bdd6274.txt",
      "sha256": "a0473dcaefc9a4787411ad76b6a68fa462349fd66dfdd9922cd659689bdd6274",
      "bytes": 18399,
      "redacted": false
    },
    {
      "name": "mutant-mutex-foreign-owner.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-foreign-owner.log",
      "originalSha256": "27c1fd7234d4cd16dd6cfe04ab93b08afffcad153b53e1ba427fdcf64df89285",
      "href": "/os-evidence/27c1fd7234d4cd16dd6cfe04ab93b08afffcad153b53e1ba427fdcf64df89285.txt",
      "sha256": "27c1fd7234d4cd16dd6cfe04ab93b08afffcad153b53e1ba427fdcf64df89285",
      "bytes": 1408,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-foreign-owner/os-locking/src/mutex.rs",
      "originalSha256": "032b02da492a8f2f53b4b1e4c0cab0704bc45e6e8b10f42aade25af7100610b8",
      "href": "/os-evidence/032b02da492a8f2f53b4b1e4c0cab0704bc45e6e8b10f42aade25af7100610b8.txt",
      "sha256": "032b02da492a8f2f53b4b1e4c0cab0704bc45e6e8b10f42aade25af7100610b8",
      "bytes": 18370,
      "redacted": false
    },
    {
      "name": "mutant-mutex-stale-owner-generation.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-stale-owner-generation.log",
      "originalSha256": "81c542c3b3050d1d22b68178be34628e28158ad90bc412073b394f9c04ba493a",
      "href": "/os-evidence/81c542c3b3050d1d22b68178be34628e28158ad90bc412073b394f9c04ba493a.txt",
      "sha256": "81c542c3b3050d1d22b68178be34628e28158ad90bc412073b394f9c04ba493a",
      "bytes": 1085,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-stale-owner-generation/os-locking/src/mutex.rs",
      "originalSha256": "90129ac7d9b24085b3f2103c97c0493498a45ea9dedba6ea0c33d6460c49819e",
      "href": "/os-evidence/90129ac7d9b24085b3f2103c97c0493498a45ea9dedba6ea0c33d6460c49819e.txt",
      "sha256": "90129ac7d9b24085b3f2103c97c0493498a45ea9dedba6ea0c33d6460c49819e",
      "bytes": 18350,
      "redacted": false
    },
    {
      "name": "mutant-mutex-stale-wait-generation.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-stale-wait-generation.log",
      "originalSha256": "f68450795ae1a245051ead6cdbe9f9b92fd269c5c3a389436392e897a44bdf5b",
      "href": "/os-evidence/f68450795ae1a245051ead6cdbe9f9b92fd269c5c3a389436392e897a44bdf5b.txt",
      "sha256": "f68450795ae1a245051ead6cdbe9f9b92fd269c5c3a389436392e897a44bdf5b",
      "bytes": 1056,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-stale-wait-generation/os-locking/src/mutex.rs",
      "originalSha256": "1936ffbc760909b9833ac9cf18ec6fc7152ad3169fdce072d5dc1463b8e3efc6",
      "href": "/os-evidence/1936ffbc760909b9833ac9cf18ec6fc7152ad3169fdce072d5dc1463b8e3efc6.txt",
      "sha256": "1936ffbc760909b9833ac9cf18ec6fc7152ad3169fdce072d5dc1463b8e3efc6",
      "bytes": 18361,
      "redacted": false
    },
    {
      "name": "mutant-mutex-wake-owner-prefix.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-wake-owner-prefix.log",
      "originalSha256": "62f79d755c6682068c550cecd1e0a70d386ece91e825dfaea76bf0833eb1bdf5",
      "href": "/os-evidence/62f79d755c6682068c550cecd1e0a70d386ece91e825dfaea76bf0833eb1bdf5.txt",
      "sha256": "62f79d755c6682068c550cecd1e0a70d386ece91e825dfaea76bf0833eb1bdf5",
      "bytes": 1413,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-wake-owner-prefix/os-locking/src/mutex.rs",
      "originalSha256": "f777d83db8ad736e08b754be5261fe92a28fa0a60aa8407a594fddcfd8ddc70e",
      "href": "/os-evidence/f777d83db8ad736e08b754be5261fe92a28fa0a60aa8407a594fddcfd8ddc70e.txt",
      "sha256": "f777d83db8ad736e08b754be5261fe92a28fa0a60aa8407a594fddcfd8ddc70e",
      "bytes": 18415,
      "redacted": false
    },
    {
      "name": "mutant-mutex-forgets-backend-quarantine.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-forgets-backend-quarantine.log",
      "originalSha256": "23006b1c85b14d46d7d6fbe7c7443254b9f080e3aaff51cb06a7819d72ab3dfc",
      "href": "/os-evidence/23006b1c85b14d46d7d6fbe7c7443254b9f080e3aaff51cb06a7819d72ab3dfc.txt",
      "sha256": "23006b1c85b14d46d7d6fbe7c7443254b9f080e3aaff51cb06a7819d72ab3dfc",
      "bytes": 985,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-forgets-backend-quarantine/os-locking/src/mutex.rs",
      "originalSha256": "d6ec3634920a4f238614978cf1d1f5b274228fb605e588cdaaaa35f8866e96a7",
      "href": "/os-evidence/d6ec3634920a4f238614978cf1d1f5b274228fb605e588cdaaaa35f8866e96a7.txt",
      "sha256": "d6ec3634920a4f238614978cf1d1f5b274228fb605e588cdaaaa35f8866e96a7",
      "bytes": 18376,
      "redacted": false
    },
    {
      "name": "mutant-mutex-unauthorized-cancel.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-unauthorized-cancel.log",
      "originalSha256": "e595bc2a7ffce9b7b56b6eb9d39d9832258703ef7193968a5fd9c9e98c6c5a7b",
      "href": "/os-evidence/e595bc2a7ffce9b7b56b6eb9d39d9832258703ef7193968a5fd9c9e98c6c5a7b.txt",
      "sha256": "e595bc2a7ffce9b7b56b6eb9d39d9832258703ef7193968a5fd9c9e98c6c5a7b",
      "bytes": 1407,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-unauthorized-cancel/os-locking/src/mutex.rs",
      "originalSha256": "f28765a2d9914ae172aea8cb87fe7726a74c17a6fe205dae1d09b9f26dc95c36",
      "href": "/os-evidence/f28765a2d9914ae172aea8cb87fe7726a74c17a6fe205dae1d09b9f26dc95c36.txt",
      "sha256": "f28765a2d9914ae172aea8cb87fe7726a74c17a6fe205dae1d09b9f26dc95c36",
      "bytes": 18348,
      "redacted": false
    },
    {
      "name": "mutant-mutex-newcomer-barges.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-newcomer-barges.log",
      "originalSha256": "4b9b51b54651e9161e916241c0a6926f25fa67efb0095cdb07ec574fc8ad06aa",
      "href": "/os-evidence/4b9b51b54651e9161e916241c0a6926f25fa67efb0095cdb07ec574fc8ad06aa.txt",
      "sha256": "4b9b51b54651e9161e916241c0a6926f25fa67efb0095cdb07ec574fc8ad06aa",
      "bytes": 1024,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-newcomer-barges/os-locking/src/mutex.rs",
      "originalSha256": "defda7c113133bd296a0abe6e47fac8c7f1597c6f52918749e6884b67513b4c8",
      "href": "/os-evidence/defda7c113133bd296a0abe6e47fac8c7f1597c6f52918749e6884b67513b4c8.txt",
      "sha256": "defda7c113133bd296a0abe6e47fac8c7f1597c6f52918749e6884b67513b4c8",
      "bytes": 18439,
      "redacted": false
    },
    {
      "name": "mutant-mutex-live-backend-released.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-live-backend-released.log",
      "originalSha256": "0c0d31ee99d7e78602025b25f8ca5c589b00f31c712a608395b0adacbdbdc4b9",
      "href": "/os-evidence/0c0d31ee99d7e78602025b25f8ca5c589b00f31c712a608395b0adacbdbdc4b9.txt",
      "sha256": "0c0d31ee99d7e78602025b25f8ca5c589b00f31c712a608395b0adacbdbdc4b9",
      "bytes": 981,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-live-backend-released/os-locking/src/mutex.rs",
      "originalSha256": "979f67b3e46f90a6ed1bda0680fcc11a2e7b2dff094348a86e81ba3521e7aae4",
      "href": "/os-evidence/979f67b3e46f90a6ed1bda0680fcc11a2e7b2dff094348a86e81ba3521e7aae4.txt",
      "sha256": "979f67b3e46f90a6ed1bda0680fcc11a2e7b2dff094348a86e81ba3521e7aae4",
      "bytes": 18375,
      "redacted": false
    },
    {
      "name": "mutant-mutex-owner-generation-wrap.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-owner-generation-wrap.log",
      "originalSha256": "5554d8be2df04849fb81c88a127ffc6b6affde61582b5bddda88da33e43b752c",
      "href": "/os-evidence/5554d8be2df04849fb81c88a127ffc6b6affde61582b5bddda88da33e43b752c.txt",
      "sha256": "5554d8be2df04849fb81c88a127ffc6b6affde61582b5bddda88da33e43b752c",
      "bytes": 1066,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-owner-generation-wrap/os-locking/src/mutex.rs",
      "originalSha256": "d518d5a30d6d7540c4f230478a4c3f293f0f1abca9c858af7560029d8d72195a",
      "href": "/os-evidence/d518d5a30d6d7540c4f230478a4c3f293f0f1abca9c858af7560029d8d72195a.txt",
      "sha256": "d518d5a30d6d7540c4f230478a4c3f293f0f1abca9c858af7560029d8d72195a",
      "bytes": 18367,
      "redacted": false
    },
    {
      "name": "mutant-ordering-cycle-admitted.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-cycle-admitted.log",
      "originalSha256": "d38a23d0427450b9c0dbe532788114eb68b7dee99b2128bb505e7f375a395234",
      "href": "/os-evidence/d38a23d0427450b9c0dbe532788114eb68b7dee99b2128bb505e7f375a395234.txt",
      "sha256": "d38a23d0427450b9c0dbe532788114eb68b7dee99b2128bb505e7f375a395234",
      "bytes": 1388,
      "redacted": false
    },
    {
      "name": "ordering.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-cycle-admitted/os-locking/src/ordering.rs",
      "originalSha256": "4511afc66814b0479862ce2ae4e095c34c80f620ddcfac5bd05819df44ac4e78",
      "href": "/os-evidence/4511afc66814b0479862ce2ae4e095c34c80f620ddcfac5bd05819df44ac4e78.txt",
      "sha256": "4511afc66814b0479862ce2ae4e095c34c80f620ddcfac5bd05819df44ac4e78",
      "bytes": 5036,
      "redacted": false
    },
    {
      "name": "mutant-ordering-prefix-edge-published.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-prefix-edge-published.log",
      "originalSha256": "6d91446eca09395090ff5f622bccc1f57ae9f2214bb089417de9c20aef3c678b",
      "href": "/os-evidence/6d91446eca09395090ff5f622bccc1f57ae9f2214bb089417de9c20aef3c678b.txt",
      "sha256": "6d91446eca09395090ff5f622bccc1f57ae9f2214bb089417de9c20aef3c678b",
      "bytes": 1008,
      "redacted": false
    },
    {
      "name": "ordering.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-prefix-edge-published/os-locking/src/ordering.rs",
      "originalSha256": "86d2112d15c474268a1ed816895fd51b88ca6c13780eff28006fa9dc367cb0ed",
      "href": "/os-evidence/86d2112d15c474268a1ed816895fd51b88ca6c13780eff28006fa9dc367cb0ed.txt",
      "sha256": "86d2112d15c474268a1ed816895fd51b88ca6c13780eff28006fa9dc367cb0ed",
      "bytes": 5097,
      "redacted": false
    },
    {
      "name": "mutant-ordering-failed-acquire-edge-published.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-failed-acquire-edge-published.log",
      "originalSha256": "6125b01f467c96ce0a077c1828a6fe107ba90ec39b3de05a934d5d1f50b34ee7",
      "href": "/os-evidence/6125b01f467c96ce0a077c1828a6fe107ba90ec39b3de05a934d5d1f50b34ee7.txt",
      "sha256": "6125b01f467c96ce0a077c1828a6fe107ba90ec39b3de05a934d5d1f50b34ee7",
      "bytes": 1046,
      "redacted": false
    },
    {
      "name": "ordering.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-failed-acquire-edge-published/os-locking/src/ordering.rs",
      "originalSha256": "d16acb6fb194e234d9ec0988a47b1c15317d8eee2c2780c80fe73e67e75f86eb",
      "href": "/os-evidence/d16acb6fb194e234d9ec0988a47b1c15317d8eee2c2780c80fe73e67e75f86eb.txt",
      "sha256": "d16acb6fb194e234d9ec0988a47b1c15317d8eee2c2780c80fe73e67e75f86eb",
      "bytes": 5168,
      "redacted": false
    },
    {
      "name": "mutant-ordering-high-node-lost.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-high-node-lost.log",
      "originalSha256": "5eee44d2916c1cc0c8d1a7f5e7a7147de0a1aee86b5231c9c99b47dfc911d99b",
      "href": "/os-evidence/5eee44d2916c1cc0c8d1a7f5e7a7147de0a1aee86b5231c9c99b47dfc911d99b.txt",
      "sha256": "5eee44d2916c1cc0c8d1a7f5e7a7147de0a1aee86b5231c9c99b47dfc911d99b",
      "bytes": 1009,
      "redacted": false
    },
    {
      "name": "ordering.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-ordering-high-node-lost/os-locking/src/ordering.rs",
      "originalSha256": "1ae1c5e1d3c9906bcbd1bafe513c2cc8326186002cf52a577d270f25ee726edb",
      "href": "/os-evidence/1ae1c5e1d3c9906bcbd1bafe513c2cc8326186002cf52a577d270f25ee726edb.txt",
      "sha256": "1ae1c5e1d3c9906bcbd1bafe513c2cc8326186002cf52a577d270f25ee726edb",
      "bytes": 5076,
      "redacted": false
    },
    {
      "name": "mutant-mutex-foreign-payload-access.log",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-foreign-payload-access.log",
      "originalSha256": "1f72753096b83de618a1c3a8568130262fd11b66dfcb262dcd464e11b282ce03",
      "href": "/os-evidence/1f72753096b83de618a1c3a8568130262fd11b66dfcb262dcd464e11b282ce03.txt",
      "sha256": "1f72753096b83de618a1c3a8568130262fd11b66dfcb262dcd464e11b282ce03",
      "bytes": 1055,
      "redacted": false
    },
    {
      "name": "mutex.rs",
      "source": "reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-foreign-payload-access/os-locking/src/mutex.rs",
      "originalSha256": "d4ce0113566d3b92ad01a99a3dff5b41602b36ec9ff263f102fb49159f5b7e33",
      "href": "/os-evidence/d4ce0113566d3b92ad01a99a3dff5b41602b36ec9ff263f102fb49159f5b7e33.txt",
      "sha256": "d4ce0113566d3b92ad01a99a3dff5b41602b36ec9ff263f102fb49159f5b7e33",
      "bytes": 18375,
      "redacted": false
    }
  ],
  "moves": [
    "K961",
    "K962",
    "K963",
    "K964",
    "K966",
    "K967",
    "K968",
    "K969",
    "K971",
    "K972",
    "K973",
    "K974",
    "K976",
    "K977",
    "K978",
    "K979"
  ]
}