Skip to content

The four integration declines are bounded by one guard that a loaded runner cannot fail - #1406

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
test-wall-is-the-runner
Sep 17, 2026
Merged

Rafael-SOWNet merged 1 commit into
masterfrom
test-wall-is-the-runner

Conversation

@Rafael-SOWNet

Copy link
Copy Markdown
Member

InverseTangentPowerByPartsTest.ANonElementaryRemainderIsDeclinedQuickly failed twice today on the Ubuntu leg (#1402's first run at 20.7 s, #1405's at 25.7 s) with the suite taking 12–13 minutes where the Windows leg took 4–6: the same binary, seven times slower, so the runner and not the code — atan(x)^2/x^2 declines in 3.4 s here on master and on both branches. The four wall-clock integration tests now share IntegrationDecline.Guard (60 s), documented as LimitTermination is: past the slowest honest decline by a wide margin, still short of the 30–83 s runaways each test was written against, so a real regression still fails and a loaded runner does not.

Tests only; the four classes pass locally (71 tests, 5 s).

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

…runner cannot fail

atan(x)^2/x^2 declines in 3.4 seconds on a developer machine and was bounded at 20; on
2026-09-17 the same test failed twice on an Ubuntu runner at 20.7 and 25.7 seconds, in suites
that took 13 and 12 minutes where the Windows leg beside them took 4 and 6 -- the same binary,
seven times slower, which makes it the runner and not the code. IntegrationDecline.Guard is 60
seconds, past the slowest honest decline by a wide margin and still short of the runaway each
of the four tests was written against, as LimitTermination is for the limits.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
@Rafael-SOWNet
Rafael-SOWNet merged commit 852c747 into master Sep 17, 2026
27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant