Skip to content

Negative result: Corollary J fails on the whole #2111 121-line pool for every phi (rank 266, 30/30 immovable); exhaustive <=5-line immovable atoms all satisfy cost >= v - #2351

Merged
Mister-Meeseeks merged 6 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i5-s43-pool121-jet-rigidity
Oct 15, 2026
Merged

Negative result: Corollary J fails on the whole #2111 121-line pool for every phi (rank 266, 30/30 immovable); exhaustive <=5-line immovable atoms all satisfy cost >= v#2351
Mister-Meeseeks merged 6 commits into
CrocSwap:mainfrom
thakrarsagar:loop9d24/i5-s43-pool121-jet-rigidity

Commits

  1. Commits on Oct 15, 2026