Repository navigation
conformance: promote gf48 selfconsistent -> strict SW-bitexact (70/5/8) - #1359
Merged
Merged
Conversation
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
gf48 (GoldenFloat48: S1 E18 M29, BIAS=131071) promoted from bitexact_selfconsistent to strict bitexact in INDEX_all_formats.json. INDEX totals: bitexact 69->70, selfconsistent 6->5, structural 8 (sum=83). Status: [verified SW]. Three independent SW witnesses pass in-sandbox: (1) dyadic independent decoder 15/15 (abs_error=0) (2) golden Fraction oracle 15/15 exact vs pack (3) FP64 fixed-width RTL bit-model 224255/224255 bit-exact (fails=0) iverilog independent second decoder (gf_decode_param_fp64.v + tb_gf_decode_fp64.v) prepared for the local agent (no iverilog in sandbox) = stronger witness, not yet run. Both fixed-width fixes carried over (widen-before-shift; OOB-safe wide sub_shifted). NOT on-silicon Tier-E: HW-decode/HW-compute for gf48 remain [REQUIRES USER ACTION] (4/4 chain on AX7203, trinity-fpga #199). encoding != compute != FPGA. Additive change; SSOT (formats_catalog.t27) untouched; no gen/ edits. conformance-integrity-gate verified CLEAN locally (EXIT=0). Witness chain + local-agent run: conformance/witness/gf48_fp64/README.md. Closes #1358
gHashTag
force-pushed
the
gf48-bitexact-promote
branch
from
July 4, 2026 18:00
11cf820 to
28a847a
Compare
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
PR DashboardGenerated at: 2026-07-04 18:00:27 UTC
Summary
Seal Status
|
This was referenced Jul 6, 2026
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
1 participant
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.
Closes #1358
Summary
Promote gf48 (GoldenFloat48: S1 E18 M29, BIAS=131071=2^17-1) from
bitexact_selfconsistentto strictbitexactinconformance/vectors/INDEX_all_formats.json.INDEX totals: bitexact 69 -> 70, selfconsistent 6 -> 5, structural 8 (sum=83).
Status tag: [verified SW]. This is a software (SW-bitexact axis) promotion.
It is NOT an on-silicon Tier-E claim.
encoding != compute != FPGA. HW-decode /HW-compute for gf48 remain [REQUIRES USER ACTION] (4/4 chain on AX7203,
trinity-fpga #199).
Diff (additive)
conformance/vectors/INDEX_all_formats.json-- counts (69->70, 6->5); gf48entry (kind bitexact, reworded source, new sha256).
conformance/vectors/gf48_conformance_v0.json-- newwitnessesarray(3 entries, each with an honest SW-only / not-Tier-E note) + reworded
structural_reason; sha recomputed.conformance/witness/gf48_fp64/-- witness set + README (ASCII).docs/NOW.md-- gf48 promotion entry;Last updated:in window.SSOT (
specs/numeric/formats_catalog.t27) untouched. Nogen/edits.Three independent SW witnesses (all pass in-sandbox)
conformance/gf_wide_independent_witness.py) --15/15 bit-exact, abs_error=0. In-repo witness distinct from the encoder.
conformance/witness/gf48_fp64/gf48_decode_ref.py) --15/15 exact vs pack (exact rational -> binary64).
(
conformance/witness/gf48_fp64/rtl_bit_model_fp64.py) -- 224255/224255bit-exact vs golden (fails=0); representative set (5-class + boundary +
full-exponent sweep + deep-underflow edge + 200k deterministic random,
seed=27; 2^48 exhaustive infeasible).
iverilog independent witness (prepared for local agent)
gf_decode_param_fp64.v(DUT) +tb_gf_decode_fp64.vare prepared for anindependent iverilog run (no iverilog in this sandbox = stronger witness, not yet
run). Lesson 04.07 (twice-confirmed): Python arbitrary-width int does NOT catch
fixed-width bugs; only iverilog is the true independent RTL decoder. Both
fixed-width fixes (widen-before-shift; OOB-safe wide
sub_shifted) carried over.Expected:
HW RESULT: 224255/224255 bit-exact (fails=0). Run:conformance/witness/gf48_fp64/README.md.Gates
Remaining selfconsistent (5): gf96, gf128, gf256, gf512, gf1024.
gf256 stays open (bitexact:false, open bias R&D) -- not promoted here.
Reviewer (repo owner) merges.