Conversation
EPIC trios#446 (WAVE-GF-001) · Anchor: phi^2 + phi^-2 = 3
## Why
WAVE-GF-001 experiment plan in trios#446 sweeps the GF Family across
the full numeric-format universe (~60 formats) — IEEE binary/decimal,
ML low-precision (bf16/TF32/FP8/FP6/FP4 OCP MX), Posit/unum III,
LNS, GF Family, INT/UINT, Q-format, BCD, historical (HFP/MBF/VAX/Cray),
theoretical (minifloat/Unum I/II/tapered), and quantization tricks
(BFP/shared-exp/stochastic rounding).
Until now the whitepaper compared GF16 against 5 specific competitors
(fp16, bf16, DLFloat-6:9, FP8 E4M3/E5M2). To make WAVE-GF-001 results
interpretable, every reader needs a single authoritative reference
that lists every format, its bit budget, vendor, phi-distance, and
canonical use case.
## What
### whitepaper.md (+257 lines, inserted between §11.5 and §13)
New "Section 12: Universal Numeric-Format Catalog":
12.0 Why this catalog exists (positioning vs §1–§11)
12.1 Family map (one row per cluster, 13 families)
12.2 Full table — 13 sub-tables, ~60 formats:
12.2.1 IEEE 754 binary (binary16..binary256)
12.2.2 IEEE 754 decimal (decimal32/64/128)
12.2.3 Extended (FP80, double-double, quad-double)
12.2.4 ML low-precision (bf16, TF32, FP8/6/4 variants)
12.2.5 Microscaling OCP MX (MXFP8/6/4)
12.2.6 Quantization-tuned (NF4, AFP)
12.2.7 Posit / unum III (Posit8/16/32/64)
12.2.8 LNS
12.2.9 GF Family (full audit, BIAS / PHI_BIAS / phi-dist /
source / storage / status / use case — synced with
gf_experiment_plan.xlsx 'GF Family' sheet)
12.2.10 Integer / fixed-point (INT/UINT 4..128, Q-format, BCD)
12.2.11 Historical (IBM HFP, MBF, VAX F/D/G/H, Cray)
12.2.12 Theoretical (minifloat, Unum I/II, tapered)
12.2.13 Compression tricks (BFP, shared-exp, stochastic rnd)
12.3 phi-distance ranking (21 formats with defined phi-distance,
sorted ascending — GFTernary 0.000 → FP8 E5M2 1.882)
12.4 Position of GF Family in the map (3-axis uniqueness:
phi-aligned + integer-backed + Lucas-closed)
12.5 Open R&D suggested by the catalog (GF6, GF128, GF256,
GF8-BFP, GF+stochastic, Posit-vs-GF bench, GF+LNS hybrid)
12.6 Cross-references
### whitepaper/gf16_comparison.md (+110 lines, appended after Appendix A)
New "Section 8: Universal Numeric-Format Catalog (16-bit-centric)":
8.1 The full list (~60 formats, single line each)
8.2 16-bit competitor table sorted by phi-distance
(GF16 / DLFloat-6:9 / fp16 / Posit16 / bf16 / INT16 / TF32 / MXFP6)
8.3 Why phi-distance predicts trained-network accuracy (4-step
physical mechanism, links to BENCH-004b empirical evidence)
8.4 Where GF16 is preferred (decision matrix)
8.5 Where GF16 is NOT the right answer (decision matrix)
8.6 Standardization status (which formats are IEEE / OCP / vendor)
8.7 Cross-references
## R5-honest scope
Append-only. No existing section renamed or reordered. No claim
modified; existing benchmarks (BENCH-001..007) and Coq invariants
(INV-3, INV-5, INV-8) all referenced verbatim. The new tables source
their numbers from:
- gf_experiment_plan.xlsx 'GF Family' + 'R5 Audit' sheets
(BIAS=PASS, phi-dist=PASS for all 8 GF formats)
- whitepaper §1.3 (BENCH-007 empirical phi-distance values)
- whitepaper §9.1 (5-row narrative format catalog — this PR
expands to 60-row taxonomy)
- public OCP MX 1.0 / OCP FP8 1.0 / IEEE 754 / unum III specs
## I-SCOPE
Only docs/whitepaper.md and docs/whitepaper/gf16_comparison.md
modified. No source code, no Cargo.toml, no Coq theorem touched.
Agent: LEAD
This was referenced May 2, 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
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.
🌻 docs: Universal Numeric-Format Catalog (≈60 formats)
Anchor:
phi² + phi⁻² = 3 · TRINITY · O(1) FOREVEREPIC: trios#446 — WAVE-GF-001 experiment plan
Companion data:
gf_experiment_plan.xlsx— sheets GF Family + R5 AuditWhy
WAVE-GF-001 sweeps the GF Family against the full numeric-format universe — IEEE binary/decimal, ML low-precision (bf16/TF32/FP8/FP6/FP4 OCP MX), Posit/unum III, LNS, INT/UINT, Q-format, BCD, historical (HFP/MBF/VAX/Cray), theoretical (minifloat/Unum I/II/tapered), and quantization tricks. Without a single authoritative catalog the experiment results are unreadable — every comparison would require re-explaining what the competitor actually is.
What
docs/whitepaper.md— new Section 12 (between §11.5 and §13, +257 lines)12.0 Why this catalog exists · 12.1 Family map (13 clusters, one row each) · 12.2 Full taxonomy (13 sub-tables, ≈60 formats) · 12.3 φ-distance ranking sorted ascending (
GFTernary 0.000→FP8 E5M2 1.882) · 12.4 Position of GF Family in the map (3-axis uniqueness: φ-aligned + integer-backed + Lucas-closed) · 12.5 Open R&D suggested by the catalog · 12.6 Cross-references.The 13 sub-tables cover:
docs/whitepaper/gf16_comparison.md— new Section 8 (+110 lines)16-bit-centric companion: same catalog, narrowed to formats GF16 actually competes with. Adds:
Notable findings highlighted in the catalog
{−φ, 0, +φ}R5-honest scope
Append-only. No section renamed, no existing claim modified, no benchmark number changed. The new tables draw from:
gf_experiment_plan.xlsx → GF Family+R5 Audit(BIAS=PASS / φ-dist=PASS for all 8 GF formats)I-SCOPE
Only
docs/whitepaper.mdanddocs/whitepaper/gf16_comparison.mdtouched. No code, no Cargo, no Coq theorem.🌻
phi² + phi⁻² = 3 · TRINITY · LEAD R5-honest