stillwater-sc / universal / 23124174253

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(unum1): implement ubound interval arithmetic for unum Type I (#578)

Add ubound class representing closed intervals [lower, upper] of exact
unum values. When a unum has ubit=1 (inexact), it represents the open
interval (x, next_unum(x)). The ubound captures this uncertainty as
a closed interval with computable width.

Features:
- next_exact() / prev_exact(): navigate the unum lattice by computing
  1 ULP in the current esize/fsize configuration
- ubound construction from exact unum (point interval), inexact unum
  (open interval), or explicit lower/upper bounds
- Interval arithmetic: +, -, *, / with proper endpoint computation
  (min/max of all product combinations for * and /)
- Division by interval containing zero produces NaN
- NaN propagation through all operations
- contains(), width(), midpoint(), ispoint() queries
- Interval width decreases with increasing precision (esizesize/fsizesize)

Relates to #196 (ubox visualization)
Resolves #570

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

Coverage Stats

99 of 110 new or added lines in 1 file covered. (90.0%)

5 existing lines in 2 files now uncovered.

43494 of 51690 relevant lines covered (84.14%)

6097322.47 hits per line