Repository navigation

tract-harvest-probe: check run inputs against resolved facts; Pow exponent must not grow the base - #1851

Merged

AdaWorldAPI merged 2 commits into

mainfrom

ccr-0161f442-un1mrc

Oct 30, 2026

Merged

tract-harvest-probe: check run inputs against resolved facts; Pow exponent must not grow the base#1851
AdaWorldAPI merged 2 commits into
mainfrom
ccr-0161f442-un1mrc

Commits on Oct 30, 2026
- tract-harvest-probe: check run inputs against resolved facts; Pow exponent must not grow the base
  claude
  committed
  a093d65
- Merge remote-tracking branch 'origin/main' into ccr-0161f442-un1mrc
  claude
  committed
  fee95c2