diff --git a/.trinity/seals/numeric_FormatsCatalog.json b/.trinity/seals/numeric_FormatsCatalog.json index 6f80c8159a..f3b2a4d50c 100644 --- a/.trinity/seals/numeric_FormatsCatalog.json +++ b/.trinity/seals/numeric_FormatsCatalog.json @@ -5,8 +5,8 @@ "gen_hash_zig": "sha256:4ff0cb150da5ddd382f9250eeb27ffa87b68f9547f5341591f896869f42bee1f", "module": "FormatsCatalog", "ring": 12, - "sealed_at": "2026-08-19T13:19:46Z", - "sealed_by": "t27c-bootstrap@0.1.0", - "spec_hash": "sha256:cb76d3584f1242c88973b6995d861b8bdb739401373ad73b6b8e7be05e470162", + "sealed_at": "2026-08-29T07:18:37Z", + "sealed_by": "t27c-bootstrap@0.2.0", + "spec_hash": "sha256:002100f24185da32f8e3ec26202b3f8bd5bcb5ffb6e58b0f29f96a4c572b9ff2", "spec_path": "specs/numeric/formats_catalog.t27" } \ No newline at end of file diff --git a/bootstrap/src/catalog_gate.rs b/bootstrap/src/catalog_gate.rs index 5e2b8fa92e..190ee79371 100644 --- a/bootstrap/src/catalog_gate.rs +++ b/bootstrap/src/catalog_gate.rs @@ -301,6 +301,10 @@ pub fn run(catalog: &Path, specs_root: &Path) -> std::io::Result { }); } + // W701: ids in cluster=GoldenFloat that state no generating rule. Collected + // here and reported as ONE finding, not one per record: seventeen records + // sharing a single unstated fact is one fact. + let mut rule_unstated: Vec = Vec::new(); for rec in &records { let name = match rec.shape { Shape::FixedLayout => "FixedLayout", @@ -383,7 +387,34 @@ pub fn run(catalog: &Path, specs_root: &Path) -> std::io::Result { } // -- the GoldenFloat generating rule --------------------------- - if rec.fields.get("cluster").map(|c| c == "GoldenFloat") == Some(true) { + // + // W701: the rule is scoped by a DECLARED `rule=` field, not by the + // cluster label. + // + // `cluster=GoldenFloat` holds 47 shape-eligible records and three + // different generating rules. Measured: every gf* and gft* record + // satisfies e = round((bits-1)/phi^2) -- 8 of 8 at the published + // widths -- while bnf* and tnf* grow the exponent LOGARITHMICALLY + // with width (tnf: e ~ log2(bits) + 1; gf1024 is e=391, tnf1024 is + // e=11). Applying the phi rule to them produced 41 of this gate's 42 + // findings, and not one of them was a defect a record could fix. + // + // `tnf8` satisfies the rule and is still NOT marked: at 8 bits the + // logarithmic and phi ladders coincide, and encoding a coincidence + // at one width as a design decision is how a catalog acquires a + // second wrong rule. + // + // A record in this cluster with no `rule=` is COUNTED, not passed + // over. A skip nobody counts is the shape this whole gate exists to + // refuse. + let declares_phi = rec.fields.get("rule").map(|r| r == "phi-ratio") == Some(true); + if rec.fields.get("cluster").map(|c| c == "GoldenFloat") == Some(true) + && !declares_phi + { + *r.checked.entry("gf-rule-unstated").or_insert(0) += 1; + rule_unstated.push(rec.id.clone()); + } + if declares_phi { *r.checked.entry("gf-closed-form").or_insert(0) += 1; let e_rule = (((b - 1) as f64) / PHI2).round() as i64; if e != e_rule || m != b - 1 - e_rule { @@ -506,6 +537,22 @@ pub fn run(catalog: &Path, specs_root: &Path) -> std::io::Result { } } } + // W701: one finding for the whole set. The phi checks did not run on these, + // and a check that did not run must say so out loud -- reporting nothing + // would be the same silence this gate was written to end, one level up. + if !rule_unstated.is_empty() { + rule_unstated.sort(); + r.findings.push(Finding { + id: "(cluster)".into(), + check: "gf-rule-unstated", + detail: format!( + "{} record(s) in cluster=GoldenFloat state no `rule=`, so the phi \ + checks did not run on them: {}", + rule_unstated.len(), + rule_unstated.join(", ") + ), + }); + } let emitted_dir = catalog .parent() .and_then(|p| p.parent()) diff --git a/docs/now/2026-08-29-forty-of-forty-two-gate-failures-were-one-rule-applied-to-tw.md b/docs/now/2026-08-29-forty-of-forty-two-gate-failures-were-one-rule-applied-to-tw.md new file mode 100644 index 0000000000..48d4e90918 --- /dev/null +++ b/docs/now/2026-08-29-forty-of-forty-two-gate-failures-were-one-rule-applied-to-tw.md @@ -0,0 +1,8 @@ +# NOW -- Forty of forty-two gate failures were one rule applied to two families that say they do not follow it (2026-08-29) + +## Forty of forty-two gate failures were one rule applied to two families that say they do not follow it (Refs #2762) + +- catalog gate applied e = round((bits-1)/phi^2) to every cluster=GoldenFloat record; 41 of its 42 findings were bnf* and tnf* +- the records say it themselves: bnf8 standard= reads 'exponent sized for range not phi', tnf8 reads 'e is 3 balanced-ternary TRITS not bits; width rule 1+Et+M=N' +- gft* states the opposite in the same field -- 'GOLDEN RATIO axis: E_t = round((N-1)/phi^2)' -- so the split comes from the data, not from my judgement +- scope is now a declared rule=phi-ratio on 30 records; the 17 without one are reported as ONE loud finding, not passed over. GATE FAILURES 42 -> 2 diff --git a/docs/reports/suite_expectations.json b/docs/reports/suite_expectations.json index 13b9615aa8..aad17d4fd8 100644 --- a/docs/reports/suite_expectations.json +++ b/docs/reports/suite_expectations.json @@ -1,7 +1,7 @@ { "schema_version": 1, "generated_by": "t27c suite --bless-expectations", - "max_gate_failures": 42, + "max_gate_failures": 2, "max_entries": 166, "entries": [ { diff --git a/specs/numeric/formats_catalog.t27 b/specs/numeric/formats_catalog.t27 index f251735b5d..9a2d63a330 100644 --- a/specs/numeric/formats_catalog.t27 +++ b/specs/numeric/formats_catalog.t27 @@ -216,59 +216,59 @@ module FormatsCatalog { // CATALOG: id=gfternary name="GFTernary" bits=2 s=1 e=0 m=2 bias=0 phi_distance=0.000 storage=u2 cluster=GoldenFloat status=Verified standard="this work; {-phi, 0, +phi}" use_case="bulk layers (hybrid)" gf_relation=self source="BENCH-007" fn gfternary() -> str { return "gfternary"; } - // CATALOG: id=gf4 name="GF4" bits=4 s=1 e=1 m=2 bias=0 phi_distance=0.118 storage=u8 cluster=GoldenFloat status=Experimental standard="this work; F0 minimal" use_case="proof-of-concept" gf_relation=self source="specs/numeric/gf4.t27" + // CATALOG: id=gf4 name="GF4" bits=4 s=1 e=1 m=2 bias=0 phi_distance=0.118 storage=u8 cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; F0 minimal" use_case="proof-of-concept" gf_relation=self source="specs/numeric/gf4.t27" fn gf4() -> str { return "gf4"; } - // CATALOG: id=gf8 name="GF8" bits=8 s=1 e=3 m=4 bias=3 phi_distance=0.132 storage=u8 cluster=GoldenFloat status=Verified standard="this work; L1 Lucas" use_case="edge / sensors" gf_relation=self source="BENCH-007 (specs/numeric/gf8.t27)" + // CATALOG: id=gf8 name="GF8" bits=8 s=1 e=3 m=4 bias=3 phi_distance=0.132 storage=u8 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; L1 Lucas" use_case="edge / sensors" gf_relation=self source="BENCH-007 (specs/numeric/gf8.t27)" fn gf8() -> str { return "gf8"; } - // CATALOG: id=gf12 name="GF12" bits=12 s=1 e=4 m=7 bias=7 phi_distance=0.047 storage=u16 cluster=GoldenFloat status=Verified standard="this work; L0/F3" use_case="mid-range / audio" gf_relation=self source="BENCH-007 (specs/numeric/gf12.t27)" + // CATALOG: id=gf12 name="GF12" bits=12 s=1 e=4 m=7 bias=7 phi_distance=0.047 storage=u16 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; L0/F3" use_case="mid-range / audio" gf_relation=self source="BENCH-007 (specs/numeric/gf12.t27)" fn gf12() -> str { return "gf12"; } - // CATALOG: id=gf16 name="GF16" bits=16 s=1 e=6 m=9 bias=31 phi_distance=0.049 storage=u16 cluster=GoldenFloat status=Verified standard="this work; PHI_BIAS=60; FPGA 35/35 on Artix-7 (no frequency claimed; 323 MHz withdrawn, see RESEARCH_CLAIMS.md)" use_case="training and inference (production)" gf_relation=self source="specs/numeric/gf16.t27; zenodo 10.5281/zenodo.19227877 (HW archive)" + // CATALOG: id=gf16 name="GF16" bits=16 s=1 e=6 m=9 bias=31 phi_distance=0.049 storage=u16 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; PHI_BIAS=60; FPGA 35/35 on Artix-7 (no frequency claimed; 323 MHz withdrawn, see RESEARCH_CLAIMS.md)" use_case="training and inference (production)" gf_relation=self source="specs/numeric/gf16.t27; zenodo 10.5281/zenodo.19227877 (HW archive)" fn gf16() -> str { return "gf16"; } - // CATALOG: id=gf20 name="GF20" bits=20 s=1 e=7 m=12 bias=63 phi_distance=0.035 storage=u32 cluster=GoldenFloat status=Experimental standard="this work; 17-squared empirical PHI_BIAS=289" use_case="high-precision edge" gf_relation=self source="specs/numeric/gf20.t27 (spec only)" + // CATALOG: id=gf20 name="GF20" bits=20 s=1 e=7 m=12 bias=63 phi_distance=0.035 storage=u32 cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; 17-squared empirical PHI_BIAS=289" use_case="high-precision edge" gf_relation=self source="specs/numeric/gf20.t27 (spec only)" fn gf20() -> str { return "gf20"; } - // CATALOG: id=gf24 name="GF24" bits=24 s=1 e=9 m=14 bias=255 phi_distance=0.025 storage=u32 cluster=GoldenFloat status=Experimental standard="this work; rule e=round(23/phi^2)=9; normative bias=2^(e-1)-1=255; empirical PHI_BIAS=1364 (=L15) OPEN" use_case="server inference" gf_relation=self source="specs/numeric/gf24.t27 (spec only)" + // CATALOG: id=gf24 name="GF24" bits=24 s=1 e=9 m=14 bias=255 phi_distance=0.025 storage=u32 cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; rule e=round(23/phi^2)=9; normative bias=2^(e-1)-1=255; empirical PHI_BIAS=1364 (=L15) OPEN" use_case="server inference" gf_relation=self source="specs/numeric/gf24.t27 (spec only)" fn gf24() -> str { return "gf24"; } - // CATALOG: id=gf32 name="GF32" bits=32 s=1 e=12 m=19 bias=2047 phi_distance=0.014 storage=u32 cluster=GoldenFloat status=Verified standard="this work; F0 resolved" use_case="fp32 drop-in" gf_relation=self source="BENCH-012 (specs/numeric/gf32.t27)" + // CATALOG: id=gf32 name="GF32" bits=32 s=1 e=12 m=19 bias=2047 phi_distance=0.014 storage=u32 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; F0 resolved" use_case="fp32 drop-in" gf_relation=self source="BENCH-012 (specs/numeric/gf32.t27)" fn gf32() -> str { return "gf32"; } - // CATALOG: id=gf64 name="GF64" bits=64 s=1 e=24 m=39 bias=8388607 phi_distance=0.003 storage=u64 cluster=GoldenFloat status=Verified standard="this work; EXP_MAX - BIAS" use_case="scientific / double" gf_relation=self source="BENCH-007b (specs/numeric/gf64.t27)" + // CATALOG: id=gf64 name="GF64" bits=64 s=1 e=24 m=39 bias=8388607 phi_distance=0.003 storage=u64 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; EXP_MAX - BIAS" use_case="scientific / double" gf_relation=self source="BENCH-007b (specs/numeric/gf64.t27)" fn gf64() -> str { return "gf64"; } // Predicted / spec-only GF rungs (rule-derived under FORMAT-SPEC-001 v1.2). // Closed-form normative rule: e = round((N-1)/phi^2); m = N-1-e; // bias = 2^(e-1)-1; exp_max = 2^e - 1. - // CATALOG: id=gf6 name="GF6 (rule-derived)" bits=6 s=1 e=2 m=3 bias=1 phi_distance=0.049 storage=u8_packed cluster=GoldenFloat status=Open standard="this work; rule e=round(5/phi^2)=2; FP6 E2M3 bridge" use_case="OPEN R&D: bridge GF4-GF8; FP6 E2M3 hint" gf_relation=experimental source="specs/numeric/gf6.t27" + // CATALOG: id=gf6 name="GF6 (rule-derived)" bits=6 s=1 e=2 m=3 bias=1 phi_distance=0.049 storage=u8_packed cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(5/phi^2)=2; FP6 E2M3 bridge" use_case="OPEN R&D: bridge GF4-GF8; FP6 E2M3 hint" gf_relation=experimental source="specs/numeric/gf6.t27" fn gf6() -> str { return "gf6"; } - // CATALOG: id=gf10 name="GF10 (rule-derived)" bits=10 s=1 e=3 m=6 bias=3 phi_distance=0.118 storage=u16 cluster=GoldenFloat status=Open standard="this work; rule e=round(9/phi^2)=3; bridge GF8-GF12" use_case="OPEN R&D: tight-precision activations" gf_relation=experimental source="specs/numeric/gf10.t27" + // CATALOG: id=gf10 name="GF10 (rule-derived)" bits=10 s=1 e=3 m=6 bias=3 phi_distance=0.118 storage=u16 cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(9/phi^2)=3; bridge GF8-GF12" use_case="OPEN R&D: tight-precision activations" gf_relation=experimental source="specs/numeric/gf10.t27" fn gf10() -> str { return "gf10"; } - // CATALOG: id=gf14 name="GF14 (rule-derived)" bits=14 s=1 e=5 m=8 bias=15 phi_distance=0.007 storage=u16 cluster=GoldenFloat status=Open standard="this work; rule e=round(13/phi^2)=5; bridge GF12-GF16; lowest phi-dist below GF48" use_case="OPEN R&D: drop-in for fp16 with tighter phi alignment" gf_relation=experimental source="specs/numeric/gf14.t27" + // CATALOG: id=gf14 name="GF14 (rule-derived)" bits=14 s=1 e=5 m=8 bias=15 phi_distance=0.007 storage=u16 cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(13/phi^2)=5; bridge GF12-GF16; lowest phi-dist below GF48" use_case="OPEN R&D: drop-in for fp16 with tighter phi alignment" gf_relation=experimental source="specs/numeric/gf14.t27" fn gf14() -> str { return "gf14"; } - // CATALOG: id=gf48 name="GF48 (rule-derived)" bits=48 s=1 e=18 m=29 bias=131071 phi_distance=0.003 storage=u64_padded cluster=GoldenFloat status=Open standard="this work; rule e=round(47/phi^2)=18" use_case="OPEN R&D: between GF32 and GF64; tightest phi-dist of the wide rungs" gf_relation=experimental source="specs/numeric/gf48.t27" + // CATALOG: id=gf48 name="GF48 (rule-derived)" bits=48 s=1 e=18 m=29 bias=131071 phi_distance=0.003 storage=u64_padded cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(47/phi^2)=18" use_case="OPEN R&D: between GF32 and GF64; tightest phi-dist of the wide rungs" gf_relation=experimental source="specs/numeric/gf48.t27" fn gf48() -> str { return "gf48"; } - // CATALOG: id=gf96 name="GF96 (rule-derived)" bits=96 s=1 e=36 m=59 bias=34359738367 phi_distance=0.008 storage=u128_padded cluster=GoldenFloat status=Open standard="this work; rule e=round(95/phi^2)=36" use_case="OPEN R&D: between GF64 and GF128 (phi-aligned extended)" gf_relation=experimental source="specs/numeric/gf96.t27" + // CATALOG: id=gf96 name="GF96 (rule-derived)" bits=96 s=1 e=36 m=59 bias=34359738367 phi_distance=0.008 storage=u128_padded cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(95/phi^2)=36" use_case="OPEN R&D: between GF64 and GF128 (phi-aligned extended)" gf_relation=experimental source="specs/numeric/gf96.t27" fn gf96() -> str { return "gf96"; } - // CATALOG: id=gf128 name="GF128 (rule-derived)" bits=128 s=1 e=49 m=78 bias=281474976710655 phi_distance=0.010 storage=u128 cluster=GoldenFloat status=Open standard="this work; rule e=round(127/phi^2)=49 (corrects v1.1 typo e=48)" use_case="OPEN R&D: phi-aligned binary128 alternative" gf_relation=experimental source="specs/numeric/gf128.t27" + // CATALOG: id=gf128 name="GF128 (rule-derived)" bits=128 s=1 e=49 m=78 bias=281474976710655 phi_distance=0.010 storage=u128 cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(127/phi^2)=49 (corrects v1.1 typo e=48)" use_case="OPEN R&D: phi-aligned binary128 alternative" gf_relation=experimental source="specs/numeric/gf128.t27" fn gf128() -> str { return "gf128"; } - // CATALOG: id=gf256 name="GF256 (rule-derived)" bits=256 s=1 e=97 m=158 bias=79228162514264337593543950335 phi_distance=0.004 storage=u256_software cluster=GoldenFloat status=Open standard="this work; rule e=round(255/phi^2)=97; normative bias=2^96-1" use_case="OPEN R&D: phi-aligned binary256 alternative" gf_relation=experimental source="specs/numeric/gf256.t27" + // CATALOG: id=gf256 name="GF256 (rule-derived)" bits=256 s=1 e=97 m=158 bias=79228162514264337593543950335 phi_distance=0.004 storage=u256_software cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(255/phi^2)=97; normative bias=2^96-1" use_case="OPEN R&D: phi-aligned binary256 alternative" gf_relation=experimental source="specs/numeric/gf256.t27" fn gf256() -> str { return "gf256"; } - // CATALOG: id=gf512 name="GF512 (rule-derived)" bits=512 s=1 e=195 m=316 bias=2^194-1 phi_distance=0.0009 storage=u512_software cluster=GoldenFloat status=Open standard="this work; rule e=round(511/phi^2)=195" use_case="OPEN R&D: ultra-wide phi-aligned (extrapolation, no RTL)" gf_relation=experimental source="specs/numeric/gf512.t27" + // CATALOG: id=gf512 name="GF512 (rule-derived)" bits=512 s=1 e=195 m=316 bias=2^194-1 phi_distance=0.0009 storage=u512_software cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(511/phi^2)=195" use_case="OPEN R&D: ultra-wide phi-aligned (extrapolation, no RTL)" gf_relation=experimental source="specs/numeric/gf512.t27" fn gf512() -> str { return "gf512"; } - // CATALOG: id=gf1024 name="GF1024 (rule-derived)" bits=1024 s=1 e=391 m=632 bias=2^390-1 phi_distance=0.0006 storage=u1024_software cluster=GoldenFloat status=Open standard="this work; rule e=round(1023/phi^2)=391; lowest phi-distance in the ladder" use_case="OPEN R&D: limit-of-ladder phi alignment (extrapolation, no RTL)" gf_relation=experimental source="specs/numeric/gf1024.t27" + // CATALOG: id=gf1024 name="GF1024 (rule-derived)" bits=1024 s=1 e=391 m=632 bias=2^390-1 phi_distance=0.0006 storage=u1024_software cluster=GoldenFloat rule=phi-ratio status=Open standard="this work; rule e=round(1023/phi^2)=391; lowest phi-distance in the ladder" use_case="OPEN R&D: limit-of-ladder phi alignment (extrapolation, no RTL)" gf_relation=experimental source="specs/numeric/gf1024.t27" @@ -293,15 +293,15 @@ module FormatsCatalog { // exponents were sized at roughly log2(N) trits with no rule and positions were // left unspent. // --------------------------------------------------------------------- - // CATALOG: id=gft4 name="GF-T4" bits=4 s=1 e=1 m=2 bias=1 phi_distance=0.1180 storage=u4 cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.5000 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft4.t27" - // CATALOG: id=gft8 name="GF-T8" bits=8 s=1 e=3 m=4 bias=13 phi_distance=0.1320 storage=u8 cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.7500 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft8.t27" - // CATALOG: id=gft16 name="GF-T16" bits=16 s=1 e=6 m=9 bias=364 phi_distance=0.0486 storage=u16 cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6667 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft16.t27" - // CATALOG: id=gft32 name="GF-T32" bits=32 s=1 e=12 m=19 bias=265720 phi_distance=0.0135 storage=u32 cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6316 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft32.t27" - // CATALOG: id=gft64 name="GF-T64" bits=64 s=1 e=24 m=39 bias=141214768240 phi_distance=0.0026 storage=u64 cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6154 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft64.t27" - // CATALOG: id=gft128 name="GF-T128" bits=128 s=1 e=49 m=78 bias=119649664615308764795041 phi_distance=0.0102 storage=u128 cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6282 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft128.t27" - // CATALOG: id=gft256 name="GF-T256" bits=256 s=1 e=97 m=158 bias=9544028161703913537712243143807801346335324481 phi_distance=0.0041 storage=u256_software cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6139 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft256.t27" - // CATALOG: id=gft512 name="GF-T512" bits=512 s=1 e=195 m=316 bias=546530841308384299050990374559217339154801342908219127519701567364387841360704080235359463053 phi_distance=0.0009 storage=u512_software cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6171 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft512.t27" - // CATALOG: id=gft1024 name="GF-T1024" bits=1024 s=1 e=391 m=632 bias=1792175763007502050309004510896072657026569872803620275437464390826146561794008386845991427359831686179824019072939996745082807322862992600064651843076138216429413334444960452990989263173 phi_distance=0.0006 storage=u1024_software cluster=GoldenFloat status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6187 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft1024.t27" + // CATALOG: id=gft4 name="GF-T4" bits=4 s=1 e=1 m=2 bias=1 phi_distance=0.1180 storage=u4 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.5000 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft4.t27" + // CATALOG: id=gft8 name="GF-T8" bits=8 s=1 e=3 m=4 bias=13 phi_distance=0.1320 storage=u8 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.7500 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft8.t27" + // CATALOG: id=gft16 name="GF-T16" bits=16 s=1 e=6 m=9 bias=364 phi_distance=0.0486 storage=u16 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6667 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft16.t27" + // CATALOG: id=gft32 name="GF-T32" bits=32 s=1 e=12 m=19 bias=265720 phi_distance=0.0135 storage=u32 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6316 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft32.t27" + // CATALOG: id=gft64 name="GF-T64" bits=64 s=1 e=24 m=39 bias=141214768240 phi_distance=0.0026 storage=u64 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6154 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft64.t27" + // CATALOG: id=gft128 name="GF-T128" bits=128 s=1 e=49 m=78 bias=119649664615308764795041 phi_distance=0.0102 storage=u128 cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6282 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft128.t27" + // CATALOG: id=gft256 name="GF-T256" bits=256 s=1 e=97 m=158 bias=9544028161703913537712243143807801346335324481 phi_distance=0.0041 storage=u256_software cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6139 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft256.t27" + // CATALOG: id=gft512 name="GF-T512" bits=512 s=1 e=195 m=316 bias=546530841308384299050990374559217339154801342908219127519701567364387841360704080235359463053 phi_distance=0.0009 storage=u512_software cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6171 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft512.t27" + // CATALOG: id=gft1024 name="GF-T1024" bits=1024 s=1 e=391 m=632 bias=1792175763007502050309004510896072657026569872803620275437464390826146561794008386845991427359831686179824019072939996745082807322862992600064651843076138216429413334444960452990989263173 phi_distance=0.0006 storage=u1024_software cluster=GoldenFloat rule=phi-ratio status=Verified standard="this work; GOLDEN RATIO axis: E_t = round((N-1)/phi^2), a trit is a position; every position spent; E_t/M = 0.6187 against 1/phi = 0.6180" use_case="phi-derived ternary ladder; huge range at the cost of mantissa" gf_relation=self source="specs/numeric/gft1024.t27" // --------------------------------------------------------------------- // BNF -- Binary Network Float. The CONTROL for TNF. @@ -378,16 +378,16 @@ module FormatsCatalog { // GF hybrids / experimental compositions (Section 12.5). - // CATALOG: id=gf8_bfp name="GF8-BFP (block FP atop GF8)" bits=8 s=1 e=3 m=4 bias=3 phi_distance=0.132 storage=u8_plus_shared_exp cluster=GoldenFloat status=Experimental standard="this work; per-tile shared exponent" use_case="OPEN R&D: LLM-quantization-friendly GF8" gf_relation=experimental source="section12.5" + // CATALOG: id=gf8_bfp name="GF8-BFP (block FP atop GF8)" bits=8 s=1 e=3 m=4 bias=3 phi_distance=0.132 storage=u8_plus_shared_exp cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; per-tile shared exponent" use_case="OPEN R&D: LLM-quantization-friendly GF8" gf_relation=experimental source="section12.5" fn gf8_bfp() -> str { return "gf8_bfp"; } - // CATALOG: id=gf_lns_hybrid name="GF + LNS hybrid (dual-space)" bits=16 s=1 e=6 m=9 bias=31 phi_distance=0.049 storage=u16_plus_lns_path cluster=GoldenFloat status=Experimental standard="this work; mul in log-space, accumulate Lucas-closed" use_case="OPEN R&D: dual-space arithmetic" gf_relation=experimental source="section12.5" + // CATALOG: id=gf_lns_hybrid name="GF + LNS hybrid (dual-space)" bits=16 s=1 e=6 m=9 bias=31 phi_distance=0.049 storage=u16_plus_lns_path cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; mul in log-space, accumulate Lucas-closed" use_case="OPEN R&D: dual-space arithmetic" gf_relation=experimental source="section12.5" fn gf_lns_hybrid() -> str { return "gf_lns_hybrid"; } - // CATALOG: id=mxgf6 name="MXGF6 (microscaling GF6)" bits=6 s=1 e=2 m=3 bias=1 phi_distance=0.05 storage=u8_packed_plus_e8m0 cluster=GoldenFloat status=Experimental standard="this work; OCP MX block + GF6" use_case="OPEN R&D: phi-aligned MX-6 candidate" gf_relation=experimental source="section12.5" + // CATALOG: id=mxgf6 name="MXGF6 (microscaling GF6)" bits=6 s=1 e=2 m=3 bias=1 phi_distance=0.05 storage=u8_packed_plus_e8m0 cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; OCP MX block + GF6" use_case="OPEN R&D: phi-aligned MX-6 candidate" gf_relation=experimental source="section12.5" fn mxgf6() -> str { return "mxgf6"; } - // CATALOG: id=mxgf4 name="MXGF4 (microscaling GF4)" bits=4 s=1 e=1 m=2 bias=0 phi_distance=0.118 storage=u8_packed_plus_e8m0 cluster=GoldenFloat status=Experimental standard="this work; OCP MX block + GF4" use_case="OPEN R&D: phi-aligned MX-4 candidate" gf_relation=experimental source="section12.5" + // CATALOG: id=mxgf4 name="MXGF4 (microscaling GF4)" bits=4 s=1 e=1 m=2 bias=0 phi_distance=0.118 storage=u8_packed_plus_e8m0 cluster=GoldenFloat rule=phi-ratio status=Experimental standard="this work; OCP MX block + GF4" use_case="OPEN R&D: phi-aligned MX-4 candidate" gf_relation=experimental source="section12.5" fn mxgf4() -> str { return "mxgf4"; } // ============================================================ diff --git a/tools/withdrawn_live_baseline.txt b/tools/withdrawn_live_baseline.txt index 42c48577be..8a34a82b3b 100644 --- a/tools/withdrawn_live_baseline.txt +++ b/tools/withdrawn_live_baseline.txt @@ -20,4 +20,4 @@ docs/metrics/numeric_formats_83_metrics.csv | 323(\.[0-9]+)?\s*MHz | 708d88e5959 fpga/HARDWARE_SSOT.md | 322\s*MHz | 65210d3dc292 fpga/HARDWARE_SSOT.md | 330\s*MHz | 558353792f10 specs/igla/coder/benchmark.t27 | 323(\.[0-9]+)?\s*MHz | da656d208e0a -specs/numeric/formats_catalog.t27 | 323(\.[0-9]+)?\s*MHz | c83b3c67224c +specs/numeric/formats_catalog.t27 | 323(\.[0-9]+)?\s*MHz | 25b6f783531f