Repository navigation

Audit #6038 and prove a group-free four-call floor for diagonal pair targets (no new κ) - #6048

Merged

Mister-Meeseeks merged 6 commits into

CrocSwap:mainfrom

JosieElliston:s38-conjugate-pair-audit

Oct 28, 2026

Merged

Audit #6038 and prove a group-free four-call floor for diagonal pair targets (no new κ)#6048
Mister-Meeseeks merged 6 commits into
CrocSwap:mainfrom
JosieElliston:s38-conjugate-pair-audit

Commits on Oct 28, 2026
- 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