Searching protocol for "proof-dependencies"
Möbius path filter for proof graphs.
Strategic edge removal while preserving spectral gap.