Estoy trabajando en un compilador que genera módulos de JavaScript y sus declaraciones de tipo asociadas: toma una fuente con una gramática específica y genera 3 archivos diferentes:

1. una implementación ESM
2. una implementación de CJS
3. Una declaración de tipo

Esos archivos exportan una class con un montón de métodos (ese es un ejemplo de la definición de tipo que se está generando):

 export default class MyClass extends Base { myApi1(): Promise<void>; getFoo(): Promise<string>; // ... }

Todos esos archivos son generados por el propio compilador y me pregunto cuáles serían buenas estrategias de prueba para satisfacer los siguientes criterios:

• Los módulos JS son archivos JS válidos
• La declaración de tipo es un archivo TS válido
• Todos los archivos no tienen importaciones extra/faltantes
• Que los tipos generados sean correctos (los métodos tienen argumentos correctos y tipos de retorno)
• Las pruebas se pueden ejecutar en CI y ser lo más rápido posible
• Las pruebas son lo más fiables posible.

En términos más generales, mi pregunta es cómo probar los archivos generados desde un compilador/transpilador cuando esos no son bytecode.