Repository navigation

Prove the width-two F2 six-call floor with genuine group-word collisions - #6097

Merged

Mister-Meeseeks merged 11 commits into

CrocSwap:mainfrom

JoyboyBrian:brian/r19-task03-group-word-collisions

Oct 28, 2026

Merged

Prove the width-two F2 six-call floor with genuine group-word collisions#6097
Mister-Meeseeks merged 11 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r19-task03-group-word-collisions

Commits on Oct 28, 2026
- feat(research): prove the conjugate-pair four-call floor in every group
  petalas
  committed
  0cee0e1
- Audit #6038 and prove a group-free four-call floor for diagonal pair targets (no new κ)
  
  JosieElliston
  and
  claude
  committed
  e743e80
- Fix -O check description
  JosieElliston
  committed
  88551f6
- Record second review
  JosieElliston
  committed
  467f434
- Record that the support-only analogue fails for longer pair targets (local probe)
  JosieElliston
  committed
  093535b
- Note the exact free-group probe for diag([xyx],[yxy])
  JosieElliston
  committed
  9890ec4
- Record local r=3 F3 run
  JosieElliston
  committed
  518cd2a
- Prove scoped six-call floor by joint group-word collision refutation
  JoyboyBrian
  committed
  2e6a8bf
- Retain exact predecessor histories without changing frozen source trees
  JoyboyBrian
  committed
  2e98bc4
- Validate collision rules and preserve known feasible endpoints
  JoyboyBrian
  committed
  3c68761
- Close the free scalar basis-change normalization obligation
  JoyboyBrian
  committed
  0a24101