Включить проверку типов и отвергать неверно типизированные решения MyMap

[fey]

Closes #344
Closes #268

Зачем

Проверка типов в курсе не выполнялась вообще. vitest стирает типы через esbuild, а tsc не вызывался нигде, поэтому expectTypeOf в 21 уроке и @ts-expect-error в 3 уроках проходили при любом содержимом урока. Из-за этого в уроке «Дженерики с несколькими параметрами» реализация MyMap с неверными типами принималась как верная (#268).

Что сделано

Инфраструктура (#344)

• bin/test2.sh проверяет типы урока, который запускает. Именно этим скриптом платформа проверяет решение студента, поэтому это единственное место, где неверно типизированное решение можно отвергнуть.
• make type-check (tsc --noEmit) покрывает весь курс и подвешен к make test, так что make check и CI получают быстрый агрегированный сигнал до 54 прогонов уроков. Добавлена обёртка compose-type-check.
• README описывает, какой шаг за что отвечает и какие настройки tsconfig.json для этого обязательны.

Урок 47 (#268)

• Второе инстанцирование несвязанной парой (MyMap<number, string[]>) ловит захардкоженные типы — так же, как это уже сделано в соседнем 20-generic-types. toEqualTypeOf вместо toExtend, потому что toExtend пропускал и отсутствующий undefined, и сплошной any.
• {ru,en}/EXERCISE.md теперь называет то, что тест требует, а текст раньше только подразумевал: что тип должен работать с любым сочетанием параметров, что get() возвращает undefined для отсутствующего ключа и что Map лежит в свойстве values — последнее студенту было неоткуда угадать.

Попутно всплыло

Как только tsc реально запустился, обнаружились две скрытые ошибки конфигурации. moduleResolution: "node" — жёсткая ошибка в TypeScript 6, а TS 6 больше не подключает node_modules/@types автоматически, из-за чего отвалились ambient-типы Node, на которых держится урок hello-world. Плюс vitest.config.ts импортировал defineConfig из vite, где ключ test — лишнее свойство. Контент уроков править не понадобилось: все 21 урок с expectTypeOf и все 3 с @ts-expect-error оказались типо-чистыми.

Замечание к формулировке #344

Вариант 2 в issue описан неверно: там сказано, что обычный tsc --noEmit оставит expectTypeOf пустышкой. Матчеры expect-type проверяются исключительно на этапе компиляции (toExtend: <Expected extends …>(...MISMATCH: MismatchArgs<…>) => true), поэтому tsc их полноценно выполняет, а --typecheck у vitest меняет только формат отчёта. Отсюда выбор в пользу tsc.

Ограничение, которого не было в issue

Платформа запускает каждую проверку под timeout 6, а таймаут показывается студенту как зависшая программа с пустым выводом (lesson_tester.rb: exitstatus == 124 → failed-infinity, вывод обнуляется). Последовательный tsc по всему проекту давал 3–5 с сверх тестов и один раз из пяти пробивал лимит. Поэтому проверка ограничена одним уроком и идёт параллельно с vitest, а вывод буферизуется, чтобы ошибка типов докладывалась отдельно, а не под рантайм-выводом, который прошёл только потому, что типы стёрты.

Проверка

Точной командой платформы, с подменой index.ts через bind-mount (typescript 6.0.3, vitest 4.1.7):

решение	результат
эталонное	проходит
захардкоженные string/number (случай из #268)	отвергается
захардкожен только ключ	отвергается
get(key: K): V без undefined	отвергается
any везде	отвергается
переименован именованный экспорт в другом уроке, тест не тронут	отвергается (критерий #344)

Также: рантайм-падение по-прежнему показывает студенту полный диф vitest; SIGTERM завершает раннер с кодом 143, не резюмируя выполнение.

Тайминги: прогон урока 1,3 с → 2,0 с (при лимите 6 с), make test 62 с → 95 с, make check зелёный за 2 м 36 с.

Не входит в этот PR

Ужесточение матчеров в остальных 20 уроках — вынесено в #357 с замерами: 28 из 30 эталонов такую замену переживают, но тексты заданий типы не фиксируют, поэтому нужна поурочная правка формулировок. Оба issue эту работу из объёма исключали.