在 anteriorai/symbolic-reasoning 可确认的最新版本是 @anteriorai/srg-parser@0.7.0。该仓库是一个 Python 库，处理智能体遗漏策略规则或错误套用策略规则的问题。它不把策略判断完全交给模型的回答，而是用符号逻辑来处理规则。不过，所提供的信息中没有关于这次发布究竟改动了什么的具体变更清单。
策略以 .srg 语言表示为图的形式。单个性案的事实由智能体或外部判断器提供，库据此决定下一个提问与结果，并记录判断路径。求解器所询问的 oracle，指的是回答个案事实的判断主体。这一结构着重把制定规则的策略文件与逐案的事实判断分开处理。它既可以在常规工作流中运行，也可以作为工具调用接入智能体，工具服务器通过 MCP 提供。仓库语言为 Python，许可证为 Apache-2.0。FACTS 中记录的星标数为 11。
该 API 尚未达到 1.0，被说明为处于研究阶段。所提供的信息中也没有基准测试表明它能减少多少规则遗漏或误用。因此，可以确认其设计是把策略规则作为符号图处理并记录路径，但要判断实际效果的大小或稳定性，证据仍然不足。