Ruff, type checking and measurement in the loop

One tool formats and lints, another checks types, and both belong in the editor and in CI rather than in a reviewer's head. Then the third feedback loop nobody sets up until they need it: timing a program reproducibly and profiling it when the timing is bad. It also says plainly which of these tools are still pre-1.0 and what that means for you.