[codex] Ratchet lsp.query return typing

[jsiek]

Summary

• ratchet lsp.query to enforce warn_return_any in mypy
• tighten two Meta helper functions so their annotated returns are concrete bool and int

Validation

• python3 -m mypy --warn-return-any lsp/query.py --follow-imports=silent
• python3 -m mypy lsp/query.py --follow-imports=silent
• python3 -m ruff check lsp/query.py pyproject.toml
• git diff --check
• make tests

Notes

This is a focused #506 slice. The umbrella issue should remain open for the remaining lsp/query.py strict bits and the larger parser/proof-checker ratchets.