Skip to content

Research: one-sided residue closures, part 2 — Lemma Q4, count lemma + E6 dim-cover and rerunnable span passes close 78 more of the 116 open residues (38 open; no kappa claim) - #3049

Open
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/one-sided-residue-closures-2
Open

Research: one-sided residue closures, part 2 — Lemma Q4, count lemma + E6 dim-cover and rerunnable span passes close 78 more of the 116 open residues (38 open; no kappa claim)#3049
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/one-sided-residue-closures-2

Research: one-sided residue closures part 2 (Lemma Q4, count lemma + …

3d61d02
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 22s