{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/report.json",
    "sha256": "a285aee81a318c2ca5c24ddfafd902ee4f27edb8fc4ddf517d7c9aaffcd8a8e6",
    "bytes": 3865
  },
  "status": "K1496_K1499_LOCAL_VALIDATED",
  "scope": "The bounded descriptor budget returns EAGAIN without changing live claims when full, preserves existing work, frees only completed heads, and allows retry after progress or retirement after observed reset. Two host tests, AArch64 no_std compilation, and a removed-capacity-guard mutant are recorded. Physical queue backpressure remains for K1500.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/os-virtio-backpressure/src/lib.rs",
      "originalSha256": "5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533",
      "href": "/os-evidence/5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533.txt",
      "sha256": "5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533",
      "bytes": 2804,
      "redacted": false
    },
    {
      "name": "virtio_backpressure.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/kernel/tests/os/virtio_backpressure.rs",
      "originalSha256": "c020c286550c4d7803d096fbef1f181dd4d78f73c394b95cbc41cd18bdf24003",
      "href": "/os-evidence/c020c286550c4d7803d096fbef1f181dd4d78f73c394b95cbc41cd18bdf24003.txt",
      "sha256": "c020c286550c4d7803d096fbef1f181dd4d78f73c394b95cbc41cd18bdf24003",
      "bytes": 1529,
      "redacted": false
    },
    {
      "name": "VIRTIO_BACKPRESSURE_CONTRACT.md",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/kernel/VIRTIO_BACKPRESSURE_CONTRACT.md",
      "originalSha256": "fe53f285fdd6411c22320fa9b4aed8979c8388ae9cd712dc0c5c732535eea759",
      "href": "/os-evidence/fe53f285fdd6411c22320fa9b4aed8979c8388ae9cd712dc0c5c732535eea759.txt",
      "sha256": "fe53f285fdd6411c22320fa9b4aed8979c8388ae9cd712dc0c5c732535eea759",
      "bytes": 901,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/no-std-root.rs",
      "originalSha256": "efe2b68fdbe6b87e23dfb2ca00b59585af79a68a3f338e8f73bb28c3e59d7d3b",
      "href": "/os-evidence/efe2b68fdbe6b87e23dfb2ca00b59585af79a68a3f338e8f73bb28c3e59d7d3b.txt",
      "sha256": "efe2b68fdbe6b87e23dfb2ca00b59585af79a68a3f338e8f73bb28c3e59d7d3b",
      "bytes": 86,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/os-virtio-completions/src/lib.rs",
      "originalSha256": "4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a",
      "href": "/os-evidence/4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a.txt",
      "sha256": "4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a",
      "bytes": 3180,
      "redacted": false
    },
    {
      "name": "virtio_ring.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/kernel/src/virtio_ring.rs",
      "originalSha256": "f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7",
      "href": "/os-evidence/f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7.txt",
      "sha256": "f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7",
      "bytes": 53304,
      "redacted": false
    },
    {
      "name": "virtio-backpressure-local.mjs",
      "source": "scripts/os-acceptance/virtio-backpressure-local.mjs",
      "originalSha256": "97b65c6cb5dc55441b70dff56d5d43e7fbb75e104897d2be843d6db19a1931b0",
      "href": "/os-evidence/97b65c6cb5dc55441b70dff56d5d43e7fbb75e104897d2be843d6db19a1931b0.txt",
      "sha256": "97b65c6cb5dc55441b70dff56d5d43e7fbb75e104897d2be843d6db19a1931b0",
      "bytes": 5137,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/host-tests.log",
      "originalSha256": "1b128c8eef0232e235570aeb80b123ad1f7b6a4e59bba09b24642a3ab785b165",
      "href": "/os-evidence/1b128c8eef0232e235570aeb80b123ad1f7b6a4e59bba09b24642a3ab785b165.txt",
      "sha256": "1b128c8eef0232e235570aeb80b123ad1f7b6a4e59bba09b24642a3ab785b165",
      "bytes": 222,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/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/K1500-virtio-backpressure-local-YCapn4/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/mutant-tests.log",
      "originalSha256": "e94ee653e245a1e4603f21dee851cb0dfcd77011bdd8c49a1d52038a3feba003",
      "href": "/os-evidence/752230bc6eb9d3eb262b63ba8d017c22cbabfd1e98c82232f0bfaf8a4f5ffec3.txt",
      "sha256": "752230bc6eb9d3eb262b63ba8d017c22cbabfd1e98c82232f0bfaf8a4f5ffec3",
      "bytes": 1180,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/mutant/os-virtio-backpressure/src/lib.rs",
      "originalSha256": "3bbb88cebe760fefd88524165275e4db315829999fc9c1f16de0b7310ed99b8a",
      "href": "/os-evidence/3bbb88cebe760fefd88524165275e4db315829999fc9c1f16de0b7310ed99b8a.txt",
      "sha256": "3bbb88cebe760fefd88524165275e4db315829999fc9c1f16de0b7310ed99b8a",
      "bytes": 2758,
      "redacted": false
    }
  ],
  "moves": [
    "K1496",
    "K1497",
    "K1498",
    "K1499"
  ]
}