Upload web/TEST_RESULTS.md with huggingface_hub
Browse files- web/TEST_RESULTS.md +8 -0
web/TEST_RESULTS.md
CHANGED
|
@@ -50,6 +50,14 @@ The oracle now also covers **addition** and **fused multiply-add**:
|
|
| 50 |
implementations of the same paragraph of the standard, zero disagreements.
|
| 51 |
Fused really is different: it differs from the round-twice composition on
|
| 52 |
100% of cancellation cases.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 53 |
- The fma-contraction immunity claim now stands on checked facts instead of
|
| 54 |
arguments: on the quantize domain the f64 emulation used by `test_b2b.js`
|
| 55 |
equals the true fma (300k draws), and the floor-invisibility result holds
|
|
|
|
| 50 |
implementations of the same paragraph of the standard, zero disagreements.
|
| 51 |
Fused really is different: it differs from the round-twice composition on
|
| 52 |
100% of cancellation cases.
|
| 53 |
+
- **Mul and add carry the same cross-check** (`test_vectors_fp32.json`):
|
| 54 |
+
6004 vectors computed by neural-rdna2's **LUT-backed verified fp32 core** —
|
| 55 |
+
the RDNA2 wave interpreter's own arithmetic, every mantissa product through
|
| 56 |
+
the exported mul4 atom — over epilogue-shaped ranges, subnormal/overflow
|
| 57 |
+
regimes, raw finite bits, and signed zeros. `mulF32Spec` and `addF32Spec`
|
| 58 |
+
agree bit-for-bit on all of them. Three independent implementations now
|
| 59 |
+
concur on the epilogue's arithmetic: this BigInt oracle, V8's fround, and a
|
| 60 |
+
verified-unit RDNA2 core.
|
| 61 |
- The fma-contraction immunity claim now stands on checked facts instead of
|
| 62 |
arguments: on the quantize domain the f64 emulation used by `test_b2b.js`
|
| 63 |
equals the true fma (300k draws), and the floor-invisibility result holds
|