{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/report.json",
    "sha256": "5cb11ff979715f992a7c09f692e5bc03e1e4ba891ad360d481c5e8f36429f3ca",
    "bytes": 3178
  },
  "status": "K1576_K1579_LOCAL_VALIDATED",
  "scope": "The two-FD table shares an open-description offset across dup, retains the object during an in-flight read after the last close, and retires it exactly when that read completes. Two host tests, AArch64 no_std compilation, and a red premature-last-close mutant are recorded. Real guest lifetime evidence remains for K1580.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/source/os-vfs-dup/src/lib.rs",
      "originalSha256": "34cc6fb785c9fc561fadc945609b75d58bf8af851e3e14f7a864286d2d4e4c59",
      "href": "/os-evidence/34cc6fb785c9fc561fadc945609b75d58bf8af851e3e14f7a864286d2d4e4c59.txt",
      "sha256": "34cc6fb785c9fc561fadc945609b75d58bf8af851e3e14f7a864286d2d4e4c59",
      "bytes": 3342,
      "redacted": false
    },
    {
      "name": "vfs_dup.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/source/kernel/tests/os/vfs_dup.rs",
      "originalSha256": "a6500eb9e3f196768b90be70784d1cb953392e522725e2ed9a4be2bc7d644fda",
      "href": "/os-evidence/a6500eb9e3f196768b90be70784d1cb953392e522725e2ed9a4be2bc7d644fda.txt",
      "sha256": "a6500eb9e3f196768b90be70784d1cb953392e522725e2ed9a4be2bc7d644fda",
      "bytes": 2264,
      "redacted": false
    },
    {
      "name": "VFS_DUP_LIFETIME_CONTRACT.md",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/source/kernel/VFS_DUP_LIFETIME_CONTRACT.md",
      "originalSha256": "3259b9fdb782c5cb64cb0e3db15aa57100f4a54f9d1a62f26aecb4796efb4b8e",
      "href": "/os-evidence/3259b9fdb782c5cb64cb0e3db15aa57100f4a54f9d1a62f26aecb4796efb4b8e.txt",
      "sha256": "3259b9fdb782c5cb64cb0e3db15aa57100f4a54f9d1a62f26aecb4796efb4b8e",
      "bytes": 977,
      "redacted": false
    },
    {
      "name": "vfs-dup-local.mjs",
      "source": "scripts/os-acceptance/vfs-dup-local.mjs",
      "originalSha256": "150e9f8f0eb114bdfc1c1293437284137bbbcb0cc1841cca4e8fb529f8962cc5",
      "href": "/os-evidence/150e9f8f0eb114bdfc1c1293437284137bbbcb0cc1841cca4e8fb529f8962cc5.txt",
      "sha256": "150e9f8f0eb114bdfc1c1293437284137bbbcb0cc1841cca4e8fb529f8962cc5",
      "bytes": 4597,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/source/no-std-root.rs",
      "originalSha256": "05a908aa6cf5eb1fcc54b55ee96071ccfd2ad6847d2ec7d72ea067504d4d4127",
      "href": "/os-evidence/05a908aa6cf5eb1fcc54b55ee96071ccfd2ad6847d2ec7d72ea067504d4d4127.txt",
      "sha256": "05a908aa6cf5eb1fcc54b55ee96071ccfd2ad6847d2ec7d72ea067504d4d4127",
      "bytes": 58,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/host-tests.log",
      "originalSha256": "58b974329d526bd11fe01b16417979124cbe83a344cf03076056ab7cae2f5cc3",
      "href": "/os-evidence/58b974329d526bd11fe01b16417979124cbe83a344cf03076056ab7cae2f5cc3.txt",
      "sha256": "58b974329d526bd11fe01b16417979124cbe83a344cf03076056ab7cae2f5cc3",
      "bytes": 189,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/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/K1580-vfs-dup-local-8WVyHz/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/mutant-tests.log",
      "originalSha256": "908b2198ef270a8c62850a62749a794d4946cf3285af2a863201e0432114a4e1",
      "href": "/os-evidence/88eef76fbf07e5f8352d333288f16879cab979e92b2437b3face1c8b952b7e3d.txt",
      "sha256": "88eef76fbf07e5f8352d333288f16879cab979e92b2437b3face1c8b952b7e3d",
      "bytes": 610,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-local-8WVyHz/mutant/os-vfs-dup/src/lib.rs",
      "originalSha256": "4200ea6463adfb4458bead7eeab362be5ed2c6ad74339add2db444e15f3e9dd7",
      "href": "/os-evidence/4200ea6463adfb4458bead7eeab362be5ed2c6ad74339add2db444e15f3e9dd7.txt",
      "sha256": "4200ea6463adfb4458bead7eeab362be5ed2c6ad74339add2db444e15f3e9dd7",
      "bytes": 3307,
      "redacted": false
    }
  ],
  "moves": [
    "K1576",
    "K1577",
    "K1578",
    "K1579"
  ]
}