AWS 介绍反合一形式化策略语义差异引擎

AWS Machine Learning Blog 介绍了一种用反合一（anti-unification）对形式化策略做语义差异比较的方法，并发布了对应的开源引擎。该引擎在 e-graph 上计算两条策略的最具体公共模式，只展示一次共有结构、保留各处差异的两个版本；若差异为零，则两策略在给定代数律与领域规则下等价。 该引擎不导入 Cedar、Dogwood、OpenShell 或 CEL 的原生策略，而是把相关语法编码为项并声明等式；LLM 只负责生成形式化产物，不参与差异计算。引擎以 Apache-2.0 协议在 GitHub 开源，从源码构建只需固定版本的 Rust 工具链。 报道同时说明，该引擎不评估 Dogwood 策略，这一能力不在当前引擎范围内。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。