Repository navigation

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

Commits on Oct 20, 2026
- Prove scalar cubic caller query and pure-layer bounds
  ross
  committed
  4bfdb52