@ai-dev-methodologies/rlp-desk 0.14.3 → 0.14.5

package/src/scripts/run_ralph_desk.zsh

@@ -0,0 +1,3522 @@
+#!/bin/zsh
+set -uo pipefail
+# NOTE: We use set -u (undefined var check) and pipefail, but NOT set -e
+# because the main loop uses explicit error checks throughout.
+
+# =============================================================================
+# Ralph Desk Tmux Runner
+#
+# Implements the Leader loop from governance.md section 7 as a shell script.
+# Uses tmux proven patterns: write-then-notify, pane IDs (%N),
+# copy-mode guards, verification-based retry, heartbeat monitoring,
+# idle pane nudging, exponential backoff restarts, atomic file writes.
+#
+# Usage:
+#   LOOP_NAME=<slug> ./run_ralph_desk.zsh
+#
+# Required env:
+#   LOOP_NAME     - slug identifier for the campaign
+#
+# Optional env:
+#   ROOT                      - project root (default: $PWD)
+#   MAX_ITER                  - max iterations (default: 20)
+#   WORKER_MODEL              - claude model for Worker (default: sonnet)
+#   VERIFIER_MODEL            - claude model for Verifier (default: opus)
+#   POLL_INTERVAL             - seconds between signal checks (default: 5)
+#   ITER_TIMEOUT              - per-iteration timeout in seconds (default: 600)
+#   HEARTBEAT_STALE_THRESHOLD - seconds before heartbeat is stale (default: 120)
+#   MAX_RESTARTS              - max restart attempts per worker (default: 3)
+#   IDLE_NUDGE_THRESHOLD      - seconds of idle before nudge (default: 30)
+#   MAX_NUDGES                - max nudges per pane per iteration (default: 3)
+#
+# Per-role codex config:
+#   WORKER_CODEX_MODEL            - codex model for Worker (default: gpt-5.5)
+#   WORKER_CODEX_REASONING        - codex reasoning for Worker (default: high)
+#   VERIFIER_CODEX_MODEL          - codex model for Verifier (default: gpt-5.5)
+#   VERIFIER_CODEX_REASONING      - codex reasoning for Verifier (default: high)
+#
+# Consensus scope:
+#   CONSENSUS_SCOPE               - when consensus applies (default: all)
+#                                   all=every verify, final-only=final ALL only
+#
+# Dependencies: tmux, claude CLI, jq
+# Optional: codex CLI (required when WORKER_ENGINE=codex, VERIFIER_ENGINE=codex, or VERIFY_CONSENSUS=1)
+# =============================================================================
+
+# --- Environment Variables ---
+SLUG="${LOOP_NAME:?ERROR: LOOP_NAME is required. Set it to the campaign slug.}"
+ROOT="${ROOT:-$PWD}"
+MAX_ITER="${MAX_ITER:-20}"
+WORKER_MODEL="${WORKER_MODEL:-haiku}"
+VERIFIER_MODEL="${VERIFIER_MODEL:-sonnet}"
+FINAL_VERIFIER_MODEL="${FINAL_VERIFIER_MODEL:-opus}"
+POLL_INTERVAL="${POLL_INTERVAL:-5}"
+ITER_TIMEOUT="${ITER_TIMEOUT:-600}"
+HEARTBEAT_STALE_THRESHOLD="${HEARTBEAT_STALE_THRESHOLD:-120}"
+MAX_RESTARTS="${MAX_RESTARTS:-3}"
+IDLE_NUDGE_THRESHOLD="${IDLE_NUDGE_THRESHOLD:-30}"
+MAX_NUDGES="${MAX_NUDGES:-3}"
+WITH_SELF_VERIFICATION="${WITH_SELF_VERIFICATION:-0}"
+WITH_SELF_VERIFICATION_REQUESTED="$WITH_SELF_VERIFICATION"  # preserves original user intent for traceability (governance §1f)
+SV_SKIPPED_REASON=""                                         # set when SV is disabled despite user request
+
+# v0.14.0 — zsh runner restored as primary tmux mode path.
+# v5.7 §4.2's deprecation gate (rejected --flywheel/--flywheel-guard/
+# --with-self-verification) is removed: the Node port shipped without
+# zsh-equivalent safety nets (heartbeat, copy-mode guard, prompt-stall,
+# no-progress, stale-context, claude model upgrade chain, etc.), so the
+# Node leader is now reserved for `--mode agent` (LLM-driven) only.
+# `--mode tmux` invocations from src/node/run.mjs delegate here as a
+# subprocess via env vars. zsh continues to honor FLYWHEEL,
+# FLYWHEEL_GUARD, WITH_SELF_VERIFICATION.
+AUTONOMOUS_MODE="${AUTONOMOUS_MODE:-0}"    # 1=don't stop on ambiguity, PRD is authoritative
+# P1-E Lane enforcement: WARN-only by default; --lane-strict opts into BLOCKED
+# escalation. governance §7¾. The opt-in defaults to "warn"; "strict" trips
+# BLOCKED with reason_category=infra_failure + recoverable=true (downgrade
+# from terminal_alert) so an inaccurate mtime audit cannot terminally kill a
+# campaign.
+LANE_MODE="${LANE_MODE:-warn}"
+# US-018 R6 P1-F Test density: WARN by default; --test-density-strict turns
+# init exit non-zero when any AC has < 3 tests (governance §7f).
+TEST_DENSITY_MODE="${TEST_DENSITY_MODE:-warn}"
+# US-021 R9 P2-I consecutive_blocks circuit breaker (governance §8). When the
+# same canonical block reason fires N times in a row the runner writes
+# .sisyphus/mission-abort.json and exits non-zero so contract defects don't
+# silently loop. infra_failure category and the very first iteration are exempt.
+BLOCK_CB_THRESHOLD="${BLOCK_CB_THRESHOLD:-3}"
+CONSECUTIVE_BLOCKS=0
+LAST_BLOCK_REASON=""
+
+# US-021 R9 P2-I: track repeated same-reason blocks. infra_failure category and
+# the very first iteration are exempt (mission setup blocks shouldn't trip
+# the abort). Returns 0 if loop should continue, 1 (after writing
+# mission-abort.json) if the threshold is reached.
+# US-023 R11 P2-K: guarantee at least one cost-log.jsonl entry per campaign.
+# An empty cost-log can mean either "no usage recorded" or "logging broken" —
+# we make the distinction observable by always emitting a final entry on exit
+# (idempotent via COST_LOG_FINAL_WRITTEN). Wired into the existing cleanup trap.
+COST_LOG_FINAL_WRITTEN=0
+_emit_final_cost_log() {
+  if [[ "${COST_LOG_FINAL_WRITTEN:-0}" -ne 0 ]]; then
+    return 0
+  fi
+  COST_LOG_FINAL_WRITTEN=1
+  if [[ -n "${ITERATION:-}" && -n "${LOGS_DIR:-}" ]]; then
+    write_cost_log "${ITERATION:-0}" 2>/dev/null || true
+  fi
+}
+
+# US-024 R12 P0: tmux pane/session lifecycle monitor.
+# Single authoritative timeout: 5 attempts × 1s sleep = 5s budget.
+# Invoked at 3 sites: create_session post-finish, main loop iter entry, and
+# every send-keys/paste post-action before the wait-loop. Writes infra_failure
+# BLOCKED sentinel and exits 1 when any pane or the session is dead beyond budget.
+_r12_check_lifecycle() {
+  local site="${1:-unknown}"
+  local _attempts=0
+  while ! _verify_session_alive "$SESSION_NAME" || \
+         ! _verify_pane_alive "$LEADER_PANE" || \
+         ! _verify_pane_alive "$WORKER_PANE" || \
+         ! _verify_pane_alive "$VERIFIER_PANE"; do
+    (( _attempts++ ))
+    if (( _attempts >= 5 )); then
+      log_error "[r12:$site] tmux session/pane dead after 5x1s polling (5s authoritative budget). session=$SESSION_NAME panes leader=$LEADER_PANE worker=$WORKER_PANE verifier=$VERIFIER_PANE"
+      tmux list-panes -a -F '#{session_name}:#{pane_id} dead=#{pane_dead}' 2>&1 | head -20 >> "${DEBUG_LOG:-/dev/null}"
+      write_blocked_sentinel "tmux session/pane dead during $site" "${CURRENT_US:-ALL}" "infra_failure"
+      exit 1
+    fi
+    sleep 1
+  done
+  return 0
+}
+
+_check_consecutive_blocks() {
+  local reason="$1"
+  local category="${2:-metric_failure}"
+  local iter="${3:-${ITERATION:-0}}"
+  if [[ "$category" == "infra_failure" ]] || (( iter <= 1 )); then
+    LAST_BLOCK_REASON=""
+    CONSECUTIVE_BLOCKS=0
+    return 0
+  fi
+  local canonical
+  canonical=$(_canonical_block_reason "$reason" 2>/dev/null)
+  if [[ "$canonical" == "$LAST_BLOCK_REASON" && -n "$canonical" ]]; then
+    CONSECUTIVE_BLOCKS=$((CONSECUTIVE_BLOCKS + 1))
+  else
+    CONSECUTIVE_BLOCKS=1
+    LAST_BLOCK_REASON="$canonical"
+  fi
+  if (( CONSECUTIVE_BLOCKS >= BLOCK_CB_THRESHOLD )); then
+    local abort_dir="$DESK/.sisyphus"
+    mkdir -p "$abort_dir" 2>/dev/null
+    local abort_file="$abort_dir/mission-abort.json"
+    printf '{"reason":"consecutive_blocks","count":%s,"last_reason":"%s","threshold":%s,"timestamp":"%s"}\n' \
+      "$CONSECUTIVE_BLOCKS" "$canonical" "$BLOCK_CB_THRESHOLD" \
+      "$(date -u +%Y-%m-%dT%H:%M:%SZ)" > "$abort_file"
+    log_error "Mission abort: same canonical block reason '$canonical' repeated $CONSECUTIVE_BLOCKS times (>= $BLOCK_CB_THRESHOLD)"
+    return 1
+  fi
+  return 0
+}
+
+# --- Engine Selection (auto-detect from model format) ---
+# claude models (haiku/sonnet/opus) with :effort → claude engine + effort
+# codex models (gpt-*/spark) with :reasoning → codex engine + reasoning
+# plain name → claude engine (no effort/reasoning)
+_auto_detect_engine() {
+  local model_var="$1" engine_var="$2" codex_model_var="$3" codex_reasoning_var="$4" effort_var="${5:-}"
+  local model_val="${(P)model_var}"
+  if [[ "$model_val" == *:* ]]; then
+    local model_part="${model_val%%:*}"
+    local level_part="${model_val##*:}"
+    case "$model_part" in
+      haiku|sonnet|opus)
+        # Claude model with effort — keep engine as claude, store effort
+        eval "$engine_var=claude"
+        eval "$model_var=$model_part"
+        [[ -n "$effort_var" ]] && eval "$effort_var=$level_part"
+        ;;
+      *)
+        # Codex model with reasoning
+        [[ "$model_part" == "spark" ]] && model_part="gpt-5.3-codex-spark"
+        eval "$engine_var=codex"
+        eval "$model_var=$model_part"
+        [[ -n "$codex_model_var" ]] && eval "$codex_model_var=$model_part"
+        [[ -n "$codex_reasoning_var" ]] && eval "$codex_reasoning_var=$level_part"
+        ;;
+    esac
+  fi
+}
+
+WORKER_ENGINE="${WORKER_ENGINE:-claude}"
+VERIFIER_ENGINE="${VERIFIER_ENGINE:-claude}"
+FINAL_VERIFIER_ENGINE="${FINAL_VERIFIER_ENGINE:-claude}"
+
+# Effort levels for Claude models (set by _auto_detect_engine or CLI --worker-model opus:max)
+WORKER_EFFORT="${WORKER_EFFORT:-}"
+VERIFIER_EFFORT="${VERIFIER_EFFORT:-}"
+FINAL_VERIFIER_EFFORT="${FINAL_VERIFIER_EFFORT:-}"
+
+# Auto-detect engine from model format for env var path (CLI path uses parse_model_flag)
+_auto_detect_engine WORKER_MODEL WORKER_ENGINE WORKER_CODEX_MODEL WORKER_CODEX_REASONING WORKER_EFFORT
+_auto_detect_engine VERIFIER_MODEL VERIFIER_ENGINE VERIFIER_CODEX_MODEL VERIFIER_CODEX_REASONING VERIFIER_EFFORT
+_auto_detect_engine FINAL_VERIFIER_MODEL FINAL_VERIFIER_ENGINE "" "" FINAL_VERIFIER_EFFORT
+WORKER_CODEX_MODEL="${WORKER_CODEX_MODEL:-gpt-5.5}"
+WORKER_CODEX_REASONING="${WORKER_CODEX_REASONING:-high}"   # low|medium|high
+VERIFIER_CODEX_MODEL="${VERIFIER_CODEX_MODEL:-gpt-5.5}"
+VERIFIER_CODEX_REASONING="${VERIFIER_CODEX_REASONING:-high}"   # low|medium|high
+CODEX_BIN=""  # resolved by check_dependencies when engine=codex
+
+# --- Verify Mode ---
+VERIFY_MODE="${VERIFY_MODE:-per-us}"        # per-us|batch
+# Consensus: off|all|final-only (replaces VERIFY_CONSENSUS + FINAL_CONSENSUS + CONSENSUS_SCOPE)
+CONSENSUS_MODE="${CONSENSUS_MODE:-off}"     # off|all|final-only
+CONSENSUS_MODEL="${CONSENSUS_MODEL:-gpt-5.5:medium}"       # per-US cross-verifier (lighter)
+FINAL_CONSENSUS_MODEL="${FINAL_CONSENSUS_MODEL:-gpt-5.5:high}"  # final cross-verifier (stricter)
+# Legacy compat: map old flags to CONSENSUS_MODE
+if [[ "${VERIFY_CONSENSUS:-0}" = "1" ]]; then
+  CONSENSUS_MODE="${CONSENSUS_SCOPE:-all}"
+elif [[ "${FINAL_CONSENSUS:-0}" = "1" ]]; then
+  CONSENSUS_MODE="final-only"
+fi
+CONSENSUS_SCOPE="${CONSENSUS_SCOPE:-${CONSENSUS_MODE}}"
+CB_THRESHOLD="${CB_THRESHOLD:-6}"           # consecutive failures before BLOCKED (default: 6)
+# Effective CB threshold: doubled when consensus mode active
+if [[ "$CONSENSUS_MODE" != "off" ]]; then
+  EFFECTIVE_CB_THRESHOLD=$(( CB_THRESHOLD * 2 ))
+else
+  EFFECTIVE_CB_THRESHOLD=$CB_THRESHOLD
+fi
+_API_MAX_RETRIES="${_API_MAX_RETRIES:-5}"
+_API_RETRY_INTERVAL_S="${_API_RETRY_INTERVAL_S:-30}"
+
+# --- Derived Paths ---
+DESK="$ROOT/${RLP_DESK_RUNTIME_DIR:-.rlp-desk}"
+# v0.13.0: legacy detection — refuse to run when .claude/ralph-desk/ is still
+# present. init mode auto-migrates; run mode protects in-flight campaigns.
+if [[ -d "$ROOT/.claude/ralph-desk" ]]; then
+  print -u2 "ERROR: Legacy .claude/ralph-desk/ detected at $ROOT/.claude/ralph-desk."
+  print -u2 "Run mode does not auto-migrate to protect in-flight campaigns."
+  print -u2 "Run: mv .claude/ralph-desk ${RLP_DESK_RUNTIME_DIR:-.rlp-desk} then re-run."
+  exit 1
+fi
+# US-026 R14 P0: project-root-hashed runner lockfile prevents duplicate runner spawns
+# on the same project root while allowing parallel runs across different projects.
+# shasum is mac-default; sha1sum on Linux; cksum is POSIX-final fallback.
+ROOT_HASH=$(printf '%s' "$ROOT" | { shasum 2>/dev/null || sha1sum 2>/dev/null || cksum; } | awk '{print substr($1,1,8)}')
+RUNNER_LOCKFILE_PATH="$DESK/logs/.rlp-desk-runner-$ROOT_HASH.lock"
+RUNNER_LOCKDIR="${RUNNER_LOCKFILE_PATH}.d"
+PROMPTS_DIR="$DESK/prompts"
+CONTEXT_DIR="$DESK/context"
+MEMOS_DIR="$DESK/memos"
+LOGS_DIR="$DESK/logs/$SLUG"
+RUNTIME_DIR="$LOGS_DIR/runtime"
+PRD_FILE="$DESK/plans/prd-$SLUG.md"
+TEST_SPEC_FILE="$DESK/plans/test-spec-$SLUG.md"
+# --- Analytics Directory (v5.7 §4.11.b: project-local) ---
+# Was previously $HOME/.claude/ralph-desk/analytics/<slug>--<hash> (cross-project
+# rollup). With v0.12.0 the canonical location is project-local; cross-project
+# rollup is the Leader's responsibility via ~/.claude/ralph-desk/registry.jsonl
+# (Worker/Verifier prompts never reference the registry path — see §4.11.c).
+ANALYTICS_SLUG_HASH=$(echo -n "$ROOT" | md5 -q 2>/dev/null || md5sum <<< "$ROOT" | cut -d' ' -f1)
+ANALYTICS_DIR="$DESK/analytics/${SLUG}--${ANALYTICS_SLUG_HASH:0:8}"
+CAMPAIGN_JSONL="$ANALYTICS_DIR/campaign.jsonl"
+METADATA_FILE="$ANALYTICS_DIR/metadata.json"
+WORKER_PROMPT_BASE="$PROMPTS_DIR/${SLUG}.worker.prompt.md"
+VERIFIER_PROMPT_BASE="$PROMPTS_DIR/${SLUG}.verifier.prompt.md"
+CONTEXT_FILE="$CONTEXT_DIR/${SLUG}-latest.md"
+MEMORY_FILE="$MEMOS_DIR/${SLUG}-memory.md"
+SIGNAL_FILE="$MEMOS_DIR/${SLUG}-iter-signal.json"
+DONE_CLAIM_FILE="$MEMOS_DIR/${SLUG}-done-claim.json"
+VERDICT_FILE="$MEMOS_DIR/${SLUG}-verify-verdict.json"
+# v0.14.2 Bug Report #4: codex sometimes writes the verdict file to the
+# pre-v0.13.0 legacy path despite the prompt instructing otherwise (CWD
+# heuristics inside the codex CLI). Track the legacy path so the no-progress
+# watcher and the harvest step can both fall back to it before BLOCKing the
+# campaign. Auto-migration logic lives in _migrate_legacy_verdict().
+LEGACY_VERDICT_FILE="$ROOT/.claude/ralph-desk/memos/${SLUG}-verify-verdict.json"
+COMPLETE_SENTINEL="$MEMOS_DIR/${SLUG}-complete.md"
+BLOCKED_SENTINEL="$MEMOS_DIR/${SLUG}-blocked.md"
+LOCKFILE_PATH="$DESK/logs/.rlp-desk-${SLUG}.lock"
+STATUS_FILE="$RUNTIME_DIR/status.json"
+SESSION_CONFIG="$RUNTIME_DIR/session-config.json"
+WORKER_HEARTBEAT="$RUNTIME_DIR/worker-heartbeat.json"
+VERIFIER_HEARTBEAT="$RUNTIME_DIR/verifier-heartbeat.json"
+COST_LOG="$LOGS_DIR/cost-log.jsonl"
+
+# --- Session Naming ---
+TIMESTAMP=$(date +%Y%m%d-%H%M%S)
+SESSION_NAME="rlp-desk-${SLUG}-${TIMESTAMP}"
+
+# --- State Tracking ---
+typeset -A LAST_PANE_CONTENT
+typeset -A PANE_IDLE_SINCE
+typeset -A WORKER_RESTARTS
+typeset -A US_FAIL_HISTORY
+STALE_CONTEXT_COUNT=0
+HEARTBEAT_STALE_COUNT=0
+MONITOR_FAILURE_COUNT=0
+CONSECUTIVE_FAILURES=0
+PREV_CONTEXT_HASH=""
+PREV_PRD_HASH=""
+PREV_PRD_US_LIST=""
+_PRD_CHANGED=0
+ITERATION=0
+START_TIME=$(date +%s)
+BASELINE_COMMIT=""       # git HEAD at campaign start (captured before loop)
+CAMPAIGN_REPORT_GENERATED=0  # guard against double-generation in cleanup trap
+SV_REPORT_GENERATED=0       # guard against double-generation in generate_sv_report
+VERIFIED_US=""           # comma-separated list of verified US IDs (per-us mode)
+CONSENSUS_ROUND=0        # current consensus round for current US
+US_LIST=""               # comma-separated US IDs from PRD (per-us mode)
+LOCKFILE_ACQUIRED=0
+LOCK_WORKER_MODEL="${LOCK_WORKER_MODEL:-0}"  # 0|1 — set by --lock-worker-model; disables progressive upgrade
+_SAME_US_FAIL_COUNT=0         # consecutive same-US fail counter (upgrade trigger at >= 2)
+_LAST_FAILED_US=""            # last failed US ID (same-US tracking for upgrade logic)
+_MODEL_UPGRADED=0             # 1 if Worker model was auto-upgraded during campaign
+_ORIGINAL_WORKER_MODEL=""     # WORKER_MODEL saved before first upgrade (for restore on pass)
+_ORIGINAL_WORKER_CODEX_REASONING=""  # WORKER_CODEX_REASONING saved before first upgrade
+
+# =============================================================================
+# Utility Functions
+# =============================================================================
+
+DEBUG="${DEBUG:-0}"
+DEBUG_LOG="$ANALYTICS_DIR/debug.log"
+
+# Source shared business logic
+LIB_DIR="$(cd "$(dirname "$0")" && pwd)"
+source "$LIB_DIR/lib_ralph_desk.zsh"
+
+# A16: Warn if running in foreground (may conflict with Claude Code pane)
+if [[ -z "${RLP_BACKGROUND:-}" ]]; then
+  echo "⚠ WARNING: Running in foreground. This may conflict with Claude Code's pane." >&2
+  echo "  Recommended: launch via Bash tool with run_in_background: true" >&2
+  echo "  Set RLP_BACKGROUND=1 to suppress this warning." >&2
+fi
+
+# check_dead_pane() — determine if pane command indicates a dead/exited process
+# Engine-aware: bash is normal for codex workers (trigger runs in bash),
+# but indicates dead pane for claude workers.
+# Args: $1=pane_current_command  $2=engine (claude|codex)  $3=role (worker|verifier)
+# Returns: 0 if dead, 1 if alive
+check_dead_pane() {
+  local poll_cmd="$1"
+  local engine="${2:-claude}"
+  local role="${3:-worker}"
+
+  if [[ -z "$poll_cmd" ]]; then
+    return 0  # empty = dead
+  elif [[ "$poll_cmd" == "zsh" ]]; then
+    return 0  # bare zsh = dead
+  elif [[ "$poll_cmd" == "bash" && "$engine" != "codex" ]]; then
+    return 0  # bash = dead for claude (codex uses bash trigger)
+  fi
+  return 1  # alive
+}
+
+# launch_worker_codex() — launch codex Worker TUI, send instruction, verify submission
+# Matches launch_worker_claude() pattern for consistent tmux-visible execution.
+# Args: $1=pane_id  $2=prompt_file  $3=iteration  $4=worker_launch_cmd
+# Returns: 0 on success, 1 on fatal failure
+launch_worker_codex() {
+  local pane_id="$1"
+  local prompt_file="$2"
+  local iter="$3"
+  local worker_launch="$4"
+
+  log "  Launching Worker codex TUI in pane $pane_id..."
+  # Clean pane before launch: kill any lingering process, ensure fresh shell
+  local _pre_cmd
+  _pre_cmd=$(tmux display-message -p -t "$pane_id" '#{pane_current_command}' 2>/dev/null || echo "")
+  if [[ "$_pre_cmd" != "zsh" && "$_pre_cmd" != "bash" && -n "$_pre_cmd" ]]; then
+    log_debug "Worker pane has lingering process ($_pre_cmd), cleaning..."
+    tmux send-keys -t "$pane_id" C-c 2>/dev/null; sleep 0.5
+    tmux send-keys -t "$pane_id" C-c 2>/dev/null; sleep 1
+  fi
+  paste_to_pane "$pane_id" "$worker_launch"
+  tmux send-keys -t "$pane_id" C-m
+
+  # Wait for codex TUI prompt (›) instead of shell prompt
+  local _codex_ready=0
+  local _codex_wait=0
+  while (( _codex_wait < 30 )); do
+    sleep 1
+    local _pane_text
+    _pane_text=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null || true)
+    if echo "$_pane_text" | grep -q '›' 2>/dev/null; then
+      _codex_ready=1
+      log_debug "Worker codex TUI ready after ${_codex_wait}s"
+      break
+    fi
+    (( _codex_wait++ ))
+  done
+  if (( ! _codex_ready )); then
+    log_error "Worker codex TUI not ready after 30s"
+    return 1
+  fi
+
+  # Send instruction to codex TUI
+  sleep 1
+  local worker_instruction="Read and execute the instructions in $prompt_file"
+  paste_to_pane "$pane_id" "$worker_instruction"
+  tmux send-keys -t "$pane_id" C-m
+  log_debug "Worker codex instruction sent (${#worker_instruction} chars)"
+
+  # Submit loop — verify codex started working
+  local submit_attempts=0
+  while (( submit_attempts < 15 )); do
+    sleep 2
+    local pane_check
+    pane_check=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null)
+    if echo "$pane_check" | grep -qi "working\|thinking\|Exploring\|Running\|reading\|searching\|editing\|writing" 2>/dev/null; then
+      log_debug "Worker codex started working after $((submit_attempts + 1)) checks"
+      break
+    fi
+    if (( submit_attempts == 8 )); then
+      log_debug "Adaptive instruction retry: clearing line and re-typing"
+      tmux send-keys -t "$pane_id" C-u 2>/dev/null
+      sleep 0.1
+      paste_to_pane "$pane_id" "$worker_instruction"
+      tmux send-keys -t "$pane_id" C-m
+    fi
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    sleep 0.3
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    (( submit_attempts++ ))
+  done
+  return 0
+}
+
+# launch_worker_claude() — launch claude Worker TUI, send instruction, verify submission
+# Handles: TUI startup, wait_for_pane_ready, instruction send, 15-iteration submit loop,
+#          restart recovery on submit failure.
+# Args: $1=pane_id  $2=prompt_file  $3=iteration  $4=worker_launch_cmd
+# Returns: 0 on success, 1 on fatal failure (caller writes BLOCKED)
+launch_worker_claude() {
+  local pane_id="$1"
+  local prompt_file="$2"
+  local iter="$3"
+  local worker_launch="$4"
+
+  log "  Launching Worker claude in pane $pane_id..."
+  paste_to_pane "$pane_id" "$worker_launch"
+  tmux send-keys -t "$pane_id" C-m
+
+  # Wait for claude TUI to be ready
+  if ! wait_for_pane_ready "$pane_id" 30; then
+    log_error "Worker claude failed to start"
+    return 1
+  fi
+
+  # Send instruction to claude TUI
+  sleep 3
+  local worker_instruction="Read and execute the instructions in $prompt_file"
+  paste_to_pane "$pane_id" "$worker_instruction"
+  tmux send-keys -t "$pane_id" C-m
+  log_debug "Worker instruction sent directly (${#worker_instruction} chars)"
+
+  # 15-iteration submit loop — verify claude started working
+  local submit_attempts=0
+  while (( submit_attempts < 15 )); do
+    sleep 2
+    local pane_check
+    pane_check=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null)
+    if echo "$pane_check" | grep -qi "esc to interrupt\|thinking\|working\|kneading\|crunching\|clauding\|billowing\|brewing\|tinkering\|burrowing\|saut\|Exploring\|Running\|exec\|Explored\|Prestidigitating\|Undulating\|Reading\|Bash\|Edit\|Write\|Grep\|Glob" 2>/dev/null; then
+      log_debug "Worker started working after $((submit_attempts + 1)) submit checks"
+      log_debug "[FLOW] iter=$iter worker_submit_check=OK attempts=$((submit_attempts + 1))"
+      break
+    fi
+    # Every 3 failed attempts, re-send full instruction
+    if (( submit_attempts > 0 && submit_attempts % 3 == 0 )); then
+      log_debug "Re-sending full worker instruction (attempt $submit_attempts)"
+      tmux send-keys -t "$pane_id" C-u 2>/dev/null
+      sleep 0.2
+      paste_to_pane "$pane_id" "$worker_instruction"
+      sleep 0.15
+      tmux send-keys -t "$pane_id" C-m
+      sleep 1
+    fi
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    sleep 0.3
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    (( submit_attempts++ ))
+  done
+
+  # If 15 attempts failed, restart claude and retry
+  if (( submit_attempts >= 15 )); then
+    log "  WARNING: Worker instruction not consumed after 15 attempts — restarting claude"
+    log_debug "[GOV] iter=$iter worker_instruction_failed=true attempts=15 action=restart_claude"
+    tmux send-keys -t "$pane_id" C-c 2>/dev/null
+    sleep 0.5
+    tmux send-keys -t "$pane_id" "/exit" C-m 2>/dev/null
+    sleep 2
+    wait_for_pane_ready "$pane_id" 10 2>/dev/null || true
+    paste_to_pane "$pane_id" "$worker_launch"
+    tmux send-keys -t "$pane_id" C-m
+    if wait_for_pane_ready "$pane_id" 30; then
+      sleep 3
+      paste_to_pane "$pane_id" "$worker_instruction"
+      tmux send-keys -t "$pane_id" C-m
+      log "  Worker restarted and instruction re-sent"
+      log_debug "[FLOW] iter=$iter worker_restart_recovery=success"
+    else
+      log_error "Worker restart failed — pane not ready"
+      log_debug "[FLOW] iter=$iter worker_restart_recovery=failed"
+    fi
+  fi
+
+  return 0
+}
+
+# launch_verifier_codex() — launch codex Verifier TUI, send instruction, verify submission
+# Matches launch_verifier_claude() pattern for consistent tmux-visible execution.
+# Args: $1=pane_id  $2=prompt_file  $3=iteration  $4=launch_cmd
+# Returns: 0 on success
+launch_verifier_codex() {
+  local pane_id="$1"
+  local prompt_file="$2"
+  local iter="$3"
+  local verifier_launch="$4"
+
+  log "  Launching Verifier codex TUI in pane $pane_id..."
+  # Clean pane before launch: kill any lingering process, ensure fresh shell
+  local _pre_cmd
+  _pre_cmd=$(tmux display-message -p -t "$pane_id" '#{pane_current_command}' 2>/dev/null || echo "")
+  if [[ "$_pre_cmd" != "zsh" && "$_pre_cmd" != "bash" && -n "$_pre_cmd" ]]; then
+    log_debug "Verifier pane has lingering process ($_pre_cmd), cleaning..."
+    tmux send-keys -t "$pane_id" C-c 2>/dev/null; sleep 0.5
+    tmux send-keys -t "$pane_id" C-c 2>/dev/null; sleep 1
+  fi
+  paste_to_pane "$pane_id" "$verifier_launch"
+  tmux send-keys -t "$pane_id" C-m
+
+  # Wait for codex TUI prompt (›) instead of shell prompt
+  local _codex_ready=0
+  local _codex_wait=0
+  while (( _codex_wait < 30 )); do
+    sleep 1
+    local _pane_text
+    _pane_text=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null || true)
+    if echo "$_pane_text" | grep -q '›' 2>/dev/null; then
+      _codex_ready=1
+      log_debug "Verifier codex TUI ready after ${_codex_wait}s"
+      break
+    fi
+    (( _codex_wait++ ))
+  done
+  if (( ! _codex_ready )); then
+    log_error "Verifier codex TUI not ready after 30s"
+    return 1
+  fi
+
+  sleep 1
+  local verifier_instruction="Read and execute the instructions in $prompt_file"
+  paste_to_pane "$pane_id" "$verifier_instruction"
+  tmux send-keys -t "$pane_id" C-m
+  log_debug "Verifier codex instruction sent"
+
+  # Submit loop — verify codex started working
+  local submit_attempts=0
+  while (( submit_attempts < 15 )); do
+    sleep 2
+    local vs_check
+    vs_check=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null)
+    if echo "$vs_check" | grep -qi "working\|thinking\|Exploring\|Running\|reading\|searching\|editing\|writing" 2>/dev/null; then
+      log_debug "Verifier codex started working after $((submit_attempts + 1)) checks"
+      break
+    fi
+    if (( submit_attempts == 8 )); then
+      log_debug "Adaptive instruction retry: clearing line and re-typing"
+      tmux send-keys -t "$pane_id" C-u 2>/dev/null
+      sleep 0.1
+      paste_to_pane "$pane_id" "$verifier_instruction"
+      tmux send-keys -t "$pane_id" C-m
+    fi
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    sleep 0.3
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    (( submit_attempts++ ))
+  done
+  return 0
+}
+
+# launch_verifier_claude() — launch claude Verifier TUI, send instruction, verify submission
+# Args: $1=pane_id  $2=prompt_file  $3=iteration  $4=launch_cmd
+# Returns: 0 on success
+launch_verifier_claude() {
+  local pane_id="$1"
+  local prompt_file="$2"
+  local iter="$3"
+  local verifier_launch="$4"
+
+  log "  Launching Verifier claude in pane $pane_id..."
+  paste_to_pane "$pane_id" "$verifier_launch"
+  tmux send-keys -t "$pane_id" C-m
+
+  if ! wait_for_pane_ready "$pane_id" 30; then
+    log_error "Verifier failed to start"
+    return 1
+  fi
+
+  sleep 3
+  local verifier_instruction="Read and execute the instructions in $prompt_file"
+  paste_to_pane "$pane_id" "$verifier_instruction"
+  tmux send-keys -t "$pane_id" C-m
+  log_debug "Verifier instruction sent directly"
+
+  # Submit loop — verify verifier started working
+  local submit_attempts=0
+  while (( submit_attempts < 15 )); do
+    sleep 2
+    local vs_check
+    vs_check=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null)
+    if echo "$vs_check" | grep -qi "esc to interrupt\|thinking\|working\|kneading\|crunching\|clauding\|billowing\|brewing\|tinkering\|burrowing\|saut\|Exploring\|Running\|exec\|Explored" 2>/dev/null; then
+      log_debug "Verifier started working after $((submit_attempts + 1)) checks"
+      break
+    fi
+    if (( submit_attempts == 8 )); then
+      log_debug "Adaptive instruction retry: clearing line and re-typing"
+      tmux send-keys -t "$pane_id" C-u 2>/dev/null
+      sleep 0.1
+      paste_to_pane "$pane_id" "$verifier_instruction"
+      tmux send-keys -t "$pane_id" C-m
+    fi
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    sleep 0.3
+    tmux send-keys -t "$pane_id" C-m 2>/dev/null
+    (( submit_attempts++ ))
+  done
+  return 0
+}
+
+# handle_worker_exit_codex() — handle codex worker process exit (1-shot exec)
+# On exit: check done-claim, auto-generate iter-signal.
+# Args: $1=iteration  $2=signal_file
+# Returns: 0 (signal generated), 1 (error)
+handle_worker_exit_codex() {
+  local iter="$1"
+  local signal_file="$2"
+
+  log "  Codex worker process exited. Checking for done-claim..."
+  if [[ -f "$DONE_CLAIM_FILE" ]]; then
+    local dc_us_id
+    dc_us_id=$(jq -r '.us_id // "unknown"' "$DONE_CLAIM_FILE" 2>/dev/null)
+    log "  Codex worker completed with done-claim (us_id=$dc_us_id). Auto-generating signal."
+    echo '{"iteration":'"$iter"',"status":"verify","us_id":"'"$dc_us_id"'","summary":"auto-generated after codex exit","timestamp":"'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'"}' > "$signal_file"
+    _emit_a4_fallback_audit "$dc_us_id" "$iter" "codex_exit_with_done_claim"
+  else
+    log "  WARNING: Codex worker exited without done-claim. Generating verify signal for current US."
+    local current_us
+    current_us=$(jq -r '.us_id // "US-001"' "$DESK/memos/${SLUG}-iter-signal.json" 2>/dev/null || echo "US-001")
+    local mem_us
+    mem_us=$(sed -n 's/.*Next.*US-\([0-9]*\).*/US-\1/p' "$DESK/memos/${SLUG}-memory.md" 2>/dev/null | head -1)
+    [[ -n "$mem_us" ]] && current_us="$mem_us"
+    echo '{"iteration":'"$iter"',"status":"verify","us_id":"'"$current_us"'","summary":"auto-generated after codex exit (no done-claim)","timestamp":"'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'"}' > "$signal_file"
+    _emit_a4_fallback_audit "$current_us" "$iter" "codex_exit_no_done_claim"
+  fi
+  return 0
+}
+
+# handle_worker_exit_claude() — handle claude worker process exit (restart with backoff)
+# Args: $1=pane_id  $2=iteration  $3=trigger_file
+# Returns: 0 (restarted), 1 (max restarts exceeded)
+handle_worker_exit_claude() {
+  local pane_id="$1"
+  local iter="$2"
+  local trigger_file="$3"
+
+  log_error "Worker exited without writing signal file"
+  if restart_worker "$pane_id" "$iter" "$trigger_file"; then
+    return 0
+  else
+    return 1
+  fi
+}
+
+# --- omc-teams pattern: Kill-and-replace dead/stuck worker panes ---
+replace_worker_pane() {
+  local old_pane="$1"
+  local role="$2"  # "worker" or "verifier"
+
+  log "  Replacing dead $role pane $old_pane..."
+  tmux kill-pane -t "$old_pane" 2>/dev/null
+
+  # Create fresh pane maintaining original layout: worker(top-right) / verifier(bottom-right)
+  local new_pane
+  if [[ "$role" == "verifier" ]]; then
+    # Verifier goes below worker: split vertically from worker pane
+    if tmux display-message -t "$WORKER_PANE" -p '#{pane_id}' &>/dev/null; then
+      new_pane=$(tmux split-window -v -d -t "$WORKER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+    else
+      # Fallback: worker pane also dead, split horizontally from leader
+      new_pane=$(tmux split-window -h -d -t "$LEADER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+    fi
+  else
+    # Worker goes above verifier: split vertically before verifier pane
+    if tmux display-message -t "$VERIFIER_PANE" -p '#{pane_id}' &>/dev/null; then
+      new_pane=$(tmux split-window -v -b -d -t "$VERIFIER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+    else
+      # Fallback: verifier pane also dead, split horizontally from leader
+      new_pane=$(tmux split-window -h -d -t "$LEADER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+    fi
+  fi
+
+  log "  New $role pane: $new_pane (replaced $old_pane)"
+  log_debug "[FLOW] iter=$ITERATION pane_replaced=${role} old=$old_pane new=$new_pane"
+
+  # Update session-config.json with new pane ID
+  if [[ -f "$SESSION_CONFIG" ]]; then
+    jq --arg role "$role" --arg pane "$new_pane" \
+      '.panes[$role] = $pane' "$SESSION_CONFIG" | atomic_write "$SESSION_CONFIG"
+    log_debug "Updated session-config.json: $role pane → $new_pane"
+  fi
+
+  echo "$new_pane"
+}
+
+# =============================================================================
+# Dependency Checks
+# =============================================================================
+
+# --- governance.md s7 step 1: Validate prerequisites before starting ---
+check_dependencies() {
+  local missing=0
+
+  if ! command -v tmux >/dev/null 2>&1; then
+    log_error "tmux is required but not found. Install with: brew install tmux"
+    missing=1
+  fi
+
+  # claude required only when claude engine is used for Worker or Verifier execution;
+  # codex-only campaigns can run without claude — generate_sv_report degrades gracefully
+  if [[ "$WORKER_ENGINE" != "codex" || "$VERIFIER_ENGINE" != "codex" ]]; then
+    if ! command -v claude >/dev/null 2>&1; then
+      log_error "claude CLI is required but not found. See: https://docs.anthropic.com/en/docs/claude-cli"
+      missing=1
+    fi
+  fi
+
+  if ! command -v jq >/dev/null 2>&1; then
+    log_error "jq is required but not found. Install with: brew install jq"
+    missing=1
+  fi
+
+  # Codex binary required only when engine=codex or consensus verification is enabled
+  if [[ "$WORKER_ENGINE" = "codex" || "$VERIFIER_ENGINE" = "codex" || "$CONSENSUS_MODE" != "off" ]]; then
+    if ! command -v codex >/dev/null 2>&1; then
+      log_error "codex CLI not found. Install: npm install -g @openai/codex"
+      missing=1
+    fi
+  fi
+
+  if (( missing )); then
+    exit 1
+  fi
+
+  # Resolve full path to claude binary when claude engine is in use
+  if [[ "$WORKER_ENGINE" != "codex" || "$VERIFIER_ENGINE" != "codex" ]]; then
+    CLAUDE_BIN=$(command -v claude 2>/dev/null || echo "claude")
+    log "  Claude binary: $CLAUDE_BIN"
+  fi
+
+  # Resolve codex binary if needed
+  if [[ "$WORKER_ENGINE" = "codex" || "$VERIFIER_ENGINE" = "codex" || "$CONSENSUS_MODE" != "off" ]]; then
+    CODEX_BIN=$(command -v codex 2>/dev/null || echo "codex")
+    log "  Codex binary:  $CODEX_BIN"
+  fi
+}
+
+# =============================================================================
+# Session Management (tmux pattern: pane IDs)
+# =============================================================================
+
+# --- governance.md s7 step 1: Check for existing sessions ---
+check_existing_sessions() {
+  local current_session
+  current_session=$(tmux display-message -p '#{session_name}' 2>/dev/null || echo "")
+  local existing
+  existing=$(tmux list-sessions -F '#{session_name}' 2>/dev/null | grep "^rlp-desk-${SLUG}-" | grep -v "^${current_session}$" || true)
+  if [[ -n "$existing" ]]; then
+    log_error "Existing tmux session(s) found for slug '$SLUG':"
+    echo "$existing" | while read -r s; do
+      echo "  - $s"
+    done
+    echo ""
+    echo "Kill existing session first:"
+    echo "  tmux kill-session -t <session-name>"
+    exit 1
+  fi
+}
+
+# --- governance.md s7 step 1: Create tmux session with pane IDs (%N) ---
+create_session() {
+  log "Creating tmux session: $SESSION_NAME"
+
+  # tmux split-pane pattern
+  if [[ -n "${TMUX:-}" ]]; then
+    # Inside tmux: split CURRENT pane in place
+    # Current pane stays as-is (leader/user stays here)
+    # Worker/Verifier appear on the RIGHT, user sees them immediately
+    LEADER_PANE=$(tmux display-message -p '#{pane_id}')
+    SESSION_NAME=$(tmux display-message -p '#{session_name}')
+    log "  Splitting current pane in session: $SESSION_NAME"
+
+    # -h off current pane → right column (worker)
+    WORKER_PANE=$(tmux split-window -h -d -t "$LEADER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+    # -v off worker → stacked below on right (verifier)
+    VERIFIER_PANE=$(tmux split-window -v -d -t "$WORKER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+  else
+    # Outside tmux: wrap current terminal into a new tmux session and attach
+    # tmux pattern: user sees panes immediately, no separate attach needed
+    # US-025 R13 P0: verify tmux new-session exit code; if collision + RLP_BACKGROUND,
+    # disambiguate with -bg-<epoch>-<pid> suffix and a residual has-session loop.
+    if ! tmux new-session -d -s "$SESSION_NAME" -x 200 -y 50 -c "$ROOT" 2>/dev/null; then
+      if tmux has-session -t "$SESSION_NAME" 2>/dev/null; then
+        if [[ "${RLP_BACKGROUND:-0}" == "1" ]]; then
+          SESSION_NAME="${SESSION_NAME}-bg-$(date +%s)-$$"
+          while tmux has-session -t "$SESSION_NAME" 2>/dev/null; do
+            SESSION_NAME="${SESSION_NAME}-$(awk 'BEGIN{srand();print int(1000+rand()*9000)}')"
+          done
+          tmux new-session -d -s "$SESSION_NAME" -x 200 -y 50 -c "$ROOT" || {
+            log_error "tmux new-session retry failed for $SESSION_NAME"
+            exit 1
+          }
+        else
+          log_error "tmux new-session failed: session $SESSION_NAME already exists (set RLP_BACKGROUND=1 to auto-rename)"
+          exit 1
+        fi
+      else
+        log_error "tmux new-session failed and session does not exist: $SESSION_NAME"
+        exit 1
+      fi
+    fi
+    # destroy-unattached off keeps the session alive when no tmux client is attached.
+    # Best-effort only: it does NOT survive manual `tmux kill-session` or tmux server restart.
+    # If either happens, R12 (lifecycle monitor) detects it and writes infra_failure BLOCKED.
+    if [[ "${RLP_BACKGROUND:-0}" == "1" ]]; then
+      tmux set-option -t "$SESSION_NAME" destroy-unattached off 2>/dev/null
+    fi
+    LEADER_PANE=$(tmux display-message -p -t "$SESSION_NAME" '#{pane_id}')
+    WORKER_PANE=$(tmux split-window -h -d -t "$LEADER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+    VERIFIER_PANE=$(tmux split-window -v -d -t "$WORKER_PANE" -P -F '#{pane_id}' -c "$ROOT")
+
+  fi
+
+  # Set pane titles and enable border labels for visual distinction
+  local worker_label="Worker ($WORKER_ENGINE:$WORKER_MODEL)"
+  local verifier_label="Verifier ($VERIFIER_ENGINE:$VERIFIER_MODEL)"
+  [[ "$CONSENSUS_MODE" != "off" ]] && verifier_label="Verifier ($VERIFIER_ENGINE:$VERIFIER_MODEL + consensus)"
+  tmux select-pane -t "$LEADER_PANE" -T "Leader" 2>/dev/null
+  tmux select-pane -t "$WORKER_PANE" -T "$worker_label" 2>/dev/null
+  tmux select-pane -t "$VERIFIER_PANE" -T "$verifier_label" 2>/dev/null
+  # Color-coded pane borders: green=leader, blue=worker, yellow=verifier
+  tmux set-option -p -t "$LEADER_PANE" pane-border-style "fg=green" 2>/dev/null
+  tmux set-option -p -t "$WORKER_PANE" pane-border-style "fg=blue" 2>/dev/null
+  tmux set-option -p -t "$VERIFIER_PANE" pane-border-style "fg=yellow" 2>/dev/null
+  # Show pane titles in border
+  tmux set-option pane-border-status top 2>/dev/null
+  tmux set-option pane-border-format "#{?pane_active,#[fg=white bold],#[fg=grey]} #{pane_title} " 2>/dev/null
+
+  log "  Leader pane:   $LEADER_PANE"
+  log "  Worker pane:   $WORKER_PANE"
+  log "  Verifier pane: $VERIFIER_PANE"
+
+  # US-024 R12 P0: lifecycle check site #1 — verify all panes/session alive after creation.
+  _r12_check_lifecycle "create_session"
+
+  # AC12: Capture baseline commit before writing session config
+  BASELINE_COMMIT=$(git -C "$ROOT" rev-parse HEAD 2>/dev/null || echo "none")
+
+  # Truncate cost-log for fresh run (previous data in versioned campaign reports)
+  > "$COST_LOG"
+
+  # v5.7 §4.2: WITH_SELF_VERIFICATION=1 is hard-rejected at script entry now,
+  # so by the time we reach create_session() the flag is guaranteed to be 0.
+  # The legacy "NOTE: Agent-mode only; disabling" log line was removed because
+  # the deprecation banner at startup is more honest (we exit 2, we don't
+  # silently disable).
+
+  # Write session config (atomic write)
+  echo '{
+  "session_name": "'"$SESSION_NAME"'",
+  "slug": "'"$SLUG"'",
+  "created_at": "'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'",
+  "baseline_commit": "'"$BASELINE_COMMIT"'",
+  "panes": {
+    "leader": "'"$LEADER_PANE"'",
+    "worker": "'"$WORKER_PANE"'",
+    "verifier": "'"$VERIFIER_PANE"'"
+  },
+  "pid": '$$',
+  "root": "'"$ROOT"'",
+  "models": {
+    "worker": "'"$WORKER_MODEL"'",
+    "verifier": "'"$VERIFIER_MODEL"'"
+  },
+  "engines": {
+    "worker": "'"$WORKER_ENGINE"'",
+    "verifier": "'"$VERIFIER_ENGINE"'",
+    "worker_codex_model": "'"$WORKER_CODEX_MODEL"'",
+    "worker_codex_reasoning": "'"$WORKER_CODEX_REASONING"'",
+    "verifier_codex_model": "'"$VERIFIER_CODEX_MODEL"'",
+    "verifier_codex_reasoning": "'"$VERIFIER_CODEX_REASONING"'"
+  },
+  "verification": {
+    "verify_mode": "'"$VERIFY_MODE"'",
+    "consensus_mode": "'"$CONSENSUS_MODE"'"
+  },
+  "config": {
+    "max_iter": '"$MAX_ITER"',
+    "poll_interval": '"$POLL_INTERVAL"',
+    "iter_timeout": '"$ITER_TIMEOUT"',
+    "heartbeat_stale_threshold": '"$HEARTBEAT_STALE_THRESHOLD"',
+    "max_restarts": '"$MAX_RESTARTS"',
+    "idle_nudge_threshold": '"$IDLE_NUDGE_THRESHOLD"',
+    "max_nudges": '"$MAX_NUDGES"',
+    "cb_threshold": '"$CB_THRESHOLD"',
+    "effective_cb_threshold": '"$EFFECTIVE_CB_THRESHOLD"',
+    "with_self_verification": '"$WITH_SELF_VERIFICATION"',
+    "with_self_verification_requested": '"$WITH_SELF_VERIFICATION_REQUESTED"',
+    "sv_skipped_reason": "'"$SV_SKIPPED_REASON"'",
+    "lane_mode": "'"$LANE_MODE"'",
+    "autonomous_mode": '"$AUTONOMOUS_MODE"'
+  }
+}' | atomic_write "$SESSION_CONFIG"
+
+  log "  Session config: $SESSION_CONFIG"
+}
+
+# =============================================================================
+# Copy-Mode Guard (tmux pattern)
+# =============================================================================
+
+# --- governance.md s7 step 5: Check pane_in_mode before every send-keys ---
+check_copy_mode() {
+  local pane_id="$1"
+  local in_mode
+  in_mode=$(tmux display-message -p -t "$pane_id" '#{pane_in_mode}' 2>/dev/null) || return 1
+  if [[ "$in_mode" -eq 1 ]]; then
+    return 1  # pane is in copy mode, cannot send keys
+  fi
+  return 0
+}
+
+# =============================================================================
+# Verification-Based Send Retry (tmux pattern)
+# =============================================================================
+
+# --- Reliable text paste via tmux buffer (avoids send-keys -l char-by-char issues) ---
+paste_to_pane() {
+  local pane_id="$1"
+  local text="$2"
+  local tmpbuf="/tmp/.rlp-desk-paste-$$.tmp"
+  echo -n "$text" > "$tmpbuf"
+  tmux load-buffer -b rlp-paste "$tmpbuf" 2>/dev/null
+  tmux paste-buffer -b rlp-paste -d -t "$pane_id" 2>/dev/null
+  rm -f "$tmpbuf"
+}
+
+# --- governance.md s7 step 5: Send with copy-mode guard and retry ---
+safe_send_keys() {
+  local pane_id="$1"
+  local text="$2"
+
+  # --- Exact tmux sendToWorker pattern (tmux-session.js:527-626) ---
+
+  # Guard: copy-mode captures keys; skip entirely
+  if ! check_copy_mode "$pane_id"; then
+    log_debug " Pane $pane_id in copy mode, skipping send"
+    return 1
+  fi
+
+  # Check for trust prompt and auto-dismiss
+  local initial_capture
+  initial_capture=$(tmux capture-pane -t "$pane_id" -p -S -20 2>/dev/null)
+  local pane_busy=0
+  if echo "$initial_capture" | grep -q "esc to interrupt" 2>/dev/null; then
+    pane_busy=1
+  fi
+  if echo "$initial_capture" | grep -q "Do you trust" 2>/dev/null; then
+    log_debug " Trust prompt detected, dismissing"
+    tmux send-keys -t "$pane_id" C-m
+    sleep 0.12
+  fi
+  # Auto-approve permission prompts ("Do you want to create/overwrite X?")
+  if echo "$initial_capture" | grep -q "Do you want to" 2>/dev/null; then
+    log_debug " Permission prompt detected, auto-approving"
+    tmux send-keys -t "$pane_id" C-m
+    sleep 0.3
+  fi
+  # Auto-dismiss codex update prompt (select Skip)
+  if echo "$initial_capture" | grep -qi "new version\|update.*codex\|codex.*update" 2>/dev/null; then
+    log_debug " Codex update prompt detected, selecting Skip"
+    tmux send-keys -t "$pane_id" "2" C-m
+    sleep 0.2
+  fi
+  # Send text via buffer paste (reliable for long strings)
+  log_debug " Pasting text to pane $pane_id (${#text} chars)"
+  paste_to_pane "$pane_id" "$text"
+
+  # Allow input buffer to settle (tmux: 150ms)
+  sleep 0.15
+
+  # Submit: up to 6 rounds of C-m double-press
+  local round=0
+  while (( round < 6 )); do
+    sleep 0.1
+    if (( round == 0 && pane_busy )); then
+      # Busy pane: just C-m (DO NOT send Tab — it toggles Claude Code permission mode)
+      tmux send-keys -t "$pane_id" C-m
+    else
+      tmux send-keys -t "$pane_id" C-m
+      sleep 0.2
+      tmux send-keys -t "$pane_id" C-m
+    fi
+    sleep 0.14
+
+    # Check if text was consumed
+    local check_capture
+    check_capture=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null | tail -5)
+    if ! echo "$check_capture" | grep -qF "$text" 2>/dev/null; then
+      log_debug " Text consumed after round $((round + 1))"
+      return 0
+    fi
+    sleep 0.14
+    (( round++ ))
+  done
+
+  # Safety gate: copy-mode check
+  if ! check_copy_mode "$pane_id"; then
+    log_debug " Copy mode activated during send, aborting"
+    return 1
+  fi
+
+  # Adaptive fallback: C-u clear line, resend (tmux pattern)
+  log_debug " Adaptive retry — clearing line and resending"
+  tmux send-keys -t "$pane_id" C-u
+  sleep 0.08
+  if ! check_copy_mode "$pane_id"; then
+    return 1
+  fi
+  paste_to_pane "$pane_id" "$text"
+  sleep 0.12
+  local retry_round=0
+  while (( retry_round < 4 )); do
+    tmux send-keys -t "$pane_id" C-m
+    sleep 0.18
+    tmux send-keys -t "$pane_id" C-m
+    sleep 0.14
+    local retry_capture
+    retry_capture=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null | tail -5)
+    if ! echo "$retry_capture" | grep -qF "$text" 2>/dev/null; then
+      log_debug " Text consumed after adaptive retry round $((retry_round + 1))"
+      return 0
+    fi
+    (( retry_round++ ))
+  done
+
+  # Fail-open: one last nudge
+  if ! check_copy_mode "$pane_id"; then
+    return 1
+  fi
+  tmux send-keys -t "$pane_id" C-m
+  sleep 0.12
+  tmux send-keys -t "$pane_id" C-m
+  log_debug " Fail-open — text may or may not have been submitted"
+  return 0
+}
+
+# =============================================================================
+# Wait for Pane Ready (tmux pattern: paneLooksReady)
+# =============================================================================
+
+wait_for_pane_ready() {
+  local pane_id="$1"
+  local timeout="${2:-10}"  # tmux default: 10s
+  local start=$(date +%s)
+  log "  Waiting for pane $pane_id ready..."
+  while (( $(date +%s) - start < timeout )); do
+    local captured
+    captured=$(tmux capture-pane -t "$pane_id" -p -S -20 2>/dev/null)
+
+    # Auto-dismiss trust prompt (tmux pattern: paneHasTrustPrompt)
+    if echo "$captured" | grep -q "Do you trust" 2>/dev/null; then
+      log "  Trust prompt detected, auto-dismissing..."
+      tmux send-keys -t "$pane_id" C-m
+      sleep 0.12
+      tmux send-keys -t "$pane_id" C-m
+      sleep 2
+      continue
+    fi
+
+    # Auto-approve permission prompts ("Do you want to create/overwrite X?")
+    if echo "$captured" | grep -q "Do you want to" 2>/dev/null; then
+      log "  Permission prompt detected, auto-approving..."
+      tmux send-keys -t "$pane_id" C-m
+      sleep 0.5
+      continue
+    fi
+
+    # Auto-dismiss codex update prompt (select Skip = option 2)
+    if echo "$captured" | grep -qi "new version\|update.*codex\|codex.*update" 2>/dev/null; then
+      log "  Codex update prompt detected, selecting Skip..."
+      tmux send-keys -t "$pane_id" "2" C-m
+      sleep 0.5
+      continue
+    fi
+
+    # tmux paneLooksReady: check each line for prompt char at line start
+    local ready=0
+    echo "$captured" | while IFS= read -r line; do
+      local trimmed="${line## }"
+      if [[ "$trimmed" == ❯* || "$trimmed" == \>* || "$trimmed" == ›* || "$trimmed" == »* ]]; then
+        ready=1
+        break
+      fi
+    done 2>/dev/null
+
+    # Also check via grep as fallback
+    if echo "$captured" | tail -5 | grep -qE '^\s*[❯›]' 2>/dev/null; then
+      ready=1
+    fi
+
+    if (( ready )) || echo "$captured" | tail -3 | grep -qE '^\s*[❯›>]' 2>/dev/null; then
+      # Check no active task running
+      if ! echo "$captured" | grep -q "esc to interrupt" 2>/dev/null; then
+        log "  Pane $pane_id is ready."
+        return 0
+      fi
+    fi
+    sleep 0.25
+  done
+  # Timeout — return success anyway (fail-open, let safe_send_keys handle it)
+  log "  Pane $pane_id ready timeout after ${timeout}s (proceeding anyway)"
+  return 0
+}
+
+# =============================================================================
+# Heartbeat Monitoring (tmux pattern)
+# =============================================================================
+
+# --- governance.md s7 step 5+6: Check heartbeat freshness ---
+check_heartbeat() {
+  local hb_file="$1"
+  local threshold="$HEARTBEAT_STALE_THRESHOLD"
+
+  if [[ ! -f "$hb_file" ]]; then
+    return 1
+  fi
+
+  local hb_epoch now_epoch
+  # Read epoch seconds directly (avoids timezone parsing bugs)
+  hb_epoch=$(jq -r '.epoch // empty' "$hb_file" 2>/dev/null) || return 1
+
+  if [[ -z "$hb_epoch" ]]; then
+    return 1
+  fi
+
+  now_epoch=$(date +%s)
+  (( now_epoch - hb_epoch < threshold ))
+}
+
+# Check if heartbeat indicates process has exited
+check_heartbeat_exited() {
+  local hb_file="$1"
+  if [[ ! -f "$hb_file" ]]; then
+    return 1
+  fi
+  local hb_status
+  hb_status=$(jq -r '.status // empty' "$hb_file" 2>/dev/null)
+  [[ "$hb_status" == "exited" ]]
+}
+
+# =============================================================================
+# Idle Pane Nudging (tmux pattern)
+# =============================================================================
+
+# --- v5.7 §4.13.a: Mid-execution permission-prompt auto-dismiss (Bug 4 fix) ---
+# claude CLI v2.1.114+ surfaces TUI-layer prompts ("Do you want to create...")
+# even with --dangerously-skip-permissions on certain Write paths. Without this
+# helper, Workers/Verifiers hang until IDLE_NUDGE_THRESHOLD timeout.
+#
+# Window-bounded match (codex Critic v5.7): require both a prompt phrase AND a
+# TUI affordance marker on the SAME, PREVIOUS, or NEXT line. Whole-capture dual
+# grep would let unrelated text trigger Enter (R-V5-9 false-positive).
+# Per-pane 3-second debounce prevents rapid double-Enter.
+zmodload zsh/datetime 2>/dev/null || true
+_now_s() { print -- "${EPOCHSECONDS:-$(date +%s)}"; }
+
+typeset -gA LAST_AUTO_APPROVE_TS
+# v5.7 §4.16: track when each pane FIRST entered a prompt-stuck state.
+# Cleared on first capture without prompt visible. Used for bounded
+# prompt-stall escalation (BLOCKED `prompt_stall`) so alive-but-stuck
+# Workers can't infinite-wait (codex Critic HIGH finding).
+typeset -gA PANE_PROMPT_STUCK_SINCE
+typeset -gA PANE_DISMISS_FAILED_COUNT
+PROMPT_STALL_TIMEOUT="${PROMPT_STALL_TIMEOUT:-300}"  # 5 min default
+PROMPT_DISMISS_FAIL_LIMIT="${PROMPT_DISMISS_FAIL_LIMIT:-20}"  # ~100s of fruitless dismiss attempts
+
+# v5.7 §4.17: generic no-progress timeout (codex Critic HIGH — closes the gap
+# where an undetected prompt or alive-but-frozen Worker bypasses Layer 4).
+# Independent of prompt detection: if pane content stops changing for this many
+# seconds AND signal file still missing, write BLOCKED `infra_failure` reason
+# `worker_no_progress` so silent infinite-wait is impossible.
+PROGRESS_NO_CHANGE_TIMEOUT="${PROGRESS_NO_CHANGE_TIMEOUT:-600}"  # 10 min default
+typeset -gA PANE_LAST_CHANGE_TS  # epoch when content last changed
+typeset -gA PANE_LAST_CONTENT_FOR_PROGRESS  # captured content for diff
+
+# v0.14.1: codex post-work idle UI grace. When a verifier pane shows codex's
+# "Worked for Xm Ys" idle line at byte-stasis time, grant one extra
+# CODEX_IDLE_GRACE_S (default 120s) before BLOCK. Per-pane bookkeeping to
+# avoid granting it repeatedly. Bug Report #3 (BOS 2026-05-04).
+CODEX_IDLE_GRACE_S="${CODEX_IDLE_GRACE_S:-120}"
+typeset -gA PANE_CODEX_IDLE_GRACED
+# v0.14.2: per-verifier-pane trace flag — log the verdict-lookup outcome
+# exactly once per byte-stasis transition. Bug Report #4 (BOS 2026-05-05).
+typeset -gA PANE_VERIFIER_TRACE_LOGGED
+
+# v5.7 §4.17: default-No prompt detection. Pressing Enter on these means
+# CANCEL/REJECT, not approve — so we BLOCK with traceability instead of
+# silently auto-dismissing the wrong way.
+typeset -g _DEFAULT_NO_RE='\[y/N\]|\(yes/no, default no\)|default[: ]+no|^[[:space:]]*N\)'
+
+# v5.7 §4.16: broadened prompt detection (codex Critic MEDIUM).
+# v5.7 §4.20 (E2E real-claude-CLI finding): claude v2.1.114+ uses new trust
+# prompt format ("Quick safety check: Is this a project you ... trust?")
+# and a numbered picker with `❯` cursor adjacent to the digit ("❯1.Yes").
+# Old patterns ("Do you trust") missed it entirely → Worker hung 5min until
+# iter-timeout. Adds: Quick safety check|trust this (folder|directory) for
+# PROMPT_RE; ❯\s*\d+\. (zero-or-more space) and `Enter to confirm` / `1\.
+# (Yes|No)` for AFFORDANCE_RE.
+typeset -g _PROMPT_RE='Do you (want to|trust)|Confirm execution|Are you sure|Continue\?|Proceed\?|Allow this|Approve this|Press y to|Choose an option|Select \[|Quick safety check|trust this (folder|directory)|Is this a project you'
+typeset -g _AFFORDANCE_RE='\(y/n\)|\[Y/n\]|\[y/N\]|\(yes/no|❯[[:space:]]*[0-9]+\.|(^|[[:space:]])1\) (Yes|No)|(^|[[:space:]])[YyNn]\)|press (y|enter) to|Enter to confirm'
+
+# v5.7 §4.18 (E2E real-tmux + omc benchmarking): "active task" markers used
+# to distinguish a Worker that is busy producing output (and may legitimately
+# print "(y/n)" inside its body text) from a Worker that is *idle at an
+# unrecognized prompt*. Mirrors omc-team's `paneHasActiveTask` heuristic
+# (src/team/tmux-session.ts:659). When ANY of these markers is in the recent
+# pane tail, the Worker is alive — auto_dismiss must NOT fast-fail on a
+# suspected-unknown prompt because the affordance text is just transcript.
+typeset -g _ACTIVE_TASK_RE='esc to interrupt|background terminal running|^[[:space:]]*[·✻][[:space:]]+[A-Za-z]+(\.{3}|…)'
+
+auto_dismiss_prompts() {
+  local pane_id="$1"
+  local now
+  now=$(_now_s)
+  local last=${LAST_AUTO_APPROVE_TS[$pane_id]:-0}
+
+  local capture
+  # v5.7 §4.21 (E2E real-claude-CLI finding): claude v2.x trust prompt wraps
+  # to ~30 lines on narrow panes. -S -10 missed the question header. -50
+  # covers the full prompt.
+  capture=$(tmux capture-pane -t "$pane_id" -p -S -50 2>/dev/null) || return 0
+
+  # v5.7 §4.21 (E2E real-claude-CLI finding): claude v2.x trust prompt is
+  # multi-line and wraps narrowly, so per-line PROMPT_RE+AFFORDANCE adjacency
+  # misses it. Special-case the signature ("Quick safety check ... Enter to
+  # confirm" with `❯N.Yes` cursor on option 1). This is default-Yes — Enter
+  # approves trust.
+  # §4.21.b: tmux narrow-pane wrap breaks the question phrase across lines
+  # (`Quick safety\n check`). Normalize all whitespace to single spaces so
+  # substring matching works regardless of pane width.
+  local _norm_capture="${capture//[$'\n\r\t']/ }"
+  while [[ "$_norm_capture" == *"  "* ]]; do _norm_capture="${_norm_capture//  / }"; done
+  if { [[ "$_norm_capture" == *"Quick safety check"* ]] || [[ "$_norm_capture" == *"trust this folder"* ]] || [[ "$_norm_capture" == *"trust this directory"* ]]; } \
+     && [[ "$_norm_capture" == *"Enter to confirm"* ]] \
+     && [[ "$_norm_capture" =~ '❯ ?[0-9]+\. ?Yes' ]]; then
+    if (( now - last >= 3 )); then
+      log "  Claude v2.x trust prompt detected in pane $pane_id, auto-approving (Enter)"
+      log_debug "[FLOW] claude_trust_prompt_auto_approved=true pane=$pane_id"
+      tmux send-keys -t "$pane_id" Enter 2>/dev/null
+      LAST_AUTO_APPROVE_TS[$pane_id]=$now
+    fi
+    return 0
+  fi
+  # Older claude trust prompt format (omc-team parity).
+  if [[ "$_norm_capture" == *"Do you trust the contents of this directory"* ]] \
+     && { [[ "$_norm_capture" =~ 'Yes,[[:space:]]*continue' ]] || [[ "$_norm_capture" == *"Press enter to continue"* ]]; }; then
+    if (( now - last >= 3 )); then
+      log "  Claude (legacy) trust prompt detected in pane $pane_id, auto-approving (Enter)"
+      log_debug "[FLOW] claude_trust_prompt_auto_approved=true pane=$pane_id"
+      tmux send-keys -t "$pane_id" Enter 2>/dev/null
+      LAST_AUTO_APPROVE_TS[$pane_id]=$now
+    fi
+    return 0
+  fi
+
+  local -a lines
+  lines=("${(@f)capture}")
+  local i n=${#lines[@]} prompt_visible=0
+  # v5.7 §4.23 (E2E real-claude-CLI finding): tmux narrow-pane wrap breaks
+  # multi-line prompts (e.g. "Do you want to\nmake this edit to\nfile.md?\n
+  # ❯ 1. Yes") so PROMPT+AFFORDANCE±1 line-adjacency misses them. Fix: run
+  # the match against the LAST 15 normalized lines (whitespace collapsed)
+  # — where the active prompt sits — as a single string. PROMPT_RE +
+  # AFFORDANCE_RE both present → auto-Enter unless DEFAULT_NO_RE present
+  # (BLOCK). §4.17.b is preserved: full-capture default-No scan protects
+  # against scrollback contamination.
+  local _tail_start=$((n > 15 ? n - 14 : 1))
+  local _tail_normalized=""
+  for ((i=_tail_start; i <= n; i++)); do
+    _tail_normalized+="${lines[i]} "
+  done
+  while [[ "$_tail_normalized" == *"  "* ]]; do _tail_normalized="${_tail_normalized//  / }"; done
+  local default_no_seen=0
+  local sample_pattern="${_tail_normalized:0:120}"
+  if [[ "$_tail_normalized" =~ $_PROMPT_RE ]] && [[ "$_tail_normalized" =~ $_AFFORDANCE_RE ]]; then
+    prompt_visible=1
+  fi
+  # Default-No scan: full capture, not just tail (scrollback contamination guard).
+  if [[ "$capture" =~ $_DEFAULT_NO_RE ]]; then
+    default_no_seen=1
+  fi
+
+  if (( default_no_seen )); then
+    # v5.7 §4.17 + §4.17.b: default-No prompts ([y/N], "default: no") cannot
+    # be auto-Enter'd safely — pressing Enter would CANCEL the operation.
+    # If the pane has ANY default-No prompt visible (even alongside older
+    # default-Yes prompts in scrollback), BLOCK with traceability.
+    log_error "Default-No prompt detected in pane $pane_id — cannot safely auto-dismiss"
+    log_debug "[GOV] default_no_prompt_detected=true pane=$pane_id action=block"
+    write_blocked_sentinel \
+      "Pane shows a default-No / explicit-No-default permission prompt. Auto-Enter would CANCEL the operation rather than approve it. Operator must manually respond with 'y' or extend prompt-handling logic. Pattern: $sample_pattern" \
+      "${CURRENT_US:-ALL}" \
+      "infra_failure"
+    return 0
+  fi
+
+  if (( prompt_visible )); then
+    # All visible prompts are default-Yes-equivalent — safe to auto-Enter.
+    if [[ -z "${PANE_PROMPT_STUCK_SINCE[$pane_id]:-}" ]]; then
+      PANE_PROMPT_STUCK_SINCE[$pane_id]=$now
+    fi
+    if (( now - last >= 3 )); then
+      log "  Permission prompt detected in pane $pane_id, auto-approving (Enter)"
+      log_debug "[FLOW] permission_prompt_auto_approved=true pane=$pane_id"
+      tmux send-keys -t "$pane_id" Enter 2>/dev/null
+      LAST_AUTO_APPROVE_TS[$pane_id]=$now
+      PANE_DISMISS_FAILED_COUNT[$pane_id]=$((${PANE_DISMISS_FAILED_COUNT[$pane_id]:-0} + 1))
+    fi
+    return 0
+  fi
+
+  # v5.7 §4.18: unknown-prompt fast-fail (E2E + omc benchmarking finding).
+  # If pane has an affordance marker (y/n bracket etc.) but NO recognized
+  # PROMPT_RE phrasing, the Worker is likely awaiting an unknown variant of
+  # a yes/no prompt. omc-team's principle (tmux-session.ts:639): never
+  # auto-Enter on unknown prompts — pressing Enter could approve OR cancel
+  # depending on default. BLOCK immediately so the operator can extend the
+  # PROMPT_RE catalog, instead of waiting 10 min for the freeze timeout.
+  #
+  # False-positive guard: skip if any "active task" marker is present
+  # (esc to interrupt / background terminal / spinner) — that means the
+  # Worker is producing output and the affordance text is just transcript.
+  local active=0
+  local affordance_seen=0
+  local sample=""
+  for ((i=1; i <= n; i++)); do
+    if [[ "${lines[i]}" =~ $_ACTIVE_TASK_RE ]]; then
+      active=1
+      break
+    fi
+  done
+  if (( ! active )); then
+    # Only check the last 5 non-empty lines (where an idle prompt would sit).
+    local -a tail_lines
+    tail_lines=()
+    local k
+    for ((k=n; k >= 1 && ${#tail_lines[@]} < 5; k--)); do
+      [[ -z "${lines[k]}" ]] && continue
+      tail_lines=("${lines[k]}" "${tail_lines[@]}")
+    done
+    for line in "${tail_lines[@]}"; do
+      if [[ "$line" =~ $_AFFORDANCE_RE ]]; then
+        affordance_seen=1
+        sample="${line:0:120}"
+        break
+      fi
+    done
+  fi
+  if (( affordance_seen )); then
+    # Re-check default-No (could be the active prompt's bracket — must BLOCK).
+    local default_no_in_tail=0
+    for line in "${tail_lines[@]}"; do
+      if [[ "$line" =~ $_DEFAULT_NO_RE ]]; then
+        default_no_in_tail=1
+        break
+      fi
+    done
+    local reason
+    if (( default_no_in_tail )); then
+      reason="Pane shows a default-No affordance ([y/N], 'default: no') but the surrounding prompt phrasing is not in PROMPT_RE. Auto-Enter would CANCEL. Operator must respond manually or extend PROMPT_RE. Sample: $sample"
+    else
+      reason="Pane shows a y/n affordance marker without a recognized prompt phrasing — likely an unknown CLI prompt variant. Refusing to guess auto-Enter (which could be the wrong default). Operator must respond manually or extend PROMPT_RE. Sample: $sample"
+    fi
+    log_error "Unknown-prompt affordance detected in pane $pane_id — fast-fail BLOCK"
+    log_debug "[GOV] unknown_prompt_detected=true pane=$pane_id action=block default_no=$default_no_in_tail"
+    write_blocked_sentinel "$reason" "${CURRENT_US:-ALL}" "infra_failure"
+    return 0
+  fi
+  # No prompt visible — clear stall tracking so re-entry is fresh.
+  if [[ -n "${PANE_PROMPT_STUCK_SINCE[$pane_id]:-}" ]]; then
+    log_debug "[FLOW] prompt_cleared=true pane=$pane_id"
+    # zsh: unset assoc-array member via reset to empty + delete key.
+    PANE_PROMPT_STUCK_SINCE[$pane_id]=""
+    PANE_DISMISS_FAILED_COUNT[$pane_id]=""
+    unset "PANE_PROMPT_STUCK_SINCE[$pane_id]"
+    unset "PANE_DISMISS_FAILED_COUNT[$pane_id]"
+  fi
+}
+
+# v5.7 §4.16: bounded prompt-stall escalation (codex Critic HIGH finding).
+# Closes the "alive process → extend indefinitely" gap: if a pane stays in
+# prompt-visible state for PROMPT_STALL_TIMEOUT (default 5min) OR
+# auto_dismiss has tried PROMPT_DISMISS_FAIL_LIMIT times without progress,
+# write BLOCKED `prompt_stall` so the campaign exits with traceability
+# instead of infinite-waiting.
+#
+# Returns 0 if pane is fine; returns 1 (and writes BLOCKED sentinel) if
+# stall threshold exceeded — caller should propagate the failure.
+check_prompt_stall() {
+  local pane_id="$1"
+  local us_id="${2:-${CURRENT_US:-ALL}}"
+  local stuck_since=${PANE_PROMPT_STUCK_SINCE[$pane_id]:-0}
+  (( stuck_since == 0 )) && return 0
+  local now
+  now=$(_now_s)
+  local stuck_for=$(( now - stuck_since ))
+  local fail_count=${PANE_DISMISS_FAILED_COUNT[$pane_id]:-0}
+
+  if (( stuck_for >= PROMPT_STALL_TIMEOUT )) || (( fail_count >= PROMPT_DISMISS_FAIL_LIMIT )); then
+    log_error "Pane $pane_id stuck on prompt for ${stuck_for}s ($fail_count dismiss attempts) — escalating to BLOCKED"
+    log_debug "[GOV] iter=${ITERATION:-0} prompt_stall_escalated=true pane=$pane_id stuck_for=${stuck_for}s dismiss_attempts=$fail_count threshold=${PROMPT_STALL_TIMEOUT}s"
+    write_blocked_sentinel \
+      "Pane stuck on TUI prompt for ${stuck_for}s after ${fail_count} dismiss attempts. Auto-dismiss patterns may need to be widened (see ~/.claude/ralph-desk/known-prompts.txt convention) or the underlying claude CLI prompt is genuinely unsupported. No documentation produced for this iteration." \
+      "$us_id" \
+      "infra_failure"
+    return 1
+  fi
+  return 0
+}
+
+# v0.14.1 / v0.14.2: codex post-work idle UI detector. The codex CLI shows
+# a status line like "─ Worked for 5m 36s ──" + a "› " prompt + "Context
+# X% left" / model + suggestion ("Improve documentation in @filename")
+# after it finishes the verifier task and is waiting for the next user
+# input. This is NOT a permission prompt — it is a successful idle state.
+# The byte-stasis check below mistook this for "frozen" and BLOCKED a
+# verifier whose verdict file was already on disk. v0.14.2 Bug Report #4
+# observed the v0.14.1 patterns being too narrow (BOS 12th launch had
+# extra horizontal-rule wrapping that broke the strict dash-bracket regex)
+# — relaxed below to multiple independent markers; ANY one fires idle.
+is_codex_idle_ui() {
+  local pane_text="$1"
+  # 1. "Worked for Xm Ys" — most reliable codex idle marker.
+  print -- "$pane_text" | grep -qE 'Worked for [0-9]+m [0-9]+s' && return 0
+  # 2. "Context X% left" status bar — appears whenever codex is alive +
+  #    waiting at the prompt; captures the case where horizontal rules
+  #    above were stripped by tmux capture truncation.
+  print -- "$pane_text" | grep -qE 'Context [0-9]+%[[:space:]]*left' && return 0
+  # 3. codex model + branch line (e.g. "gpt-5.5 high · feature/...") —
+  #    only printed alongside the idle prompt, never during work.
+  print -- "$pane_text" | grep -qE 'gpt-[0-9]+(\.[0-9]+)? (low|medium|high|xhigh) ·' && return 0
+  # 4. codex default-suggestion prompt prefix at line start. v0.14.1 had
+  #    only "›" but BOS Bug #4 showed the leading character can be wrapped
+  #    by tmux narrowness — also accept the suggestion phrases verbatim.
+  print -- "$pane_text" | grep -qE 'Improve documentation in @|Summarize recent commits|Explain (this )?code' && return 0
+  return 1
+}
+
+# v0.14.2 Bug Report #4 H1: codex sometimes lands the verdict at the
+# pre-v0.13.0 legacy path (`<root>/.claude/ralph-desk/memos/...`) instead
+# of `.rlp-desk/memos/`, even when the prompt instructs otherwise. When
+# we observe the legacy file with valid JSON, atomically rename it into
+# place so the rest of the pipeline (harvest + analytics + sentinels)
+# sees a single canonical path. Best-effort: any failure leaves the file
+# untouched and the campaign keeps polling.
+_migrate_legacy_verdict() {
+  [[ -n "${LEGACY_VERDICT_FILE:-}" && -f "$LEGACY_VERDICT_FILE" ]] || return 1
+  jq -e . "$LEGACY_VERDICT_FILE" >/dev/null 2>&1 || return 1
+  log "Verdict file found at legacy path ${LEGACY_VERDICT_FILE} — moving to ${VERDICT_FILE}"
+  log_debug "[GOV] iter=${ITERATION:-0} legacy_verdict_migrated=true from=${LEGACY_VERDICT_FILE} to=${VERDICT_FILE}"
+  mkdir -p "$(dirname "$VERDICT_FILE")" 2>/dev/null
+  mv -f "$LEGACY_VERDICT_FILE" "$VERDICT_FILE" 2>/dev/null && return 0
+  return 1
+}
+
+# v0.14.1 / v0.14.2: verdict-aware short-circuit. When the pane being
+# polled is the verifier pane AND a valid verdict file already exists on
+# disk (canonical path OR legacy path that we then auto-migrate), the
+# verifier has finished its work — the harvest step (run_single_verifier
+# / consensus loop) is the one that should observe the verdict, not the
+# generic no-progress watcher. Returning 0 here lets the outer loop keep
+# polling instead of escalating BLOCKED. Bug Reports #3 (BOS 2026-05-04)
+# + #4 (BOS 2026-05-05).
+_verifier_pane_has_verdict() {
+  local pane_id="$1"
+  [[ "$pane_id" == "${VERIFIER_PANE:-}" || "$pane_id" == "${FINAL_VERIFIER_PANE:-}" ]] || return 1
+  # Canonical path first.
+  if [[ -n "${VERDICT_FILE:-}" && -f "$VERDICT_FILE" ]]; then
+    jq -e . "$VERDICT_FILE" >/dev/null 2>&1 && return 0
+  fi
+  # v0.14.2 Fix-D: codex may have written to the legacy path. Try to
+  # migrate; success means the canonical file is now in place.
+  _migrate_legacy_verdict && return 0
+  return 1
+}
+
+# v0.14.5 Bug Report #6 Fix-M (worker mirror of Fix-A/Fix-D):
+# Worker (claude sonnet 1m) writes commit + iter-signal.json verify signal
+# then claude CLI parks at its idle prompt. check_no_progress observes
+# byte-stasis on the worker pane and would BLOCK after 600s even though
+# the signal is on disk. When the pane is the worker pane AND a valid
+# iter-signal is on disk, defer to the harvest step (poll_for_signal in
+# run_single_worker) instead of escalating BLOCKED.
+_worker_pane_has_signal() {
+  local pane_id="$1"
+  [[ -n "${WORKER_PANE:-}" && "$pane_id" == "${WORKER_PANE}" ]] || return 1
+  [[ -n "${SIGNAL_FILE:-}" && -s "$SIGNAL_FILE" ]] || return 1
+  jq -e . "$SIGNAL_FILE" >/dev/null 2>&1 || return 1
+  local iter_field us_field status_field
+  iter_field=$(jq -r '.iteration // empty' "$SIGNAL_FILE" 2>/dev/null)
+  us_field=$(jq -r '.us_id // empty' "$SIGNAL_FILE" 2>/dev/null)
+  status_field=$(jq -r '.status // empty' "$SIGNAL_FILE" 2>/dev/null)
+  [[ "$iter_field" =~ ^[0-9]+$ ]] || return 1
+  [[ -n "$us_field" ]] || return 1
+  [[ "$status_field" == "verify" || "$status_field" == "verify_partial" ]] || return 1
+  return 0
+}
+
+# v5.7 §4.17 (codex Critic HIGH): generic no-progress timeout — independent
+# of prompt detection. Closes the gap where an undetected prompt or alive-
+# but-frozen Worker can bypass Layer 4 and infinite-wait.
+#
+# Strategy: capture pane content each call, hash/compare to last; if
+# unchanged for PROGRESS_NO_CHANGE_TIMEOUT (default 10min), write BLOCKED.
+# Returns 0 if pane is making progress (or first call); 1 (and writes
+# BLOCKED) if no-progress threshold exceeded.
+check_no_progress() {
+  local pane_id="$1"
+  local us_id="${2:-${CURRENT_US:-ALL}}"
+  local now
+  now=$(_now_s)
+  local capture
+  capture=$(tmux capture-pane -t "$pane_id" -p -S -20 2>/dev/null) || return 0
+
+  # v0.14.1 Fix-A / v0.14.2 Fix-D: codex verifier writes verdict, then
+  # sits at "Worked for Xm Ys" idle UI. byte-stasis would BLOCK after
+  # 600s even though the verdict is on disk. Check both canonical and
+  # legacy verdict paths — auto-migrate legacy if found — and defer to
+  # the harvest step when the pane is a verifier pane.
+  if _verifier_pane_has_verdict "$pane_id"; then
+    PANE_LAST_CONTENT_FOR_PROGRESS[$pane_id]="$capture"
+    PANE_LAST_CHANGE_TS[$pane_id]=$now
+    return 0
+  fi
+  # v0.14.5 Bug Report #6 Fix-M: claude worker finishes (commit + iter-signal
+  # write) then parks at its idle prompt. byte-stasis would BLOCK after 600s
+  # even though the signal is on disk. Worker mirror of the verifier branch
+  # above — defer to poll_for_signal harvest when SIGNAL_FILE is valid.
+  if _worker_pane_has_signal "$pane_id"; then
+    PANE_LAST_CONTENT_FOR_PROGRESS[$pane_id]="$capture"
+    PANE_LAST_CHANGE_TS[$pane_id]=$now
+    log_debug "[GOV] iter=${ITERATION:-0} worker_progress_check=signal_present pane=$pane_id signal=${SIGNAL_FILE}"
+    return 0
+  fi
+  # v0.14.2: root-cause tracing for Bug Report #4. When the watcher is
+  # examining a verifier pane that does NOT have a verdict yet, log once
+  # per byte-stasis transition so post-mortem can tell whether the
+  # verdict was missing entirely vs. the idle-UI grace was the gating
+  # factor. Idempotent flag lives in PANE_VERIFIER_TRACE_LOGGED.
+  if [[ "$pane_id" == "${VERIFIER_PANE:-}" || "$pane_id" == "${FINAL_VERIFIER_PANE:-}" ]]; then
+    if [[ -z "${PANE_VERIFIER_TRACE_LOGGED[$pane_id]:-}" ]]; then
+      PANE_VERIFIER_TRACE_LOGGED[$pane_id]=1
+      log_debug "[GOV] iter=${ITERATION:-0} verifier_progress_check=miss pane=$pane_id verdict_canonical=${VERDICT_FILE} verdict_canonical_exists=$([[ -f "$VERDICT_FILE" ]] && echo true || echo false) verdict_legacy=${LEGACY_VERDICT_FILE:-unset} verdict_legacy_exists=$([[ -f "${LEGACY_VERDICT_FILE:-/nonexistent}" ]] && echo true || echo false)"
+    fi
+  fi
+
+  local last_content="${PANE_LAST_CONTENT_FOR_PROGRESS[$pane_id]:-}"
+  if [[ "$capture" != "$last_content" ]]; then
+    PANE_LAST_CONTENT_FOR_PROGRESS[$pane_id]="$capture"
+    PANE_LAST_CHANGE_TS[$pane_id]=$now
+    return 0
+  fi
+
+  local last_change=${PANE_LAST_CHANGE_TS[$pane_id]:-0}
+  if (( last_change == 0 )); then
+    PANE_LAST_CHANGE_TS[$pane_id]=$now
+    return 0
+  fi
+
+  local frozen_for=$(( now - last_change ))
+  if (( frozen_for >= PROGRESS_NO_CHANGE_TIMEOUT )); then
+    # v0.14.1 Fix-B: even without a verdict file, codex sometimes parks at
+    # its idle UI mid-run (e.g. partial-write window before atomic mv).
+    # Grant one-time +CODEX_IDLE_GRACE_S grace before escalating so we do
+    # not BLOCK at the exact second the verdict is being mv'd into place.
+    if is_codex_idle_ui "$capture"; then
+      local already_graced="${PANE_CODEX_IDLE_GRACED[$pane_id]:-0}"
+      if (( already_graced == 0 )); then
+        PANE_CODEX_IDLE_GRACED[$pane_id]=1
+        PANE_LAST_CHANGE_TS[$pane_id]=$now
+        log "Pane $pane_id at codex idle UI for ${frozen_for}s — granting +${CODEX_IDLE_GRACE_S}s grace before BLOCK escalation"
+        log_debug "[GOV] iter=${ITERATION:-0} codex_idle_grace=true pane=$pane_id grace_s=${CODEX_IDLE_GRACE_S}"
+        return 0
+      fi
+    fi
+    log_error "Pane $pane_id has not changed for ${frozen_for}s — alive but frozen. Escalating to BLOCKED."
+    log_debug "[GOV] iter=${ITERATION:-0} no_progress_escalated=true pane=$pane_id frozen_for=${frozen_for}s threshold=${PROGRESS_NO_CHANGE_TIMEOUT}s"
+    write_blocked_sentinel \
+      "Pane content has been unchanged for ${frozen_for}s (>= ${PROGRESS_NO_CHANGE_TIMEOUT}s threshold). Worker process may be alive but stuck on an undetected prompt, hung network call, or genuine deadlock. No documentation produced; manual inspection required." \
+      "$us_id" \
+      "infra_failure"
+    return 1
+  fi
+  return 0
+}
+
+# --- governance.md s7 step 5+6: Nudge idle panes ---
+check_and_nudge_idle_pane() {
+  local pane_id="$1"
+  local nudge_count_var="$2"
+
+  # v5.7 §4.13.a: auto-dismiss permission prompts before idle check.
+  # Otherwise Worker hangs at "Do you want to create..." until nudge timeout.
+  auto_dismiss_prompts "$pane_id"
+
+  local current_content
+  current_content=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null | tail -3)
+
+  if [[ "$current_content" == "${LAST_PANE_CONTENT[$pane_id]:-}" ]]; then
+    local idle_since="${PANE_IDLE_SINCE[$pane_id]:-$(date +%s)}"
+    local now
+    now=$(date +%s)
+    if (( now - idle_since > IDLE_NUDGE_THRESHOLD )); then
+      # A12 fix: NEVER nudge if pane is busy (thinking/working) — nudge interrupts claude
+      local _nudge_capture
+      _nudge_capture=$(tmux capture-pane -t "$pane_id" -p -S -5 2>/dev/null)
+      if echo "$_nudge_capture" | grep -qi "esc to interrupt\|thinking\|working\|kneading\|crunching\|clauding\|billowing\|brewing\|tinkering\|burrowing\|saut\|razzle\|bunning\|zesting\|fermenting\|actualizing\|composing\|evaporating\|churning" 2>/dev/null; then
+        log_debug "  Pane $pane_id appears busy (thinking/working), skipping nudge"
+      else
+        local count=${(P)nudge_count_var}
+        if (( count < MAX_NUDGES )); then
+          log "  Nudging idle pane $pane_id (nudge $((count + 1))/$MAX_NUDGES)"
+          safe_send_keys "$pane_id" ""
+          (( count++ ))
+          eval "$nudge_count_var=$count"
+        fi
+      fi
+    fi
+  else
+    LAST_PANE_CONTENT[$pane_id]="$current_content"
+    PANE_IDLE_SINCE[$pane_id]=$(date +%s)
+  fi
+}
+
+# =============================================================================
+# Exponential Backoff Restart (tmux pattern)
+# =============================================================================
+
+# --- governance.md s7 step 5: Restart dead workers with backoff ---
+restart_worker() {
+  local pane_id="$1"
+  local iter="$2"
+  local trigger_file="$3"
+
+  # Codex workers are 1-shot exec; restart is not applicable
+  if [[ "$WORKER_ENGINE" = "codex" ]]; then
+    log_debug "restart_worker called for codex engine — no-op (1-shot exec)"
+    return 1
+  fi
+
+  local restart_count="${WORKER_RESTARTS[$iter]:-0}"
+
+  if (( restart_count >= MAX_RESTARTS )); then
+    log_error "Worker exceeded max restarts ($MAX_RESTARTS) for iteration $iter"
+    return 1  # caller writes BLOCKED
+  fi
+
+  # Exponential backoff: 5s, 10s, 20s, 60s (cap)
+  local -a delays=(5 10 20 60)
+  local delay=${delays[$((restart_count + 1))]:-60}
+  log "  Restarting worker (attempt $((restart_count + 1))/$MAX_RESTARTS) after ${delay}s backoff..."
+  sleep "$delay"
+
+  # Kill existing claude, wait for shell prompt
+  tmux send-keys -t "$pane_id" C-c 2>/dev/null
+  tmux send-keys -t "$pane_id" "/exit" C-m 2>/dev/null
+  sleep 2
+
+  # Re-launch worker (tmux interactive pattern)
+  if [[ "$WORKER_ENGINE" = "codex" ]]; then
+    safe_send_keys "$pane_id" "${CODEX_BIN:-codex} -m $WORKER_CODEX_MODEL -c model_reasoning_effort=\"$WORKER_CODEX_REASONING\" --disable plugins --dangerously-bypass-approvals-and-sandbox"
+  else
+    safe_send_keys "$pane_id" "$(build_claude_cmd tui "$WORKER_MODEL" "" "" "$WORKER_EFFORT")"
+  fi
+  WORKER_RESTARTS[$iter]=$((restart_count + 1))
+  return 0
+}
+
+# =============================================================================
+# Write-Then-Notify: Trigger Script Generation (tmux CRITICAL pattern)
+# =============================================================================
+
+# Per-US PRD injection helper
+# Substitutes the full PRD path with a per-US split path in the Worker prompt base.
+# Falls back to the full PRD with a stderr warning if the split file is missing.
+# Args: $1=prompt_base_file $2=full_prd_path $3=per_us_prd_path (empty = no substitution)
+inject_per_us_prd() {
+  local prompt_base="$1"
+  local full_prd="$2"
+  local per_us_prd="${3:-}"
+
+  if [[ -n "$per_us_prd" && -f "$per_us_prd" ]]; then
+    sed "s|$full_prd|$per_us_prd|g" "$prompt_base"
+  else
+    if [[ -n "$per_us_prd" ]]; then
+      echo "WARNING: per-US split file not found: $per_us_prd — falling back to full PRD injection" >&2
+    fi
+    cat "$prompt_base"
+  fi
+}
+
+# --- governance.md s7 step 4+5: Write prompt and trigger to files ---
+# NEVER send prompt content through tmux send-keys.
+# Write payloads to files, send only short trigger commands (<200 chars).
+write_worker_trigger() {
+  local iter="$1"
+  local prompt_file="$LOGS_DIR/iter-$(printf '%03d' $iter).worker-prompt.md"
+  local trigger_file="$LOGS_DIR/iter-$(printf '%03d' $iter).worker-trigger.sh"
+  local output_log="$LOGS_DIR/iter-$(printf '%03d' $iter).worker-output.log"
+
+  # Build the worker prompt: base prompt + iteration context
+  local contract
+  contract=$(sed -n '/^## Next Iteration Contract$/,/^## /{ /^## Next/d; /^## [^N]/d; p; }' "$MEMORY_FILE" 2>/dev/null | head -5)
+
+  # Check for fix contract from previous verifier failure
+  local prev_iter=$((iter - 1))
+  local fix_contract_file="$LOGS_DIR/iter-$(printf '%03d' $prev_iter).fix-contract.md"
+
+  # Compute next unverified US before prompt assembly (required for per-US PRD injection)
+  local next_us=""
+  if [[ "$VERIFY_MODE" = "per-us" && -n "$US_LIST" ]]; then
+    for us in $(echo "$US_LIST" | tr ',' ' '); do
+      if ! echo ",$VERIFIED_US," | grep -q ",$us,"; then
+        next_us="$us"
+        break
+      fi
+    done
+  fi
+
+  {
+    # Per-US PRD injection: substitute full PRD path with per-US split path when available
+    local per_us_prd=""
+    [[ -n "$next_us" ]] && per_us_prd="$DESK/plans/prd-${SLUG}-${next_us}.md"
+    inject_per_us_prd "$WORKER_PROMPT_BASE" "$DESK/plans/prd-${SLUG}.md" "$per_us_prd"
+    echo ""
+    echo "---"
+    echo "## Iteration Context"
+    echo "- **Iteration**: $iter"
+    echo "- **Memory Stop Status**: $(sed -n '/^## Stop Status$/,/^$/{ /^## /d; /^$/d; p; }' "$MEMORY_FILE" 2>/dev/null | head -1)"
+    echo "- **Next Iteration Contract**: ${contract:-Start from the beginning}"
+    if (( _PRD_CHANGED )); then
+      echo "NOTE: PRD was updated since last iteration. New/changed US may exist."
+    fi
+
+    # Include fix contract if previous verifier failed
+    if [[ -f "$fix_contract_file" ]]; then
+      echo ""
+      echo "---"
+      echo "## IMPORTANT: Fix Contract from Verifier (iteration $prev_iter)"
+      echo "The Verifier REJECTED your previous work. You MUST fix the issues below."
+      echo "Do NOT just resubmit — actually change the code to address each issue."
+      echo ""
+      cat "$fix_contract_file"
+    fi
+
+    # Per-US mode: tell Worker exactly which US to work on
+    if [[ "$VERIFY_MODE" = "per-us" && -n "$US_LIST" ]]; then
+      if [[ -n "$next_us" ]]; then
+        echo ""
+        echo "---"
+        echo "## PER-US SCOPE LOCK (this iteration) — OVERRIDES memory contract"
+        echo "**IGNORE the 'Next Iteration Contract' from memory if it references a different story.**"
+        echo "The Leader has determined that **${next_us}** is the next unverified story."
+        echo "You MUST implement ONLY **${next_us}** in this iteration."
+        echo "Do NOT implement any other user stories."
+        # Per-US test-spec injection: point Worker to scoped test-spec if available
+        local per_us_test_spec="$DESK/plans/test-spec-${SLUG}-${next_us}.md"
+        if [[ -f "$per_us_test_spec" ]]; then
+          echo "- **Test Spec**: Read ONLY \`$per_us_test_spec\` (scoped to ${next_us})"
+        else
+          echo "- **Test Spec**: Read \`$DESK/plans/test-spec-${SLUG}.md\` (full — find ${next_us} section)"
+        fi
+        echo "When done, signal verify with us_id=\"${next_us}\" (not \"ALL\")."
+        echo "Signal format: {\"iteration\": N, \"status\": \"verify\", \"us_id\": \"${next_us}\", ...}"
+        echo ""
+        echo "**Update the campaign memory's 'Next Iteration Contract' to reflect ${next_us}.**"
+      elif [[ -n "$VERIFIED_US" ]]; then
+        # All individual US verified — this is the final full verify iteration
+        echo ""
+        echo "---"
+        echo "## FINAL VERIFICATION ITERATION"
+        echo "All individual US have been verified: $VERIFIED_US"
+        echo "Run all tests and verification commands to confirm everything works together."
+        echo "Signal verify with us_id=\"ALL\" for the final full verification."
+      fi
+    elif [[ "$VERIFY_MODE" = "batch" ]]; then
+      echo ""
+      echo "---"
+      if [[ -n "$VERIFIED_US" ]]; then
+        echo "## BATCH MODE — CONTINUE FROM PARTIAL PROGRESS"
+        echo "The following US have already been verified: **$VERIFIED_US**"
+        echo "- Do NOT re-implement these — they are done."
+        echo "- Focus ONLY on the remaining unverified user stories."
+        echo '- Signal verify with us_id="ALL" when the remaining stories are complete.'
+      else
+        echo "## BATCH MODE OVERRIDE"
+        echo "Ignore any per-US signal instructions above. In batch mode:"
+        echo "- Implement ALL user stories in this iteration"
+        echo '- Signal verify with us_id="ALL" only when ALL stories are complete'
+        echo "- Do NOT signal verify after individual stories"
+      fi
+    fi
+
+    # Autonomous mode: don't stop on ambiguity, PRD is authoritative
+    if (( AUTONOMOUS_MODE )); then
+      echo ""
+      echo "---"
+      echo "## AUTONOMOUS MODE"
+      echo "Do NOT stop or ask questions when encountering ambiguity or document conflicts."
+      echo "**Resolution priority**: PRD > test-spec > context > memory"
+      echo "If documents disagree, follow PRD and proceed. Log any conflict you find by"
+      echo "appending to \`$LOGS_DIR/conflict-log.jsonl\` in format:"
+      echo '  {"iteration":N,"us_id":"US-NNN","source_a":"prd","source_b":"test-spec","conflict":"description","resolution":"followed PRD"}'
+      echo "Do NOT wait for human input. Keep working."
+    fi
+  } | atomic_write "$prompt_file"
+
+  # Write trigger script (DO NOT use exec -- breaks heartbeat cleanup)
+  # Engine-specific launch command (expanded at write time)
+  if [[ "$WORKER_ENGINE" = "codex" ]]; then
+    local engine_cmd="${CODEX_BIN:-codex} \\
+  -m $WORKER_CODEX_MODEL \\
+  -c model_reasoning_effort=\"$WORKER_CODEX_REASONING\" \\
+  --disable plugins --dangerously-bypass-approvals-and-sandbox \\
+  \"\$(cat $prompt_file)\""
+    local engine_comment="# Run codex with fresh context (fallback trigger — TUI primary launch via launch_worker_codex)"
+  else
+    local engine_cmd
+    engine_cmd=$(build_claude_cmd print "$WORKER_MODEL" "$prompt_file" "$output_log" "$WORKER_EFFORT")
+    local engine_comment="# Run claude with fresh context, no MCP/skills (governance.md s7 step 5)"
+  fi
+
+  {
+    cat <<TRIGGER_EOF
+#!/bin/zsh
+# Trigger for iteration $iter worker - generated by run_ralph_desk.zsh
+# DO NOT use exec here -- it breaks heartbeat cleanup
+
+HEARTBEAT_FILE="$WORKER_HEARTBEAT"
+
+# Background heartbeat writer (tmux pattern)
+(
+  while true; do
+    echo '{"epoch":'\$(date +%s)',"pid":'"\$\$"'}' > "\${HEARTBEAT_FILE}.tmp.\$\$"
+    mv "\${HEARTBEAT_FILE}.tmp.\$\$" "\$HEARTBEAT_FILE"
+    sleep 15
+  done
+) &
+HEARTBEAT_PID=\$!
+
+$engine_comment
+$engine_cmd
+
+# Cleanup heartbeat writer
+kill \$HEARTBEAT_PID 2>/dev/null
+wait \$HEARTBEAT_PID 2>/dev/null
+echo '{"epoch":'\$(date +%s)',"status":"exited"}' > "\${HEARTBEAT_FILE}.tmp.\$\$"
+mv "\${HEARTBEAT_FILE}.tmp.\$\$" "\$HEARTBEAT_FILE"
+TRIGGER_EOF
+  } | atomic_write "$trigger_file"
+  chmod +x "$trigger_file"
+
+  log "  Worker prompt:  $prompt_file"
+  log "  Worker trigger: $trigger_file"
+}
+
+write_verifier_trigger() {
+  local iter="$1"
+  local verifier_engine="${2:-$VERIFIER_ENGINE}"  # allow override for consensus
+  local verifier_model="${3:-$VERIFIER_MODEL}"
+  local suffix="${4:-}"  # optional suffix for consensus (e.g., "-claude", "-codex")
+  local prompt_file="$LOGS_DIR/iter-$(printf '%03d' $iter).verifier${suffix}-prompt.md"
+  local trigger_file="$LOGS_DIR/iter-$(printf '%03d' $iter).verifier${suffix}-trigger.sh"
+  local output_log="$LOGS_DIR/iter-$(printf '%03d' $iter).verifier${suffix}-output.log"
+
+  # Read us_id from iter-signal.json for per-US scoping
+  local us_id=""
+  if [[ -f "$SIGNAL_FILE" ]]; then
+    us_id=$(jq -r '.us_id // empty' "$SIGNAL_FILE" 2>/dev/null)
+  fi
+
+  # Build verifier prompt from base with US scope
+  {
+    cat "$VERIFIER_PROMPT_BASE"
+    echo ""
+    echo "---"
+    echo "## Verification Context"
+    echo "- **Iteration**: $iter"
+    echo "- **Done Claim**: $DONE_CLAIM_FILE"
+    echo "- **Verify Mode**: $VERIFY_MODE"
+    if [[ -n "$us_id" ]]; then
+      if [[ "$us_id" = "ALL" ]]; then
+        echo "- **Scope**: FULL VERIFY — check ALL acceptance criteria from the PRD"
+      else
+        echo "- **Scope**: Verify ONLY the acceptance criteria for **${us_id}**"
+      fi
+      if [[ -n "$VERIFIED_US" ]]; then
+        echo "- **Previously verified US**: $VERIFIED_US"
+        echo "- **Note**: Skip re-verifying the above US. Focus on unverified stories."
+      fi
+    fi
+
+    # Autonomous mode: don't stop on ambiguity, PRD is authoritative
+    if (( AUTONOMOUS_MODE )); then
+      echo ""
+      echo "---"
+      echo "## AUTONOMOUS MODE"
+      echo "Do NOT stop or ask questions when encountering ambiguity or document conflicts."
+      echo "**Resolution priority**: PRD > test-spec > context > memory"
+      echo "If documents disagree, follow PRD and proceed. Log any conflict by"
+      echo "appending to \`$LOGS_DIR/conflict-log.jsonl\` in format:"
+      echo '  {"iteration":N,"us_id":"US-NNN","source_a":"prd","source_b":"test-spec","conflict":"description","resolution":"followed PRD"}'
+      echo "Do NOT wait for human input. Keep verifying."
+    fi
+  } | atomic_write "$prompt_file"
+
+  # Write trigger script (DO NOT use exec -- breaks heartbeat cleanup)
+  # Engine-specific launch command (expanded at write time)
+  if [[ "$verifier_engine" = "codex" ]]; then
+    local engine_cmd="${CODEX_BIN:-codex} -m $VERIFIER_CODEX_MODEL \\
+  -c model_reasoning_effort=\"$VERIFIER_CODEX_REASONING\" \\
+  --disable plugins --dangerously-bypass-approvals-and-sandbox \\
+  \"\$(cat $prompt_file)\" \\
+  > >(tee $output_log) 2>&1"
+    local engine_comment="# Run codex with fresh context (governance.md s7 step 7) — process substitution preserves tty"
+  else
+    local engine_cmd
+    engine_cmd=$(build_claude_cmd print "$verifier_model" "$prompt_file" "$output_log" "$VERIFIER_EFFORT")
+    local engine_comment="# Run claude with fresh context, no MCP/skills (governance.md s7 step 7)"
+  fi
+
+  {
+    cat <<TRIGGER_EOF
+#!/bin/zsh
+# Trigger for iteration $iter verifier${suffix} - generated by run_ralph_desk.zsh
+# DO NOT use exec here -- it breaks heartbeat cleanup
+
+HEARTBEAT_FILE="$VERIFIER_HEARTBEAT"
+
+# Background heartbeat writer (tmux pattern)
+(
+  while true; do
+    echo '{"epoch":'\$(date +%s)',"pid":'"\$\$"'}' > "\${HEARTBEAT_FILE}.tmp.\$\$"
+    mv "\${HEARTBEAT_FILE}.tmp.\$\$" "\$HEARTBEAT_FILE"
+    sleep 15
+  done
+) &
+HEARTBEAT_PID=\$!
+
+$engine_comment
+$engine_cmd
+
+# Cleanup heartbeat writer
+kill \$HEARTBEAT_PID 2>/dev/null
+wait \$HEARTBEAT_PID 2>/dev/null
+echo '{"epoch":'\$(date +%s)',"status":"exited"}' > "\${HEARTBEAT_FILE}.tmp.\$\$"
+mv "\${HEARTBEAT_FILE}.tmp.\$\$" "\$HEARTBEAT_FILE"
+TRIGGER_EOF
+  } | atomic_write "$trigger_file"
+  chmod +x "$trigger_file"
+
+  log "  Verifier prompt:  $prompt_file"
+  log "  Verifier trigger: $trigger_file"
+}
+
+# =============================================================================
+# Cleanup (trap handler)
+# =============================================================================
+
+cleanup() {
+  log "Cleaning up..."
+
+  # Remove lockfile
+  if (( LOCKFILE_ACQUIRED )); then
+    rm -f "$LOCKFILE_PATH" 2>/dev/null
+  else
+    log_debug "cleanup: lockfile not owned by this process, skipping removal"
+  fi
+
+  # US-026 R14 P0: remove project-scoped runner lockfile if owned by this slug
+  if [[ -f "$RUNNER_LOCKFILE_PATH" ]]; then
+    local own_slug
+    own_slug=$(jq -r '.slug' "$RUNNER_LOCKFILE_PATH" 2>/dev/null)
+    if [[ "$own_slug" == "$SLUG" ]]; then
+      rm -rf "$RUNNER_LOCKDIR" "$RUNNER_LOCKFILE_PATH" 2>/dev/null
+    fi
+  fi
+
+  # Kill claude processes then kill panes
+  log_debug "cleanup: WORKER_PANE=${WORKER_PANE:-unset} VERIFIER_PANE=${VERIFIER_PANE:-unset}"
+  if [[ -n "${WORKER_PANE:-}" ]]; then
+    tmux send-keys -t "$WORKER_PANE" C-c 2>/dev/null
+    tmux send-keys -t "$WORKER_PANE" "/exit" C-m 2>/dev/null
+  fi
+  if [[ -n "${VERIFIER_PANE:-}" ]]; then
+    tmux send-keys -t "$VERIFIER_PANE" C-c 2>/dev/null
+    tmux send-keys -t "$VERIFIER_PANE" "/exit" C-m 2>/dev/null
+  fi
+  sleep 2
+  # Kill panes on completion
+  if [[ -n "${WORKER_PANE:-}" ]]; then
+    tmux kill-pane -t "$WORKER_PANE" 2>/dev/null
+  fi
+  if [[ -n "${VERIFIER_PANE:-}" ]]; then
+    tmux kill-pane -t "$VERIFIER_PANE" 2>/dev/null
+  fi
+  log "  Panes cleaned up."
+
+  # Remove any leftover tmp files (setopt nonomatch to avoid zsh glob errors)
+  setopt local_options nonomatch 2>/dev/null
+  rm -f "$LOGS_DIR"/*.tmp.* "$MEMOS_DIR"/*.tmp.* 2>/dev/null
+
+  # AC4: Generate campaign report on all terminal states (always-on)
+  generate_campaign_report
+
+  # US-001: Generate SV report after campaign report (tmux mode)
+  generate_sv_report
+
+  # Print summary
+  local end_time
+  end_time=$(date +%s)
+  local elapsed=$(( end_time - START_TIME ))
+  local minutes=$(( elapsed / 60 ))
+  local seconds=$(( elapsed % 60 ))
+
+  local final_status="UNKNOWN"
+  if [[ -f "$COMPLETE_SENTINEL" ]]; then final_status="COMPLETE"
+  elif [[ -f "$BLOCKED_SENTINEL" ]]; then final_status="BLOCKED"
+  else final_status="TIMEOUT"; fi
+
+  # --- Update metadata.json with final status ---
+  if [[ -f "$METADATA_FILE" ]]; then
+    jq --arg status "$final_status" --arg end_time "$(date -u +%Y-%m-%dT%H:%M:%SZ)" \
+      '.campaign_status = $status | .end_time = $end_time' \
+      "$METADATA_FILE" > "${METADATA_FILE}.tmp" && mv "${METADATA_FILE}.tmp" "$METADATA_FILE"
+  fi
+
+  if (( DEBUG )); then
+    local end_ts=$(date +%s)
+    local elapsed=$((end_ts - START_TIME))
+
+    log_debug "[FLOW] final status=$final_status iterations=$ITERATION elapsed=${elapsed}s"
+
+    # --- Validation ---
+    log_debug "[FLOW] === Execution Validation ==="
+
+    # 1. Did the correct verify mode run?
+    log_debug "[FLOW] verify_mode=$VERIFY_MODE configured=true"
+
+    # 2. Per-US: were all US individually verified?
+    if [[ "$VERIFY_MODE" = "per-us" ]]; then
+      local prd_file="$DESK/plans/prd-$SLUG.md"
+      local expected_us=""
+      if [[ -f "$prd_file" ]]; then
+        expected_us=$(grep -oE 'US-[0-9]+' "$prd_file" | sort -u | tr '\n' ',' | sed 's/,$//')
+      fi
+      local verified_count=$(echo "$VERIFIED_US" | tr ',' '\n' | grep -c 'US-' 2>/dev/null || echo 0)
+      local expected_count=$(echo "$expected_us" | tr ',' '\n' | grep -c 'US-' 2>/dev/null || echo 0)
+
+      if [[ "$final_status" = "COMPLETE" ]]; then
+        if (( verified_count >= expected_count )); then
+          log_debug "[FLOW] per_us_coverage=PASS verified=$verified_count/$expected_count us=$VERIFIED_US"
+        else
+          log_debug "[FLOW] per_us_coverage=FAIL verified=$verified_count/$expected_count expected=$expected_us got=$VERIFIED_US"
+        fi
+      else
+        log_debug "[FLOW] per_us_coverage=INCOMPLETE verified=$verified_count/$expected_count status=$final_status"
+      fi
+    fi
+
+    # 3. Consensus: were both engines used?
+    if [[ "$CONSENSUS_MODE" != "off" ]]; then
+      if [[ -n "${CLAUDE_VERDICT:-}" && -n "${CODEX_VERDICT:-}" ]]; then
+        log_debug "[FLOW] consensus=USED mode=$CONSENSUS_MODE claude=$CLAUDE_VERDICT codex=$CODEX_VERDICT rounds=$CONSENSUS_ROUND"
+      else
+        log_debug "[FLOW] consensus=NOT_TRIGGERED mode=$CONSENSUS_MODE claude=${CLAUDE_VERDICT:-none} codex=${CODEX_VERDICT:-none}"
+      fi
+    fi
+
+    # 4. Engine match: did the configured engines actually run?
+    local worker_dispatches=$(grep -c '\[FLOW\].*phase=worker.*dispatched=true' "$DEBUG_LOG" 2>/dev/null || echo 0)
+    local verifier_dispatches=$(grep -c '\[FLOW\].*phase=verifier.*dispatched=true' "$DEBUG_LOG" 2>/dev/null || echo 0)
+    log_debug "[FLOW] dispatches worker=$worker_dispatches verifier=$verifier_dispatches"
+
+    # 5. Fix loops: how many fix contracts were generated?
+    local fix_count=$(grep -c '\[DECIDE\].*phase=fix_loop' "$DEBUG_LOG" 2>/dev/null || echo 0)
+    log_debug "[FLOW] fix_loops=$fix_count consecutive_failures=$CONSECUTIVE_FAILURES"
+
+    # 6. Circuit breakers: any triggered?
+    local cb_count=$(grep -c '\[GOV\].*circuit_breaker=' "$DEBUG_LOG" 2>/dev/null || echo 0)
+    log_debug "[FLOW] circuit_breakers_triggered=$cb_count"
+
+    # 7. Overall result
+    log_debug "[FLOW] result=$final_status iterations=$ITERATION elapsed=${elapsed}s verified_us=$VERIFIED_US"
+  fi
+
+  echo ""
+  echo "============================================================"
+  echo "  Ralph Desk Tmux Runner - Session Complete"
+  echo "============================================================"
+  echo "  Session:    $SESSION_NAME"
+  echo "  Slug:       $SLUG"
+  echo "  Iterations: $ITERATION / $MAX_ITER"
+  echo "  Elapsed:    ${minutes}m ${seconds}s"
+  echo ""
+
+  if [[ -f "$COMPLETE_SENTINEL" ]]; then
+    echo "  Final State: COMPLETE"
+  elif [[ -f "$BLOCKED_SENTINEL" ]]; then
+    echo "  Final State: BLOCKED"
+  else
+    echo "  Final State: STOPPED (interrupted or timeout)"
+  fi
+
+  echo ""
+  echo "  Tmux session left alive for inspection:"
+  echo "    tmux attach -t $SESSION_NAME"
+  echo "    tmux kill-session -t $SESSION_NAME"
+  echo "============================================================"
+}
+
+# =============================================================================
+# Poll Loop (used for both Worker and Verifier)
+# =============================================================================
+
+# --- governance.md s7 step 5+6: Poll for signal file with heartbeat monitoring ---
+poll_for_signal() {
+  local signal_file="$1"
+  local heartbeat_file="$2"
+  local pane_id="$3"
+  local trigger_file="$4"
+  local role="$5"  # "worker" or "verifier"
+  local nudge_count=0
+  local api_retry_count=0
+  local poll_start
+  poll_start=$(date +%s)
+
+  # Initialize idle tracking for this pane
+  LAST_PANE_CONTENT[$pane_id]=""
+  PANE_IDLE_SINCE[$pane_id]=$(date +%s)
+
+  while true; do
+    local now
+    now=$(date +%s)
+    local elapsed=$(( now - poll_start ))
+
+    # Per-iteration timeout check
+    if (( elapsed >= ITER_TIMEOUT )); then
+      log_error "$role timed out after ${ITER_TIMEOUT}s for iteration $ITERATION"
+      return 1  # timeout
+    fi
+
+    # Check if signal file appeared
+    if [[ -f "$signal_file" ]]; then
+      log "  Signal file detected: $signal_file"
+      return 0  # success
+    fi
+
+    # A4 fallback: done-claim exists but no signal → Worker forgot iter-signal
+    # ONLY for Worker polling — Verifier waits for verdict file, not done-claim
+    #
+    # v5.7 §4.14 (Bug 5 fix, CRITICAL): if Worker pane shows a pending TUI
+    # permission prompt (`Do you want to ...` with `(y/n)` / `❯ 1.` affordance),
+    # Worker is NOT done — it's stuck mid-write after the first done-claim pass.
+    # Suspending A4 fallback in this case prevents premature Verifier dispatch
+    # against partial Worker output. auto_dismiss_prompts() will already have
+    # tried to clear the prompt; if it's still visible the worker is in a
+    # multi-prompt sequence and needs more time, not an A4 short-circuit.
+    if [[ "$role" != *erifier* && -f "$DONE_CLAIM_FILE" && ! -f "$signal_file" ]]; then
+      local _a4_capture
+      _a4_capture=$(tmux capture-pane -t "$pane_id" -p -S -50 2>/dev/null || true)
+      local -a _a4_lines
+      _a4_lines=("${(@f)_a4_capture}")
+      local _a4_i _a4_n=${#_a4_lines[@]} _a4_blocked=0
+      for ((_a4_i=1; _a4_i <= _a4_n; _a4_i++)); do
+        if [[ "${_a4_lines[_a4_i]}" =~ $_PROMPT_RE ]]; then
+          local _a4_prev="${_a4_lines[_a4_i-1]:-}"
+          local _a4_cur="${_a4_lines[_a4_i]}"
+          local _a4_next="${_a4_lines[_a4_i+1]:-}"
+          if [[ "$_a4_prev" =~ $_AFFORDANCE_RE || "$_a4_cur" =~ $_AFFORDANCE_RE || "$_a4_next" =~ $_AFFORDANCE_RE ]]; then
+            _a4_blocked=1
+            break
+          fi
+        fi
+      done
+      if (( _a4_blocked )); then
+        log "  Worker pane has pending permission prompt — A4 fallback suspended (Bug 5 guard)"
+        log_debug "[GOV] iter=$ITERATION a4_fallback_suspended=true reason=worker_prompt_pending pane=$pane_id"
+        # Continue polling; do NOT auto-generate signal. auto_dismiss_prompts will
+        # try to dismiss on the next loop iteration.
+      else
+        local dc_us_id
+        dc_us_id=$(jq -r '.us_id // "unknown"' "$DONE_CLAIM_FILE" 2>/dev/null)
+        if [[ -n "$dc_us_id" && "$dc_us_id" != "null" ]]; then
+          log "  WARNING: done-claim exists for $dc_us_id but no iter-signal. Auto-generating signal (A4 fallback)."
+          log_debug "[GOV] iter=$ITERATION done_claim_without_signal=true us_id=$dc_us_id action=auto_generate_signal"
+          echo '{"iteration":'"$ITERATION"',"status":"verify","us_id":"'"$dc_us_id"'","summary":"auto-generated by A4 fallback (done-claim without signal)","timestamp":"'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'"}' > "$signal_file"
+          _emit_a4_fallback_audit "$dc_us_id" "$ITERATION" "inline_polling_a4"
+          return 0
+        fi
+      fi
+    fi
+
+    # API transient-error recovery with bounded backoff
+    local pane_output_for_retry
+    pane_output_for_retry=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null || true)
+    local is_api_text_retry=0
+    if [[ -n "$pane_output_for_retry" ]] &&
+       ( echo "$pane_output_for_retry" | grep -qiE '(^|[^[:digit:]])500([^[:digit:]]|$)' \
+      || echo "$pane_output_for_retry" | grep -qiE '(^|[^[:digit:]])529([^[:digit:]]|$)' \
+      || echo "$pane_output_for_retry" | grep -qi 'overloaded' \
+      || echo "$pane_output_for_retry" | grep -qi 'too many requests' \
+      || echo "$pane_output_for_retry" | grep -qi 'service unavailable' ); then
+      is_api_text_retry=1
+    fi
+
+    if (( is_api_text_retry )) || is_api_error "$pane_id"; then
+      (( api_retry_count++ ))
+      log_debug "[FLOW] iter=$ITERATION api_retry=${api_retry_count}/${_API_MAX_RETRIES} role=${role} reason=tmux_pane_api_error"
+      if (( api_retry_count >= _API_MAX_RETRIES )); then
+        log_error "API unavailable after ${_API_MAX_RETRIES} retries"
+        write_blocked_sentinel "API unavailable after ${_API_MAX_RETRIES} retries" "" "infra_failure"
+        return 2
+      fi
+      # A5: If pane shows "queued messages" or rate-limit corruption, restart pane
+      if echo "$pane_output_for_retry" | grep -qi 'queued messages'; then
+        log "  A5: Rate-limited pane shows 'queued messages' — restarting $role pane"
+        log_debug "[GOV] iter=$ITERATION phase=rate_limit_pane_restart role=$role reason=queued_messages"
+        tmux send-keys -t "$pane_id" C-c 2>/dev/null; sleep 0.5
+        tmux send-keys -t "$pane_id" "/exit" C-m 2>/dev/null; sleep 2
+        wait_for_pane_ready "$pane_id" 10 2>/dev/null || true
+      fi
+      sleep "$_API_RETRY_INTERVAL_S"
+      continue
+    else
+      api_retry_count=0
+    fi
+
+    # Check heartbeat freshness (tmux pattern)
+    if [[ -f "$heartbeat_file" ]]; then
+      if check_heartbeat_exited "$heartbeat_file"; then
+        # Process exited but no signal file -- give a brief grace period
+        sleep 3
+        if [[ -f "$signal_file" ]]; then
+          log "  Signal file detected after process exit: $signal_file"
+          return 0
+        fi
+        # Dispatch to engine-specific exit handler
+        if [[ "$WORKER_ENGINE" = "codex" && "$role" != *erifier* ]]; then
+          handle_worker_exit_codex "$ITERATION" "$signal_file"
+          return 0
+        fi
+        # Claude path (or verifier of any engine)
+        if handle_worker_exit_claude "$pane_id" "$ITERATION" "$trigger_file"; then
+          # Reset poll timer for the restart
+          poll_start=$(date +%s)
+          nudge_count=0
+          LAST_PANE_CONTENT[$pane_id]=""
+          PANE_IDLE_SINCE[$pane_id]=$(date +%s)
+          sleep "$POLL_INTERVAL"
+          continue
+        else
+          return 1  # max restarts exceeded
+        fi
+      fi
+
+      if ! check_heartbeat "$heartbeat_file"; then
+        log "  WARNING: $role heartbeat stale (>${HEARTBEAT_STALE_THRESHOLD}s)"
+        (( HEARTBEAT_STALE_COUNT++ ))
+        # Circuit breaker: 3 consecutive heartbeat stale events
+        if (( HEARTBEAT_STALE_COUNT >= 3 )); then
+          log_debug "[GOV] iter=$ITERATION circuit_breaker=heartbeat_stale detail=\"3 consecutive heartbeat stale events\""
+          log_error "Circuit breaker: 3 consecutive heartbeat stale events"
+          return 1
+        fi
+        # Attempt restart
+        if restart_worker "$pane_id" "$ITERATION" "$trigger_file"; then
+          poll_start=$(date +%s)
+          nudge_count=0
+          continue
+        else
+          return 1
+        fi
+      else
+        # Heartbeat is fresh, reset stale counter
+        HEARTBEAT_STALE_COUNT=0
+      fi
+    fi
+
+    # Dead pane detection during poll: check if claude/codex process died
+    local poll_cmd
+    poll_cmd=$(tmux display-message -p -t "$pane_id" '#{pane_current_command}' 2>/dev/null)
+    # Dead pane detection — delegates to check_dead_pane() for engine-aware logic
+    if check_dead_pane "$poll_cmd" "$WORKER_ENGINE" "$role"; then
+      log "  WARNING: $role pane $pane_id has bare shell ($poll_cmd) — process died during execution"
+      log_debug "[GOV] iter=$ITERATION pane_dead_during_poll=true pane=$pane_id cmd=$poll_cmd role=$role"
+      # Return failure so caller can handle recovery
+      return 1
+    fi
+
+    # v5.7 §4.13.a: window-bounded prompt auto-dismiss (replaces broad inline grep).
+    # check_and_nudge_idle_pane also calls auto_dismiss_prompts internally, but
+    # we keep this explicit call so dismiss happens BEFORE the idle/nudge check
+    # and is logged with iter context.
+    auto_dismiss_prompts "$pane_id"
+
+    # v5.7 §4.16: bounded prompt-stall escalation. If pane has been prompt-stuck
+    # for PROMPT_STALL_TIMEOUT (5min default) or dismiss attempts exceed
+    # PROMPT_DISMISS_FAIL_LIMIT, write BLOCKED `infra_failure` and exit the poll.
+    # Closes the "alive process = infinite extend" gap (codex Critic HIGH).
+    if ! check_prompt_stall "$pane_id"; then
+      return 2  # signal: hard-failed, do not retry
+    fi
+
+    # v5.7 §4.17 (codex Critic HIGH): generic no-progress timeout. Catches
+    # undetected prompts, hung network calls, or any other alive-but-frozen
+    # state. PROGRESS_NO_CHANGE_TIMEOUT defaults to 10 minutes. Independent
+    # of regex prompt detection — fires whenever pane content is byte-equal
+    # for too long even when Worker process is "alive".
+    if ! check_no_progress "$pane_id"; then
+      return 2  # hard-failed, infra_failure recorded
+    fi
+
+    # Idle pane nudging (tmux pattern)
+    check_and_nudge_idle_pane "$pane_id" "nudge_count"
+
+    sleep "$POLL_INTERVAL"
+  done
+}
+
+# =============================================================================
+# Consensus Verification (run two verifiers sequentially in same pane)
+# =============================================================================
+
+# --- US-004: Run a single verifier in the Verifier pane and poll for verdict ---
+run_single_verifier() {
+  local iter="$1"
+  local engine="$2"       # claude|codex
+  local model="$3"        # model for this verifier
+  local suffix="$4"       # "-claude" or "-codex"
+  local verdict_dest="$5" # where to copy the verdict file
+
+  # Write trigger for this engine
+  write_verifier_trigger "$iter" "$engine" "$model" "$suffix"
+  local trigger_file="$LOGS_DIR/iter-$(printf '%03d' $iter).verifier${suffix}-trigger.sh"
+  local prompt_file="$LOGS_DIR/iter-$(printf '%03d' $iter).verifier${suffix}-prompt.md"
+
+  # Clean previous Verifier session (with dead pane detection)
+  local verifier_cmd
+  verifier_cmd=$(tmux display-message -p -t "$VERIFIER_PANE" '#{pane_current_command}' 2>/dev/null)
+  if [[ -z "$verifier_cmd" ]]; then
+    log "  Verifier pane $VERIFIER_PANE is gone — replacing..."
+    log_debug "[GOV] iter=$iter pane_dead=true pane_id=$VERIFIER_PANE action=replace_pane"
+    replace_worker_pane "$VERIFIER_PANE" "verifier"
+    VERIFIER_PANE=$(jq -r '.panes.verifier' "$SESSION_CONFIG")
+    log "  New verifier pane: $VERIFIER_PANE"
+  elif [[ "$verifier_cmd" == "zsh" || "$verifier_cmd" == "bash" ]]; then
+    log "  Verifier pane $VERIFIER_PANE has bare shell ($verifier_cmd) — resetting..."
+    log_debug "[GOV] iter=$iter pane_dead=true pane_id=$VERIFIER_PANE cmd=$verifier_cmd action=reset_shell"
+    tmux send-keys -t "$VERIFIER_PANE" C-c C-u 2>/dev/null
+    sleep 0.2
+    tmux send-keys -t "$VERIFIER_PANE" "clear" C-m 2>/dev/null
+    sleep 0.3
+  elif [[ "$verifier_cmd" == "node" || "$verifier_cmd" == "claude" || "$verifier_cmd" == "codex" ]]; then
+    tmux send-keys -t "$VERIFIER_PANE" C-c 2>/dev/null
+    sleep 0.5
+    tmux send-keys -t "$VERIFIER_PANE" "/exit" C-m 2>/dev/null
+    sleep 2
+  fi
+  # Always ensure clean shell state before launching new verifier
+  wait_for_pane_ready "$VERIFIER_PANE" 10 2>/dev/null || true
+  # Clear pane to avoid residual text interference
+  tmux send-keys -t "$VERIFIER_PANE" C-l 2>/dev/null
+  sleep 0.5
+
+  # Remove previous verdict file
+  rm -f "$VERDICT_FILE" 2>/dev/null
+
+  # Launch verifier — dispatch to engine-specific function
+  local verifier_launch
+  if [[ "$engine" = "codex" ]]; then
+    verifier_launch="${CODEX_BIN:-codex} -m $VERIFIER_CODEX_MODEL -c model_reasoning_effort=\"$VERIFIER_CODEX_REASONING\" --disable plugins --dangerously-bypass-approvals-and-sandbox"
+    launch_verifier_codex "$VERIFIER_PANE" "$prompt_file" "$iter" "$verifier_launch"
+    log_debug "Verifier$suffix codex TUI dispatched"
+  else
+    verifier_launch="$(build_claude_cmd tui "$model" "" "" "$VERIFIER_EFFORT")"
+    if ! launch_verifier_claude "$VERIFIER_PANE" "$prompt_file" "$iter" "$verifier_launch"; then
+      log_error "Verifier$suffix failed to start"
+      return 1
+    fi
+    log_debug "Verifier$suffix claude dispatched"
+  fi
+
+  # Poll for verdict
+  if [[ "$engine" = "codex" ]]; then
+    # Codex exec: file poll + short grace period after verdict detected
+    log "  Polling for verify-verdict.json ($suffix, codex TUI)..."
+    local codex_poll_start
+    codex_poll_start=$(date +%s)
+    local _verdict_detected_at=0
+    while true; do
+      # Wait for verdict file with valid JSON
+      if [[ -f "$VERDICT_FILE" ]] && jq . "$VERDICT_FILE" >/dev/null 2>&1; then
+        if (( _verdict_detected_at == 0 )); then
+          _verdict_detected_at=$(date +%s)
+          log "  Verdict file detected. Grace period (30s) for codex to finalize..."
+        fi
+        # Grace period: 30s after verdict detection, proceed regardless of pane state
+        local _grace_elapsed=$(( $(date +%s) - _verdict_detected_at ))
+        if (( _grace_elapsed >= 30 )); then
+          log "  Grace period complete. Proceeding."
+          break
+        fi
+        # Early exit: if pane returned to shell, no need to wait
+        local _pane_cmd
+        _pane_cmd=$(tmux display-message -p -t "$VERIFIER_PANE" '#{pane_current_command}' 2>/dev/null || echo "")
+        if [[ "$_pane_cmd" = "zsh" || "$_pane_cmd" = "bash" || -z "$_pane_cmd" ]]; then
+          log "  Codex verifier$suffix process exited. Proceeding."
+          break
+        fi
+      fi
+      local codex_elapsed=$(( $(date +%s) - codex_poll_start ))
+      if (( codex_elapsed >= ITER_TIMEOUT )); then
+        if (( _verdict_detected_at > 0 )); then
+          log "  Codex verifier$suffix timed out waiting, but verdict exists. Proceeding."
+          break
+        fi
+        log_error "Codex verifier$suffix timed out after ${ITER_TIMEOUT}s"
+        return 1
+      fi
+      sleep "$POLL_INTERVAL"
+    done
+  else
+    # Claude: use full poll_for_signal with heartbeat/nudge
+    log "  Polling for verify-verdict.json ($suffix)..."
+    if ! poll_for_signal "$VERDICT_FILE" "$VERIFIER_HEARTBEAT" "$VERIFIER_PANE" "$verifier_launch" "Verifier$suffix"; then
+      local verifier_poll_rc=$?
+      if (( verifier_poll_rc == 2 )); then
+        return 1
+      fi
+      log_error "Verifier$suffix poll failed"
+      return 1
+    fi
+  fi
+
+  # Copy verdict to destination
+  cp "$VERDICT_FILE" "$verdict_dest"
+  log "  Verifier$suffix verdict saved to $verdict_dest"
+  return 0
+}
+
+# --- Sequential final verify: run per-US scoped verifiers instead of one big ALL verify ---
+# Returns 0 if all US pass + integration check pass, 1 if any US fails, 2 if integration fails.
+# Sets FAILED_US global on failure.
+run_sequential_final_verify() {
+  local iter="$1"
+  FAILED_US=""
+
+  log "  Sequential final verify: ${US_LIST} (${VERIFY_MODE} mode)"
+  log_debug "[FLOW] iter=$iter phase=sequential_final_verify us_list=$US_LIST"
+
+  for us in $(echo "$US_LIST" | tr ',' ' '); do
+    log "  Final verify: checking $us..."
+
+    # Temporarily override signal file to scope verifier to this US
+    local orig_signal
+    orig_signal=$(cat "$SIGNAL_FILE" 2>/dev/null)
+    echo "{\"status\":\"verify\",\"us_id\":\"$us\",\"summary\":\"sequential final verify\"}" | atomic_write "$SIGNAL_FILE"
+
+    # Write scoped verifier trigger
+    write_verifier_trigger "$iter"
+    local verifier_prompt="$LOGS_DIR/iter-$(printf '%03d' $iter).verifier-prompt.md"
+
+    # Clean verifier pane
+    local verifier_cmd
+    verifier_cmd=$(tmux display-message -p -t "$VERIFIER_PANE" '#{pane_current_command}' 2>/dev/null)
+    if [[ "$verifier_cmd" == "node" || "$verifier_cmd" == "claude" || "$verifier_cmd" == "codex" ]]; then
+      tmux send-keys -t "$VERIFIER_PANE" C-c 2>/dev/null; sleep 0.5
+      tmux send-keys -t "$VERIFIER_PANE" "/exit" C-m 2>/dev/null; sleep 2
+    fi
+    wait_for_pane_ready "$VERIFIER_PANE" 10 2>/dev/null || true
+
+    # Launch verifier
+    local verifier_launch
+    if [[ "$VERIFIER_ENGINE" = "codex" ]]; then
+      verifier_launch="${CODEX_BIN:-codex} -m $VERIFIER_CODEX_MODEL -c model_reasoning_effort=\"$VERIFIER_CODEX_REASONING\" --disable plugins --dangerously-bypass-approvals-and-sandbox"
+      launch_verifier_codex "$VERIFIER_PANE" "$verifier_prompt" "$iter" "$verifier_launch"
+    else
+      verifier_launch="$(build_claude_cmd tui "$VERIFIER_MODEL" "" "" "$VERIFIER_EFFORT")"
+      launch_verifier_claude "$VERIFIER_PANE" "$verifier_prompt" "$iter" "$verifier_launch" || {
+        log_error "Failed to launch verifier for $us"
+        FAILED_US="$us"
+        return 1
+      }
+    fi
+
+    # Poll for verdict
+    rm -f "$VERDICT_FILE"
+    local poll_rc=0
+    poll_for_signal "$VERDICT_FILE" "$VERIFIER_HEARTBEAT" "$VERIFIER_PANE" "$verifier_launch" "Verifier-final" || poll_rc=$?
+    if (( poll_rc != 0 )); then
+      log_error "Verifier poll failed for $us (rc=$poll_rc)"
+      FAILED_US="$us"
+      return 1
+    fi
+
+    # Check verdict
+    local verdict
+    verdict=$(jq -r '.verdict' "$VERDICT_FILE" 2>/dev/null)
+    if [[ "$verdict" != "pass" ]]; then
+      FAILED_US="$us"
+      log "  Sequential final verify FAILED at $us"
+      log_debug "[FLOW] iter=$iter phase=sequential_final_verify failed_us=$us verdict=$verdict"
+      return 1
+    fi
+    log "  Sequential final verify: $us PASSED"
+
+    # Archive per-US final verdict
+    cp "$VERDICT_FILE" "$LOGS_DIR/iter-$(printf '%03d' $iter).final-verdict-${us}.json" 2>/dev/null
+  done
+
+  # Integration check: run tests if VERIFICATION_CMD is set
+  if [[ -n "${VERIFICATION_CMD:-}" ]]; then
+    log "  Running integration test suite after sequential verify..."
+    log_debug "[FLOW] iter=$iter phase=integration_check cmd=$VERIFICATION_CMD"
+    if ! eval "$VERIFICATION_CMD" > /dev/null 2>&1; then
+      log "  Integration test suite FAILED"
+      FAILED_US="integration"
+      return 2
+    fi
+    log "  Integration test suite PASSED"
+  fi
+
+  log "  Sequential final verify: ALL PASSED"
+  return 0
+}
+
+# --- US-005: Determine whether consensus verification should run for this signal ---
+# Returns 0 (use consensus) or 1 (single engine).
+# Uses unified CONSENSUS_MODE: off|all|final-only
+_should_use_consensus() {
+  local signal_us_id="${1:-}"
+  case "$CONSENSUS_MODE" in
+    all) return 0 ;;
+    final-only) [[ "$signal_us_id" == "ALL" ]] && return 0 ;;
+    off|*) return 1 ;;
+  esac
+}
+
+# --- US-004: Run consensus verification (claude + codex sequentially) ---
+run_consensus_verification() {
+  local iter="$1"
+  local claude_verdict_file="$LOGS_DIR/iter-$(printf '%03d' $iter).verify-verdict-claude.json"
+  local codex_verdict_file="$LOGS_DIR/iter-$(printf '%03d' $iter).verify-verdict-codex.json"
+
+  CONSENSUS_ROUND=0
+  CLAUDE_VERDICT=""
+  CODEX_VERDICT=""
+
+  while (( CONSENSUS_ROUND < 6 )); do
+    (( CONSENSUS_ROUND++ ))
+    log "  Consensus round $CONSENSUS_ROUND/6..."
+
+    # Run claude verifier first
+    local _claude_t0=$(date +%s)
+    if ! run_single_verifier "$iter" "claude" "$VERIFIER_MODEL" "-claude" "$claude_verdict_file"; then
+      log_error "Claude verifier failed in consensus round $CONSENSUS_ROUND"
+      return 1
+    fi
+    ITER_VERIFIER_CLAUDE_DURATION_S=$(( $(date +%s) - _claude_t0 ))
+    CLAUDE_VERDICT=$(jq -r '.verdict' "$claude_verdict_file" 2>/dev/null)
+    # A12 fix: validate claude verdict is not null/empty — if so, retry once before proceeding
+    if [[ -z "$CLAUDE_VERDICT" || "$CLAUDE_VERDICT" == "null" ]]; then
+      log "  WARNING: Claude verdict is '$CLAUDE_VERDICT' — likely interrupted. Retrying claude verifier..."
+      log_debug "[GOV] iter=$iter phase=consensus_claude_retry reason=null_verdict"
+      rm -f "$claude_verdict_file" 2>/dev/null
+      if ! run_single_verifier "$iter" "claude" "$VERIFIER_MODEL" "-claude" "$claude_verdict_file"; then
+        log_error "Claude verifier retry also failed"
+        return 1
+      fi
+      CLAUDE_VERDICT=$(jq -r '.verdict' "$claude_verdict_file" 2>/dev/null)
+      if [[ -z "$CLAUDE_VERDICT" || "$CLAUDE_VERDICT" == "null" ]]; then
+        log_error "Claude verdict still null after retry — consensus cannot proceed"
+        return 1
+      fi
+    fi
+    log_debug "[GOV] iter=$iter phase=consensus_claude verdict=$CLAUDE_VERDICT model=$VERIFIER_MODEL"
+
+    # consensus-fail-fast removed (complexity vs value too low)
+
+    # Run codex verifier second
+    local _codex_t0=$(date +%s)
+    if ! run_single_verifier "$iter" "codex" "$VERIFIER_CODEX_MODEL" "-codex" "$codex_verdict_file"; then
+      log_error "Codex verifier failed in consensus round $CONSENSUS_ROUND"
+      return 1
+    fi
+    ITER_VERIFIER_CODEX_DURATION_S=$(( $(date +%s) - _codex_t0 ))
+    CODEX_VERDICT=$(jq -r '.verdict' "$codex_verdict_file" 2>/dev/null)
+    log_debug "[GOV] iter=$iter phase=consensus_codex verdict=$CODEX_VERDICT model=$VERIFIER_CODEX_MODEL reasoning=$VERIFIER_CODEX_REASONING"
+
+    log "  Consensus: claude=$CLAUDE_VERDICT codex=$CODEX_VERDICT"
+    local _combined_action="retry"
+    if [[ "$CLAUDE_VERDICT" = "pass" && "$CODEX_VERDICT" = "pass" ]]; then _combined_action="pass"
+    elif (( CONSENSUS_ROUND >= 6 )); then _combined_action="blocked"
+    fi
+    log_debug "[GOV] iter=$iter phase=consensus round=$CONSENSUS_ROUND claude=$CLAUDE_VERDICT codex=$CODEX_VERDICT combined_action=$_combined_action"
+
+    # Both pass → success
+    if [[ "$CLAUDE_VERDICT" = "pass" && "$CODEX_VERDICT" = "pass" ]]; then
+      # Create merged verdict with per-engine details
+      {
+        echo '{'
+        echo '  "verdict": "pass",'
+        echo '  "verified_at_utc": "'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'",'
+        echo '  "summary": "Consensus PASS: both claude and codex verified independently",'
+        echo '  "recommended_state_transition": "complete",'
+        echo '  "consensus": {'
+        echo '    "claude": { "verdict": "pass", "file": "'"$claude_verdict_file"'" },'
+        echo '    "codex": { "verdict": "pass", "file": "'"$codex_verdict_file"'" },'
+        echo '    "round": '"$CONSENSUS_ROUND"
+        echo '  }'
+        echo '}'
+      } | atomic_write "$VERDICT_FILE"
+      return 0
+    fi
+
+    # Consensus disagreement
+    log_debug "[GOV] iter=$iter phase=consensus_disagreement round=$CONSENSUS_ROUND claude=$CLAUDE_VERDICT codex=$CODEX_VERDICT action=fix_contract"
+
+    # NOTE: pre_existing_failure heuristic was removed (v0.3.5).
+    # It used unreliable grep-in-description string matching to classify
+    # consensus failures as "pre-existing", bypassing the consensus rule.
+    # Consensus disagreement now ALWAYS flows to fix contract.
+    # Codex CLI crash (no verdict file) is handled upstream via run_single_verifier return 1 → BLOCKED.
+
+    # --- Consensus disagreement: build fix contract ---
+    local fix_contract="$LOGS_DIR/iter-$(printf '%03d' $iter).fix-contract.md"
+    {
+      echo "# Fix Contract (Consensus Round $CONSENSUS_ROUND, iteration $iter)"
+      echo ""
+      echo "## Claude Verdict: $CLAUDE_VERDICT"
+      if [[ "$CLAUDE_VERDICT" = "fail" ]]; then
+        echo "### Claude Issues"
+        jq -r '.issues[]? | "- [\(.severity // "unknown")] \(.criterion // "?"): \(.description // "no description")\(if .fix_hint then " (hint: \(.fix_hint))" else "" end)"' "$claude_verdict_file" 2>/dev/null || echo "- (no structured issues)"
+      fi
+      echo ""
+      echo "## Codex Verdict: $CODEX_VERDICT"
+      if [[ "$CODEX_VERDICT" = "fail" ]]; then
+        echo "### Codex Issues"
+        jq -r '.issues[]? | "- [\(.severity // "unknown")] \(.criterion // "?"): \(.description // "no description")\(if .fix_hint then " (hint: \(.fix_hint))" else "" end)"' "$codex_verdict_file" 2>/dev/null || echo "- (no structured issues)"
+      fi
+      echo ""
+      echo "## Traceability"
+      echo "Only changes that resolve a listed issue are allowed."
+    } | atomic_write "$fix_contract"
+
+    log "  Combined fix contract: $fix_contract"
+
+    # If this is not the last round, the caller will dispatch the Worker with the fix contract
+    # For now, write a fail verdict so the main loop can handle the fix loop
+    if (( CONSENSUS_ROUND < 6 )); then
+      # Create a merged fail verdict for the main loop — include issues from BOTH verdicts
+      local merged_issues="[]"
+      local claude_issues codex_issues
+      claude_issues=$(jq -c '[.issues[]? | . + {"source": "claude"}]' "$claude_verdict_file" 2>/dev/null || echo '[]')
+      codex_issues=$(jq -c '[.issues[]? | . + {"source": "codex"}]' "$codex_verdict_file" 2>/dev/null || echo '[]')
+      merged_issues=$(echo "$claude_issues $codex_issues" | jq -s 'add // []')
+      {
+        echo '{'
+        echo '  "verdict": "fail",'
+        echo '  "verified_at_utc": "'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'",'
+        echo '  "summary": "Consensus disagreement (round '"$CONSENSUS_ROUND"'/6): claude='"$CLAUDE_VERDICT"' codex='"$CODEX_VERDICT"'",'
+        echo '  "issues": '"$merged_issues"','
+        echo '  "recommended_state_transition": "continue",'
+        echo '  "consensus": { "claude": "'"$CLAUDE_VERDICT"'", "codex": "'"$CODEX_VERDICT"'", "round": '"$CONSENSUS_ROUND"' }'
+        echo '}'
+      } | atomic_write "$VERDICT_FILE"
+      return 2  # special return: consensus disagreement, needs retry
+    fi
+  done
+
+  # Max consensus rounds exceeded — include issues from both verdicts
+  log_error "Consensus failed after 6 rounds"
+  local final_claude_issues final_codex_issues final_merged_issues
+  final_claude_issues=$(jq -c '[.issues[]? | . + {"source": "claude"}]' "$claude_verdict_file" 2>/dev/null || echo '[]')
+  final_codex_issues=$(jq -c '[.issues[]? | . + {"source": "codex"}]' "$codex_verdict_file" 2>/dev/null || echo '[]')
+  final_merged_issues=$(echo "$final_claude_issues $final_codex_issues" | jq -s 'add // []')
+  {
+    echo '{'
+    echo '  "verdict": "fail",'
+    echo '  "verified_at_utc": "'"$(date -u +%Y-%m-%dT%H:%M:%SZ)"'",'
+    echo '  "summary": "Consensus failed after 6 rounds: claude='"$CLAUDE_VERDICT"' codex='"$CODEX_VERDICT"'",'
+    echo '  "issues": '"$final_merged_issues"','
+    echo '  "recommended_state_transition": "blocked",'
+    echo '  "consensus": { "claude": "'"$CLAUDE_VERDICT"'", "codex": "'"$CODEX_VERDICT"'", "round": 6 }'
+    echo '}'
+  } | atomic_write "$VERDICT_FILE"
+  return 1
+}
+
+# =============================================================================
+# Main Leader Loop
+# =============================================================================
+
+main() {
+  # --- US-026 R14 P0: project-scoped runner lockfile (mkdir atomic) ---
+  # Prevents duplicate runners on the same project root regardless of slug.
+  # Different ROOT_HASH allows independent parallel runners across projects.
+  mkdir -p "$(dirname "$RUNNER_LOCKFILE_PATH")" 2>/dev/null
+  if ! mkdir "$RUNNER_LOCKDIR" 2>/dev/null; then
+    local existing existing_slug
+    existing=$(jq -r '.pid' "$RUNNER_LOCKFILE_PATH" 2>/dev/null || echo 0)
+    existing_slug=$(jq -r '.slug // "unknown"' "$RUNNER_LOCKFILE_PATH" 2>/dev/null || echo unknown)
+    if [[ "$existing" -gt 0 ]] && kill -0 "$existing" 2>/dev/null; then
+      echo "duplicate rlp-desk runner detected on this project root. existing pid=$existing slug=$existing_slug, this attempt slug=$SLUG. exiting." >&2
+      echo "  Recover with: rm -rf '$RUNNER_LOCKDIR' '$RUNNER_LOCKFILE_PATH' (only if pid $existing is confirmed dead)" >&2
+      exit 1
+    fi
+    rm -rf "$RUNNER_LOCKDIR"
+    mkdir "$RUNNER_LOCKDIR" 2>/dev/null || {
+      echo "failed to acquire runner lock after stale cleanup; another wrapper raced ahead. exit 1" >&2
+      exit 1
+    }
+    echo "stale runner lockfile cleaned (pid $existing dead) — acquired" >&2
+  fi
+  printf '{"pid":%s,"slug":"%s","root":"%s","started_at":"%s"}\n' \
+    "$$" "$SLUG" "$ROOT" "$(date -u +%Y-%m-%dT%H:%M:%SZ)" > "$RUNNER_LOCKFILE_PATH"
+
+  # --- Lockfile: prevent duplicate execution ---
+  local lockfile="$LOCKFILE_PATH"
+  mkdir -p "$(dirname "$lockfile")" 2>/dev/null
+  if ! (set -C; echo $$ > "$lockfile") 2>/dev/null; then
+    local lock_pid
+    lock_pid=$(cat "$lockfile" 2>/dev/null)
+    if kill -0 "$lock_pid" 2>/dev/null; then
+      log_error "Another instance is already running (PID $lock_pid). Kill $lock_pid or rm $lockfile"
+      exit 1
+    fi
+    # Stale lock — overwrite
+    log "Stale lock detected (PID ${lock_pid:-unknown} not running), recovering"
+    echo $$ > "$lockfile"
+    LOCKFILE_ACQUIRED=1
+  else
+    LOCKFILE_ACQUIRED=1
+  fi
+  # US-023 R11 P2-K: chain `_emit_final_cost_log` so cost-log.jsonl is never silently empty on exit.
+  trap '_emit_final_cost_log; cleanup' EXIT INT TERM
+  mkdir -p "$LOGS_DIR" "$RUNTIME_DIR" 2>/dev/null
+
+  # --- Analytics directory: always create (campaign.jsonl + metadata.json are always-on) ---
+  mkdir -p "$ANALYTICS_DIR" 2>/dev/null
+
+  # --- debug.log versioning (in analytics dir, --debug only) ---
+  if (( DEBUG )) && [[ -f "$DEBUG_LOG" ]]; then
+    local dbg_n=1
+    while [[ -f "${DEBUG_LOG%.log}-v${dbg_n}.log" ]]; do
+      (( dbg_n++ ))
+    done
+    mv "$DEBUG_LOG" "${DEBUG_LOG%.log}-v${dbg_n}.log"
+  fi
+
+  # --- campaign.jsonl versioning (always-on) ---
+  if [[ -f "$CAMPAIGN_JSONL" ]]; then
+    local cj_n=1
+    while [[ -f "${CAMPAIGN_JSONL%.jsonl}-v${cj_n}.jsonl" ]]; do
+      (( cj_n++ ))
+    done
+    mv "$CAMPAIGN_JSONL" "${CAMPAIGN_JSONL%.jsonl}-v${cj_n}.jsonl"
+  fi
+
+  # --- metadata.json: always write at campaign start (cross-project identification) ---
+  jq -n \
+    --arg slug "$SLUG" \
+    --arg project_root "$ROOT" \
+    --arg project_name "$(basename "$ROOT")" \
+    --arg campaign_status "running" \
+    --arg start_time "$(date -u +%Y-%m-%dT%H:%M:%SZ)" \
+    --arg end_time "" \
+    --arg worker_model "$WORKER_MODEL" \
+    --arg verifier_model "$VERIFIER_MODEL" \
+    --argjson debug "$DEBUG" \
+    --argjson with_sv "$WITH_SELF_VERIFICATION" \
+    --argjson with_sv_requested "$WITH_SELF_VERIFICATION_REQUESTED" \
+    --arg sv_skipped_reason "$SV_SKIPPED_REASON" \
+    --arg lane_mode "$LANE_MODE" \
+    --argjson consensus "${VERIFY_CONSENSUS:-0}" \
+    '{slug: $slug, project_root: $project_root, project_name: $project_name, campaign_status: $campaign_status, start_time: $start_time, end_time: $end_time, worker_model: $worker_model, verifier_model: $verifier_model, debug: $debug, with_self_verification: $with_sv, with_self_verification_requested: $with_sv_requested, sv_skipped_reason: $sv_skipped_reason, lane_mode: $lane_mode, consensus: $consensus}' \
+    > "$METADATA_FILE"
+
+  # --- Startup ---
+  log "Ralph Desk Tmux Runner starting..."
+  log "  Slug:            $SLUG"
+  log "  Root:            $ROOT"
+  log "  Max iterations:  $MAX_ITER"
+  log "  Worker model:    $WORKER_MODEL"
+  log "  Verifier model:  $VERIFIER_MODEL (per-US) / $FINAL_VERIFIER_MODEL (final)"
+  log "  Verify mode:     $VERIFY_MODE"
+  log "  Consensus mode:  $CONSENSUS_MODE"
+  log "  Consensus model: $CONSENSUS_MODEL (per-US) / $FINAL_CONSENSUS_MODEL (final)"
+  log "  Poll interval:   ${POLL_INTERVAL}s"
+  log "  Iter timeout:    ${ITER_TIMEOUT}s"
+  # --- Debug: Log execution plan ---
+  if (( DEBUG )); then
+    # Extract US IDs from PRD
+    local prd_file="$DESK/plans/prd-$SLUG.md"
+    local us_list=""
+    if [[ -f "$prd_file" ]]; then
+      us_list=$(grep -oE 'US-[0-9]+' "$prd_file" | sort -u | tr '\n' ',' | sed 's/,$//')
+    fi
+    local us_count=$(echo "$us_list" | tr ',' '\n' | grep -c 'US-')
+
+    log_debug "[OPTION] slug=$SLUG us_count=$us_count us_list=$us_list"
+    log_debug "[OPTION] worker_engine=$WORKER_ENGINE worker_model=$WORKER_MODEL"
+    log_debug "[OPTION] verifier_engine=$VERIFIER_ENGINE verifier_model=$VERIFIER_MODEL"
+    log_debug "[OPTION] verify_mode=$VERIFY_MODE consensus_mode=$CONSENSUS_MODE max_iter=$MAX_ITER"
+    log_debug "[OPTION] cb_threshold=$CB_THRESHOLD effective_cb_threshold=$EFFECTIVE_CB_THRESHOLD iter_timeout=$ITER_TIMEOUT with_self_verification=$WITH_SELF_VERIFICATION (requested=$WITH_SELF_VERIFICATION_REQUESTED skipped=${SV_SKIPPED_REASON:-none}) debug=$DEBUG"
+
+    if [[ "$VERIFY_MODE" = "per-us" ]]; then
+      # Build expected flow
+      local expected_flow=""
+      for us in $(echo "$us_list" | tr ',' ' '); do
+        expected_flow="${expected_flow}worker->verify($us)->"
+      done
+      expected_flow="${expected_flow}verify(ALL)->COMPLETE"
+      log_debug "[OPTION] expected_flow=$expected_flow"
+    else
+      log_debug "[OPTION] expected_flow=worker(all)->verify(ALL)->COMPLETE"
+    fi
+
+    if [[ "${VERIFY_CONSENSUS:-0}" = "1" ]]; then
+      log_debug "[OPTION] consensus_flow=each_verify_runs_claude+codex_both_must_pass"
+    fi
+  fi
+
+  # Extract US list for per-US sequencing
+  if [[ "$VERIFY_MODE" = "per-us" ]]; then
+    local prd_file="$DESK/plans/prd-$SLUG.md"
+    if [[ -f "$prd_file" ]]; then
+      US_LIST=$(grep -oE 'US-[0-9]+' "$prd_file" | sort -u | tr '\n' ',' | sed 's/,$//')
+    fi
+
+  # Initialize VERIFIED_US from memory's Completed Stories (carry over previous runs)
+  local memory_file="$DESK/memos/${SLUG}-memory.md"
+  if [[ -f "$memory_file" ]]; then
+      local completed_us
+      completed_us=$(sed -n '/^## Completed Stories$/,/^## /p' "$memory_file" 2>/dev/null | grep '^- US-' | sed 's/^- \(US-[0-9]*\):.*/\1/' | sort -u | tr '\n' ',' | sed 's/,$//')
+      if [[ -n "$completed_us" ]]; then
+        VERIFIED_US="$completed_us"
+        log "  Loaded completed stories from memory: $VERIFIED_US"
+        log_debug "[FLOW] loaded_verified_us_from_memory=$VERIFIED_US"
+      fi
+    fi
+
+    # D1: Fallback — restore verified_us from status.json if memory had none
+    if [[ -z "$VERIFIED_US" && -f "$STATUS_FILE" ]]; then
+      local status_verified
+      status_verified=$(jq -r '.verified_us // [] | join(",")' "$STATUS_FILE" 2>/dev/null)
+      if [[ -n "$status_verified" ]]; then
+        VERIFIED_US="$status_verified"
+        log "  Restored verified_us from status.json: $VERIFIED_US"
+        log_debug "[FLOW] restored_verified_us_from_status=$VERIFIED_US"
+      fi
+    fi
+  fi
+
+  # Initialize PRD snapshot state for live update detection
+  PREV_PRD_HASH=$(compute_prd_hash)
+  PREV_PRD_US_LIST=$(count_prd_us)
+
+  # Dependency checks
+  check_dependencies
+
+  # Print security warning (governance.md s7: --dangerously-skip-permissions)
+  print_security_warning
+
+  # Validate scaffold
+  validate_scaffold
+
+  # Check for existing sessions
+  check_existing_sessions
+
+  # Create tmux session with pane IDs (governance.md s7 step 1)
+  create_session
+
+  # Set trap for cleanup on exit/error
+  # US-023 R11 P2-K: chain `_emit_final_cost_log` so cost-log.jsonl is never silently empty.
+  trap '_emit_final_cost_log; cleanup' EXIT
+
+  # Initialize context hash for stale detection
+  PREV_CONTEXT_HASH=$(compute_context_hash)
+
+  # --- governance.md s7: Leader Loop ---
+  local HARD_CEILING=$(( ITER_TIMEOUT * 3 ))  # logged but NOT enforced — Worker extends indefinitely when active
+
+  for (( ITERATION = 1; ITERATION <= MAX_ITER; ITERATION++ )); do
+    # US-024 R12 P0: lifecycle check site #2 — verify session/panes alive at iter entry.
+    _r12_check_lifecycle "iter_start"
+    log ""
+    log "========== Iteration $ITERATION / $MAX_ITER =========="
+    local ITER_START_TIME
+    ITER_START_TIME=$(date +%s)
+    local _iter_contract=""
+    _iter_contract=$(sed -n '/^## Next Iteration Contract$/,/^## /{ /^## Next/d; /^## [^N]/d; p; }' "$MEMORY_FILE" 2>/dev/null | head -1 | tr '\n' ' ')
+    log_debug "[FLOW] iter=$ITERATION start contract=\"${_iter_contract:-none}\""
+
+    # --- governance.md s7 step 1: Check sentinels ---
+    if [[ -f "$COMPLETE_SENTINEL" ]]; then
+      log "COMPLETE sentinel found. Campaign succeeded."
+      update_status "complete" "complete"
+      return 0
+    fi
+    if [[ -f "$BLOCKED_SENTINEL" ]]; then
+      log "BLOCKED sentinel found. Campaign blocked."
+      update_status "blocked" "blocked"
+      return 1
+    fi
+
+    # --- governance.md s7 step 8 (cleanup): Clean previous iteration signals ---
+    rm -f "$SIGNAL_FILE" "$DONE_CLAIM_FILE" "$VERDICT_FILE" 2>/dev/null
+    rm -f "$WORKER_HEARTBEAT" "$VERIFIER_HEARTBEAT" 2>/dev/null
+
+    # --- Clean previous claude session in panes (one-shot lifecycle) ---
+    # Only needed from iteration 2 onwards (iteration 1 has fresh panes)
+    if (( ITERATION > 1 )); then
+      # Send C-c first (in case claude is mid-task), then /exit
+      tmux send-keys -t "$WORKER_PANE" C-c 2>/dev/null
+      sleep 1
+      tmux send-keys -t "$WORKER_PANE" "/exit" C-m 2>/dev/null
+      sleep 2
+      # Wait for shell prompt before proceeding
+      wait_for_pane_ready "$WORKER_PANE" 10 2>/dev/null || true
+    fi
+
+    # Reset per-iteration state
+    local worker_nudge_count=0
+    local verifier_nudge_count=0
+    ITER_VERIFIER_START=""
+    ITER_VERIFIER_END=""
+
+    # --- US-004: detect PRD changes for live update + re-split ---
+    check_prd_update
+
+    # --- governance.md s7 step 4: Build worker prompt + trigger ---
+    write_worker_trigger "$ITERATION"
+    local worker_prompt="$LOGS_DIR/iter-$(printf '%03d' $ITERATION).worker-prompt.md"
+
+    # AC1: capture worker start timestamp
+    ITER_WORKER_START=$(date +%s)
+
+    update_status "worker" "running"
+
+    # --- governance.md s7 step 5: Execute Worker (dispatched to engine-specific function) ---
+    log_debug "[FLOW] iter=$ITERATION phase=worker engine=$WORKER_ENGINE model=$WORKER_MODEL dispatched=true"
+
+    local worker_launch
+    if [[ "$WORKER_ENGINE" = "codex" ]]; then
+      worker_launch="${CODEX_BIN:-codex} -m $WORKER_CODEX_MODEL -c model_reasoning_effort=\"$WORKER_CODEX_REASONING\" --disable plugins --dangerously-bypass-approvals-and-sandbox"
+      if ! launch_worker_codex "$WORKER_PANE" "$worker_prompt" "$ITERATION" "$worker_launch"; then
+        write_blocked_sentinel "Worker codex failed to start in pane" "" "infra_failure"
+        update_status "blocked" "worker_start_failed"
+        return 1
+      fi
+    else
+      worker_launch="$(build_claude_cmd tui "$WORKER_MODEL" "" "" "$WORKER_EFFORT")"
+      if ! launch_worker_claude "$WORKER_PANE" "$worker_prompt" "$ITERATION" "$worker_launch"; then
+        write_blocked_sentinel "Worker claude failed to start in pane" "" "infra_failure"
+        update_status "blocked" "worker_start_failed"
+        return 1
+      fi
+    fi
+
+    # --- governance.md s7 step 5+6: Poll for Worker completion ---
+    # US-024 R12 P0: lifecycle check site #3 — verify panes alive after worker dispatch, before wait-loop.
+    _r12_check_lifecycle "post_send"
+    log "  Polling for iter-signal.json..."
+    local worker_poll_done=0
+    while (( ! worker_poll_done )); do
+      local worker_poll_rc=0
+      if poll_for_signal "$SIGNAL_FILE" "$WORKER_HEARTBEAT" "$WORKER_PANE" "$worker_launch" "Worker"; then
+        worker_poll_done=1
+        log_debug "[FLOW] iter=$ITERATION poll_signal_received=true"
+      else
+        worker_poll_rc=$?
+        if (( worker_poll_rc == 2 )); then
+          return 1
+        fi
+        # Check if Worker is still actively running (not stuck)
+        local worker_cmd
+        worker_cmd=$(tmux display-message -p -t "$WORKER_PANE" '#{pane_current_command}' 2>/dev/null)
+        if [[ "$worker_cmd" == "node" || "$worker_cmd" == "claude" || "$worker_cmd" == "codex" ]]; then
+          # Process alive — extend indefinitely (no hard ceiling kill)
+          # Stale-context breaker and nudge system handle truly stuck workers
+          local iter_elapsed=$(( $(date +%s) - ITER_START_TIME ))
+          local ceiling_exceeded=""
+          if (( iter_elapsed >= HARD_CEILING )); then
+            ceiling_exceeded=" [EXCEEDED hard_ceiling=${HARD_CEILING}s — not enforced, logged only]"
+            log "  WARNING: Worker exceeded soft hard-ceiling (${iter_elapsed}s >= ${HARD_CEILING}s) but still active. Continuing..."
+            log_debug "[GOV] iter=$ITERATION hard_ceiling_exceeded=true elapsed=${iter_elapsed}s ceiling=${HARD_CEILING}s process=$worker_cmd action=log_only_no_kill"
+          fi
+          log "  Worker timed out but still active ($worker_cmd). Extending poll... (${iter_elapsed}s, no ceiling)${ceiling_exceeded}"
+          log_debug "[GOV] iter=$ITERATION timeout_active=true process=$worker_cmd elapsed=${iter_elapsed}s action=extend_indefinitely"
+          log_debug "[FLOW] iter=$ITERATION poll_extended=true worker_cmd=$worker_cmd"
+          update_status "worker" "slow"
+          # Loop continues — re-poll same iteration
+        else
+          # Worker is truly dead/stuck
+          (( MONITOR_FAILURE_COUNT++ ))
+          log_debug "[GOV] iter=$ITERATION monitor_failure=$MONITOR_FAILURE_COUNT/3"
+          if (( MONITOR_FAILURE_COUNT >= 3 )); then
+            log_debug "[GOV] iter=$ITERATION circuit_breaker=monitor_failures detail=\"3 consecutive monitor failures\""
+            write_blocked_sentinel "3 consecutive monitor failures (worker not active)" "" "infra_failure"
+            update_status "blocked" "monitor_failures"
+            return 1
+          fi
+          log "  WARNING: Worker poll failed (monitor failure $MONITOR_FAILURE_COUNT/3) — will retry"
+          update_status "worker" "poll_failed"
+          log_debug "[FLOW] iter=$ITERATION poll_worker_dead=true worker_cmd=$worker_cmd retry=true"
+          # v0.14.3 P0-5 (Bug Report #5): previously this branch wrote BLOCKED
+          # unconditionally even at counter 1/3, so a single transient
+          # worker-dead detection halted the campaign in 5s instead of
+          # honoring the 3-strike circuit breaker above (L3001-3006). Removed
+          # the unconditional sentinel write; the loop now continues so the
+          # next polling tick can either confirm the dead state (counter
+          # eventually reaches 3 → BLOCKED) or recover (worker resumes →
+          # MONITOR_FAILURE_COUNT reset on success at L3025).
+        fi
+      fi
+    done
+
+    if [[ ! -f "$SIGNAL_FILE" ]]; then
+      log_debug "[FLOW] iter=$ITERATION no_signal_after_poll=true continuing"
+      # No signal — monitor failure, go to next iteration
+      continue
+    fi
+
+    # Reset monitor failure count on success
+    MONITOR_FAILURE_COUNT=0
+
+    # AC1: capture worker end timestamp; reset consensus timing
+    ITER_WORKER_END=$(date +%s)
+    ITER_VERIFIER_CLAUDE_DURATION_S=""
+    ITER_VERIFIER_CODEX_DURATION_S=""
+
+    # --- governance.md s7 step 6: Read iter-signal.json via jq (JSON only, no markdown) ---
+    local signal_status
+    signal_status=$(jq -r '.status' "$SIGNAL_FILE" 2>/dev/null)
+    local signal_summary
+    signal_summary=$(jq -r '.summary // "no summary"' "$SIGNAL_FILE" 2>/dev/null)
+
+    log "  Worker signal: status=$signal_status summary=\"$signal_summary\""
+
+    # Read us_id early for EXEC logging (also used later in verify branch)
+    local signal_us_id_early=""
+    signal_us_id_early=$(jq -r '.us_id // empty' "$SIGNAL_FILE" 2>/dev/null)
+    log_debug "[FLOW] iter=$ITERATION phase=worker_signal status=$signal_status us_id=${signal_us_id_early:-none} summary=\"$signal_summary\""
+
+    case "$signal_status" in
+      continue)
+        # --- governance.md s7 step 6: continue -> go to step 8 ---
+        log "  Worker requests continue. Moving to next iteration."
+        update_status "worker" "continue"
+        ;;
+      verify_partial)
+        # US-019 R7 P1-G: Worker explicitly verified a subset of ACs and deferred the rest.
+        # Verifier evaluates only verified_acs. Malformed (empty verified_acs) downgrades to blocked.
+        local vp_count
+        vp_count=$(jq -r '.verified_acs // [] | length' "$SIGNAL_FILE" 2>/dev/null || echo 0)
+        if [[ "$vp_count" -eq 0 ]]; then
+          log "  Worker signal verify_partial but verified_acs is empty — downgrading to blocked (verify_partial_malformed)."
+          local vp_us_id
+          vp_us_id=$(jq -r '.us_id // empty' "$SIGNAL_FILE" 2>/dev/null)
+          write_blocked_sentinel "verify_partial_malformed: empty verified_acs" "${vp_us_id:-${CURRENT_US:-ALL}}" "mission_abort"
+          update_status "blocked" "verify_partial_malformed"
+          break
+        fi
+        log "  Worker signal verify_partial (verified_acs count=$vp_count). Routing to verify path."
+        signal_status="verify"
+        ;&
+      verify)
+        # --- governance.md s7 step 7: Execute Verifier ---
+        # Read us_id from signal for per-US scoping
+        local signal_us_id=""
+        signal_us_id=$(jq -r '.us_id // empty' "$SIGNAL_FILE" 2>/dev/null)
+        log "  Worker claims done (us_id=${signal_us_id:-all}). Dispatching Verifier..."
+
+        # AC1: capture verifier start timestamp
+        ITER_VERIFIER_START=$(date +%s)
+
+        update_status "verifier" "running"
+
+        # --- Sequential final verify: per-US scoped checks instead of one big ALL verify ---
+        if [[ "$signal_us_id" == "ALL" && "$VERIFY_MODE" == "per-us" && -n "$US_LIST" ]]; then
+          log "  Final ALL verify: using sequential per-US strategy (timeout prevention)"
+          local seq_rc=0
+          run_sequential_final_verify "$ITERATION" || seq_rc=$?
+          if (( seq_rc == 0 )); then
+            write_complete_sentinel "Sequential final verify passed (all US verified individually)"
+            update_status "complete" "pass"
+            write_campaign_jsonl "$ITERATION" "ALL" "pass"
+            return 0
+          else
+            # Sequential verify failed — fall through to fix loop with failed US
+            log "  Sequential final verify failed at ${FAILED_US:-unknown}. Entering fix loop."
+            signal_us_id="${FAILED_US:-ALL}"
+            # Synthesize a fail verdict for the fix loop
+            echo "{\"verdict\":\"fail\",\"summary\":\"Sequential final verify failed at ${FAILED_US:-unknown}\",\"issues\":[{\"severity\":\"critical\",\"criterion\":\"${FAILED_US:-ALL}\",\"description\":\"Failed during sequential final verification\"}]}" | atomic_write "$VERDICT_FILE"
+          fi
+        fi
+
+        # --- Consensus scope check (US-005: _should_use_consensus handles CONSENSUS_MODE) ---
+        local use_consensus=0
+        _should_use_consensus "$signal_us_id" && use_consensus=1
+
+        # --- Consensus vs single verification ---
+        if (( use_consensus )); then
+          # US-004: Run consensus verification (claude + codex sequentially)
+          local consensus_rc=0
+          run_consensus_verification "$ITERATION" || consensus_rc=$?
+
+          if (( consensus_rc == 2 )); then
+            # Consensus disagreement — treat as fail, fix loop will handle
+            log "  Consensus disagreement, treating as fail."
+          elif (( consensus_rc != 0 )); then
+            # Consensus verification failed entirely
+            log_error "Consensus verification failed"
+            write_blocked_sentinel "Consensus verification failed after max rounds" "" "repeat_axis"
+            update_status "blocked" "consensus_failed"
+            return 1
+          fi
+        else
+          # Standard single-engine verification
+          write_verifier_trigger "$ITERATION"
+          local verifier_prompt="$LOGS_DIR/iter-$(printf '%03d' $ITERATION).verifier-prompt.md"
+
+          # Step 7a: Clean previous Verifier session (with dead pane detection)
+          local verifier_cmd
+          verifier_cmd=$(tmux display-message -p -t "$VERIFIER_PANE" '#{pane_current_command}' 2>/dev/null)
+          if [[ -z "$verifier_cmd" ]]; then
+            log "  Verifier pane $VERIFIER_PANE is gone — replacing..."
+            log_debug "[GOV] iter=$ITERATION pane_dead=true pane_id=$VERIFIER_PANE action=replace_pane"
+            replace_worker_pane "$VERIFIER_PANE" "verifier"
+            VERIFIER_PANE=$(jq -r '.panes.verifier' "$SESSION_CONFIG")
+            log "  New verifier pane: $VERIFIER_PANE"
+          elif [[ "$verifier_cmd" == "zsh" || "$verifier_cmd" == "bash" ]]; then
+            log "  Verifier pane $VERIFIER_PANE has bare shell ($verifier_cmd) — resetting..."
+            log_debug "[GOV] iter=$ITERATION pane_dead=true pane_id=$VERIFIER_PANE cmd=$verifier_cmd action=reset_shell"
+            tmux send-keys -t "$VERIFIER_PANE" C-c C-u 2>/dev/null
+            sleep 0.2
+            tmux send-keys -t "$VERIFIER_PANE" "clear" C-m 2>/dev/null
+            sleep 0.3
+          elif [[ "$verifier_cmd" == "node" || "$verifier_cmd" == "claude" || "$verifier_cmd" == "codex" ]]; then
+            tmux send-keys -t "$VERIFIER_PANE" C-c 2>/dev/null
+            sleep 0.5
+            tmux send-keys -t "$VERIFIER_PANE" "/exit" C-m 2>/dev/null
+            sleep 2
+          fi
+          wait_for_pane_ready "$VERIFIER_PANE" 10 2>/dev/null || true
+
+          local verifier_launch
+          if [[ "$VERIFIER_ENGINE" = "codex" ]]; then
+            verifier_launch="${CODEX_BIN:-codex} -m $VERIFIER_CODEX_MODEL -c model_reasoning_effort=\"$VERIFIER_CODEX_REASONING\" --disable plugins --dangerously-bypass-approvals-and-sandbox"
+          else
+            verifier_launch="$(build_claude_cmd tui "$VERIFIER_MODEL" "" "" "$VERIFIER_EFFORT")"
+          fi
+          log_debug "[FLOW] iter=$ITERATION phase=verifier engine=$VERIFIER_ENGINE model=$VERIFIER_MODEL scope=${signal_us_id:-all} dispatched=true"
+
+          if [[ "$VERIFIER_ENGINE" = "codex" ]]; then
+            launch_verifier_codex "$VERIFIER_PANE" "$verifier_prompt" "$ITERATION" "$verifier_launch"
+          else
+            if ! launch_verifier_claude "$VERIFIER_PANE" "$verifier_prompt" "$ITERATION" "$verifier_launch"; then
+              update_status "verifier" "start_failed"
+              continue
+            fi
+          fi
+
+          # Poll for verify-verdict.json
+          log "  Polling for verify-verdict.json..."
+          if ! poll_for_signal "$VERDICT_FILE" "$VERIFIER_HEARTBEAT" "$VERIFIER_PANE" "$verifier_launch" "Verifier"; then
+            local verifier_poll_rc=$?
+            if (( verifier_poll_rc == 2 )); then
+              return 1
+            fi
+            log_error "Verifier poll failed"
+            # Verifier is dead/stuck — BLOCK and let user decide
+            write_blocked_sentinel "Verifier process dead/stuck (poll failed). Pane preserved for inspection." "" "infra_failure"
+            update_status "blocked" "verifier_dead"
+            return 1
+          fi
+        fi
+
+        # AC1: capture verifier end timestamp
+        ITER_VERIFIER_END=$(date +%s)
+
+        # --- governance.md s7 step 7: Read verdict via jq ---
+        local verdict
+        verdict=$(jq -r '.verdict' "$VERDICT_FILE" 2>/dev/null)
+        local recommended
+        recommended=$(jq -r '.recommended_state_transition' "$VERDICT_FILE" 2>/dev/null)
+        local verdict_summary
+        verdict_summary=$(jq -r '.summary // "no summary"' "$VERDICT_FILE" 2>/dev/null)
+
+        log "  Verifier: verdict=$verdict recommended=$recommended"
+        log "  Verifier summary: \"$verdict_summary\""
+        local _issues_count=$(jq '.issues | length' "$VERDICT_FILE" 2>/dev/null || echo 0)
+        log_debug "[GOV] iter=$ITERATION phase=verdict engine=$VERIFIER_ENGINE verdict=$verdict recommended=$recommended us_id=${signal_us_id:-all} issues=$_issues_count"
+
+        case "$verdict" in
+          pass)
+            CONSECUTIVE_FAILURES=0
+            CONSENSUS_ROUND=0
+            _SAME_US_FAIL_COUNT=0
+            _LAST_FAILED_US=""
+            if (( _MODEL_UPGRADED )); then
+              log "  Worker model restored: ${WORKER_MODEL} → ${_ORIGINAL_WORKER_MODEL} (pass verdict)"
+              log_debug "[DECIDE] iter=$ITERATION phase=model_select model_restore=true from=${WORKER_MODEL} to=${_ORIGINAL_WORKER_MODEL}"
+              WORKER_MODEL="$_ORIGINAL_WORKER_MODEL"
+              if [[ "$WORKER_ENGINE" = "codex" ]]; then
+                WORKER_CODEX_MODEL="$WORKER_MODEL"
+                WORKER_CODEX_REASONING="$_ORIGINAL_WORKER_CODEX_REASONING"
+              fi
+              _MODEL_UPGRADED=0
+            fi
+
+            # --- Verified US tracking (both per-us and batch modes) ---
+            if [[ -n "$signal_us_id" && "$signal_us_id" != "ALL" ]]; then
+              # Add this US to verified list
+              if [[ -n "$VERIFIED_US" ]]; then
+                VERIFIED_US="${VERIFIED_US},${signal_us_id}"
+              else
+                VERIFIED_US="$signal_us_id"
+              fi
+              log "  US $signal_us_id verified. Verified so far: $VERIFIED_US"
+              log_debug "[FLOW] iter=$ITERATION verified_us_update=$signal_us_id verified_us_total=$VERIFIED_US"
+              update_status "verifier" "pass_us"
+              # Worker will do next US on next iteration
+            elif [[ "$recommended" == "complete" || "$signal_us_id" == "ALL" ]]; then
+              # Final full verify passed or complete recommended
+              write_complete_sentinel "$verdict_summary"
+              update_status "complete" "pass"
+              write_campaign_jsonl "$ITERATION" "${signal_us_id:-ALL}" "pass"
+              return 0
+            else
+              log "  Verifier passed but did not recommend complete. Continuing."
+              update_status "verifier" "pass_continue"
+            fi
+            ;;
+          fail)
+            # --- governance.md s7½: Fix Loop (adapted for tmux lean mode) ---
+
+            # Parse per_us_results from verdict to track partial progress (batch + per-us)
+            local _prev_verified="$VERIFIED_US"
+            if jq -e '.per_us_results' "$VERDICT_FILE" &>/dev/null; then
+              local _newly_passed
+              _newly_passed=$(jq -r '.per_us_results | to_entries[] | select(.value == "pass") | .key' "$VERDICT_FILE" 2>/dev/null)
+              for _pus in $(echo "$_newly_passed"); do
+                if ! echo ",$VERIFIED_US," | grep -q ",$_pus,"; then
+                  if [[ -n "$VERIFIED_US" ]]; then
+                    VERIFIED_US="${VERIFIED_US},${_pus}"
+                  else
+                    VERIFIED_US="$_pus"
+                  fi
+                  log "  Partial progress: $_pus passed (overall FAIL). Verified so far: $VERIFIED_US"
+                fi
+              done
+              log_debug "[FLOW] iter=$ITERATION partial_progress prev=$_prev_verified now=$VERIFIED_US"
+            fi
+
+            # Partial progress resets consecutive failures (progress was made)
+            if [[ "$VERIFIED_US" != "$_prev_verified" ]]; then
+              CONSECUTIVE_FAILURES=0
+              log "  Progress detected — consecutive_failures reset to 0"
+              log_debug "[GOV] iter=$ITERATION consecutive_failures_reset=partial_progress"
+            fi
+
+            (( CONSECUTIVE_FAILURES++ ))
+            record_us_failure "${signal_us_id:-unknown}"
+            check_model_upgrade "${signal_us_id:-unknown}"
+
+            # Mid-CB warning: alert at halfway point (governance §8 early warning)
+            if (( CONSECUTIVE_FAILURES == EFFECTIVE_CB_THRESHOLD / 2 )); then
+              log "  [WARN] Mid-CB: $CONSECUTIVE_FAILURES/${EFFECTIVE_CB_THRESHOLD} consecutive failures — consider reviewing AC quality"
+              log_debug "[GOV] iter=$ITERATION mid_cb_warning=true consecutive_failures=$CONSECUTIVE_FAILURES threshold=$EFFECTIVE_CB_THRESHOLD"
+            fi
+            local verdict_summary_fail
+            verdict_summary_fail=$(jq -r '.summary // "no summary"' "$VERDICT_FILE" 2>/dev/null)
+            log "  Verifier FAILED (consecutive: $CONSECUTIVE_FAILURES). Building fix contract..."
+
+            # Extract issues from verdict for next Worker's fix contract
+            local fix_contract="$LOGS_DIR/iter-$(printf '%03d' $ITERATION).fix-contract.md"
+            {
+              echo "# Fix Contract (from Verifier iteration $ITERATION)"
+              echo ""
+              if [[ -n "$VERIFIED_US" ]]; then
+                echo "## Verified US (do NOT re-implement these)"
+                echo "$VERIFIED_US" | tr ',' '\n' | sed 's/^/- /'
+                echo ""
+                echo "**Focus ONLY on unverified user stories. The above are already verified.**"
+                echo ""
+              fi
+              echo "## Summary"
+              echo "$verdict_summary_fail"
+              echo ""
+              echo "## Issues (from verify-verdict.json)"
+              jq -r '.issues[]? | "- [\(.severity // "unknown")] \(.criterion // "?"): \(.description // "no description")\(if .fix_hint then " (hint: \(.fix_hint))" else "" end)"' "$VERDICT_FILE" 2>/dev/null || echo "- (no structured issues available)"
+              echo ""
+              echo "## Next Iteration Contract"
+              jq -r '.next_iteration_contract // "Fix the issues listed above."' "$VERDICT_FILE" 2>/dev/null
+            } | atomic_write "$fix_contract"
+            log "  Fix contract: $fix_contract"
+            log_debug "[DECIDE] iter=$ITERATION phase=fix_loop trigger=$verdict consecutive_failures=$CONSECUTIVE_FAILURES fix_contract=$fix_contract"
+
+            # Circuit breaker: consecutive failures (with architecture escalation when at model ceiling)
+            if (( CONSECUTIVE_FAILURES >= EFFECTIVE_CB_THRESHOLD )); then
+              # For codex: use full model:reasoning string (WORKER_MODEL loses reasoning suffix after upgrade)
+              _ceiling_model_str="$([[ "$WORKER_ENGINE" = "codex" ]] && echo "${WORKER_CODEX_MODEL}:${WORKER_CODEX_REASONING}" || echo "$WORKER_MODEL")"
+              if (( _MODEL_UPGRADED )) && [[ -z "$(get_next_model "$_ceiling_model_str")" ]]; then
+                log_debug "[GOV] iter=$ITERATION circuit_breaker=consecutive_failures detail=\"architecture escalation: Worker at ceiling (${WORKER_MODEL}), ${EFFECTIVE_CB_THRESHOLD} consecutive failures\""
+                log_error "Circuit breaker: architecture escalation — Worker upgraded to ceiling (${WORKER_MODEL}), ${EFFECTIVE_CB_THRESHOLD} consecutive failures"
+                write_blocked_sentinel "architecture escalation: Worker upgraded to ceiling model (${WORKER_MODEL}), ${EFFECTIVE_CB_THRESHOLD} consecutive verification failures" "" "repeat_axis"
+              else
+                log_debug "[GOV] iter=$ITERATION circuit_breaker=consecutive_failures detail=\"${EFFECTIVE_CB_THRESHOLD} consecutive verification failures\""
+                log_error "Circuit breaker: ${EFFECTIVE_CB_THRESHOLD} consecutive verification failures"
+                write_blocked_sentinel "${EFFECTIVE_CB_THRESHOLD} consecutive verification failures" "" "repeat_axis"
+              fi
+              update_status "blocked" "consecutive_failures"
+              return 1
+            fi
+
+            update_status "verifier" "fail"
+            ;;
+          request_info)
+            # --- governance.md s7 step 7: request_info (degraded in tmux mode) ---
+            local verdict_summary_ri
+            verdict_summary_ri=$(jq -r '.summary // "no summary"' "$VERDICT_FILE" 2>/dev/null)
+            log "  Verifier requests info (degraded in tmux lean mode)."
+            log "  Questions: \"$verdict_summary_ri\""
+            log "  Treating as soft fail — Worker will see verdict in next iteration."
+            update_status "verifier" "request_info"
+            ;;
+          blocked)
+            local _verdict_cat
+            _verdict_cat=$(_classify_cross_us_or_metric "$verdict_summary")
+            write_blocked_sentinel "Verifier verdict: blocked - $verdict_summary" "" "$_verdict_cat"
+            update_status "blocked" "verifier_blocked"
+            return 1
+            ;;
+          *)
+            log_error "Unknown verdict: $verdict"
+            update_status "verifier" "unknown_verdict"
+            ;;
+        esac
+        ;;
+      blocked)
+        # --- governance.md s7 step 6: blocked -> write sentinel ---
+        local _signal_cat
+        _signal_cat=$(_classify_cross_us_or_metric "$signal_summary")
+        write_blocked_sentinel "Worker reported blocked: $signal_summary" "" "$_signal_cat"
+        update_status "blocked" "worker_blocked"
+        return 1
+        ;;
+      *)
+        log_error "Unknown signal status: $signal_status"
+        update_status "worker" "unknown_status"
+        ;;
+    esac
+
+    # --- step 7d: Archive iteration artifacts before cleanup ---
+    archive_iter_artifacts "$ITERATION"
+
+    # --- AC5: Write per-iteration cost estimate ---
+    write_cost_log "$ITERATION"
+    write_campaign_jsonl "$ITERATION" "${signal_us_id:-unknown}" "${signal_status:-unknown}"
+
+    # --- governance.md s7 step 8: Write result log ---
+    write_result_log "$ITERATION" "$signal_status"
+
+    # --- governance.md s7 step 8: Circuit breaker - stale context check ---
+    if ! check_stale_context; then
+      log_debug "[GOV] iter=$ITERATION circuit_breaker=stale_context detail=\"context unchanged for 3 consecutive iterations\""
+      write_blocked_sentinel "Context unchanged for 3 consecutive iterations (stale)" "" "context_limit"
+      update_status "blocked" "stale_context"
+      return 1
+    fi
+
+    # --- governance.md s7 step 8: Update status ---
+    update_status "idle" "${signal_status:-unknown}"
+  done
+
+  # Max iterations reached
+  log "Max iterations ($MAX_ITER) reached."
+  update_status "timeout" "max_iter"
+  return 1
+}
+
+# =============================================================================
+# Entry Point
+# =============================================================================
+
+# --- CLI: parse --worker-model / --verifier-model flags ---
+# These flags override env-var defaults (WORKER_ENGINE, WORKER_MODEL, etc.)
+# Format: "model:reasoning" → codex engine; "model-name" → claude engine
+_cli_i=1
+while (( _cli_i <= $# )); do
+  case "${@[$_cli_i]}" in
+    --worker-model)
+      (( _cli_i++ ))
+      _cli_parsed=$(parse_model_flag "${@[$_cli_i]:-}" "worker") || exit 1
+      WORKER_ENGINE="${_cli_parsed%% *}"
+      _cli_rest="${_cli_parsed#* }"
+      WORKER_MODEL="${_cli_rest%% *}"
+      if [[ "$WORKER_ENGINE" = "codex" ]]; then
+        WORKER_CODEX_MODEL="$WORKER_MODEL"
+        WORKER_CODEX_REASONING="${_cli_rest##* }"
+      elif [[ "$_cli_rest" == *" "* ]]; then
+        WORKER_EFFORT="${_cli_rest##* }"
+      fi
+      ;;
+    --verifier-model)
+      (( _cli_i++ ))
+      _cli_parsed=$(parse_model_flag "${@[$_cli_i]:-}" "verifier") || exit 1
+      VERIFIER_ENGINE="${_cli_parsed%% *}"
+      _cli_rest="${_cli_parsed#* }"
+      VERIFIER_MODEL="${_cli_rest%% *}"
+      if [[ "$VERIFIER_ENGINE" = "codex" ]]; then
+        VERIFIER_CODEX_MODEL="$VERIFIER_MODEL"
+        VERIFIER_CODEX_REASONING="${_cli_rest##* }"
+      elif [[ "$_cli_rest" == *" "* ]]; then
+        VERIFIER_EFFORT="${_cli_rest##* }"
+      fi
+      ;;
+    --lock-worker-model)
+      LOCK_WORKER_MODEL=1
+      ;;
+    --autonomous)
+      AUTONOMOUS_MODE=1
+      ;;
+    --lane-strict)
+      # P1-E opt-in: lane mtime audit escalates to BLOCKED instead of WARN.
+      # See governance §7¾.
+      LANE_MODE="strict"
+      ;;
+    --test-density-strict)
+      # US-018 R6 P1-F opt-in: AC with < 3 tests fails init (exit 1) instead of WARN.
+      # See governance §7f.
+      TEST_DENSITY_MODE="strict"
+      ;;
+    --final-verifier-model)
+      (( _cli_i++ ))
+      _cli_parsed=$(parse_model_flag "${@[$_cli_i]:-}" "final-verifier") || exit 1
+      FINAL_VERIFIER_ENGINE="${_cli_parsed%% *}"
+      _cli_rest="${_cli_parsed#* }"
+      FINAL_VERIFIER_MODEL="${_cli_rest%% *}"
+      if [[ "$FINAL_VERIFIER_ENGINE" = "codex" ]]; then
+        FINAL_VERIFIER_CODEX_MODEL="$FINAL_VERIFIER_MODEL"
+        FINAL_VERIFIER_CODEX_REASONING="${_cli_rest##* }"
+      elif [[ "$_cli_rest" == *" "* ]]; then
+        FINAL_VERIFIER_EFFORT="${_cli_rest##* }"
+      fi
+      ;;
+    --consensus)
+      (( _cli_i++ ))
+      CONSENSUS_MODE="${@[$_cli_i]:-off}"
+      ;;
+    --consensus-model)
+      (( _cli_i++ ))
+      CONSENSUS_MODEL="${@[$_cli_i]:-gpt-5.5:medium}"
+      ;;
+    --final-consensus-model)
+      (( _cli_i++ ))
+      FINAL_CONSENSUS_MODEL="${@[$_cli_i]:-gpt-5.5:high}"
+      ;;
+    --final-consensus)
+      # Legacy: map to new --consensus final-only
+      CONSENSUS_MODE="final-only"
+      ;;
+    --verify-consensus)
+      # Legacy: map to new --consensus all
+      CONSENSUS_MODE="all"
+      ;;
+  esac
+  (( _cli_i++ ))
+done
+unset _cli_i _cli_parsed _cli_rest
+
+# Require tmux — tmux mode only works inside an active tmux session
+if [[ -z "${TMUX:-}" ]]; then
+  echo "ERROR: tmux mode requires running inside a tmux session."
+  echo ""
+  echo "  Start tmux first, then retry:"
+  echo "    tmux"
+  echo "    LOOP_NAME=$SLUG $0"
+  echo ""
+  echo "  Or use Agent() mode instead (no tmux needed):"
+  echo "    /rlp-desk run $SLUG"
+  exit 1
+fi
+
+main "$@"