Repository navigation

Prove the sharp component threshold for commutative right-vector targets - #4334

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

ToikY:codex/b5-commutative-products

Oct 21, 2026

Merged

Prove the sharp component threshold for commutative right-vector targets#4334
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
ToikY:codex/b5-commutative-products

Commits on Oct 21, 2026
- Retain the right-vector commutative-target question and exact source contract
  ToikY
  committed
  326b25e
- Prove the sharp field-component threshold for commutative right-vector targets
  ToikY
  committed
  bc9b639