Skip to content

fix: reject rules with unbound comparison variables at registration - #111

Merged
jsam merged 2 commits into
mainfrom
fix/engine-unbound-comparison
Aug 20, 2026
Merged

fix: reject rules with unbound comparison variables at registration#111
jsam merged 2 commits into
mainfrom
fix/engine-unbound-comparison

fix: harden Check 4 per adversarial review - reachability, nested ter…

756e5ad
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar