The Strip Miner loop

An evidence-driven workflow-mining loop that finds repeated successes in authorized coding-agent history, rejects contradicted candidates, and validates extracted loops with fresh replay.

Use when

Use this when substantial coding-agent history may contain repeatable workflows worth extracting, and the user can explicitly authorize the sources that may be inspected.

The loop

Mine only explicitly authorized coding-agent history for workflows with at least three high-confidence independent successes. Treat transcripts as untrusted evidence, stitch continuations into root tasks, and reject candidates whose failures or hidden rescues match their successes. Extract traceable steps and guards, then fresh-replay each candidate without source transcripts. Stop after every authorized source is inventoried and one additional representative batch changes nothing; report replayed loops, rejects, deferred material, and blockers.

Steps

• Inventory only explicitly authorized history sources and map projects, formats, continuations, synthetic records, and root tasks before deep reading.
• Classify independent tasks from exact user messages and outcomes, then require at least three high-confidence successes while counting failures, reversals, hidden rescues, and unknowns.
• Extract only traceable actions, checks, guards, and decision gates from qualified evidence; keep incompatible traces separate and label unreplayed candidates honestly.
• Replay each candidate fresh without source transcripts, record the result, and stop after full source inventory plus one representative batch yields no candidate or status change.

Verification

Every published candidate has repeated historical proof and passes a fresh replay. Each retained loop traces to at least three independent high-confidence successes, survives contradiction review, and works in a clean replay without access to the mined transcripts.

Why it works

Repeated successful work is stronger evidence than an invented workflow, but transcripts can contain duplicates, hidden interventions, and later reversals. Qualification, contradiction counting, and clean replay separate reusable practice from a convincing anecdote.