{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/report.json",
    "sha256": "11cc23a7a2e91e95723775a006c6b632312648faddcad322ac40231bdffdfa05",
    "bytes": 3213
  },
  "status": "K1596_K1599_LOCAL_VALIDATED",
  "scope": "The mount state refuses teardown while open, lookup, or cache-pin leases exist; successful unmount advances generation and makes old tokens stale. Two host tests, AArch64 no_std compilation, and a red omitted-cache-pin-busy mutant are recorded. Real guest teardown evidence remains for K1600.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/source/os-vfs-unmount/src/lib.rs",
      "originalSha256": "7850aae04f8f577dfd3c0e0d882255d4a6f2fd022670514b9a5d3c40a2e73c2a",
      "href": "/os-evidence/7850aae04f8f577dfd3c0e0d882255d4a6f2fd022670514b9a5d3c40a2e73c2a.txt",
      "sha256": "7850aae04f8f577dfd3c0e0d882255d4a6f2fd022670514b9a5d3c40a2e73c2a",
      "bytes": 3274,
      "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": "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-local.mjs",
      "source": "scripts/os-acceptance/vfs-unmount-local.mjs",
      "originalSha256": "1bdcf5d37acafc643d545207ed41625d5a6379c7ac24fd34c116290d41637fd8",
      "href": "/os-evidence/1bdcf5d37acafc643d545207ed41625d5a6379c7ac24fd34c116290d41637fd8.txt",
      "sha256": "1bdcf5d37acafc643d545207ed41625d5a6379c7ac24fd34c116290d41637fd8",
      "bytes": 4632,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/source/no-std-root.rs",
      "originalSha256": "3d2bdfeeec3ca804551a9d92470eaa315ea57583bd0819b80f2ab2d624545fdf",
      "href": "/os-evidence/3d2bdfeeec3ca804551a9d92470eaa315ea57583bd0819b80f2ab2d624545fdf.txt",
      "sha256": "3d2bdfeeec3ca804551a9d92470eaa315ea57583bd0819b80f2ab2d624545fdf",
      "bytes": 66,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/host-tests.log",
      "originalSha256": "ed6b4dd504c66f31ddac0db1b9b474ff1dd479551d338b24d689d81bf9013fec",
      "href": "/os-evidence/ed6b4dd504c66f31ddac0db1b9b474ff1dd479551d338b24d689d81bf9013fec.txt",
      "sha256": "ed6b4dd504c66f31ddac0db1b9b474ff1dd479551d338b24d689d81bf9013fec",
      "bytes": 185,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/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/K1600-vfs-unmount-local-RTKaJL/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/mutant-tests.log",
      "originalSha256": "71d5bbed8391320fe5de87f6ddc87e6f1d76badeb05fd50c0ef5e93793061e82",
      "href": "/os-evidence/5d06c5a3c4ad3a77a0377be2e5afcdb0fe555f00b7cd993bf0ad11f4f465dade.txt",
      "sha256": "5d06c5a3c4ad3a77a0377be2e5afcdb0fe555f00b7cd993bf0ad11f4f465dade",
      "bytes": 904,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1600-vfs-unmount-local-RTKaJL/mutant/os-vfs-unmount/src/lib.rs",
      "originalSha256": "c85e6769e001889fa03329a48dd6121210027cc1e5fba7d2435751655f990622",
      "href": "/os-evidence/c85e6769e001889fa03329a48dd6121210027cc1e5fba7d2435751655f990622.txt",
      "sha256": "c85e6769e001889fa03329a48dd6121210027cc1e5fba7d2435751655f990622",
      "bytes": 3248,
      "redacted": false
    }
  ],
  "moves": [
    "K1596",
    "K1597",
    "K1598",
    "K1599"
  ]
}