Turns debugging into a checkable loop: facts, ranked hypotheses, and the single cheapest probe that separates them.
Refactors code through an explicit contract inventory, stepwise plan, and verification list — without changing observable behavior.
A structured trade-off analysis against your stated priorities, the strongest case against each option, and a committable ADR.