Skip to content

Prove cubic scalar-caller query and pure-layer bounds - #4269

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/cubic-scalar-caller-bounds-20261020
Oct 21, 2026
Merged

Prove cubic scalar-caller query and pure-layer bounds#4269
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/cubic-scalar-caller-bounds-20261020

Prove scalar cubic caller query and pure-layer bounds

4bfdb52
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 20, 2026 in 3m 3s