{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1600-vfs-unmount-matrix-check-luL8dH/report.json",
    "sha256": "32f059d5deb7c1d131f379078940b90696bdf1e54d4a2e4eb168e5ed49c85bf7",
    "bytes": 9238
  },
  "status": "K1600_VFS_UNMOUNT_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image exercised a fixed mount-lifetime model in the product kernel. It refused unmount while open, lookup, or cache-pin leases existed, advanced generation after release, rejected stale tokens, and refused generation overflow without state change. Six direct and UEFI profiles supplied serial and QMP evidence. The probe did not hold real device-backed filesystem handles; canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "228c81b3a98f3ff50269ab47f48a29872c59fd6259b0fb6abd55fa8cb1d5b682",
  "files": [
    {
      "name": "VFS_UNMOUNT_BUSY_CONTRACT.md",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/source/kernel/VFS_UNMOUNT_BUSY_CONTRACT.md",
      "originalSha256": "a4d10984b20da97997688fa6c55661e3deb028269ca08928df74fe884ac069bb",
      "href": "/os-evidence/a4d10984b20da97997688fa6c55661e3deb028269ca08928df74fe884ac069bb.txt",
      "sha256": "a4d10984b20da97997688fa6c55661e3deb028269ca08928df74fe884ac069bb",
      "bytes": 913,
      "redacted": false
    },
    {
      "name": "vfs_unmount.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/source/kernel/tests/os/vfs_unmount.rs",
      "originalSha256": "16f814ed3a12f633978489fe0b876e63ddf4ae831f2d944d8d4683b07b70bff9",
      "href": "/os-evidence/16f814ed3a12f633978489fe0b876e63ddf4ae831f2d944d8d4683b07b70bff9.txt",
      "sha256": "16f814ed3a12f633978489fe0b876e63ddf4ae831f2d944d8d4683b07b70bff9",
      "bytes": 2272,
      "redacted": false
    },
    {
      "name": ".k1600-vfs-unmount-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1600-vfs-unmount-matrix-generated.mjs",
      "originalSha256": "37100b248c9cc3aaa0cd1242b3908cb2004b4c57f51e4facf23683ff4e3ee585",
      "href": "/os-evidence/37100b248c9cc3aaa0cd1242b3908cb2004b4c57f51e4facf23683ff4e3ee585.txt",
      "sha256": "37100b248c9cc3aaa0cd1242b3908cb2004b4c57f51e4facf23683ff4e3ee585",
      "bytes": 81855,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-candidate-rfmFlJ/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1600-vfs-unmount.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-candidate-rfmFlJ/sources/kernel/src/k1600-vfs-unmount.rs",
      "originalSha256": "63571851300aabb7e066af66dd721328418be305553c75f4faf619266da4c5e8",
      "href": "/os-evidence/63571851300aabb7e066af66dd721328418be305553c75f4faf619266da4c5e8.txt",
      "sha256": "63571851300aabb7e066af66dd721328418be305553c75f4faf619266da4c5e8",
      "bytes": 2068,
      "redacted": false
    },
    {
      "name": "vfs_unmount.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-candidate-rfmFlJ/sources/kernel/src/runtime/vfs_unmount.rs",
      "originalSha256": "7850aae04f8f577dfd3c0e0d882255d4a6f2fd022670514b9a5d3c40a2e73c2a",
      "href": "/os-evidence/7850aae04f8f577dfd3c0e0d882255d4a6f2fd022670514b9a5d3c40a2e73c2a.txt",
      "sha256": "7850aae04f8f577dfd3c0e0d882255d4a6f2fd022670514b9a5d3c40a2e73c2a",
      "bytes": 3274,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-candidate-rfmFlJ/kernel-product.log",
      "originalSha256": "ee8b35570f1d113ff721a1db96006072ea91482af49287a00a2d01346c4e56c2",
      "href": "/os-evidence/69a2f68f03deba93ea298ca9d1bd2f38cc1a12e630442c624b622ca03e593bc1.txt",
      "sha256": "69a2f68f03deba93ea298ca9d1bd2f38cc1a12e630442c624b622ca03e593bc1",
      "bytes": 1683,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-matrix-cQwzIq/product-one-bank-direct-256-mode-111/serial.log",
      "originalSha256": "384e841dd30ecedf07ffad87208a7495308915cb2e9f90fe25c5391be10af6a7",
      "href": "/os-evidence/384e841dd30ecedf07ffad87208a7495308915cb2e9f90fe25c5391be10af6a7.txt",
      "sha256": "384e841dd30ecedf07ffad87208a7495308915cb2e9f90fe25c5391be10af6a7",
      "bytes": 42678,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-matrix-cQwzIq/product-one-bank-direct-512-mode-111/serial.log",
      "originalSha256": "d072679cc21c3723122fe98cbece29fd9970441a7d4afd19a3a9ad1a3eda9fbe",
      "href": "/os-evidence/d072679cc21c3723122fe98cbece29fd9970441a7d4afd19a3a9ad1a3eda9fbe.txt",
      "sha256": "d072679cc21c3723122fe98cbece29fd9970441a7d4afd19a3a9ad1a3eda9fbe",
      "bytes": 42678,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-matrix-cQwzIq/product-one-bank-direct-1024-mode-111/serial.log",
      "originalSha256": "9a183202fbd4f687dd319b6e34b743b889c668fffad0a355b464838b5fc0c68e",
      "href": "/os-evidence/9a183202fbd4f687dd319b6e34b743b889c668fffad0a355b464838b5fc0c68e.txt",
      "sha256": "9a183202fbd4f687dd319b6e34b743b889c668fffad0a355b464838b5fc0c68e",
      "bytes": 42678,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-matrix-cQwzIq/product-one-bank-uefi-256-mode-111/serial.log",
      "originalSha256": "537ac62bb9b68ea750171764bfa16204cb87b0ce9b41342ecee0f5fe2cd3e0d7",
      "href": "/os-evidence/537ac62bb9b68ea750171764bfa16204cb87b0ce9b41342ecee0f5fe2cd3e0d7.txt",
      "sha256": "537ac62bb9b68ea750171764bfa16204cb87b0ce9b41342ecee0f5fe2cd3e0d7",
      "bytes": 49051,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-matrix-cQwzIq/product-one-bank-uefi-512-mode-111/serial.log",
      "originalSha256": "e6af57ff9b9bab4aa8508d417ee637ab2e14dad0258f657a674bd68fa049d3e5",
      "href": "/os-evidence/e6af57ff9b9bab4aa8508d417ee637ab2e14dad0258f657a674bd68fa049d3e5.txt",
      "sha256": "e6af57ff9b9bab4aa8508d417ee637ab2e14dad0258f657a674bd68fa049d3e5",
      "bytes": 49051,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-matrix-cQwzIq/product-one-bank-uefi-1024-mode-111/serial.log",
      "originalSha256": "34504b65a27694c8a320c0eb86b33ce62189d9a13044f5e5a67ec98ce4b51722",
      "href": "/os-evidence/34504b65a27694c8a320c0eb86b33ce62189d9a13044f5e5a67ec98ce4b51722.txt",
      "sha256": "34504b65a27694c8a320c0eb86b33ce62189d9a13044f5e5a67ec98ce4b51722",
      "bytes": 49051,
      "redacted": false
    }
  ],
  "moves": [
    "K1600"
  ]
}