@ai-dev-methodologies/rlp-desk 0.7.5 → 0.9.0

package/src/scripts/run_ralph_desk.zsh

@@ -1,2750 +0,0 @@
-#!/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.4)
-#   WORKER_CODEX_REASONING        - codex reasoning for Worker (default: high)
-#   VERIFIER_CODEX_MODEL          - codex model for Verifier (default: gpt-5.4)
-#   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}"
-AUTONOMOUS_MODE="${AUTONOMOUS_MODE:-0}"    # 1=don't stop on ambiguity, PRD is authoritative
-
-# --- 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.4}"
-WORKER_CODEX_REASONING="${WORKER_CODEX_REASONING:-high}"   # low|medium|high
-VERIFIER_CODEX_MODEL="${VERIFIER_CODEX_MODEL:-gpt-5.4}"
-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.4:medium}"       # per-US cross-verifier (lighter)
-FINAL_CONSENSUS_MODEL="${FINAL_CONSENSUS_MODEL:-gpt-5.4: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/.claude/ralph-desk"
-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 (user-level, cross-project) ---
-ANALYTICS_SLUG_HASH=$(echo -n "$ROOT" | md5 -q 2>/dev/null || md5sum <<< "$ROOT" | cut -d' ' -f1)
-ANALYTICS_DIR="$HOME/.claude/ralph-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"
-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..."
-  paste_to_pane "$pane_id" "$worker_launch"
-  tmux send-keys -t "$pane_id" C-m
-
-  # Wait for codex TUI to be ready
-  if ! wait_for_pane_ready "$pane_id" 30; then
-    log_error "Worker codex failed to start"
-    return 1
-  fi
-
-  # Send instruction to codex 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 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..."
-  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 codex 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 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"
-  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"
-  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
-    tmux new-session -d -s "$SESSION_NAME" -x 200 -y 50 -c "$ROOT"
-    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"
-
-  # 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"
-
-  # SV flag warning for tmux mode
-  if (( WITH_SELF_VERIFICATION )); then
-    log "  NOTE: --with-self-verification recorded but SV report generation is Agent-mode only"
-  fi
-
-  # 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"',
-    "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)
-# =============================================================================
-
-# --- governance.md s7 step 5+6: Nudge idle panes ---
-check_and_nudge_idle_pane() {
-  local pane_id="$1"
-  local nudge_count_var="$2"
-  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
-
-  # 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
-    if [[ "$role" != *erifier* && -f "$DONE_CLAIM_FILE" && ! -f "$signal_file" ]]; then
-      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"
-        return 0
-      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"
-        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
-
-    # Auto-approve permission prompts during poll
-    local poll_capture
-    poll_capture=$(tmux capture-pane -t "$pane_id" -p 2>/dev/null)
-    if echo "$poll_capture" | grep -q "Do you want to" 2>/dev/null; then
-      log "  Permission prompt detected during poll, auto-approving..."
-      log_debug "[FLOW] iter=$ITERATION permission_prompt_auto_approved=true"
-      tmux send-keys -t "$pane_id" C-m
-      sleep 0.5
-    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 + wait for process exit to avoid reading partial results
-    log "  Polling for verify-verdict.json ($suffix, codex TUI)..."
-    local codex_poll_start
-    codex_poll_start=$(date +%s)
-    local _verdict_detected=0
-    while true; do
-      # Phase 1: wait for verdict file
-      if (( ! _verdict_detected )) && [[ -f "$VERDICT_FILE" ]]; then
-        if jq . "$VERDICT_FILE" >/dev/null 2>&1; then
-          log "  Verdict file detected, waiting for codex process to finish..."
-          _verdict_detected=1
-        fi
-      fi
-      # Phase 2: verdict exists, wait for codex to exit (pane returns to shell)
-      if (( _verdict_detected )); then
-        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."
-          # Re-read verdict in case codex updated it before exiting
-          if jq . "$VERDICT_FILE" >/dev/null 2>&1; then
-            break
-          fi
-        fi
-      fi
-      local codex_elapsed=$(( $(date +%s) - codex_poll_start ))
-      if (( codex_elapsed >= ITER_TIMEOUT )); then
-        if (( _verdict_detected )); then
-          log "  Codex verifier$suffix timed out waiting for exit, 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() {
-  # --- 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
-  trap 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 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, 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 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
-  trap 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
-    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"
-        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"
-        update_status "blocked" "worker_start_failed"
-        return 1
-      fi
-    fi
-
-    # --- governance.md s7 step 5+6: Poll for Worker completion ---
-    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)"
-            update_status "blocked" "monitor_failures"
-            return 1
-          fi
-          log "  WARNING: Worker poll failed (monitor failure $MONITOR_FAILURE_COUNT/3)"
-          update_status "worker" "poll_failed"
-          log_debug "[FLOW] iter=$ITERATION poll_worker_dead=true worker_cmd=$worker_cmd"
-          # Worker is truly dead/stuck — BLOCK and let user decide
-          write_blocked_sentinel "Worker process dead/stuck (poll failed). Pane preserved for inspection."
-          update_status "blocked" "worker_dead"
-          return 1
-        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)
-        # --- 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"
-            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."
-            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"
-              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"
-              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)
-            write_blocked_sentinel "Verifier verdict: blocked - $verdict_summary"
-            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 ---
-        write_blocked_sentinel "Worker reported blocked: $signal_summary"
-        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)"
-      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
-      ;;
-    --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.4:medium}"
-      ;;
-    --final-consensus-model)
-      (( _cli_i++ ))
-      FINAL_CONSENSUS_MODEL="${@[$_cli_i]:-gpt-5.4: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 "$@"