Ox Alpha 同会话类型检查审计与自定义指令回写

一句话结论

当 Ox Alpha 在 OpenCode 中反复经过类型检查仍报错时，可以在同一会话让它审计错误，再把已验证的修复原则写回自定义指令，形成针对项目的反馈闭环。

适用场景

• 适合的任务：TypeScript/前端项目的类型错误复盘、项目级编码约定固化。

• 不适合的任务：未经人工确认就把模型推断写入全局规则，或把一次成功修复当成类型安全保证。

• 适用的模型版本：Ox Alpha；没有版本快照。

• 适用的客户端、Agent 或 API：OpenCode；评论明确提到 custom instructions。

• 推荐的推理档位和参数：未公开；保持原档位，只记录错误批次、修复次数和最终测试。

可直接使用的内容

原帖没有公开其实际自定义指令全文，下面是可复用的配置工作流：

1. 在同一个 OpenCode 会话中运行 typecheck，保存完整错误输出、文件路径和行号。
2. 要求 Ox Alpha 先把错误按“根因 / 连带错误 / 纯类型声明问题”分类，不要立即修改全部文件。
3. 对每一类错误给出最小修复，并说明不会改变的运行时行为；逐批修改后重新运行 typecheck。
4. 只把已经被 typecheck、测试或构建验证的通用原则写入项目 custom instructions，例如：
   - 修改类型前先查找真实调用方和导出边界；
   - 不用 `any` 掩盖未解决的类型冲突；
   - 每次修改后重新运行原始 typecheck 命令。
5. 再开一个干净会话执行一个小任务，确认新指令不会导致过度修改或无关重构。

原始体验与边界

作者称 Ox Alpha 在类型检查阶段会经历 15–25 个错误，自己让模型在同一会话审计错误并把修复写入 OpenCode 自定义指令后“目前能工作”。这是个人体验，未公开仓库、错误日志、指令内容或前后对照数据。

复用要点

• 回写的是经过验证的项目规则，不是模型对某个错误的临时猜测。

• 同时保存“原始错误 → 修复 diff → 再次检查”的链路，防止把错误消失误认为问题解决。

• 全局指令、仓库指令和单次 prompt 分开管理，便于回滚。