{
  "entrypoint_kind": "endpoint",
  "entrypoint_detail": "/terminal/ws WebSocket endpoint (unauthenticated)",
  "service_started": true,
  "healthcheck_passed": true,
  "target_path_reached": true,
  "runtime_stack": [
    "marimo edit (starlette/uvicorn)",
    "python3 venv"
  ],
  "proof_artifacts": [
    "logs/server_vuln.log",
    "logs/server_fixed.log",
    "logs/vuln_unauth_attempt1.log",
    "logs/vuln_unauth_attempt2.log",
    "logs/fixed_unauth_attempt1.log",
    "logs/fixed_unauth_attempt2.log",
    "logs/fixed_auth_control.log",
    "logs/patch_hunk.txt",
    "logs/reproduction_steps.log"
  ],
  "notes": "verdict=confirmed; fixed_authenticated_control=true"
}