Skip to content

Prove a fixed positive-metric Gram box obstruction (no new κ) - #5172

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w1-1022r-weighted-gram-box
Oct 23, 2026
Merged

Prove a fixed positive-metric Gram box obstruction (no new κ)#5172
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w1-1022r-weighted-gram-box

docs(research): keep the proof note focused on reproducibility

f476ed6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 59s