fix: autoresearch issues #11-#15, and renumber post-tag work as 3.9.0 - #300

Merged

AregGevorgyan merged 4 commits into

mainfrom

fix/autoresearch-issues-11-15

Aug 14, 2026

Commits on Aug 14, 2026

fix(validated): prove root existence past even root counts, and integrate removable singularities

AregGevorgyan
and
claude
committed
5450ca7
docs(validated): inline the mean-value argument instead of linking a private item

AregGevorgyan
and
claude
committed
d5d6158
fix: GbPoly read path, ODE/DAE docs, and the accessor convention

AregGevorgyan
and
claude
committed
dc11c8c
release: move post-tag work into a new 3.9.0 section, bump to 3.9.0

AregGevorgyan
and
claude
committed
38f00bc