Repository navigation

Recover the whole sharp Schur central class and characteristic-two partition - #5287

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

aliromman:codex/impact-research-20261023-r4

Oct 23, 2026

Merged

Recover the whole sharp Schur central class and characteristic-two partition#5287
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/impact-research-20261023-r4

Commits on Oct 23, 2026
- Retain exact Schur fixture and proof sources for central reconstruction
  aliromman
  committed
  60bd962
- Recover the whole sharp Schur central class and binary Jordan partition
  aliromman
  committed
  d17a8b3