{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/report.json",
    "sha256": "914d9aeb9589927401f1919cb333399f566ca204501b3489d59f433fbc1a4e28",
    "bytes": 3245
  },
  "status": "K1526_K1529_LOCAL_VALIDATED",
  "scope": "The bounded read-only GPT parser validates paired primary/backup headers and entry arrays, CRC32, placement, ranges, and transactional mount state. Two host tests, AArch64 no_std compilation, and a red omitted-CRC mutant are recorded. Real guest parser refusal remains for K1530.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/source/os-partitions-gpt/src/lib.rs",
      "originalSha256": "b8ef5e6a5b32373defffd3a7f43fee3b58139d9f79df549fda4c0530ec19862d",
      "href": "/os-evidence/b8ef5e6a5b32373defffd3a7f43fee3b58139d9f79df549fda4c0530ec19862d.txt",
      "sha256": "b8ef5e6a5b32373defffd3a7f43fee3b58139d9f79df549fda4c0530ec19862d",
      "bytes": 10056,
      "redacted": false
    },
    {
      "name": "partitions_gpt.rs",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/source/kernel/tests/os/partitions_gpt.rs",
      "originalSha256": "a8f55218db0bd4d219788264a47ec955aec73b6a6e7c60f5408d6405e26515a1",
      "href": "/os-evidence/a8f55218db0bd4d219788264a47ec955aec73b6a6e7c60f5408d6405e26515a1.txt",
      "sha256": "a8f55218db0bd4d219788264a47ec955aec73b6a6e7c60f5408d6405e26515a1",
      "bytes": 6267,
      "redacted": false
    },
    {
      "name": "PARTITIONS_GPT_CONTRACT.md",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/source/kernel/PARTITIONS_GPT_CONTRACT.md",
      "originalSha256": "f4f8aa568fa6c15d0f0a5e4a5d74480bdea8499e9d90a03409e26d4cf600007b",
      "href": "/os-evidence/f4f8aa568fa6c15d0f0a5e4a5d74480bdea8499e9d90a03409e26d4cf600007b.txt",
      "sha256": "f4f8aa568fa6c15d0f0a5e4a5d74480bdea8499e9d90a03409e26d4cf600007b",
      "bytes": 2759,
      "redacted": false
    },
    {
      "name": "partitions-gpt-local.mjs",
      "source": "scripts/os-acceptance/partitions-gpt-local.mjs",
      "originalSha256": "12394b10c3db5da7de5deb5c7cccf74e42852f4f26c7e8438edf074e69f217aa",
      "href": "/os-evidence/12394b10c3db5da7de5deb5c7cccf74e42852f4f26c7e8438edf074e69f217aa.txt",
      "sha256": "12394b10c3db5da7de5deb5c7cccf74e42852f4f26c7e8438edf074e69f217aa",
      "bytes": 4615,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/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/K1530-partitions-gpt-local-ficXiQ/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/host-tests.log",
      "originalSha256": "bbab35cf7506d176197dbfce8a0adee959d257a6a9a5af21cc92a3aaf6b25bf6",
      "href": "/os-evidence/bbab35cf7506d176197dbfce8a0adee959d257a6a9a5af21cc92a3aaf6b25bf6.txt",
      "sha256": "bbab35cf7506d176197dbfce8a0adee959d257a6a9a5af21cc92a3aaf6b25bf6",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/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/K1530-partitions-gpt-local-ficXiQ/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/mutant-tests.log",
      "originalSha256": "1a36a418a9904b7575b2b2f1c7304e8c9584e5ebca83bd34ba4a6343d164d09a",
      "href": "/os-evidence/4c3bbc18a4633b6b13274dfdfe9a4c24300d97dc3094362f3a7d93df031fe0fd.txt",
      "sha256": "4c3bbc18a4633b6b13274dfdfe9a4c24300d97dc3094362f3a7d93df031fe0fd",
      "bytes": 644,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1530-partitions-gpt-local-ficXiQ/mutant/os-partitions-gpt/src/lib.rs",
      "originalSha256": "3129f44c93e0a07cfcdea1c730712d9163fb8a83ffde50f4c145c4dd37110328",
      "href": "/os-evidence/3129f44c93e0a07cfcdea1c730712d9163fb8a83ffde50f4c145c4dd37110328.txt",
      "sha256": "3129f44c93e0a07cfcdea1c730712d9163fb8a83ffde50f4c145c4dd37110328",
      "bytes": 10019,
      "redacted": false
    }
  ],
  "moves": [
    "K1526",
    "K1527",
    "K1528",
    "K1529"
  ]
}
