Skip to content

test(conformance): pin specials + over/underflow in the golden vectors - #92

Merged
gHashTag merged 1 commit into
mainfrom
test/conformance-specials
Aug 7, 2026
Merged

test(conformance): pin specials + over/underflow in the golden vectors#92
gHashTag merged 1 commit into
mainfrom
test/conformance-specials

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

The conformance set was finite-only — the Inf / −Inf / NaN / ±0 encodings and overflow→Inf / underflow→0 were never pinned across bindings. Extends testdata/gf_conformance.csv from 56 → 112 vectors: each of the 8 rungs now also carries inf, -inf, nan, 0.0, -0.0, 1e30, 1e-30.

Hand-checked (gf8, bias 3): inf=0x70, nan=0x71, -0.0=0x80, 1e30→0x70 (overflow→Inf), 1e-30→0x0 (flush). NaN is input-independent (codec emits a fixed pattern), so all three languages agree regardless of NaN payload.

Pure data — the Python/C++/Rust readers iterate every row, so no reader code changed. Verified locally: all three pass (112 vectors).

🤖 Generated with Claude Code

The conformance set was finite-only, so the Inf / -Inf / NaN / +-0 encodings and the
overflow->Inf / underflow->0 behaviour were never pinned across bindings. Extend
testdata/gf_conformance.csv from 56 to 112 vectors: each of the 8 rungs now also carries
inf, -inf, nan, 0.0, -0.0, 1e30 and 1e-30.

Hand-checked (gf8, bias 3): inf=0x70 (exp=max,mant=0), nan=0x71 (exp=max,mant=1),
-0.0=0x80, 1e30->0x70 (overflow->Inf), 1e-30->0x0 (flush). NaN is input-independent (the
codec emits a fixed pattern), so all three languages agree regardless of their NaN payload.

Pure data — the Python/C++/Rust readers iterate every row, so no reader code changed.
Verified locally: all three pass (112 vectors each).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@gHashTag
gHashTag merged commit f8581ab into main Aug 7, 2026
6 checks passed
@gHashTag
gHashTag deleted the test/conformance-specials branch August 7, 2026 19:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant