tsconfig.json 中哪些选项决定项目的类型安全边界与模块行为？

核心结论：tsconfig.json 不是单纯的语法开关集合，而是项目源文件边界、类型检查强度、模块解析方式和产物形态的共同契约。工程中应先依据实际运行环境与构建工具选择 module、moduleResolution、target 和 lib，再以 strict 为安全基线，逐项评估影响较大的附加检查。不能复制一份流行配置后忽略运行时，因为类型检查通过并不保证生成代码能被当前平台加载。

底层机制上，编译器先通过配置文件确定根文件集合，再解析导入关系和类型声明，建立程序图并进行绑定与类型检查，最后根据选项决定是否发射代码及声明文件。include、exclude 与 files 控制入口集合，但