feat: q-Zeilberger, modular evaluation, recurrence asymptotics, and full Taylor-model coverage - #304

Merged

AregGevorgyan merged 5 commits into

mainfrom

feat/capabilities-m4-m7

Aug 15, 2026

Commits on Aug 15, 2026

feat: q-Zeilberger, modular evaluation, recurrence asymptotics, and the

AregGevorgyan
and
claude
committed
2cf287d
fix: keep modular errors off the exhaustive HolonomicError enum

AregGevorgyan
and
claude
committed
cbf52e7
fix(test): loosen a knife-edge speed ratio in the modular sweep test

AregGevorgyan
and
claude
committed
8b117c7
perf(diff): dispatch through a probe-free registry singleton

AregGevorgyan
and
claude
committed
67d14f7
perf: resolve NUMERIC_BALL on read, like TAYLOR_MODEL

AregGevorgyan
and
claude
committed
23b9227