{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/report.json",
    "sha256": "2361690227d131cb119b8e6ff9c27970252f60752ecf1c37907913f348cd5e78",
    "bytes": 3409
  },
  "status": "K1536_K1539_LOCAL_VALIDATED",
  "scope": "Read-only GPT recovery chooses an explicitly degraded backup only when the primary header is corrupt and backup entries validate. Local tests cover a healthy pair, degraded status, inconsistent headers, bad backup CRC, and unchanged mount state. AArch64 no_std compilation and a red silent-degrade mutant are recorded. Real guest degraded mount evidence remains for K1540.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/source/os-partitions-gpt/src/lib.rs",
      "originalSha256": "48297ea14152bc9c65e00cf4b618c9b442134da4e1533ede3df4bffab34a3842",
      "href": "/os-evidence/48297ea14152bc9c65e00cf4b618c9b442134da4e1533ede3df4bffab34a3842.txt",
      "sha256": "48297ea14152bc9c65e00cf4b618c9b442134da4e1533ede3df4bffab34a3842",
      "bytes": 14133,
      "redacted": false
    },
    {
      "name": "partitions_recovery.rs",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/source/kernel/tests/os/partitions_recovery.rs",
      "originalSha256": "5a0382b4380148afd283f8007cc89c44e7dd32298e67777658841823bacf2525",
      "href": "/os-evidence/5a0382b4380148afd283f8007cc89c44e7dd32298e67777658841823bacf2525.txt",
      "sha256": "5a0382b4380148afd283f8007cc89c44e7dd32298e67777658841823bacf2525",
      "bytes": 4671,
      "redacted": false
    },
    {
      "name": "PARTITIONS_RECOVERY_CONTRACT.md",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/source/kernel/PARTITIONS_RECOVERY_CONTRACT.md",
      "originalSha256": "ec045a26cf517805c3d3f65ce7356975f1d19b5289b55007c41f40098d6b7cf8",
      "href": "/os-evidence/ec045a26cf517805c3d3f65ce7356975f1d19b5289b55007c41f40098d6b7cf8.txt",
      "sha256": "ec045a26cf517805c3d3f65ce7356975f1d19b5289b55007c41f40098d6b7cf8",
      "bytes": 1930,
      "redacted": false
    },
    {
      "name": "partitions-recovery-local.mjs",
      "source": "scripts/os-acceptance/partitions-recovery-local.mjs",
      "originalSha256": "2e93400d68cdf6d92ae62f0a241e7b95f125b8040358d1f23a93ef4cf2d91e83",
      "href": "/os-evidence/2e93400d68cdf6d92ae62f0a241e7b95f125b8040358d1f23a93ef4cf2d91e83.txt",
      "sha256": "2e93400d68cdf6d92ae62f0a241e7b95f125b8040358d1f23a93ef4cf2d91e83",
      "bytes": 4814,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/source/no-std-root.rs",
      "originalSha256": "1ab2752c4dbd3525dc2d6fc90d359b23d52316300780b1cb28a306ffa4bf19b2",
      "href": "/os-evidence/1ab2752c4dbd3525dc2d6fc90d359b23d52316300780b1cb28a306ffa4bf19b2.txt",
      "sha256": "1ab2752c4dbd3525dc2d6fc90d359b23d52316300780b1cb28a306ffa4bf19b2",
      "bytes": 72,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/host-compile.log",
      "originalSha256": "a9178ac403fdd6f12381edf90d32f452b175a01131ba9f24e892065ac1c2a47b",
      "href": "/os-evidence/ed225a1b43349a599ef0619c8f77690feaf81bb70b34caedbd5d4ddd97a22e3a.txt",
      "sha256": "ed225a1b43349a599ef0619c8f77690feaf81bb70b34caedbd5d4ddd97a22e3a",
      "bytes": 1239,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/host-tests.log",
      "originalSha256": "a0b6aacf5476365245338f6eb1947b143dbf5a3e5511ccabcac625146c0dd298",
      "href": "/os-evidence/a0b6aacf5476365245338f6eb1947b143dbf5a3e5511ccabcac625146c0dd298.txt",
      "sha256": "a0b6aacf5476365245338f6eb1947b143dbf5a3e5511ccabcac625146c0dd298",
      "bytes": 201,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/aarch64-no-std-check.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-compile.log",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/mutant-compile.log",
      "originalSha256": "e1bb05447934c88699c1bf6bd2aa27741b8e8ce22990deca5f27e29dff97611a",
      "href": "/os-evidence/931a6ef88edc7c335248f38f5f551856ec4a09cb0b052dc151ed5d0c18ce128f.txt",
      "sha256": "931a6ef88edc7c335248f38f5f551856ec4a09cb0b052dc151ed5d0c18ce128f",
      "bytes": 1735,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/mutant-tests.log",
      "originalSha256": "087a69f23d23c488d2e5118debb0a95dc25e895035c658cfed04b5c2ca918d2e",
      "href": "/os-evidence/6a4f988b471df03575d8d38c5661150912d7649dbcbdf0dd6ea0a828b53378a8.txt",
      "sha256": "6a4f988b471df03575d8d38c5661150912d7649dbcbdf0dd6ea0a828b53378a8",
      "bytes": 692,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1540-partitions-recovery-local-f1y3fB/mutant/os-partitions-gpt/src/lib.rs",
      "originalSha256": "2d5f4264a569523c21757bd348ab0ce0605d41b1c0d53a3a870944b4682bf6d5",
      "href": "/os-evidence/2d5f4264a569523c21757bd348ab0ce0605d41b1c0d53a3a870944b4682bf6d5.txt",
      "sha256": "2d5f4264a569523c21757bd348ab0ce0605d41b1c0d53a3a870944b4682bf6d5",
      "bytes": 14108,
      "redacted": false
    }
  ],
  "moves": [
    "K1536",
    "K1537",
    "K1538",
    "K1539"
  ]
}