• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

stillwater-sc / universal / 26399740586
84%
master: 84%

Build:
Build:
LAST BUILD BRANCH: fix/issue-ci-ereal-regression-runtime
DEFAULT BRANCH: master
Ran 25 May 2026 04:53PM UTC
Jobs 1
Files 660
Run time 2min
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

25 May 2026 12:08PM UTC coverage: 84.071% (+0.04%) from 84.032%
26399740586

push

github

web-flow
feat(internal): EFT primitive exactness proof (#988, #987 Layer 1) (#994)

* docs(ereal): verification failure-mode assessment + dyadic oracle (WIP, epic #987)

Captures the ereal/Priest verification gap (structural + self-referential
oracles never check exact value), the 3-layer remediation plan, and the
discovery that both candidate exact-arithmetic backends are broken
(einteger multiply #991, erational conversion #986). Includes the dyadic
exact-rational oracle header; blocked on a sound integer backend.

Relates to #987. WIP -- not for merge until #991 and #986 are fixed.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* feat(expansion): prove EFT primitive exactness against exact oracle (#988, #987 Layer 1)

Layer 1 of the ereal/Priest conformance epic #987. Verify the three error-free
transformations the expansion algorithms rest on satisfy their defining exact
identities, against an independent exact dyadic-rational oracle (dyadic_exact.hpp,
einteger-backed -- no shared code with the transforms):

  two_sum / fast_two_sum:  s + e == a + b  exactly (s == fl(a+b))
  two_prod:                x + y == a * b  exactly (x == fl(a*b))

internal/expansion/primitives/eft_exactness.cpp: oracle self-check, structured
edges (equal magnitude, opposite signs, subnormal tails, ties, signed zero,
large exponent gaps), and randomized fuzz across the exponent range, L1..L4.
two_sum holds for any finite sum; two_prod within the normal-product band (its
error term is unrepresentable on subnormal underflow). fast_two_sum is fed
|a|>=|b| (its precondition, guaranteed at the priest_renormalize call site) and
the test confirms that precondition is load-bearing. VerifyTwoProd doubles as a
platform check that std::fma is correctly rounded.

Includes the verification failure-mode assessment doc and the dyadic oracle.
gcc-13 + clang-18 PASS.

Relates to #987.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

* fix(internal): addr... (continued)

117 of 127 new or added lines in 2 files covered. (92.13%)

2 existing lines in 1 file now uncovered.

47569 of 56582 relevant lines covered (84.07%)

8724937.21 hits per line

Uncovered Changes

Lines Coverage ∆ File
10
90.1
internal/expansion/primitives/eft_exactness.cpp

Coverage Regressions

Lines Coverage ∆ File
2
89.78
0.0% include/sw/universal/number/posito/posito_impl.hpp
Jobs
ID Job ID Ran Files Coverage
1 26399740586.1 25 May 2026 04:53PM UTC 660
84.07
GitHub Action Run
Source Files on build 26399740586
  • Tree
  • List 660
  • Changed 4
  • Source Changed 0
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26399740586
  • 19873428 on github
  • Prev Build on main (#26397640216)
  • Next Build on main (#26403525480)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc