OCaml Codeguard 门禁

目标：把“看起来没问题”变成可重复的工具证据，并且诚实区分通过、失败、无法验证和 planned。

30 秒开始

1. 在仓库根确认 无专用标记文件 或目标文件存在。
2. 探测工具：ocamlformat --version。
3. 先只读检查：ocamlformat --check .。
4. 将结果分为：代码违规、配置缺失、工具缺失、工具内部错误。
5. 只对可安全修复项执行：ocamlformat -i .。
6. 复跑 lint，并执行项目已有测试/构建门禁。

可直接提出：

• “检查这个 OCaml 项目，先不要修改，给我 lint 失败分类。”
• “只修复 OCaml 的格式问题，语义问题先列清单。”
• “提交前验证 OCaml lint、测试和构建证据。”