{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/report.json",
    "sha256": "d9701a9114e9260a0398a29cf1da5e259742364e49e42ebf3352851f68fce82f",
    "bytes": 3775
  },
  "status": "K1501_K1504_LOCAL_VALIDATED",
  "scope": "The pure 512-byte sector geometry checks nonzero capacity, checked LBA addition and byte multiplication, first and last sector boundaries, and out-of-range refusal before queue publication. Two host tests, AArch64 no_std compilation, and a removed-capacity-end-guard mutant are recorded. Physical block boundary reads remain for K1505.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/source/os-block-geometry/src/lib.rs",
      "originalSha256": "cbc09152036ea470dc0586f6b111ad07a52757042d3ccf4256227e63c158f23d",
      "href": "/os-evidence/cbc09152036ea470dc0586f6b111ad07a52757042d3ccf4256227e63c158f23d.txt",
      "sha256": "cbc09152036ea470dc0586f6b111ad07a52757042d3ccf4256227e63c158f23d",
      "bytes": 1529,
      "redacted": false
    },
    {
      "name": "block_geometry.rs",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/source/kernel/tests/os/block_geometry.rs",
      "originalSha256": "e4ceb8187474289e2e9eb73f45c3683534053fce4e6f390551647c76c1da416d",
      "href": "/os-evidence/e4ceb8187474289e2e9eb73f45c3683534053fce4e6f390551647c76c1da416d.txt",
      "sha256": "e4ceb8187474289e2e9eb73f45c3683534053fce4e6f390551647c76c1da416d",
      "bytes": 1225,
      "redacted": false
    },
    {
      "name": "BLOCK_GEOMETRY_CONTRACT.md",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/source/kernel/BLOCK_GEOMETRY_CONTRACT.md",
      "originalSha256": "9e584253f5b32ff01a53d10ff4ada84ab31aaa20c4ae553a37dba52a4f27aa01",
      "href": "/os-evidence/9e584253f5b32ff01a53d10ff4ada84ab31aaa20c4ae553a37dba52a4f27aa01.txt",
      "sha256": "9e584253f5b32ff01a53d10ff4ada84ab31aaa20c4ae553a37dba52a4f27aa01",
      "bytes": 812,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/source/no-std-root.rs",
      "originalSha256": "9f87ff1e6046f51eeba3a87e518478f6bd8a059c5cf086037ed2b1af4143e9ad",
      "href": "/os-evidence/9f87ff1e6046f51eeba3a87e518478f6bd8a059c5cf086037ed2b1af4143e9ad.txt",
      "sha256": "9f87ff1e6046f51eeba3a87e518478f6bd8a059c5cf086037ed2b1af4143e9ad",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/source/os-virtio-backpressure/src/lib.rs",
      "originalSha256": "5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533",
      "href": "/os-evidence/5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533.txt",
      "sha256": "5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533",
      "bytes": 2804,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/source/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "href": "/os-evidence/b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1.txt",
      "sha256": "b9a8e37e00edbdfba0a86b93fa645015ff43be491d68d6280f1ae720b5154aa1",
      "bytes": 9256,
      "redacted": false
    },
    {
      "name": "block-geometry-local.mjs",
      "source": "scripts/os-acceptance/block-geometry-local.mjs",
      "originalSha256": "43dda4bfccd74c1c780b7aff410330481df8733eb5ea9da158d39a684b0b8394",
      "href": "/os-evidence/43dda4bfccd74c1c780b7aff410330481df8733eb5ea9da158d39a684b0b8394.txt",
      "sha256": "43dda4bfccd74c1c780b7aff410330481df8733eb5ea9da158d39a684b0b8394",
      "bytes": 5375,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/host-tests.log",
      "originalSha256": "b9c43b5a37d68067d15a2c886ebe5e064f533d28691040de2d9f7d6e11418654",
      "href": "/os-evidence/b9c43b5a37d68067d15a2c886ebe5e064f533d28691040de2d9f7d6e11418654.txt",
      "sha256": "b9c43b5a37d68067d15a2c886ebe5e064f533d28691040de2d9f7d6e11418654",
      "bytes": 215,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/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/K1505-block-geometry-local-jLqGcs/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/mutant-tests.log",
      "originalSha256": "c4edcbeac4878dc3d9d201f151d6538a62664236c9c96d25cf8e99f7873a6ddf",
      "href": "/os-evidence/b035b62be7ae7befa3789f35a3623ba1bf3ef92ece6c4713d34e46466f75bc3f.txt",
      "sha256": "b035b62be7ae7befa3789f35a3623ba1bf3ef92ece6c4713d34e46466f75bc3f",
      "bytes": 778,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1505-block-geometry-local-jLqGcs/mutant/os-block-geometry/src/lib.rs",
      "originalSha256": "f5598afb5b1a56e0299bb1f3461dab38b2cde830f272e675e108e3d016edbc55",
      "href": "/os-evidence/f5598afb5b1a56e0299bb1f3461dab38b2cde830f272e675e108e3d016edbc55.txt",
      "sha256": "f5598afb5b1a56e0299bb1f3461dab38b2cde830f272e675e108e3d016edbc55",
      "bytes": 1484,
      "redacted": false
    }
  ],
  "moves": [
    "K1501",
    "K1502",
    "K1503",
    "K1504"
  ]
}