Skip to content

Prove a pair-sum readout floor for partitioned walk duals at every Q (no new κ) - #6036

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w16-1022ai-partitioned-walk-pair-sum-floor
Oct 28, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w16-1022ai-partitioned-walk-pair-sum-floor

feat(research): prove a pair-sum floor for partitioned walk duals

1cf36dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view