fix: change port from 8000 to 7860 — HF Spaces Docker only exposes 7860 externally

Dockerfile

@@ -14,8 +14,8 @@ RUN pip install --no-cache-dir -r requirements.txt
 # Copy source
 COPY . .
 
-# Expose env server port
-EXPOSE 8000
+# Expose env server port (HF Spaces requires 7860)
+EXPOSE 7860
 
 # Default: run the environment server
 CMD ["python", "server.py"]

openenv.yaml

@@ -50,7 +50,7 @@ tasks:
 environment:
   language: python
   entry_point: server.py
-  port: 8000
+  port: 7860
   health_check: /health
   state_endpoint: /state
   reset_endpoint: /reset

server.py

@@ -79,4 +79,4 @@ def score(task: int = 1):
 
 
 if __name__ == "__main__":
-    uvicorn.run(app, host="0.0.0.0", port=8000)
+    uvicorn.run(app, host="0.0.0.0", port=7860)