Skip to content

Prove the fixed L/2 firing set's first all-sound length for every n >= 5: L*(n) = 2^n - 2 floor(sqrt(2^(n-1)-1)), with explicit firing words one step below (no new κ) - #4357

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:f7-firing-threshold-all-n
Oct 21, 2026
Merged

Prove the fixed L/2 firing set's first all-sound length for every n >= 5: L*(n) = 2^n - 2 floor(sqrt(2^(n-1)-1)), with explicit firing words one step below (no new κ)#4357
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:f7-firing-threshold-all-n

Prove the fixed L/2 first all-sound length for every n >= 5

bc72038
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs