principle-type-system-discipline 是用类型减少错误组合的 Skill。它把状态分支、语义 ID 和输入解析组织起来，让调用者更难构造不合法数据。
比如“已完成”状态应同时带完成时间，开放状态则没有它，比分散布尔值和可选字段更清楚。用户 ID 与订单 ID 即使底层同为字符串，也不应随意互换。
外部 JSON 和配置仍需解析验证，类型断言不会自动证明内容正确。穷尽分支可提示新增状态的遗漏，权威结构能派生时也尽量避免再手抄一套。
适合设计接口或整理复杂状态。本文未改类型；精度只应增加到有实际收益的地方，编译器能证明的范围仍取决于语言和模型，类型通过不等于业务规则、并发或外部数据都无误。