{
  "entrypoint_kind": "tcp_peer",
  "entrypoint_detail": "QUIC/HTTP3 UDP peer: quic-go client dials XQUIC demo_server, opens HTTP/3 control stream + QPACK encoder unidirectional stream, sends Set Dynamic Table Capacity / Insert instructions",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": [
    "xquic-demo_server-v1.9.4",
    "babassl(tongsuo)-8.4-stable",
    "quic-go-v0.60.0-client",
    "glibc-_FORTIFY_SOURCE"
  ],
  "proof_artifacts": [
    "logs/vuln_attempt1_server.stderr",
    "logs/vuln_attempt1_client.stdout",
    "logs/vuln_attempt1_result.txt",
    "logs/fixed_attempt1_server.stderr",
    "logs/fixed_attempt1_client.stdout",
    "logs/fixed_attempt1_result.txt",
    "logs/vuln_attempt2_server.stderr",
    "logs/vuln_attempt2_client.stdout",
    "logs/vuln_attempt2_result.txt",
    "logs/fixed_attempt2_server.stderr",
    "logs/fixed_attempt2_client.stdout",
    "logs/fixed_attempt2_result.txt"
  ],
  "notes": "vulnerable server crashed 2/2 attempts (glibc fortify abort 2/2); fixed one-line-patch server stayed alive 2/2 attempts; confirmed=True"
}