用途：当代码中存在只返回 bool、void 或抛异常、却仍让原始未类型化值继续流通的校验逻辑时，用本技能将其替换为解析（parsing），把校验结果固化为携带证明的类型。
主要能力：定位“校验泄漏”；设计构造即证明不变量的目标类型；用 parser 或 smart constructor 替换校验调用，并按语言返回 Result、Either、option 或异常；修改下游 API 以接收解析后的类型；移除冗余的重复校验。检查要点包括：解析类型应让非法状态不可表示；边界解析应靠近输入边缘；保留面向用户和日志的错误细节。
使用方式：按工作流执行——先找出返回 bool、void 或抛异常且原值仍流通的校验器，再定义目标类型，替换为解析调用，调整下游 API，最后清理重复校验。输出应包含当前校验泄漏、解析类型设计、API 变更和迁移步骤。非平凡实现、评审或重构前，应先阅读 references/details.md；语言模式见 references/patterns.md。
适用场景：需要以类型系统强制不变量、减少重复校验、提升边界数据可信度的代码库。
限制：资料未提供具体支持语言、安装命令、平台、收费或效果数据；实际可用性取决于项目所用语言与类型系统能力。