Skip to content

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

Prove partial helper capture preserves the paid profile

c8d11b6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 19, 2026 in 2m 6s