Repository navigation

Exclude five-term triple savings in rank-57 P112 triad fits - #3684

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

flyingviper:research/p112-refresh-20261018

Oct 20, 2026

Merged

Exclude five-term triple savings in rank-57 P112 triad fits#3684
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
flyingviper:research/p112-refresh-20261018

Commits on Oct 18, 2026
- Prove the five-term triad triple floor with complete matroid certificates
  flyingviper
  committed
  9189ab2
- Record complete registered and Git-free validation
  flyingviper
  committed
  fad2e40