Skip to content

Prove the E8 ports-per-dimension law N_e = 2^(e-2) + 4 in closed form (no κ) - #7127

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1110a-e8-ports-closed-form
Open

Prove the E8 ports-per-dimension law N_e = 2^(e-2) + 4 in closed form (no κ)#7127
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1110a-e8-ports-closed-form

feat(research): prove a closed form for E8 port counts in subspaces

7e4e01a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Nov 10, 2026 in 4m 43s