agentic-loop 3.10.2 → 3.11.0

package/ralph/utils.sh

@@ -429,367 +429,82 @@ send_notification() {
   return 0
 }
 
-# Validate PRD structure
-# Returns 0 if valid, 1 if invalid with helpful error messages
-validate_prd() {
+# Replace hardcoded paths/URLs with config placeholders
+# Makes PRDs portable across machines and environments
+fix_hardcoded_paths() {
   local prd_file="$1"
-
-  # Check file exists
-  if [[ ! -f "$prd_file" ]]; then
-    print_error "PRD file not found: $prd_file"
-    return 1
-  fi
-
-  # Check valid JSON
-  if ! jq -e . "$prd_file" >/dev/null 2>&1; then
-    print_error "prd.json is not valid JSON."
-    echo ""
-    echo "Fix it manually or regenerate with:"
-    echo "  /idea 'your feature'"
-    echo ""
-    return 1
-  fi
-
-  # Check feature.name is set
-  local feature_name
-  feature_name=$(jq -r '.feature.name // empty' "$prd_file" 2>/dev/null)
-  if [[ -z "$feature_name" || "$feature_name" == "null" ]]; then
-    print_error "prd.json is missing .feature.name"
-    echo ""
-    echo "Add a feature name to your PRD or regenerate with:"
-    echo "  /idea 'your feature'"
-    echo ""
-    return 1
-  fi
-
-  # Check for stories array
-  if ! jq -e '.stories' "$prd_file" >/dev/null 2>&1; then
-    print_error "prd.json is missing 'stories' array."
-    echo ""
-    echo "Regenerate with: /idea 'your feature'"
-    echo ""
-    return 1
-  fi
-
-  # Check stories is not empty
-  local story_count
-  story_count=$(jq '.stories | length' "$prd_file" 2>/dev/null || echo "0")
-  if [[ "$story_count" == "0" ]]; then
-    print_error "prd.json has no stories."
-    echo ""
-    echo "Regenerate with: /idea 'your feature'"
-    echo ""
-    return 1
-  fi
-
-  # Check each story has required fields
-  local invalid_stories
-  invalid_stories=$(jq -r '.stories[] | select(.id == null or .id == "" or .title == null or .title == "") | .id // "unnamed"' "$prd_file" 2>/dev/null)
-  if [[ -n "$invalid_stories" ]]; then
-    print_error "Some stories are missing required fields (id, title):"
-    echo "$invalid_stories" | head -5
-    echo ""
-    echo "Fix the PRD or regenerate with: /idea 'your feature'"
-    echo ""
-    return 1
-  fi
-
-  # Check stories have passes field (initialize if missing)
-  local missing_passes
-  missing_passes=$(jq '[.stories[] | select(.passes == null)] | length' "$prd_file" 2>/dev/null || echo "0")
-  if [[ "$missing_passes" != "0" ]]; then
-    print_info "Initializing $missing_passes stories with passes=false..."
-    update_json "$prd_file" '(.stories[] | select(.passes == null) | .passes) = false'
-  fi
-
-  # Check feature name exists
-  local feature_name
-  feature_name=$(jq -r '.feature.name // empty' "$prd_file" 2>/dev/null)
-  if [[ -z "$feature_name" ]]; then
-    print_warning "PRD is missing feature name (will show as 'unnamed')"
-  fi
-
-  # Check if project has tests (from config)
-  local config="$RALPH_DIR/config.json"
-  if [[ -f "$config" ]]; then
-    local require_tests
-    require_tests=$(jq -r '.checks.requireTests // true' "$config" 2>/dev/null)
-    local test_dir
-    test_dir=$(jq -r '.tests.directory // empty' "$config" 2>/dev/null)
-
-    if [[ "$require_tests" == "true" && -z "$test_dir" ]]; then
-      echo ""
-      print_warning "No test directory configured in .ralph/config.json"
-      echo "  Without tests, Ralph can only verify syntax and API responses."
-      echo "  Import errors and integration issues won't be caught."
-      echo ""
-      echo "  To fix: Add tests, or set in .ralph/config.json:"
-      echo "    {\"tests\": {\"directory\": \"src\", \"patterns\": \"*.test.ts\"}}"
-      echo "  To silence: {\"checks\": {\"requireTests\": false}}"
-      echo ""
+  local config_file="$2"
+  local modified=false
+
+  # Read current PRD
+  local prd_content
+  prd_content=$(cat "$prd_file")
+
+  # Get URLs from config (if available)
+  local backend_url="" frontend_url=""
+  if [[ -f "$config_file" ]]; then
+    backend_url=$(jq -r '.urls.backend // .api.baseUrl // empty' "$config_file" 2>/dev/null)
+    frontend_url=$(jq -r '.urls.frontend // .playwright.baseUrl // empty' "$config_file" 2>/dev/null)
+  fi
+
+  # Check for hardcoded absolute paths (non-portable)
+  if echo "$prd_content" | grep -qE '"/Users/|"/home/|"C:\\|"/var/|"/opt/' ; then
+    echo "  Removing hardcoded absolute paths..."
+    # Remove common absolute path prefixes, keep relative path
+    prd_content=$(echo "$prd_content" | sed -E 's|"/Users/[^"]*/([^"]+)"|"\1"|g')
+    prd_content=$(echo "$prd_content" | sed -E 's|"/home/[^"]*/([^"]+)"|"\1"|g')
+    modified=true
+  fi
+
+  # Replace hardcoded backend URLs with {config.urls.backend}
+  if [[ -n "$backend_url" ]] && echo "$prd_content" | grep -qF "\"$backend_url" ; then
+    echo "  Replacing hardcoded backend URL with {config.urls.backend}..."
+    prd_content=$(echo "$prd_content" | sed "s|$backend_url|{config.urls.backend}|g")
+    modified=true
+  fi
+
+  # Replace hardcoded frontend URLs with {config.urls.frontend}
+  if [[ -n "$frontend_url" ]] && echo "$prd_content" | grep -qF "\"$frontend_url" ; then
+    echo "  Replacing hardcoded frontend URL with {config.urls.frontend}..."
+    prd_content=$(echo "$prd_content" | sed "s|$frontend_url|{config.urls.frontend}|g")
+    modified=true
+  fi
+
+  # Replace hardcoded health endpoints with config placeholder
+  if echo "$prd_content" | grep -qE '/api(/v[0-9]+)?/health|/health' ; then
+    echo "  Replacing hardcoded health endpoints with {config.api.healthEndpoint}..."
+    prd_content=$(echo "$prd_content" | sed -E 's|/api/v[0-9]+/health|{config.api.healthEndpoint}|g')
+    prd_content=$(echo "$prd_content" | sed -E 's|/api/health|{config.api.healthEndpoint}|g')
+    prd_content=$(echo "$prd_content" | sed -E 's|"/health"|"{config.api.healthEndpoint}"|g')
+    modified=true
+  fi
+
+  # Replace common localhost patterns if no config URLs set
+  if [[ -z "$backend_url" ]]; then
+    # Common backend ports: 8000, 8001, 8080, 3001, 4000, 5000
+    if echo "$prd_content" | grep -qE 'http://localhost:(8000|8001|8080|3001|4000|5000)' ; then
+      echo "  Replacing hardcoded localhost backend URLs with {config.urls.backend}..."
+      prd_content=$(echo "$prd_content" | sed -E 's|http://localhost:(8000|8001|8080|3001|4000|5000)|{config.urls.backend}|g')
+      modified=true
     fi
   fi
 
-  # Validate and fix individual stories
-  validate_and_fix_stories "$prd_file" || return 1
-
-  return 0
-}
-
-# Validate individual stories and auto-fix with Claude if needed
-# Checks: testSteps quality, apiContract, testUrl, contextFiles, security, scale
-validate_and_fix_stories() {
-  local prd_file="$1"
-  local needs_fix=false
-  local issues=""
-
-  echo "  Validating story quality..."
-
-  # Get all story IDs
-  local story_ids
-  story_ids=$(jq -r '.stories[].id' "$prd_file" 2>/dev/null)
-
-  while IFS= read -r story_id; do
-    [[ -z "$story_id" ]] && continue
-
-    local story_issues=""
-    local story_type
-    story_type=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .type // "unknown"' "$prd_file")
-    local story_title
-    story_title=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .title // ""' "$prd_file")
-
-    # Check 1: testSteps quality
-    local test_steps
-    test_steps=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .testSteps // [] | join(" ")' "$prd_file")
-
-    if [[ -z "$test_steps" ]]; then
-      story_issues+="no testSteps, "
-    elif [[ "$story_type" == "backend" ]]; then
-      # Backend must have curl, not just npm test/pytest
-      if ! echo "$test_steps" | grep -q "curl "; then
-        story_issues+="backend needs curl tests (npm test alone uses mocks), "
-      fi
-    elif [[ "$story_type" == "frontend" ]]; then
-      # Frontend must have tsc or playwright
-      if ! echo "$test_steps" | grep -qE "(tsc --noEmit|playwright)"; then
-        story_issues+="frontend needs tsc --noEmit or playwright tests, "
-      fi
-    fi
-
-    # Check 2: Backend needs apiContract
-    if [[ "$story_type" == "backend" ]]; then
-      local has_contract
-      has_contract=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .apiContract // empty' "$prd_file")
-      if [[ -z "$has_contract" || "$has_contract" == "null" ]]; then
-        story_issues+="backend missing apiContract, "
-      fi
+  if [[ -z "$frontend_url" ]]; then
+    # Common frontend ports: 3000, 5173, 4200, 8080
+    if echo "$prd_content" | grep -qE 'http://localhost:(3000|5173|4200)' ; then
+      echo "  Replacing hardcoded localhost frontend URLs with {config.urls.frontend}..."
+      prd_content=$(echo "$prd_content" | sed -E 's|http://localhost:(3000|5173|4200)|{config.urls.frontend}|g')
+      modified=true
     fi
-
-    # Check 3: Frontend needs testUrl and contextFiles
-    if [[ "$story_type" == "frontend" ]]; then
-      local has_url
-      has_url=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .testUrl // empty' "$prd_file")
-      if [[ -z "$has_url" || "$has_url" == "null" ]]; then
-        story_issues+="frontend missing testUrl, "
-      fi
-
-      local context_files
-      context_files=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .contextFiles // [] | length' "$prd_file")
-      if [[ "$context_files" == "0" ]]; then
-        story_issues+="frontend missing contextFiles (idea file + styleguide), "
-      fi
-    fi
-
-    # Check 4: Auth stories need security criteria
-    if echo "$story_title" | grep -qiE "(login|auth|password|register|signup|sign.?up)"; then
-      local criteria
-      criteria=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .acceptanceCriteria // [] | join(" ")' "$prd_file")
-      if ! echo "$criteria" | grep -qiE "(hash|bcrypt|sanitiz|inject|rate.?limit)"; then
-        story_issues+="auth story missing security criteria (password hashing/rate limiting), "
-      fi
-    fi
-
-    # Check 5: List endpoints need scale criteria
-    # Note: "search" excluded - search endpoints often return single/filtered results
-    if echo "$story_title" | grep -qiE "(list|get all|fetch all|index)"; then
-      local criteria
-      criteria=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .acceptanceCriteria // [] | join(" ")' "$prd_file")
-      if ! echo "$criteria" | grep -qiE "(pagina|limit|page=|per.?page)"; then
-        story_issues+="list endpoint missing pagination criteria, "
-      fi
-    fi
-
-    # Report issues for this story
-    if [[ -n "$story_issues" ]]; then
-      needs_fix=true
-      issues+="$story_id: ${story_issues%%, }
-"
-    fi
-  done <<< "$story_ids"
-
-  # If issues found, attempt to fix with Claude
-  if [[ "$needs_fix" == "true" ]]; then
-    print_warning "Story quality issues found:"
-    echo "$issues" | while IFS= read -r line; do
-      [[ -n "$line" ]] && echo "    $line"
-    done
-    echo ""
-
-    # Check if Claude is available for auto-fix
-    if command -v claude &>/dev/null; then
-      echo "  Attempting auto-fix with Claude..."
-      fix_stories_with_claude "$prd_file" "$issues"
-    else
-      echo "  Claude CLI not found - fix these issues manually or regenerate PRD."
-      echo ""
-      return 1
-    fi
-  else
-    print_success "All stories validated"
   fi
 
-  return 0
-}
-
-# Fix story issues using Claude
-fix_stories_with_claude() {
-  local prd_file="$1"
-  local issues="$2"
-
-  local fix_prompt="Fix the following issues in this PRD. Output the COMPLETE fixed prd.json.
-
-ISSUES FOUND:
-$issues
-
-RULES FOR FIXING:
-1. Backend stories MUST have testSteps with curl commands that hit real endpoints
-   Example: curl -s -X POST {config.urls.backend}/api/users -d '...' | jq -e '.id'
-2. Backend stories MUST have apiContract with endpoint, request, response
-3. Frontend stories MUST have testUrl set to {config.urls.frontend}/page
-4. Frontend stories MUST have contextFiles array (include idea file path from originalContext)
-5. Auth stories MUST have security acceptanceCriteria:
-   - Passwords hashed with bcrypt (cost 10+)
-   - Passwords NEVER in API responses
-   - Rate limiting on login attempts
-6. List endpoints MUST have pagination acceptanceCriteria:
-   - Returns paginated results (max 100 per page)
-   - Accepts ?page=N&limit=N query params
-
-CURRENT PRD:
-$(cat "$prd_file")
-
-Output ONLY the fixed JSON, no explanation. Start with { and end with }."
-
-  local raw_response
-  raw_response=$(echo "$fix_prompt" | run_with_timeout "$CODE_REVIEW_TIMEOUT_SECONDS" claude -p 2>/dev/null)
-
-  # Extract JSON from response (Claude sometimes adds text before/after)
-  local fixed_prd
-  fixed_prd=$(echo "$raw_response" | sed -n '/^[[:space:]]*{/,/^[[:space:]]*}[[:space:]]*$/p' | head -1000)
-
-  # If sed extraction failed, try the raw response
-  if [[ -z "$fixed_prd" ]]; then
-    fixed_prd="$raw_response"
-  fi
-
-  # Validate the response is valid JSON with required structure
-  if echo "$fixed_prd" | jq -e '.stories' >/dev/null 2>&1; then
-    # Timestamped backup (preserves history across multiple fixes)
-    local backup_file="${prd_file}.$(date +%Y%m%d-%H%M%S).bak"
-    cp "$prd_file" "$backup_file"
-
-    # Write fixed PRD
-    echo "$fixed_prd" > "$prd_file"
-    print_success "PRD auto-fixed (backup at $backup_file)"
-
-    # Re-validate to confirm fixes
-    echo "  Re-validating..."
-    local remaining_issues
-    remaining_issues=$(validate_stories_quick "$prd_file")
-    if [[ -n "$remaining_issues" ]]; then
-      print_warning "Some issues remain - may need manual fixes:"
-      echo "$remaining_issues" | tr ',' '\n' | while IFS= read -r line; do
-        [[ -n "$line" ]] && echo "    $line"
-      done
-    else
-      print_success "All issues resolved"
-    fi
-  else
-    print_error "Claude returned invalid JSON - fix manually"
-    echo "  Response preview: $(echo "$raw_response" | head -3)"
-    return 1
+  # Write back if modified
+  if [[ "$modified" == "true" ]]; then
+    echo "$prd_content" > "$prd_file"
+    print_success "Paths updated to use config placeholders"
   fi
 }
 
-# Quick validation without auto-fix (for re-checking after fix)
-# Checks all the same things as validate_and_fix_stories() but returns issues string
-validate_stories_quick() {
-  local prd_file="$1"
-  local issues=""
-
-  local story_ids
-  story_ids=$(jq -r '.stories[].id' "$prd_file" 2>/dev/null)
-
-  while IFS= read -r story_id; do
-    [[ -z "$story_id" ]] && continue
-
-    local story_type
-    story_type=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .type // "unknown"' "$prd_file")
-    local story_title
-    story_title=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .title // ""' "$prd_file")
-    local test_steps
-    test_steps=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .testSteps // [] | join(" ")' "$prd_file")
-
-    # Check 1: testSteps quality
-    if [[ "$story_type" == "backend" ]] && ! echo "$test_steps" | grep -q "curl "; then
-      issues+="$story_id: missing curl tests, "
-    fi
-    if [[ "$story_type" == "frontend" ]] && ! echo "$test_steps" | grep -qE "(tsc --noEmit|playwright)"; then
-      issues+="$story_id: missing tsc/playwright tests, "
-    fi
-
-    # Check 2: Backend needs apiContract
-    if [[ "$story_type" == "backend" ]]; then
-      local has_contract
-      has_contract=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .apiContract // empty' "$prd_file")
-      if [[ -z "$has_contract" || "$has_contract" == "null" ]]; then
-        issues+="$story_id: missing apiContract, "
-      fi
-    fi
-
-    # Check 3: Frontend needs testUrl and contextFiles
-    if [[ "$story_type" == "frontend" ]]; then
-      local has_url
-      has_url=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .testUrl // empty' "$prd_file")
-      [[ -z "$has_url" || "$has_url" == "null" ]] && issues+="$story_id: missing testUrl, "
-
-      local context_files
-      context_files=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .contextFiles // [] | length' "$prd_file")
-      [[ "$context_files" == "0" ]] && issues+="$story_id: missing contextFiles, "
-    fi
-
-    # Check 4: Auth stories need security criteria
-    if echo "$story_title" | grep -qiE "(login|auth|password|register|signup|sign.?up)"; then
-      local criteria
-      criteria=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .acceptanceCriteria // [] | join(" ")' "$prd_file")
-      if ! echo "$criteria" | grep -qiE "(hash|bcrypt|sanitiz|inject|rate.?limit)"; then
-        issues+="$story_id: missing security criteria, "
-      fi
-    fi
-
-    # Check 5: List endpoints need scale criteria
-    if echo "$story_title" | grep -qiE "(list|get all|fetch all|index)"; then
-      local criteria
-      criteria=$(jq -r --arg id "$story_id" '.stories[] | select(.id==$id) | .acceptanceCriteria // [] | join(" ")' "$prd_file")
-      if ! echo "$criteria" | grep -qiE "(pagina|limit|page=|per.?page)"; then
-        issues+="$story_id: missing pagination criteria, "
-      fi
-    fi
-  done <<< "$story_ids"
-
-  echo "$issues"
-}
-
 # Detect Python runner (uv, poetry, pipenv, or plain python)
 detect_python_runner() {
   local search_dir="${1:-.}"

package/templates/config/elixir.json

@@ -50,7 +50,7 @@
 
   "api": {
     "baseUrl": "http://localhost:4000",
-    "healthEndpoint": "/api/health",
+    "healthEndpoint": "/api/v1/health",
     "smokeEndpoints": [],
     "timeout": 30
   },

package/templates/config/fastmcp.json

@@ -51,7 +51,7 @@
 
   "api": {
     "baseUrl": "http://localhost:8000",
-    "healthEndpoint": "/health",
+    "healthEndpoint": "/api/v1/health",
     "timeout": 30,
     "transport": "sse"
   },

package/templates/config/fullstack.json

@@ -52,7 +52,7 @@
 
   "api": {
     "baseUrl": "http://localhost:8000",
-    "healthEndpoint": "/api/health",
+    "healthEndpoint": "/api/v1/health",
     "smokeEndpoints": [],
     "timeout": 30
   },

package/templates/config/go.json

@@ -50,7 +50,7 @@
 
   "api": {
     "baseUrl": "http://localhost:8080",
-    "healthEndpoint": "/health",
+    "healthEndpoint": "/api/v1/health",
     "timeout": 30
   },
 

package/templates/config/minimal.json

@@ -50,7 +50,7 @@
 
   "api": {
     "baseUrl": "http://localhost:3000",
-    "healthEndpoint": "/health",
+    "healthEndpoint": "/api/v1/health",
     "timeout": 30
   },
 

package/templates/config/node.json

@@ -50,7 +50,7 @@
 
   "api": {
     "baseUrl": "http://localhost:3000",
-    "healthEndpoint": "/api/health",
+    "healthEndpoint": "/api/v1/health",
     "smokeEndpoints": [],
     "timeout": 30
   },

package/templates/config/python.json

@@ -50,7 +50,7 @@
 
   "api": {
     "baseUrl": "http://localhost:8000",
-    "healthEndpoint": "/api/health",
+    "healthEndpoint": "/api/v1/health",
     "smokeEndpoints": [],
     "timeout": 30
   },

package/templates/config/rust.json

@@ -50,7 +50,7 @@
 
   "api": {
     "baseUrl": "http://localhost:8080",
-    "healthEndpoint": "/health",
+    "healthEndpoint": "/api/v1/health",
     "timeout": 30
   },
 

package/ralph/verify.sh

@@ -1,106 +0,0 @@
-#!/usr/bin/env bash
-# shellcheck shell=bash
-# verify.sh - Lightweight verification for ralph
-#
-# Philosophy: Claude verifies its own work using MCP browser tools.
-# Ralph just runs lint, tests, and testSteps from the PRD.
-
-# Source verification modules
-VERIFY_DIR="${RALPH_LIB:-$(dirname "${BASH_SOURCE[0]}")}"
-source "$VERIFY_DIR/verify/lint.sh"
-source "$VERIFY_DIR/verify/tests.sh"
-source "$VERIFY_DIR/verify/api.sh"
-
-run_verification() {
-  local story="$1"
-
-  echo ""
-  print_info "=== Verification: $story ==="
-  echo ""
-
-  # Get story type for targeted checks
-  local story_type
-  story_type=$(jq -r --arg id "$story" '.stories[] | select(.id==$id) | .type // "general"' "$RALPH_DIR/prd.json" 2>/dev/null)
-  export RALPH_STORY_TYPE="$story_type"
-
-  local failed=0
-
-  # ========================================
-  # STEP 1: Run lint checks
-  # ========================================
-  echo "  [1/5] Running lint checks..."
-  if ! run_configured_checks "$story_type"; then
-    failed=1
-  fi
-
-  # ========================================
-  # STEP 2: Verify tests exist + run them
-  # ========================================
-  if [[ $failed -eq 0 ]]; then
-    echo ""
-    echo "  [2/5] Running tests..."
-    # First check that test files exist for new code
-    if ! verify_test_files_exist; then
-      failed=1
-    elif ! run_unit_tests; then
-      failed=1
-    fi
-  fi
-
-  # ========================================
-  # STEP 3: Run PRD test steps
-  # ========================================
-  if [[ $failed -eq 0 ]]; then
-    echo ""
-    echo "  [3/5] Running PRD test steps..."
-    if ! verify_prd_criteria "$story"; then
-      failed=1
-    fi
-  fi
-
-  # ========================================
-  # STEP 4: API smoke test (if configured)
-  # ========================================
-  if [[ $failed -eq 0 ]]; then
-    if ! run_api_smoke_test "$story"; then
-      failed=1
-    fi
-  fi
-
-  # ========================================
-  # STEP 5: Frontend smoke test (if configured)
-  # ========================================
-  if [[ $failed -eq 0 ]]; then
-    if ! run_frontend_smoke_test "$story"; then
-      failed=1
-    fi
-  fi
-
-  # ========================================
-  # Final result
-  # ========================================
-  echo ""
-  if [[ $failed -eq 0 ]]; then
-    print_success "=== All verification passed ==="
-    return 0
-  else
-    print_error "=== Verification failed ==="
-    save_failure_context "$story"
-    return 1
-  fi
-}
-
-# Save failure context for next iteration
-save_failure_context() {
-  local story="$1"
-  local context_file="$RALPH_DIR/last_failure.txt"
-
-  {
-    echo "=== Verification failed for $story ==="
-    echo ""
-    # Just include the verification output - Claude can figure out what went wrong
-    if [[ -f "$RALPH_DIR/last_verification.log" ]]; then
-      tail -100 "$RALPH_DIR/last_verification.log"
-    fi
-  } > "$context_file"
-}