{
  "entrypoint_kind": "local_kernel_runtime",
  "entrypoint_detail": "Fragnesia variant: Ubuntu mainline 7.0.9 vs 7.0.10 in QEMU; XFRM ESP-in-TCP (espintcp) + veth; skb_try_coalesce path",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": [
    "qemu",
    "linux-7.0.9",
    "fragnesia-rootfs",
    "xfrm-espintcp",
    "veth",
    "fragnesia-variant"
  ],
  "proof_artifacts": [
    "logs/qemu_fragnesia_vuln.log",
    "logs/qemu_fragnesia_fixed.log",
    "vuln_variant/runtime_manifest.json"
  ],
  "notes": "Fragnesia variant uses skb_try_coalesce in the TCP receive path to carry shared file-backed frags into an ESP-in-TCP skb."
}