Skip to content

Sharp call-budget bounds for PR6049's hidden power windows (no new kappa) - #6139

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Karnaugh33:fixed-budget-hidden-windows-20261028
Oct 28, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Karnaugh33:fixed-budget-hidden-windows-20261028

Add scoped fixed-budget hidden-window proof and exact checks

3b9de03
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs