Skip to content

Julia 1.10+, CI fixes#9

Merged
timholy merged 3 commits into
mainfrom
teh/ci
Jul 14, 2026
Merged

Julia 1.10+, CI fixes#9
timholy merged 3 commits into
mainfrom
teh/ci

Conversation

@timholy

@timholy timholy commented Jul 14, 2026

Copy link
Copy Markdown
Member

No description provided.

timholy added 3 commits July 14, 2026 15:47
The Monte Carlo comparisons drew from an unseeded generator, so the suite
passed or failed by luck: replaying it 60 times fails 19 times. Draw from
a seeded StableRNG instead. Julia's own streams differ between releases,
so a StableRNG is what makes a given commit produce the same result on
every version.

Two flaws surfaced while tracking this down.

`GVar` propagates moments to second order, which holds only while the
spread is small compared to the distance from the mean to a singularity or
a sign change. The guard `μ - 3σ >= 0` admitted `log` at μ=3, σ=1, where
that distance is zero: the sampled `log(x)` reaches tens of radii below
`mid`, and `GVar` reports σ = 0.342 against a true 0.411. The variance
test was right to reject, and did so in 13% of draws. Require μ >= 4σ, and
apply it to every function rather than to `log` alone.

The loop runs about 70 hypothesis tests, so a per-test threshold of 0.001
rejects a correct implementation in roughly 7% of runs. Use the
corresponding Bonferroni level of 1e-5, which still detects a 25% error in
σ on every draw.

Assisted-by: Claude Opus 4.8 <noreply@anthropic.com>
@codecov

codecov Bot commented Jul 14, 2026

Copy link
Copy Markdown

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@timholy timholy merged commit eb09203 into main Jul 14, 2026
4 checks passed
@timholy timholy deleted the teh/ci branch July 14, 2026 21:27
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