Skip to content

Independent verification: what six fresh-context rounds found in a gauntlet that was already green - #4

Merged
AmazingAng merged 12 commits into
mainfrom
fix/verifier-findings
Aug 10, 2026
Merged

Independent verification: what six fresh-context rounds found in a gauntlet that was already green#4
AmazingAng merged 12 commits into
mainfrom
fix/verifier-findings

evidence: the spec prune belongs in the unverified list too

55c8467
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar