docs/learnings/F007-integrations.md

• HuggingFace Spaces deployment must treat PORT as runtime-configurable and wire both HEALTHCHECK and uvicorn startup to ${PORT:-8000} for local/HF parity (F007)
• Training notebooks should include an explicit SQLEnvClient connect/reset/step smoke test before GRPO runs to fail fast when environment connectivity is broken (F007)
• OpenEnv builds that depend on ghcr.io/meta-pytorch/openenv-base should assume GHCR authentication is a prerequisite in CI or local locked-down environments before uv run openenv build (F007)
• Deployment readiness for OpenEnv Spaces is only complete after a successful authenticated uv run openenv push to the target HuggingFace Space, not just a local Docker build (F007)