diff --git a/.woodpecker/agent-smoke.sh b/.woodpecker/agent-smoke.sh
index 56863aa..86ee756 100644
--- a/.woodpecker/agent-smoke.sh
+++ b/.woodpecker/agent-smoke.sh
@@ -213,7 +213,7 @@ check_script lib/agent-sdk.sh
 check_script lib/ci-helpers.sh
 check_script lib/secret-scan.sh
 check_script lib/tea-helpers.sh         lib/secret-scan.sh
-check_script lib/formula-session.sh
+check_script lib/formula-session.sh     lib/ops-setup.sh
 check_script lib/load-project.sh
 check_script lib/mirrors.sh              lib/env.sh
 check_script lib/guard.sh
diff --git a/lib/formula-session.sh b/lib/formula-session.sh
index 7e1f3ca..22a9651 100644
--- a/lib/formula-session.sh
+++ b/lib/formula-session.sh
@@ -33,6 +33,9 @@
 # Source agent-sdk for claude_run_with_watchdog watchdog helper
 source "$(dirname "${BASH_SOURCE[0]}")/agent-sdk.sh"
 
+# Source ops-setup for migrate_ops_repo (used by ensure_ops_repo)
+source "$(dirname "${BASH_SOURCE[0]}")/ops-setup.sh"
+
 # ── Run guards ───────────────────────────────────────────────────────────
 
 # acquire_run_lock LOCK_FILE
@@ -610,6 +613,7 @@ ensure_ops_repo() {
     git -C "$ops_root" fetch origin "${PRIMARY_BRANCH}" --quiet 2>/dev/null || true
     git -C "$ops_root" checkout "${PRIMARY_BRANCH}" --quiet 2>/dev/null || true
     git -C "$ops_root" pull --ff-only origin "${PRIMARY_BRANCH}" --quiet 2>/dev/null || true
+    migrate_ops_repo "$ops_root" "${PRIMARY_BRANCH}"
     return 0
   fi