Build, smoke-test, publish, and verify the Q-agent Docker image (LEAN CLI + infrastructure pipelines + marimo). Handles LEAN_VERSION bumps, local iteration, GHCR pull verification, and CI debugging for the docker workflow.
لغة النص الأصلي: الإنجليزية