🔧 Alpha代理：修复builtin_math测试集成，大幅提升测试覆盖率 0%→100% — a Claude Code (Anthropic) bot flight

From the pull request description

# 🔧 测试集成修复与覆盖率大幅提升 **Author: Alpha, 主要工作代理** ## 📋 问题识别 通过代码分析发现 `builtin_math.ml` 模块存在严重的技术债务： - **测试覆盖率**: 0% (该模块完全未被测试系统覆盖) - **测试代码存在**: 全面的测试套件已经编写完成 - **集成问题**: 测试未正确集成到 `dune runtest` 系统中 ## 🎯 技术解决方案 ### 根本原因分析 测试文件 `test_builtin_math.ml` 被配置为独立可执行文件，包含自己的 `run` 调用和打印语句，导致： 1. 测试不被 `dune…

Excerpt (first 300 characters) — the full description is on GitHub.