Repository navigation
Float-roundtrip regression test (companion to axiomere Spec 002 §7) - #1
Merged
Merged
Conversation
Appends the exact downstream reproduction payload plus a sweep of >=17-significant-digit float shapes, then requires Database.open, verify(), and verify_file to pass with bit-exact read-back. Verified against the fixed core (axiomere 40d6933, float_roundtrip enabled): full suite 7 passed. Teeth check against the pre-fix core (43d4cbc): both new tests fail with hash-mismatch at seq 1. No code, API, or pin change: the workflow builds against AXIOVEX/axiomere main, which now carries the fix. Dated addendum in the Spec 001 assessment record; no claim re-scored.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Discharges the §7 companion item of AXIOVEX/axiomere Spec 002 (float canonicalization) for this repo.
crates/axiomere-py; the workflow checks out AXIOVEX/axiomeremainunpinned, and that main now carries the fix at40d6933(serde_jsonfloat_roundtripenabled in core + bindings).tests/test_float_roundtrip.py: appends the exact downstream reproduction{"ts_like": 1791810119.6349843, "plain": 0.5}plus a sweep of trigger-class floats (≥17-significant-digit plain/exponent forms, finite extremes, smallest subnormal, integral, signed zero), then requiresDatabase.open,verify(), andverify_fileto pass with bit-exact read-back and the reopened log still appendable.40d6933, CI's maturin route).43d4cbc) both fail with the defect's exact signature (hash-mismatchat seq 1) — the regression cannot pass vacuously.specs/001-python-api/assessment-2026-10-12.md; no claim re-scored or status-changed. No release cut (publishing is owner-gated).