Repository navigation

Prove four-call Q8 central-minus-one minimum for all r - #2047

Merged

Mister-Meeseeks merged 5 commits into

CrocSwap:mainfrom

1337isnot1337:research/q8-central-minus-one-any-r-seed0332f4

Oct 15, 2026

Merged

Prove four-call Q8 central-minus-one minimum for all r#2047
Mister-Meeseeks merged 5 commits into
CrocSwap:mainfrom
1337isnot1337:research/q8-central-minus-one-any-r-seed0332f4

Commits on Oct 14, 2026
- research: extend Q8 central target floor to all widths
  1337isnot1337
  committed
  e530df9
- check Q8 inverse and central relations
  1337isnot1337
  committed
  f366f72
- record final overlap for Q8 bound
  1337isnot1337
  committed
  d6705ec
- Record Q8 all-registers research PR handoff
  1337isnot1337
  committed
  2e3867e
- Clarify substantive Q8 result commit in handoff
  1337isnot1337
  committed
  46bce88