Module invalidation 

Invalidation detection and topological sorting for incremental updates.

This module provides sophisticated invalidation detection that determines which files require reanalysis after changes. It uses:

• BFS/DFS traversal from DependencyGraph to find affected files
• Topological sort to order reanalysis respecting dependencies
• Tarjan’s SCC algorithm to detect and report circular dependencies

Design Pattern

Wraps DependencyGraph with higher-level API that packages results into InvalidationResult with comprehensive cycle detection.

Structs

InvalidationDetector

Detects invalidation scope and computes reanalysis order.

InvalidationResult

Result of invalidation detection, including cycle information.

Enums

InvalidationError

Errors that can occur during invalidation detection.