fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort - #310

Open

AregGevorgyan wants to merge 21 commits into

mainfrom

integrate/autoresearch-2026-08-19

Commits on Aug 20, 2026

fix(pslq): close the four value-preserving conversions that switched the trust gate off

AregGevorgyan
and
claude
committed
d3aed71
fix(novelty): read OEIS's real notation, page terms= searches, carry a q-recurrence, cross-check terms

AregGevorgyan
and
claude
committed
481826a
fix: five trust-boundary and false-red bugs in the research/claim-graph layer

AregGevorgyan
and
claude
committed
8de5af9
Merge branch 'fix/research-graph' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
e55a65c
fix(holonomic): report singular indices on a guessed recurrence, make its verdict tri-state, and stop refusing a basis

AregGevorgyan
and
claude
committed
251333b
Merge branch 'fix/pslq-trust' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
a7a7af0
Merge branch 'fix/holonomic-guess' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
431dcbe
fix: give the Zeilberger boundary verdict the domain of n it is a theorem on

AregGevorgyan
and
claude
committed
cfc1994
Merge branch 'fix/zeilberger-boundary' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
fec9ebc
fix(ball): tan and pow_f returned "enclosures" that exclude values in the box

AregGevorgyan
and
claude
committed
90f2498
Merge branch 'fix/ball-soundness' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
886d789
fix: parenthesise a negative or fractional power base in all three printers

AregGevorgyan
and
claude
committed
8e68ee8
Merge branch 'fix/printer-negbase' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
84c1219
fix(sos): half-Newton-polytope reduction; retract the false N=2 Motzkin claim

AregGevorgyan
and
claude
committed
80a70b2
Merge branch 'fix/sos-motzkin' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
666429a
fix(validated): enclose bounded integrands at a domain boundary; restore verified_sign monotonicity; make the searches interruptible

AregGevorgyan
and
claude
committed
852529c
Merge branch 'fix/validated-integral' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
c6634e8
fix(m9): accept Q(params) input, verify specialisation refusals, and connect parametric elimination to rosenfeld_groebner

AregGevorgyan
and
claude
committed
d23a2d3
Merge branch 'fix/parametric-groebner' into integrate/autoresearch-2026-08-19
AregGevorgyan
committed
d6175f3

Navigation Menu

Uh oh!

fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort - #310

fix: the 2026-08-19 autoresearch run — two Critical soundness bugs, a false mathematical claim, and an uncatchable process abort#310
AregGevorgyan wants to merge 21 commits into
mainfrom
integrate/autoresearch-2026-08-19

Commits on Aug 20, 2026

fix(pslq): close the four value-preserving conversions that switched the trust gate off

fix(novelty): read OEIS's real notation, page terms= searches, carry a q-recurrence, cross-check terms

fix: five trust-boundary and false-red bugs in the research/claim-graph layer

Merge branch 'fix/research-graph' into integrate/autoresearch-2026-08-19

fix(holonomic): report singular indices on a guessed recurrence, make its verdict tri-state, and stop refusing a basis

Merge branch 'fix/pslq-trust' into integrate/autoresearch-2026-08-19

Merge branch 'fix/holonomic-guess' into integrate/autoresearch-2026-08-19

fix: give the Zeilberger boundary verdict the domain of n it is a theorem on

Merge branch 'fix/zeilberger-boundary' into integrate/autoresearch-2026-08-19

fix(ball): tan and pow_f returned "enclosures" that exclude values in the box

Merge branch 'fix/ball-soundness' into integrate/autoresearch-2026-08-19

fix: parenthesise a negative or fractional power base in all three printers

Merge branch 'fix/printer-negbase' into integrate/autoresearch-2026-08-19

fix(sos): half-Newton-polytope reduction; retract the false N=2 Motzkin claim

Merge branch 'fix/sos-motzkin' into integrate/autoresearch-2026-08-19

fix(validated): enclose bounded integrands at a domain boundary; restore verified_sign monotonicity; make the searches interruptible

Merge branch 'fix/validated-integral' into integrate/autoresearch-2026-08-19

fix(m9): accept Q(params) input, verify specialisation refusals, and connect parametric elimination to rosenfeld_groebner

Merge branch 'fix/parametric-groebner' into integrate/autoresearch-2026-08-19

Commits on Aug 21, 2026

fix(budget): an out-of-memory exact solve refused, not an uncatchable abort

Merge branch 'fix/resource-budgets' into integrate/autoresearch-2026-08-19