Add 7 new sections to lead.md addressing failure patterns observed in
real session transcripts: exploration sharding for context-exhausted
explorers, environment probe protocol for infrastructure verification,
finding completion tracker to prevent silently dropped findings, targeted
re-review to avoid infinite review loops, tester capability routing to
match agent tools to task requirements, post-implementation sanity check
for coherence verification, and artifact hygiene for temp file cleanup.