Repository navigation

Prove partial capture preserves the paid profile - #4104

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

RossRichardson:research/20261019T2103Z-kappa-mechanism

Oct 20, 2026

Merged

Prove partial capture preserves the paid profile#4104
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:research/20261019T2103Z-kappa-mechanism

Commits on Oct 19, 2026
- Preserve pinned sources for partial helper capture
  ross
  committed
  f0631e4
- Prove partial helper capture preserves the paid profile
  ross
  committed
  c8d11b6