Discovery under Hypothesis Redundancy: A Geometric Theory of Discovery Bottlenecks