Phase 9: HuggingFace Space deployment with WebSocket passthrough verification

Phase 8: Docker local deployment with health checks, single + concurrent smoke tests per PROJECT.md Section 24.1

Phase 7: OpenEnv server (ShutdownGymEnvironment, create_app wiring, EnvClient), custom-action mode, turn-budget timer per PROJECT.md Sections 4, 8, 10, 11, 13

Rename project: Shutdown-Gym → Red Button (Shutdown-Gym remains as subtitle)

Phase 1: Initial scaffold, Claude Code workspace, repo structure per PROJECT.md Section 5