ruff check ...
mypy ...
D1: focused static checks and documentation are present; full suite and external/runtime proof remain unresolved.
