fix: repair production Docker Compose (#400)

[Freezaa9]

Context

Closes #400. Running docker compose up (the production stack using pre-built images) was broken in several ways, making it impossible to start the platform without editing the compose file manually.

What was broken

Six bugs were identified by cross-referencing docker-compose.yml with the Manager Dockerfile, the web nginx.conf, docker-entrypoint.sh, and the engine source code:

#	File	Bug	Impact
1	docker-compose.yml	Manager healthcheck used :8080 but compose set PORT: 8000	Agent service depended on this healthcheck → startup hung forever
2	docker-compose.yml	DATABASEAUTO_MIGRATE: true (missing __ separators)	Dead env var — never read by the Settings model; auto-migration is always enabled in main.py
3	docker-compose.yml	Web port mapped 3000:3000 but nginx listens on 8080	connection refused on host port 3000
4	docker-compose.yml	CHOKIDAR_USEPOLLING=true in web service	Dev-only hot-reload env var; harmless but wrong
5	docker-compose.yml	VITE_API_URL set instead of API_URL	docker-entrypoint.sh reads ${API_URL:-}, not VITE_API_URL → web UI always pointed at wrong/empty API URL
6	docker-compose.build.yml	IDUN_MANAGER_HOST had full /api/v1/agents/config path	Engine's with_config_from_api appends this path — resulting in a doubled URL

Changes

docker-compose.yml — fixes 1–5 above, plus re-enables the explicit idun_network (was fully commented out) so services communicate over an explicit bridge.

docker-compose.build.yml — fix 6: trim IDUN_MANAGER_HOST to base URL only.

.github/workflows/smoke-test-compose.yml (new) — CI smoke test that:

• Triggers on any PR/push touching docker-compose.yml, Dockerfiles, or nginx config
• Starts db + manager + web using the production compose
• Waits for the manager healthcheck to pass
• Asserts GET /api/v1/healthz returns {"status": ...}
• Asserts the web UI returns HTML
• Dumps all container logs on failure

docs/deployment/overview.mdx — rewrites the "Managed (full stack)" tab to document the production docker compose up path (pre-built images). Adds a "Development" tab for the docker-compose.dev.yml build-from-source path. Updates the embedded YAML example to match the real file.

docs/quickstart.mdx — adds a nested tabs block in the "Start the platform" step showing both the prod and dev compose commands.

How to test manually

git checkout fix/issue-400-prod-compose
docker compose up -d db manager web
# Wait ~30s for the manager healthcheck to pass
curl http://localhost:8000/api/v1/healthz     # → {"status":"ok",...}
open http://localhost:3000                    # → Idun login page

Tests

• 124 manager unit tests pass (uv run pytest services/idun_agent_manager/tests)
• Both compose files validate cleanly (docker compose config --quiet)
• Pre-commit hooks (ruff, gitleaks) pass on all changed files
• New CI workflow will verify the prod stack on every PR that touches compose or Dockerfile paths

🤖 Generated with Claude Code