Typechecker ce que le cron exécute

[Asgarrrr]

Le trou

Le tsconfig racine exclut src/solver :

"exclude": ["node_modules", "dist", ".output", ".nitro", ".railway", "src/solver", "scripts"]

Donc le tsc --noEmit de bun run build ne lit jamais generate-daily.ts,
l'entrypoint du cron. Et le service cron construit avec bun install, sans
typecheck du tout. Le solveur partait en production sans qu'aucun compilateur ne
l'ait lu — y compris les 8 commits déployés hier.

src/solver/tsconfig.json existait déjà (commit « le projet TS du solveur
retypecheck ») mais aucun script ne l'invoquait.

Ce qui change

• typecheck:solver dans package.json — une seule définition de la commande.
• La CI l'exécute entre lint et test : l'échec bloque la PR.
• Le build Railway du cron l'exécute aussi (bun install && bun run typecheck:solver) : l'échec bloque le déploiement.

Comment vérifier

$ bun run typecheck:solver
EXIT=0   (0 ligne de sortie)

Le reste reste vert : lint 0, test 340/340, verify 0, build 0.

Ce qui n'est PAS réglé

• L'échec muet du cron. Un run qui casse à 05:00 sur du code qui compile
  reste invisible. L'IaC Railway n'a aucune primitive pour ça : webhook et
  notification ont 0 occurrence dans les types du SDK. Ça se règle au
  niveau workspace, dans le dashboard.
• Le domaine public du cron. Non supprimable depuis l'IaC : les deux formes
  documentées par le type (serviceDomains: { "<host>": null } et
  serviceDomains: null) planifient en no-op sur railway 3.5.7. Un commentaire
  dans .railway/railway.ts dit où le faire.
• Le palier 3 n'a toujours aucun repli.

Risque / rollback

Aucun changement de comportement à l'exécution : c'est une vérification ajoutée,
pas du code modifié. Rollback = revert du commit.