用途：修复代码库中的 TypeScript 编译错误与类型不匹配，属于 fix 技能的 TypeScript/类型错误变体。
主要能力与流程：先通过 tsc --noEmit 或 nx build 收集类型错误，再对错误分类（缺失类型、签名错误、导入问题等），最后在不使用 any 强制转换的前提下做类型安全修复，并重复执行直到无类型错误。修复后需运行 $prove-fix 生成带置信度的证明轨迹。
使用方式：在 Codex 中以 $fix-types 调用。执行前须建立任务跟踪，并先阅读项目参考文档（如 docs/project-config.json、docs/project-reference/docs-index-reference.md、lessons.md 等），按任务类型选择性读取后端、前端、测试等对应文档。可用 bun run typecheck、tsc 或 npx tsc 验证。
关键限制：改动前必须把发现与拟议修复以直接提问方式提交用户并获得明确批准，禁止静默修复；每个结论需给出 file:line 证据与置信度（低于 60% 应停止并补充证据）；优先正确类型而非 any 或类型断言，修复根因而非症状；不得跳过、重排或合并协议步骤，环境无法执行某步骤时应停下询问用户。
适用场景：TypeScript 项目的类型错误清理、编译失败排查与类型相关回归修复。其他细节资料暂未提供。