Skip to content

verity: C13 public-key guard in the model, legacy model removal, accurate verification scope#8

Merged
Th0rgal merged 2 commits into
mainfrom
fix/verity-scope-c13-guard
Jun 11, 2026
Merged

verity: C13 public-key guard in the model, legacy model removal, accurate verification scope#8
Th0rgal merged 2 commits into
mainfrom
fix/verity-scope-c13-guard

verity: move WIP axiom-discharge probes off the main line

e62d833
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar