Repository navigation

feat(testing): prove the adaptive one-sided linearity query lower bound - #1815

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/testing-linearity-lower-20261030

Oct 30, 2026

Merged

feat(testing): prove the adaptive one-sided linearity query lower bound#1815
SamuelSchlesinger merged 2 commits into
mainfrom
feat/testing-linearity-lower-20261030

Commits on Oct 30, 2026
- feat(testing): prove the adaptive one-sided linearity query lower bound
  SamuelSchlesinger
  committed
  2535c60
- chore(testing): merge main and regenerate the import aggregate
  SamuelSchlesinger
  committed
  31ab4c5