Correctness & Quality

Software that stays correct as it grows: prove behaviour with tests and catch mistakes with types, so mocking, property-based testing and mypy turn 'it works on my machine' into a gate that holds.