Validates reachability analysis results for accuracy, checks for common issues (missing entrypoints, dynamic code false negatives), and provides recommendations. Activates when user asks about reachability correctness, call graph validation, or accuracy concerns.