Fix Dockerfile port: use 7860 for HF Spaces compatibility

Phase 3: Dockerfile, openenv manifest, client, deployment guide, GRPO training notebook

Phase 1 complete: schemas, reward design, project scaffold