Closing the verification loop: Observability-driven harnesses for building with agents 3 points by typesanitizer