01Structured health scoring across correctness, safety, and maintainability
02Identification of observability and diagnostic gaps
03Technical debt inventory with S-XL effort estimations
04Prioritized risk assessment from Critical to Info levels
058 GitHub stars
06Detection of latent bugs and asynchronous logic hazards