Case studies

Real-world failures, ranked causes, verification and repair guidance.