用途：本技能用于重构“只校验不解析”的代码。当校验函数仅返回 bool、void 或抛异常，却仍让原始未类型化的值继续流通时，可用它把校验改为解析，返回携带不变量证明的类型化值。
主要能力与流程：一，找出返回 bool、void 或抛错但不改变值类型的校验器。二，定义目标类型，使其构造过程即证明不变量。三，用解析器或智能构造函数替换校验调用，按语言返回 Result、Either、option 或异常。四，把下游 API 改为接收解析后的类型。五，移除重复的再校验。检查点包括：让非法状态不可表示、把边界解析放在输入边缘、为用户和日志保留错误细节。
使用方式：技能引用 references/patterns.md 查看各语言模式；对非平凡实现、评审或重构，应在给出最终建议前阅读 references/details.md，其中包含详细规则、示例、坏味道与迁移说明。
输出内容：当前校验泄漏点、解析类型设计、API 改动与迁移步骤。
限制：资料未提供具体语言实现示例、支持的编程语言清单、安装或调用命令、收费与平台信息，暂未提供。