Repository navigation

Independently audit PR6053 with complete ternary Schur-rank coverage - #6063

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

SHIN09-git:research/schur-rank-attainment-20261028

Oct 28, 2026

Merged

Independently audit PR6053 with complete ternary Schur-rank coverage#6063
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
SHIN09-git:research/schur-rank-attainment-20261028

Commits on Oct 28, 2026
- Independently audit PR6053 Schur rank law with complete ternary coverage
  SHIN09-git
  committed
  84b54b8
- Document publication of the source-bound PR6053 audit
  SHIN09-git
  committed
  aa84f8b