Skip to content

Prove BH step-up (P5); gate self-test covers every audit check - #2

Merged
hyperpolymath merged 1 commit into
mainfrom
wip/core-p1-p5
Oct 2, 2026
Merged

Prove BH step-up (P5); gate self-test covers every audit check#2
hyperpolymath merged 1 commit into
mainfrom
wip/core-p1-p5

Proofs: P5 BH step-up (q≥p, monotone, ≤1) at original indices; gate s…

238c95a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar