Repository navigation

Independently check #4483's identity (2) and Chernoff bounds (7)-(9) on actual flows (p7, p16): all hold with wide margins (no new κ) - #4591

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

pinterbanget:check-4483-chernoff

Oct 22, 2026

Merged

Independently check #4483's identity (2) and Chernoff bounds (7)-(9) on actual flows (p7, p16): all hold with wide margins (no new κ)#4591
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:check-4483-chernoff

Commits on Oct 22, 2026
- Independently check #4483's identity (2) and Chernoff bounds (7)-(9) on actual flows (p7, p16): all hold with wide margins (no new κ)
  
  pinterbanget
  and
  claude
  committed
  2a60ff2
- Check identity (2) exactly as formal power sums (every t at once), with a rejection control
  
  pinterbanget
  and
  claude
  committed
  84c0fb3