{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/report.json",
    "sha256": "c102eae34054c853a2d253a24e7cb94067087ac97d321a2bae7492f63c4eff33",
    "bytes": 3774
  },
  "status": "K1471_K1474_LOCAL_VALIDATED",
  "scope": "The transport-neutral Virtio feature model validates offered, supported, required and dependent bits, generation-tagged status sequencing, FEATURES_OK readback and reset-gated release. Two host tests, AArch64 no_std compilation, and a removed-release-guard mutant are recorded. Physical feature registers remain for K1475.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/source/os-virtio-features/src/lib.rs",
      "originalSha256": "870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e",
      "href": "/os-evidence/870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e.txt",
      "sha256": "870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e",
      "bytes": 5306,
      "redacted": false
    },
    {
      "name": "virtio_features.rs",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/source/kernel/tests/os/virtio_features.rs",
      "originalSha256": "bbba72ff709f4d61b47f029f6b341e03e30eaea329436598e187dfe9e1ecf3aa",
      "href": "/os-evidence/bbba72ff709f4d61b47f029f6b341e03e30eaea329436598e187dfe9e1ecf3aa.txt",
      "sha256": "bbba72ff709f4d61b47f029f6b341e03e30eaea329436598e187dfe9e1ecf3aa",
      "bytes": 3128,
      "redacted": false
    },
    {
      "name": "VIRTIO_FEATURE_NEGOTIATION_CONTRACT.md",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/source/kernel/VIRTIO_FEATURE_NEGOTIATION_CONTRACT.md",
      "originalSha256": "8b997a9ed62d67a640cd66e16e0c5a1f45f1cac75d6866b8004394d6b3c67a52",
      "href": "/os-evidence/8b997a9ed62d67a640cd66e16e0c5a1f45f1cac75d6866b8004394d6b3c67a52.txt",
      "sha256": "8b997a9ed62d67a640cd66e16e0c5a1f45f1cac75d6866b8004394d6b3c67a52",
      "bytes": 1670,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/source/no-std-root.rs",
      "originalSha256": "f34614dfddccaeeeadd11ef15b5a8a401faf6324ffb3fafa81cfc1b11b0795c9",
      "href": "/os-evidence/f34614dfddccaeeeadd11ef15b5a8a401faf6324ffb3fafa81cfc1b11b0795c9.txt",
      "sha256": "f34614dfddccaeeeadd11ef15b5a8a401faf6324ffb3fafa81cfc1b11b0795c9",
      "bytes": 78,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/source/os-virtio-mmio-v2/src/lib.rs",
      "originalSha256": "30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf",
      "href": "/os-evidence/30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf.txt",
      "sha256": "30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf",
      "bytes": 6218,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/source/os-virtio-pci-common/src/lib.rs",
      "originalSha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "href": "/os-evidence/6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b.txt",
      "sha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "bytes": 6247,
      "redacted": false
    },
    {
      "name": "virtio-features-local.mjs",
      "source": "scripts/os-acceptance/virtio-features-local.mjs",
      "originalSha256": "f11f14486fdbfbb1c1582e25698ce772a26e11801e2b48c82392f60be31e8697",
      "href": "/os-evidence/f11f14486fdbfbb1c1582e25698ce772a26e11801e2b48c82392f60be31e8697.txt",
      "sha256": "f11f14486fdbfbb1c1582e25698ce772a26e11801e2b48c82392f60be31e8697",
      "bytes": 5059,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/host-tests.log",
      "originalSha256": "4437d5b28443cfedec0249e48f51838d867dab178969675af2cd56f1058d3038",
      "href": "/os-evidence/4437d5b28443cfedec0249e48f51838d867dab178969675af2cd56f1058d3038.txt",
      "sha256": "4437d5b28443cfedec0249e48f51838d867dab178969675af2cd56f1058d3038",
      "bytes": 193,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/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/K1475-virtio-features-local-tF8AQb/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/mutant-tests.log",
      "originalSha256": "80168edaefbde2b48a65556d58f83565dca9fe24332e52cab8847176cd9e5a9c",
      "href": "/os-evidence/23397775f92aebbc3330f6f4526ffab9dc3d653e5bcbac2c858eaba71c832741.txt",
      "sha256": "23397775f92aebbc3330f6f4526ffab9dc3d653e5bcbac2c858eaba71c832741",
      "bytes": 633,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1475-virtio-features-local-tF8AQb/mutant/os-virtio-features/src/lib.rs",
      "originalSha256": "f5fb44ac6789c4ee7e393504206217d0c5982aeb5ee1d2e9fa10e69bd15694b8",
      "href": "/os-evidence/f5fb44ac6789c4ee7e393504206217d0c5982aeb5ee1d2e9fa10e69bd15694b8.txt",
      "sha256": "f5fb44ac6789c4ee7e393504206217d0c5982aeb5ee1d2e9fa10e69bd15694b8",
      "bytes": 5285,
      "redacted": false
    }
  ],
  "moves": [
    "K1471",
    "K1472",
    "K1473",
    "K1474"
  ]
}