{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/report.json",
    "sha256": "1f6122dae8131418ddc6dcdf283107e1ff3a534c4acf7ed087a087e7e66ba61c",
    "bytes": 3429
  },
  "status": "K1521_K1524_LOCAL_VALIDATED",
  "scope": "A bounded MBR parser validates signature, four primary slots, checked in-capacity disjoint intervals and unsupported layouts. Two host tests, AArch64 no_std compilation and a red overlap-guard mutant are recorded. Real guest mount refusal remains for K1525.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/source/os-partitions/src/lib.rs",
      "originalSha256": "42cf2b2fe8c7d2c8a129340140e71544697746d3a4f03095a309ead7a123d12a",
      "href": "/os-evidence/42cf2b2fe8c7d2c8a129340140e71544697746d3a4f03095a309ead7a123d12a.txt",
      "sha256": "42cf2b2fe8c7d2c8a129340140e71544697746d3a4f03095a309ead7a123d12a",
      "bytes": 3113,
      "redacted": false
    },
    {
      "name": "partitions.rs",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/source/kernel/tests/os/partitions.rs",
      "originalSha256": "3ba0a618aebc4dbf8a29e623a08787a0c434b2a948b167b71985b6c359b9b0ad",
      "href": "/os-evidence/3ba0a618aebc4dbf8a29e623a08787a0c434b2a948b167b71985b6c359b9b0ad.txt",
      "sha256": "3ba0a618aebc4dbf8a29e623a08787a0c434b2a948b167b71985b6c359b9b0ad",
      "bytes": 2281,
      "redacted": false
    },
    {
      "name": "PARTITIONS_MBR_CONTRACT.md",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/source/kernel/PARTITIONS_MBR_CONTRACT.md",
      "originalSha256": "9cc2a083327a0ba93fc0b2edc21100ad59631bd207b75155d4ce6857fdca86b9",
      "href": "/os-evidence/9cc2a083327a0ba93fc0b2edc21100ad59631bd207b75155d4ce6857fdca86b9.txt",
      "sha256": "9cc2a083327a0ba93fc0b2edc21100ad59631bd207b75155d4ce6857fdca86b9",
      "bytes": 1232,
      "redacted": false
    },
    {
      "name": "turkfs.rs",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/source/kernel/src/turkfs.rs",
      "originalSha256": "e99fa17ace72e2b8fc488e319b49fea5f5317152ae38c46ccb7564eb972d4104",
      "href": "/os-evidence/e99fa17ace72e2b8fc488e319b49fea5f5317152ae38c46ccb7564eb972d4104.txt",
      "sha256": "e99fa17ace72e2b8fc488e319b49fea5f5317152ae38c46ccb7564eb972d4104",
      "bytes": 74579,
      "redacted": false
    },
    {
      "name": "partitions-mbr-local.mjs",
      "source": "scripts/os-acceptance/partitions-mbr-local.mjs",
      "originalSha256": "7362330435ee205932bab60284d70dd415995fb6da89206a3a67df83131e0b0c",
      "href": "/os-evidence/7362330435ee205932bab60284d70dd415995fb6da89206a3a67df83131e0b0c.txt",
      "sha256": "7362330435ee205932bab60284d70dd415995fb6da89206a3a67df83131e0b0c",
      "bytes": 4636,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/source/no-std-root.rs",
      "originalSha256": "b21821b0aaacd70c2ae0b9babb73d6100acd4301806394ab9545b9fbc3340c5e",
      "href": "/os-evidence/b21821b0aaacd70c2ae0b9babb73d6100acd4301806394ab9545b9fbc3340c5e.txt",
      "sha256": "b21821b0aaacd70c2ae0b9babb73d6100acd4301806394ab9545b9fbc3340c5e",
      "bytes": 68,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/host-tests.log",
      "originalSha256": "03f34ce272fda1f9104d88ac5a61d4290305b93c13d317fa441ec84cd4e9a165",
      "href": "/os-evidence/03f34ce272fda1f9104d88ac5a61d4290305b93c13d317fa441ec84cd4e9a165.txt",
      "sha256": "03f34ce272fda1f9104d88ac5a61d4290305b93c13d317fa441ec84cd4e9a165",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/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/K1525-partitions-mbr-local-7TtH9B/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/mutant-tests.log",
      "originalSha256": "ec79de5a640742a16b49e0d579665b5fdbd3ab7b097c476e6a08c459c6bb026e",
      "href": "/os-evidence/e22ca2db2c4ce7cf380e1d13eaa1b4adc3e9b843fcffc36a22ed0d227aaccc73.txt",
      "sha256": "e22ca2db2c4ce7cf380e1d13eaa1b4adc3e9b843fcffc36a22ed0d227aaccc73",
      "bytes": 882,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1525-partitions-mbr-local-7TtH9B/mutant/os-partitions/src/lib.rs",
      "originalSha256": "50f7443bcd397d08b4ed73028137197bc61e1d098c0c36fbf0c058e814516490",
      "href": "/os-evidence/50f7443bcd397d08b4ed73028137197bc61e1d098c0c36fbf0c058e814516490.txt",
      "sha256": "50f7443bcd397d08b4ed73028137197bc61e1d098c0c36fbf0c058e814516490",
      "bytes": 3080,
      "redacted": false
    }
  ],
  "moves": [
    "K1521",
    "K1522",
    "K1523",
    "K1524"
  ]
}