Skip to content

Research note: E6 Gram point locally rigid among rank-6 realisations; D5 non-Gram 16-parameter family, and every rank-≤5 D5 realisation keeps floor 20 (#2277 OQ4, no κ claim) - #2450

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i9-s49-e6d5-gram-rigidity
Oct 15, 2026
Merged

Research note: E6 Gram point locally rigid among rank-6 realisations; D5 non-Gram 16-parameter family, and every rank-≤5 D5 realisation keeps floor 20 (#2277 OQ4, no κ claim)#2450
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i9-s49-e6d5-gram-rigidity

e6-d5 package: address review (exact negative controls, -O guard, sco…

d7fa282
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 16, 2026 in 4m 30s