Skip to content

Independently check #4554's linear-program lowering (PHASE-TABLES §2, §4): exact induction, random programs, FFT instantiation (no new κ) - #4566

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:check-4554-lowering
Oct 22, 2026
Merged

Independently check #4554's linear-program lowering (PHASE-TABLES §2, §4): exact induction, random programs, FFT instantiation (no new κ)#4566
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:check-4554-lowering

Commits

  1. Commits on Oct 22, 2026