Repository navigation

Optimize GapCVP build dependencies and row-count elaboration - #747

Merged

Vilin97 merged 2 commits into

mainfrom

codex/daily-optimize-20261104T0800

Nov 4, 2026

Merged

Optimize GapCVP build dependencies and row-count elaboration#747
Vilin97 merged 2 commits into
mainfrom
codex/daily-optimize-20261104T0800

Commits on Nov 4, 2026
- perf(GapCVP): narrow proof dependencies and row-count simplification
  Vilin97
  committed
  f92f850
- perf(GapCVP): detach unused scopes and private lattice imports
  Vilin97
  committed
  9f2cbbe