Repository navigation

Bound skew and cubic responses with sharp odd-kernel frame floors - #4081

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

RossRichardson:ross/caller-response-gates-20261019

Oct 20, 2026

Merged

Bound skew and cubic responses with sharp odd-kernel frame floors#4081
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:ross/caller-response-gates-20261019

Commits on Oct 19, 2026
- Prove scoped skew and cubic response cost gates
  ross
  committed
  bbfc54c
- Certify sharp fixed-word frame floors for odd-rank kernels
  ross
  committed
  f303d15