{
  "entrypoint_kind": "local_action",
  "entrypoint_detail": "runsc directfs bind mount: host RENAME_EXCHANGE swaps cached regular inode with a host loop block-device node; guest aligned pread/pwrite proves host-only block access; fixed build rejects the type mismatch",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": [
    "docker-privileged",
    "runsc",
    "gvisor-sentry",
    "directfs",
    "systrap",
    "host-loop-device"
  ],
  "target_identity": {
    "repository_url": "https://github.com/google/gvisor",
    "commit_sha": "6485c3fbdfe28172ced5d6aed49554cf494967db",
    "target_digest": "37eb16eaa23830344b8e36c42499b8a87f88b98b42819cb9420bc2cdc2c95931",
    "platform": "linux",
    "architecture": "x86_64"
  },
  "proof_artifacts": [
    "repro/results/summary.txt",
    "repro/results/setup-fixed-1.log",
    "repro/results/setup-fixed-2.log",
    "repro/results/setup-vuln-1.log",
    "repro/results/setup-vuln-2.log",
    "repro/results/guest-fixed-1.log",
    "repro/results/guest-fixed-2.log",
    "repro/results/guest-vuln-1.log",
    "repro/results/guest-vuln-2.log",
    "repro/results/guest-fixed-1.exit",
    "repro/results/guest-fixed-2.exit",
    "repro/results/guest-vuln-1.exit",
    "repro/results/guest-vuln-2.exit",
    "repro/results/swapper-fixed-1.log",
    "repro/results/swapper-fixed-2.log",
    "repro/results/swapper-vuln-1.log",
    "repro/results/swapper-vuln-2.log",
    "repro/results/fdwatch-fixed-1.log",
    "repro/results/fdwatch-fixed-2.log",
    "repro/results/fdwatch-vuln-1.log",
    "repro/results/fdwatch-vuln-2.log",
    "repro/results/host-marker-fixed-1.bin",
    "repro/results/host-marker-fixed-2.bin",
    "repro/results/host-marker-vuln-1.bin",
    "repro/results/host-marker-vuln-2.bin",
    "repro/results/host-observation-fixed-1.log",
    "repro/results/host-observation-fixed-2.log",
    "repro/results/host-observation-vuln-1.log",
    "repro/results/host-observation-vuln-2.log",
    "repro/results/backing-sha-fixed-1.txt",
    "repro/results/backing-sha-fixed-2.txt",
    "repro/results/backing-sha-vuln-1.txt",
    "repro/results/backing-sha-vuln-2.txt",
    "repro/results/runsc-version-fixed.txt",
    "repro/results/runsc-version-vuln.txt",
    "repro/results/source-identity.log",
    "repro/results/cuse-guest-fixed.log",
    "repro/results/cuse-guest-vuln.log",
    "repro/results/cuse-swapper-fixed.log",
    "repro/results/cuse-swapper-vuln.log"
  ],
  "artifact_sha256": {
    "repro/results/summary.txt": "cebc80881ffc4eaf99717b778920e9d6d2ea64852f327c3836e69478cb60cd5e",
    "repro/results/setup-fixed-1.log": "de32288e32e0eb2f69159868100c00298455dd61c1f932318d2c89f9c9e9fa10",
    "repro/results/setup-fixed-2.log": "e4ebb0ab8f0cd39818f91e356a56c99d4b6e6236fe6b27c93b74b32249abd2a8",
    "repro/results/setup-vuln-1.log": "9fbfce8be280088e91e1c4e78e9585eda6e481055940e84b6df6116cb07afd78",
    "repro/results/setup-vuln-2.log": "1fc2cdb5991bafafc652995e232de156dedb930b0b4bbaa61cf5ba5260460f7a",
    "repro/results/guest-fixed-1.log": "445f454512bc52c33d9b2df091ccc1bc48892ecb4ccefebe00e31707bbe9c520",
    "repro/results/guest-fixed-2.log": "1ea61d462829b57599143b663b059d800a77e9826d858afe24a02096d60da7d4",
    "repro/results/guest-vuln-1.log": "0e4a745d06e13ba17be68f1f095f489b4d90f3041f57365b1bf6feaa8958ea65",
    "repro/results/guest-vuln-2.log": "eb0cfc603ed5a563af761d9ff722c084621b614035f405a30651e511fdae1fb5",
    "repro/results/guest-fixed-1.exit": "4355a46b19d348dc2f57c046f8ef63d4538ebb936000f3c9ee954a27460dd865",
    "repro/results/guest-fixed-2.exit": "4355a46b19d348dc2f57c046f8ef63d4538ebb936000f3c9ee954a27460dd865",
    "repro/results/guest-vuln-1.exit": "9a271f2a916b0b6ee6cecb2426f0b3206ef074578be55d9bc94f6f3fe3ab86aa",
    "repro/results/guest-vuln-2.exit": "9a271f2a916b0b6ee6cecb2426f0b3206ef074578be55d9bc94f6f3fe3ab86aa",
    "repro/results/swapper-fixed-1.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/swapper-fixed-2.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/swapper-vuln-1.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/swapper-vuln-2.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/fdwatch-fixed-1.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/fdwatch-fixed-2.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/fdwatch-vuln-1.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/fdwatch-vuln-2.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/host-marker-fixed-1.bin": "f5a5fd42d16a20302798ef6ed309979b43003d2320d9f0e8ea9831a92759fb4b",
    "repro/results/host-marker-fixed-2.bin": "f5a5fd42d16a20302798ef6ed309979b43003d2320d9f0e8ea9831a92759fb4b",
    "repro/results/host-marker-vuln-1.bin": "9764a202175a5b98c0833e23fdcd64d176b7993e4729e05cea21cc0946ba1031",
    "repro/results/host-marker-vuln-2.bin": "babccf7a7a5461cd9265d7343065039814ba8fe13fc6bf7e224fd1c8ac8bcf0d",
    "repro/results/host-observation-fixed-1.log": "f8c04e767a2531a642e9c0f7658cb4d002f4adfc22526d1f1cbb1496b95caa8b",
    "repro/results/host-observation-fixed-2.log": "7b191fff9d96028bf139b45b32ed70ea13fa0d16ec1d6c88a8cac052f15bdc29",
    "repro/results/host-observation-vuln-1.log": "5d0e7fd3d736c880d408a5b87075db33d370e0429c9c161f96dec764cd02ceff",
    "repro/results/host-observation-vuln-2.log": "f2a4989551573a28820562637b3ae74ae2398b6c0fa115a69115667254d0a418",
    "repro/results/backing-sha-fixed-1.txt": "b33bcae3207d733011306d9fcc348bade642c779739c98ad3f3c5b99e1da3c92",
    "repro/results/backing-sha-fixed-2.txt": "b99442c2ee5553da3350b450363a7b852d3ed45debfba39032fdf9057e67afae",
    "repro/results/backing-sha-vuln-1.txt": "8424f88aa5491e782a654197205b8c67fe686071ca618fd90cd9632666d92366",
    "repro/results/backing-sha-vuln-2.txt": "b0a756504f37987cecd6c5a8a02018c43f20d509ae536373aa34c92a517dd3aa",
    "repro/results/runsc-version-fixed.txt": "0e0f0466399cdf66ecdd5a49942dd7129a28ba2ee90c9025037656042ba42004",
    "repro/results/runsc-version-vuln.txt": "f67c0ab59f84756667976a64e37a0fcb3237a7e195a145117ba6064c0cb9b8df",
    "repro/results/source-identity.log": "9281f027f1b08ebf6587f7f50acc41be448d73de35fe631f379a768553ead9cb",
    "repro/results/cuse-guest-fixed.log": "f7b24ec7877d2413006283bf2e182f1cfedd34c4a8c87abe4156c75c0d9591a5",
    "repro/results/cuse-guest-vuln.log": "6d1244b122f653ee15cf66ea4ffc3b587ca30c2cb36b6bfee7d609fb24cafa95",
    "repro/results/cuse-swapper-fixed.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/results/cuse-swapper-vuln.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
  },
  "notes": "release-20260928.0 guest gained host block-device read/write and created unique host backing-file markers in 2/2 attempts, and accepted a raced /dev/cuse FD; release-20261005.0 created 0 markers, rejected block-device opens, and returned ESTALE for the same /dev/cuse swap"
}