Repository navigation

Cursor/six event guard correlation 891a - #6515

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

unpaidmoon:cursor/six-event-guard-correlation-891a

Nov 10, 2026

Merged

Cursor/six event guard correlation 891a#6515
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/six-event-guard-correlation-891a

Commits on Nov 2, 2026
- Prove the k=6 binary full-guard product inequality
  
  cursoragent
  and
  unpaidmoon
  committed
  5882666
- Name the tail range by matrix size
  
  cursoragent
  and
  unpaidmoon
  committed
  f6cf478