review-testability

Audit code for testability design patterns. Identifies business logic entangled with IO and suggests functional core / imperative shell separation.