From a25ef69ffa53128bcd195d11c9f6a98b21834534 Mon Sep 17 00:00:00 2001
From: m3taversal <m3taversal@gmail.com>
Date: Tue, 10 Mar 2026 10:52:11 +0000
Subject: [PATCH] =?UTF-8?q?leo:=20fix=20pending=20file=20cleanup=20?=
 =?UTF-8?q?=E2=80=94=20failed=20extractions=20no=20longer=20block=20retrie?=
 =?UTF-8?q?s?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Failed/timed-out extractions and no-change extractions now remove the
source from extract-pending.txt so the next cron cycle can retry.

Caught by: Ganymede <00F28B10-062E-4863-9DD2-A5E9407B33FA>
Pentagon-Agent: Leo <14FF9C29-CABF-40C8-8808-B0B495D03FF8>
---
 ops/extract-cron.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ops/extract-cron.sh b/ops/extract-cron.sh
index 70bd3fb8..9daf88ff 100755
--- a/ops/extract-cron.sh
+++ b/ops/extract-cron.sh
@@ -152,6 +152,7 @@ IMPORTANT: Use the Edit tool to update the source file status. Use the Write too
         --permission-mode bypassPermissions \
         >> "$LOG" 2>&1 || {
         log "WARN: Claude extraction failed or timed out for $SOURCE_FILE"
+        sed -i "\|^${SOURCE_FILE}$|d" "$PENDING_FILE"
         git checkout main >> "$LOG" 2>&1
         continue
     }
@@ -160,6 +161,7 @@ IMPORTANT: Use the Edit tool to update the source file status. Use the Write too
     CHANGED_FILES=$(git status --porcelain)
     if [ -z "$CHANGED_FILES" ]; then
         log "No changes produced for $SOURCE_FILE"
+        sed -i "\|^${SOURCE_FILE}$|d" "$PENDING_FILE"
         git checkout main >> "$LOG" 2>&1
         continue
     fi
@@ -179,6 +181,7 @@ IMPORTANT: Use the Edit tool to update the source file status. Use the Write too
     # Check if anything was staged
     if git diff --cached --quiet; then
         log "No valid changes to commit for $SOURCE_FILE"
+        sed -i "\|^${SOURCE_FILE}$|d" "$PENDING_FILE"
         git checkout -- . >> "$LOG" 2>&1
         git checkout main >> "$LOG" 2>&1
         continue