用 TypeScript 描述真实业务状态
类型不是装饰，而是把业务约束提前写进代码。
能力证据用于排班、项目状态与内容模型
为什么先建模
铁路业务里很多错误并不是计算错，而是状态不可能同时成立。类型建模的价值，是让不可能的状态更难进入系统。
联合类型表达流程
把 planning、building、shipped 等阶段写成明确的联合类型，比任意字符串更能保护页面、接口和统计逻辑的一致性。
类型不是装饰，而是把业务约束提前写进代码。
铁路业务里很多错误并不是计算错，而是状态不可能同时成立。类型建模的价值，是让不可能的状态更难进入系统。
把 planning、building、shipped 等阶段写成明确的联合类型，比任意字符串更能保护页面、接口和统计逻辑的一致性。