06 / Full program analysis
ファイル単体ではなく、Programとして読む
entry pointから静的依存をたどり、同一generationのsource snapshotで型を解決するモデルを、実際の複数TypeScript moduleで描画します。
01 / LOADSnapshotentryと静的依存を同一世代で取得
02 / RESOLVECompilerHostローカルsourceと許可packageだけを解決
03 / CHECKProgramファイル境界を越えて型と診断を計算
04 / PUBLISHAtomic result全体成功時だけ実行可能graphを公開
Default behavior
失敗は隠さず、sourceへ返す
不足package、解決不能import、型エラー、構文エラーは既定で診断として表示されます。実行継続より、何が拒否されたかを明確にします。
TS2307 Cannot find module 'npm:unapproved-package'. Package is not present in the source-controlled allowlist.