stillwater-sc / universal / 26991696085
85%
master: 84%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 674
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 84.558% (+0.02%) from 84.542%
26991696085

push

github

web-flow 
feat(elreal): high-precision transcendental hardening suite (identity-driven, #1049) (#1059)

Adds a >= 300-digit, identity-driven validation suite for the elreal transcendentals,
per #1049 (Phase 7). The per-PR tests only check host-double tolerance (~16 digits),
which is blind to high-precision operator bugs; this validates exactly via the
independent dyadic oracle (no shared code path with elreal arithmetic, per #987).

New: elastic/elreal/math/transcendentals_highprecision.cpp
  - Always-on fast tier (depth 6, double tolerance): headline identities so the file
    contributes per-PR coverage even when REGRESSION_LEVEL_4 is off.
  - REGRESSION_LEVEL_4 (depth 20, >= 300 digits): absolute spot-checks vs mpmath
    320-digit strings + self-checking identity residuals (round-trips, Pythagorean,
    complementary, addition theorems), checked exactly via the dyadic oracle.

Two latent operator bugs surfaced at depth and were filed (#1049 anticipated this);
their checks are gated off behind a macro with a pointer, so the suite stays green:
  - #1057: add() does not renormalize an EXACT leading-term cancellation to 0-overlap
    (asin(x)+acos(x), since acos = pi/2 - asin) -- aborts the ZBCL invariant.
  - #1058: exp/sin/cos (and tan/sinh/cosh/tanh built on them) cap at host-double
    precision because their series scale each term by a host-double reciprocal
    coefficient -- same bug class as e_zbcl (#1054) but in the FUNCTIONS. log/atan/
    asin/acos use the full-precision odd_power_series and already reach 307+ digits.

The full-precision group (log/atan/asin/acos + their identities) is active and passes
at 307-320 digits; the exp/sin/cos family is gated until #1058 lands (flip the macro).

Supporting infrastructure:
  - elreal_reference_digits.hpp: add relative-agreement overloads
    agreed_decimal_digits(dyadic,dyadic) and (ZBCL,ZBCL) for identity residual checks
    where neither side has a closed-form decimal string (e.g. exp(a+b)==exp(a)*exp(b))... (continued)

47619 of 56315 relevant lines covered (84.56%)

6024270.33 hits per line

Coverage Regressions

Lines Coverage ∆ File
2
89.78
 -0.55% include/sw/universal/number/posito/posito_impl.hpp
Jobs
ID Job ID Ran Files Coverage
1 26991696085.1 674
84.56
 GitHub Action Run
Source Files on build 26991696085