01Hypothesis-driven file exploration to prevent aimless code reading
02Ranked bug predictions with explicit confidence levels and supporting claims
033 GitHub stars
044-phase semi-formal reasoning (Semantics, Tracing, Divergence, Predictions)
05Systematic call sequence mapping across complex multi-file architectures
06Evidence-based tracking that distinguishes crash sites from root causes