chore(lint): добавить mypy в CI-гейт — старт градуальной типизации

Ruff уже стоял; теперь рядом mypy как проверка типов. Прагматичный конфиг
mypy.ini (ловит реальные несовпадения типов/обращения к None/неверные аргументы,
но не требует аннотаций везде и не шумит на сторонних либах) — чтобы гейт был
зелёным и расширяемым.

Область на старте — только чистая логика, которая уже типобезопасна:
worker-indexer/app/algorithms (L1 winnowing, L2 minhash) и
worker-gost/app/formatters (ГОСТ 7.1 / 7.0.5). Запуск per-service, чтобы
резолвился локальный пакет app. faiss_manager вне области пока — требует
Optional-рефактора _index; на следующий заход.

run_lint.sh теперь гоняет ruff + mypy в одном контейнере; шаг CI переименован.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

mypy.ini

@@ -0,0 +1,14 @@
+# Прагматичная конфигурация mypy (старт градуальной типизации).
+# Ловит реальные ошибки типов (несовпадения, обращения к None, неверные
+# аргументы), но НЕ требует аннотаций везде и не шумит на нетипизированных
+# сторонних либах — чтобы гейт был зелёным и его можно было расширять по мере
+# типизации кода. Область проверки задаётся в scripts/run_lint.sh (пока только
+# чистая логика L1/L2 + ГОСТ-форматтеры).
+[mypy]
+python_version = 3.11
+ignore_missing_imports = true
+check_untyped_defs = true
+warn_return_any = false
+disallow_untyped_defs = false
+no_implicit_optional = true
+warn_redundant_casts = true