arbiter-dsl：面向 LLM 生成业务规则的可静态验证 DSL 设计草案

GitHub 上的 arbiter-dsl 项目发布了一份语言规范与先行研究综述，目前仅为设计草案、尚无实现，目标是让 LLM 从自然语言生成的业务规则可被静态证明。语言保证全域性、有界性与确定性三项可判定性质，刻意排除循环、递归、副作用、null、浮点数和用户自定义函数，并以验证器为核心产品。规范含 31 个稳定错误码、EBNF 文法、DMN/Excel 互操作，诊断采用 Verified/Violated/Inconclusive 三值区域最小化输出。