AWS open-sources an engine for semantic diffing of formal policies
Start here
AWS has published an open-source engine that computes semantic diffs of formal policies by applying anti-unification over an e-graph. Given two versions of a policy, it shows the structure they share once and keeps both versions of each part where they differ, so reviewers see what changed semantically rather than as a line-by-line text diff. The engine targets policies produced by autoformalization in SMT-LIB, Cedar, Dogwood, OpenShell and CEL. An LLM may write the policy artifact, but it plays no part in computing the diff. The code is Apache-2.0 licensed on GitHub and builds from source with only a pinned Rust toolchain.
Generated from reports · updated 22 h ago
Report timeline
Follow the reports to see the event from different sides.
- AWS Machine Learning BlogSemantic diffing of formal policies with anti-unification
An open source engine computes semantic diffs of formal policies using anti-unification over an e-graph, showing shared structure once and keeping both versions of each differing part. It targets autoformalization outputs in SMT-LIB, Cedar, Dogwood, OpenShell policies and CEL, where an LLM writes the artifact but plays no part in computing the diff.
Heat for this event
Not enough continuous observations yet to draw a trend.