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

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Ran
Jobs 1
Files 633
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
coverage: 84.353% (-0.02%) from 84.369%
24223726910

push

github

web-flow 
feat(bisection): validation suite and documentation (#705)

* feat(bisection): validation suite and documentation

Add comprehensive validation tests and documentation for the bisection
coding framework, closing the final sub-issue of Epic #687.

Validation tests:
- cross_validate.cpp: cross-validate bisection_posit<p,m> against
  native posit<p,m> for p=4..16 and m=0,1. Value metrics are
  informational (bisection and native use different fine-structure
  strategies); value-ordering agreement is the hard structural check.
  Results confirm exact match for es=0 at p>=5 and O(2^{-p})
  convergence for es=1.
- density.cpp: monotonicity (all 10 types at 8-bit, 5 types at 12-bit),
  generator monotonicity (all 8 generators), midpoint rounding (5 types,
  252 midpoints each), and decade-bucketed density distribution profiles.

Documentation:
- docs/number-systems/bisection.md: type reference with encoding rules,
  bisection algorithm, generator/refinement tables, AuxReal description,
  property comparison table, and usage examples.
- docs/tutorials/bisection-number-design.md: step-by-step tutorial for
  designing a custom number system with two functions.

Resolves #693
Relates to #687

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

* fix(bisection): rename verify_gradual_underflow to verify_generator_monotonicity

The function checks that the generator sequence is strictly increasing
but does not verify the paper's gradual underflow condition (2*a_i <=
a_{i+1}) which only applies to exponential generators, not linear
ones like Unary or Fibonacci. Updated the function name, file-header
comment, and inline documentation to accurately describe what is
being tested.

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

* fix(bisection): remove unused variable from cross_validate

Remove the leftover constexpr p / (void)p that was a remnant of the
threshold-based pass/fail logic, replaced by informational reporting.

Co-... (continued)

44798 of 53108 relevant lines covered (84.35%)

6502679.86 hits per line

Coverage Regressions

Lines Coverage ∆ File
8
93.53
 -0.48% include/sw/universal/number/cfloat/cfloat_impl.hpp
1
80.58
 -0.22% include/sw/universal/number/posit1/specialized/posit_16_1.hpp
Jobs
ID Job ID Ran Files Coverage
1 24223726910.1 633
84.35
 GitHub Action Run
Source Files on build 24223726910