Repository navigation

Prove sharp geometric convergence of the projection recurrence (no new κ) - #5193

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

krzysztofwojt:research/projection-geometric-tail

Oct 23, 2026

Merged

Prove sharp geometric convergence of the projection recurrence (no new κ)#5193
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
krzysztofwojt:research/projection-geometric-tail

Commits on Oct 23, 2026
- Prove strict all-block projection decrease and sharp geometric tail
  krzysztofwojt
  committed
  a2d19a6
- Focus contribution on geometric rate and credit concurrent monotonicity proof
  krzysztofwojt
  committed
  c27103b