Skip to content

Classify exact two-versus-three costs for diagonal cube-zero lifts (no κ) - #7182

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1111a-local-residue-cost
Open

petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1111a-local-residue-cost

feat(research): classify distinct-pencil quadratic lift costs

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

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 8s