Интероп с JavaScript

Написать локальный файл объявлений: положить declare module 'lib' в .d.ts внутри проекта и описать только те экспорты, которыми вы реально пользуетесь. Пустой declare module 'lib'; тоже компилируется, но типизирует весь импорт как any.

Файл с import или export на верхнем уровне — модуль, и всё объявленное в нём ограничено этим модулем. Файл без того и другого — глобальный скрипт, его declare попадает в глобальную область. Из модуля туда ведёт только declare global { ... }.

Описать форму один раз через @typedef, затем аннотировать функцию тегами @param {Type} name и @returns. Под @ts-check компилятор читает эти теги как настоящие типы, поэтому formatUser({ name: 42 }, 'yes') не соберётся — без переименования файла.

Дополнить интерфейс Window слиянием объявлений: declare global { interface Window { analytics: Analytics } }. Обёртка declare global нужна модулю, чтобы дотянуться до глобальной области. Слияние добавляет член в существующий Window, и приведения не нужны.

Типизируйте контракт, а не реализацию. Функция, разбирающая arguments, превращается в набор перегрузок — по сигнатуре на каждое реальное соглашение о вызове — ведь компилятор проверяет точки вызова, а не тело. Конструктор на прототипе становится declare class.

Объявите форму, которую прокси лишь изображает, и приведите тип один раз на границе фабрики: return new Proxy({} as Api, handler). Trap get возвращает any, поэтому компилятор никогда не проверит синтезируемые члены. Одно локальное приведение — честная цена.

Вы получаете настоящий проверяющий на .js-файле: вывод типов, сужение и объявленные через JSDoc типы применяются полностью, без переименования и нового шага сборки. Теряете синтаксис: тип живёт в комментарии, а enum, декораторы и параметры-свойства формы в JSDoc не имеют.

extends требует значения, о котором компилятор знает, что оно конструируемо, поэтому базе нужен declare class. Это объявление — непроверяемое обещание: сверять его не с чем, а расхождение всплывает падением, а не ошибкой компиляции.