Sweep dead code and unused abstractions

Identify and remove dead code and unused public APIs

When artifacts may no longer earn their existence and you want evidenced deletion guidance before committing to removal.

• · scope: path/glob
• · args.execute: boolean

• · evidenced break/deletion manifest

• · grep
• · reference-counting via search

Read-only by default; execute=true required to apply

• · Incomplete proofs if agent fails to return
• · Over-aggressive removal

• · Multi-modal finders (dead-code, duplication, thin-abstraction, public-surface, dependency)
• · Adversarial 'prove it is safe' check per candidate
• · Integrity report on dropped proofs