{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1580-vfs-dup-matrix-check-t7Jieq/report.json",
    "sha256": "6f907471299ef198931389c02a4e3b7d65fb13a34a8704ff9f14915a5673ba30",
    "bytes": 9537
  },
  "status": "K1580_VFS_DUP_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image executed 13 real EL0 duplicate-descriptor operations against a bounded shared open-description kernel model. Two descriptors observed shared offsets, final close retained an in-flight read, and completion retired the object; closed and repeated operations were refused. Six direct and UEFI profiles supplied serial and QMP evidence. Disk-backed file data and canonical product release acceptance remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "a525fd8630c5fc81571433186f1bad5add26aa77f75a44d5379dce0149c0d78b",
  "files": [
    {
      "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.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": ".k1580-vfs-dup-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1580-vfs-dup-matrix-generated.mjs",
      "originalSha256": "cbcc0da26f7c92bf3b9026469a9f668eb4ad1450e6d25c477c7659b81bc35303",
      "href": "/os-evidence/cbcc0da26f7c92bf3b9026469a9f668eb4ad1450e6d25c477c7659b81bc35303.txt",
      "sha256": "cbcc0da26f7c92bf3b9026469a9f668eb4ad1450e6d25c477c7659b81bc35303",
      "bytes": 81917,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-candidate-Om63wx/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1580-dup-dispatch.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-candidate-Om63wx/sources/kernel/src/k1580-dup-dispatch.rs",
      "originalSha256": "4eb25c0a77898d20d20f55c3bc725dcd3669dc5ad7c29dfe9018510e3ee1576e",
      "href": "/os-evidence/4eb25c0a77898d20d20f55c3bc725dcd3669dc5ad7c29dfe9018510e3ee1576e.txt",
      "sha256": "4eb25c0a77898d20d20f55c3bc725dcd3669dc5ad7c29dfe9018510e3ee1576e",
      "bytes": 6796,
      "redacted": false
    },
    {
      "name": "vfs_dup.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-candidate-Om63wx/sources/kernel/src/runtime/vfs_dup.rs",
      "originalSha256": "34cc6fb785c9fc561fadc945609b75d58bf8af851e3e14f7a864286d2d4e4c59",
      "href": "/os-evidence/34cc6fb785c9fc561fadc945609b75d58bf8af851e3e14f7a864286d2d4e4c59.txt",
      "sha256": "34cc6fb785c9fc561fadc945609b75d58bf8af851e3e14f7a864286d2d4e4c59",
      "bytes": 3342,
      "redacted": false
    },
    {
      "name": "os_k1215a_vectors.S",
      "source": "reports/os-implementation/K1580-vfs-dup-candidate-Om63wx/sources/kernel/src/os_k1215a_vectors.S",
      "originalSha256": "27913d057440bfaf745b9b6f6df799866dbab806b2b1c1a45624e9b9372b231b",
      "href": "/os-evidence/27913d057440bfaf745b9b6f6df799866dbab806b2b1c1a45624e9b9372b231b.txt",
      "sha256": "27913d057440bfaf745b9b6f6df799866dbab806b2b1c1a45624e9b9372b231b",
      "bytes": 7272,
      "redacted": false
    },
    {
      "name": "main.rs",
      "source": "reports/os-implementation/K1580-vfs-dup-candidate-Om63wx/sources/bootloader/src/main.rs",
      "originalSha256": "01453e6ce1e157f2af4e4952464257cec6be191981f97beef4d6d3faf6202341",
      "href": "/os-evidence/01453e6ce1e157f2af4e4952464257cec6be191981f97beef4d6d3faf6202341.txt",
      "sha256": "01453e6ce1e157f2af4e4952464257cec6be191981f97beef4d6d3faf6202341",
      "bytes": 10147,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1580-vfs-dup-candidate-Om63wx/kernel-product.log",
      "originalSha256": "ea5c32ae38401ecb2d70d667d7164a61bea437e4c788e65ace07b3d7bf8ab568",
      "href": "/os-evidence/edd5fc003fd7da86f3bb870392c97a0b40dce2ac96fa9379c7fc5bed61298427.txt",
      "sha256": "edd5fc003fd7da86f3bb870392c97a0b40dce2ac96fa9379c7fc5bed61298427",
      "bytes": 1643,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1580-vfs-dup-matrix-Strfze/product-one-bank-direct-256-mode-107/serial.log",
      "originalSha256": "ae53bc19e257a5ca098db14c8824f6aeaeab857fe4de36c64ced9baf97b32ec4",
      "href": "/os-evidence/ae53bc19e257a5ca098db14c8824f6aeaeab857fe4de36c64ced9baf97b32ec4.txt",
      "sha256": "ae53bc19e257a5ca098db14c8824f6aeaeab857fe4de36c64ced9baf97b32ec4",
      "bytes": 45559,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1580-vfs-dup-matrix-Strfze/product-one-bank-direct-512-mode-107/serial.log",
      "originalSha256": "b1c8792daa1cdd24c758cd614210464c8194fe50f571d6eec223341a525bbd47",
      "href": "/os-evidence/b1c8792daa1cdd24c758cd614210464c8194fe50f571d6eec223341a525bbd47.txt",
      "sha256": "b1c8792daa1cdd24c758cd614210464c8194fe50f571d6eec223341a525bbd47",
      "bytes": 45559,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1580-vfs-dup-matrix-Strfze/product-one-bank-direct-1024-mode-107/serial.log",
      "originalSha256": "3140e753de5795af28dcfa5307d68de2a477fb6554aa860ab538ae0d7ac29e3a",
      "href": "/os-evidence/3140e753de5795af28dcfa5307d68de2a477fb6554aa860ab538ae0d7ac29e3a.txt",
      "sha256": "3140e753de5795af28dcfa5307d68de2a477fb6554aa860ab538ae0d7ac29e3a",
      "bytes": 45559,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1580-vfs-dup-matrix-Strfze/product-one-bank-uefi-256-mode-107/serial.log",
      "originalSha256": "966d1abc85992ac56c2a7846f700df58a17616dff45e5f06050ef1309d0a321a",
      "href": "/os-evidence/966d1abc85992ac56c2a7846f700df58a17616dff45e5f06050ef1309d0a321a.txt",
      "sha256": "966d1abc85992ac56c2a7846f700df58a17616dff45e5f06050ef1309d0a321a",
      "bytes": 51932,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1580-vfs-dup-matrix-Strfze/product-one-bank-uefi-512-mode-107/serial.log",
      "originalSha256": "593b85b72347eeacf84c12cf09f6b6adee49ff35db08d6f347e461bc89ab89e9",
      "href": "/os-evidence/593b85b72347eeacf84c12cf09f6b6adee49ff35db08d6f347e461bc89ab89e9.txt",
      "sha256": "593b85b72347eeacf84c12cf09f6b6adee49ff35db08d6f347e461bc89ab89e9",
      "bytes": 51932,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1580-vfs-dup-matrix-Strfze/product-one-bank-uefi-1024-mode-107/serial.log",
      "originalSha256": "ff55c3e707b6f72133e3362a168586e9b7a45f3659a487edd30a297091bd69aa",
      "href": "/os-evidence/ff55c3e707b6f72133e3362a168586e9b7a45f3659a487edd30a297091bd69aa.txt",
      "sha256": "ff55c3e707b6f72133e3362a168586e9b7a45f3659a487edd30a297091bd69aa",
      "bytes": 51932,
      "redacted": false
    }
  ],
  "moves": [
    "K1580"
  ]
}