32032273842
85%
master: 84%

Ran 17 Aug 2026 01:32PM UTC

Jobs 1

Files 618

Run time 2min

Badge

Embed ▾

Committed 17 Aug 2026 12:55PM UTC coverage: 85.452% (+0.02%) from 85.434%

Build # 32032273842

Build Type

push

github

Committed by

web-flow

Commit Message

fix(internal): refuse to compile floatcascade arithmetic at unsupported widths (#1330)

The generic add_cascades<N> and multiply_cascades<N> templates - reached for
any N outside {2, 3, 4} - still carry the superseded formulation: the
uncompressed expansion #1317 fixed, the sorted accumulation #1322 and #1324
replaced, and no knowledge of the quotient digit #1326 added.

Nothing instantiates them, so this was never a live defect. But the first
person to write floatcascade<5> would have inherited every bug this effort
fixed, silently, with a result quietly 15 digits short.

Both templates now static_assert that N is 2, 3 or 4, with a message naming
the design assessment.

Specializing them properly was considered and rejected: there is no generic
form of the corrected algorithms to fall back on. The multiplication schedule
is derived from the eps^(i+j) ordering of the partial products for one
specific N, the division needs N+1 quotient digits closed by an N+1-term
renormalization, and whether the addition needs compression is a measured
property rather than a derived one - N=2 and N=3 do not need it, N=4 does. A
new width needs a new derivation, and the error message says so.

Coverage Stats

42727 of 50001 relevant lines covered (85.45%)

7233685.55 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	32032273842.1	17 Aug 2026 01:32PM UTC	618	85.45	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 32032273842

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 32032273842

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

README BADGES
x