Skip to content

Dependency-fidelity: §6 wall caught an unsound input-reachability enrollment on real code (finding + receipt) - #6584

Merged
briansrls merged 8 commits into
mainfrom
session/merry-cat-180
Jul 14, 2026
Merged

briansrls merged 8 commits into
mainfrom
session/merry-cat-180

dependency-fidelity: do NOT enroll unsound input-reachability gate; r…

4b69ae4
Select commit
Loading
Failed to load commit list.