infrastructurecritiquebearishHNSW greedy graph traversal provides no theoretical guarantees of correctness despite being industry standardMachine Learning27 Jul 2026http://arxiv.org/abs/2607.02338v1