Searching protocol for "code-fragments"
Extract reusable code fragments from codebases.
Prove code equivalence, not just test it.
Systematic file consolidation for optimal structure.
Master code transformation, improve maintainability.