Skip to content

Independently check the p17 chain #4440, #4441, #4446, #4447, #4453 (kappa 0.00296..0.0030012): invoices, strictification, roots and compiler ranks hold (no new κ) - #4455

Merged
Mister-Meeseeks merged 7 commits into
CrocSwap:mainfrom
pinterbanget:p17-b480-check
Oct 22, 2026
Merged

Independently check the p17 chain #4440, #4441, #4446, #4447, #4453 (kappa 0.00296..0.0030012): invoices, strictification, roots and compiler ranks hold (no new κ)#4455
Mister-Meeseeks merged 7 commits into
CrocSwap:mainfrom
pinterbanget:p17-b480-check

Commits

  1. Commits on Oct 21, 2026

  2. Commits on Oct 22, 2026