stillwater-sc / universal / 23130614273

85%

master: 84%

Build Type

push

github

Committed by web-flow

Commit Message

feat(unum1): exhaustive validation and subnormal encoding fix (#579)

Add exhaustive validation for small unum configurations (unum<2,2>
and unum<2,3>) that enumerates all bit patterns for each esize/fsize
combination and verifies decode->encode round-trip correctness.

Fix subnormal encoding in operator=(double): values with biased
exponent < 1 now correctly encode as subnormals (biased_exp=0,
hidden bit=0) with the fraction computed as v / 2^(1-bias). This
fixes round-trip failures for small values near the minimum of
large-exponent configurations.

Validation suite covers:
- Value enumeration per esize/fsize (unique exact/inexact counts)
- Decode->encode->decode round-trip for all bit patterns
- Known value verification (powers of 2, negatives)
- Ubit propagation through arithmetic
- Encoding space consistency analysis

Resolves #571

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

Coverage Stats

18 of 18 new or added lines in 1 file covered. (100.0%)

3 existing lines in 1 file now uncovered.

43514 of 51702 relevant lines covered (84.16%)

6080205.31 hits per line