{
  "entrypoint_kind": "tcp_peer",
  "entrypoint_detail": "NGINX HTTP/TCP listeners on Docker network ports 19321 and 19331 reached from separate attacker containers",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": [
    "docker",
    "nginx",
    "python-disclosure-backend",
    "python-exploit-backend"
  ],
  "proof_artifacts": [
    "logs/randomize_va_space.log",
    "logs/fixed_commit_stat.log",
    "logs/fixed_commit_detail.log",
    "logs/patch_hunk_verification.log",
    "logs/nginx_conf_sha256.log",
    "logs/vulnerable-docker-build.log",
    "logs/fixed-docker-build.log",
    "logs/vulnerable-1.healthcheck.log",
    "logs/vulnerable-1.target.inspect.json",
    "logs/vulnerable-1.worker-pid",
    "logs/vulnerable-1.maps",
    "logs/vulnerable-1.mitigations",
    "logs/vulnerable-1.build-id",
    "logs/vulnerable-1.binary-sha256",
    "logs/vulnerable-1.randomization-base",
    "logs/vulnerable-1.attacker.log",
    "logs/vulnerable-1.attacker.inspect.json",
    "logs/vulnerable-1.marker",
    "logs/vulnerable-1.proof-http-response",
    "logs/vulnerable-1.observation.json",
    "logs/vulnerable-1.container.log",
    "logs/vulnerable-1.nginx-error.log",
    "logs/vulnerable-1.leak-backend.log",
    "logs/vulnerable-1.exploit-backend.log",
    "logs/vulnerable-2.healthcheck.log",
    "logs/vulnerable-2.target.inspect.json",
    "logs/vulnerable-2.worker-pid",
    "logs/vulnerable-2.maps",
    "logs/vulnerable-2.mitigations",
    "logs/vulnerable-2.build-id",
    "logs/vulnerable-2.binary-sha256",
    "logs/vulnerable-2.randomization-base",
    "logs/vulnerable-2.attacker.log",
    "logs/vulnerable-2.attacker.inspect.json",
    "logs/vulnerable-2.marker",
    "logs/vulnerable-2.proof-http-response",
    "logs/vulnerable-2.observation.json",
    "logs/vulnerable-2.container.log",
    "logs/vulnerable-2.nginx-error.log",
    "logs/vulnerable-2.leak-backend.log",
    "logs/vulnerable-2.exploit-backend.log",
    "logs/fixed-1.healthcheck.log",
    "logs/fixed-1.target.inspect.json",
    "logs/fixed-1.worker-pid",
    "logs/fixed-1.maps",
    "logs/fixed-1.mitigations",
    "logs/fixed-1.build-id",
    "logs/fixed-1.binary-sha256",
    "logs/fixed-1.randomization-base",
    "logs/fixed-1.attacker.log",
    "logs/fixed-1.attacker.inspect.json",
    "logs/fixed-1.marker",
    "logs/fixed-1.proof-http-response",
    "logs/fixed-1.observation.json",
    "logs/fixed-1.container.log",
    "logs/fixed-1.nginx-error.log",
    "logs/fixed-1.leak-backend.log",
    "logs/fixed-1.exploit-backend.log",
    "logs/fixed-2.healthcheck.log",
    "logs/fixed-2.target.inspect.json",
    "logs/fixed-2.worker-pid",
    "logs/fixed-2.maps",
    "logs/fixed-2.mitigations",
    "logs/fixed-2.build-id",
    "logs/fixed-2.binary-sha256",
    "logs/fixed-2.randomization-base",
    "logs/fixed-2.attacker.log",
    "logs/fixed-2.attacker.inspect.json",
    "logs/fixed-2.marker",
    "logs/fixed-2.proof-http-response",
    "logs/fixed-2.observation.json",
    "logs/fixed-2.container.log",
    "logs/fixed-2.nginx-error.log",
    "logs/fixed-2.leak-backend.log",
    "logs/fixed-2.exploit-backend.log",
    "logs/aslr_verifier.log",
    "logs/proof_summary.json",
    "repro/validation_verdict.json"
  ],
  "notes": "confirmed"
}