Repository navigation

feat(polytime): report a failed certificate subterm - #1738

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/polytime-failure-hint-20261030

Oct 30, 2026

Merged

feat(polytime): report a failed certificate subterm#1738
SamuelSchlesinger merged 2 commits into
mainfrom
feat/polytime-failure-hint-20261030

Commits on Oct 30, 2026
- feat(polytime): report a failed certificate subterm
  SamuelSchlesinger
  committed
  76c7eda
- style(tests): wrap polynomial-time hint controls
  SamuelSchlesinger
  committed
  f07988c