feat(numeric): GF-T16 spends its last two positions, and four specs come back (Refs #2001) by gHashTag · Pull Request #2005 · gHashTag/t27

gHashTag · 2026-08-09T04:38:13Z

Two things, and one is a defect I shipped in #1955.

The defect first

gft4/8/16/32.t27 existed only in an unpushed local commit and were never on master. #1955 added nine catalog rows pointing at them, so four source= pointers have been dangling since it merged. Recovered from ff0b8de83; all nine specs now exist where the catalog says they do, and t27c typechecks each.

GF-T16 spends its two unallocated positions

It used 14 of its 16. It inherited GF16's φ-optimal M = 9 and replaced GF16's six-bit exponent with four trits, and nobody re-spent what that freed — the only rung derived from its parent rather than from the ladder's width rule.

Spent on mantissa, not exponent, and that is a measurement rather than a preference: at this class the extra range is not consumed. Quantised-inference tensors span roughly 2^-14 to 2^14, and E_t = 4 already clips nothing at ±40 binades — 0 clips in 2000 values. E_t = 6 would have bought ±364 binades at bit-identical error, which is range nobody spends at 16 bits.

	M = 9	M = 11
mean rel. error	3.45e-4	8.63e-5 (÷4.00)
vs takum16, near / mid / far	0.92× / 2.88× / 5.49×	3.70× / 11.37× / 22.28×
silicon	372 LUT @ 131.73 MHz	443 LUT @ 136.44 MHz

The factor is 4.00 exactly, as the precision law requires — the exponent cancels and only M moves. The near bin stops being a loss. The +19% area comes with no frequency penalty.

Conformance re-run, not assumed

check	result
round-trip with sign	2000/2000
encoding monotone	0 inversions
± symmetry	0/500 mismatches
lower boundary decodes	ok

The gft16 pack is regenerated at M = 11, and a width_rule test is added to the spec so the position count is asserted rather than remembered.

Gates

All nine rungs now satisfy 1 + E_t + M = N. Catalog count 92, WP-18 conformance integrity CLEAN, t27c check clean.

🤖 Generated with Claude Code

… rungs GF-T was absent from specs/numeric/formats_catalog.t27 entirely. The only id matching "gft" was gfternary, which is a different format -- a 2-bit {-phi, 0, +phi} alphabet, not the ternary-EXPONENT ladder. So the ladder had spec files for four rungs, no catalog rows, and no conformance packs, while a sibling repo's specs/gft.tri named this directory as its own source of truth. The rows and the five missing rungs are added here, where they belong. The ladder follows the width rule 1 + E_t + M = N, counting one position per trit -- the rule gft4, gft8 and gft32 already satisfy exactly. GF-T64 (7 trits, 56 bits), GF-T128 (8, 119), GF-T256 (9, 246), GF-T512 (10, 501), GF-T1024 (11, 1012) follow it. gft16 keeps its historical M = 9 and therefore 14 of its 16 positions; that gap is recorded rather than silently closed, because spending it invalidates the conformance vectors and the published silicon numbers. Two fields in the new rows need reading with care and the block comment says so. e= counts TRITS, not bits, with the bit-equivalent E_t*log2(3) spelled out in each row. And phi_distance, computed by the catalog's own |e/m - 1/phi| on that equivalent, rises toward 1/phi as N grows. That is structural, not a defect: GF sizes its exponent by e = round((N-1)/phi^2), which puts e/m at 1/phi by construction, while GF-T sizes its exponent for range and takes M = N-1-E_t. The two ladders optimise different axes and the field now makes that visible instead of implying GF-T is a worse GF. Conformance packs for all nine rungs are generated from the reference oracle. The probes are powers of two and 1.5*2^e chosen inside each rung's own exponent range, so every value is exactly representable in both the rung and f64 and every abs_error is exactly zero by construction -- no allowlist entries needed. An earlier attempt used fixed probes including 100.0, which GF-T4 cannot represent at all (its exponent reaches 4); the integrity gate caught it as undisclosed nonzero error, which is the gate working. Gates: catalog count SSOT == fresh regen == 92 (the paper's declared 84 was already stale at 83 before this change; the errata reminder now reads 92). WP-18 conformance integrity CLEAN. t27c typechecks all nine specs. Two of my own errors are worth recording. I first extended the derived zig-golden-float/specs/gft.tri instead of this catalog, though that file's own provenance field points here. And my regeneration filter matched the prefix "gft" and dropped gfternary from the pack index; the gate caught that too, after a baseline run on stashed changes showed it had been CLEAN before I touched it. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

The catalog now carries all nine GF-T rows but NUMERIC_FORMATS_SSOT.md still described only the binary GF ladder, TF3 and GFTernary. Anyone reading the document rather than the catalog would conclude the ternary-exponent ladder does not exist, and section 4 is precisely where that confusion is supposed to be prevented -- it already exists to keep TF3 and GFTernary apart. Section 4a adds the third object. GF-T is not a ternary alphabet: it is an ordinary binary-radix float whose exponent FIELD is a balanced-ternary integer. Only the encoding is ternary; the scale is a power of two. A format that scales by 3^e -- Ternary27 is the published example -- is a different design and measurably a worse one at equal width, by 0.33 positions per number, and the section gives the closed form. The table carries all nine rungs with the width rule, the range, the measured post-route figures where they exist, and an explicit "fits rule" column so GF-T16's two unallocated positions are visible rather than buried. Two columns are read wrong without help, so the section explains both. E is a count of trits; the bit-equivalent is given. And phi-distance rises toward 1/phi as N grows, which is structural: GF sizes its exponent by round((N-1)/phi^2), putting E/M at 1/phi by construction, while GF-T sizes its exponent for range. Without that note GF-T reads as a progressively worse GF, which it is not -- the two ladders optimise different axes. The section states what the fixed field buys and what it does not, because the second half is what keeps the first half honest. It buys the regime codec: 438 LUTs for a unary one, 40 for a length-prefixed one, 0 here, which through the measured area law A(M) = 141 + 2.4455 M^2 is 9.95 mantissa bits of silicon at the 16-bit class and 1.00 at M = 90. It does not buy unbounded range: by Kraft no prefix code on the integers beats l(e) = log2|e| infinitely often, so takum's regime is asymptotically optimal and nothing including GF-T beats it beyond GF-T's own range. The 2.83x and 5.46x hold inside that range and are marked as such. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

…than miscounted The 2026-06-14 erratum set the canonical count at 83 and superseded the paper's 84. That number has moved again, and for a different reason than last time. Last time was a miscount. This time GF-T -- the ternary-exponent ladder -- had zero rows in the catalog. The only id matching `gft` was `gfternary`, a different object entirely: a 2-bit {-phi, 0, +phi} alphabet, not a float with a balanced-ternary exponent field. Four rungs existed as .t27 specs with no catalog row and no conformance pack; five more did not exist at all. A sibling repository's specs/gft.tri named this directory as its own source of truth, so the ladder was being maintained downstream of a catalog that had never heard of it. Registering all nine rungs with their packs is the whole of the +9. Canonical count going forward is 92; both 84 and 83 are superseded. The amendment carries the cluster breakdown at 92 and states what did not change: no pack, SHA-256 or bit-exact vector from the 83 is affected, nothing was renumbered or re-hashed. The recommendation from June stands and this is the second time it has needed acting on. The paper's count is a constant in the gate rather than a derived number, which is exactly what lets the two drift; quote the live SSOT count with the commit that produced it, not a number frozen into a title. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

…ome back (Refs #2001) Two things, one of them a defect I shipped in #1955. gft4/8/16/32.t27 existed only in an unpushed local commit and were never on master. #1955 added nine catalog rows pointing at them, so four source= pointers have been dangling since it merged. Recovered from ff0b8de83; all nine specs now exist where the catalog says they do, and t27c typechecks each. gft16 then spends the two positions it was carrying unallocated. It used 14 of its 16: it inherited GF16's phi-optimal M = 9 and replaced GF16's six-bit exponent with four trits, and nobody re-spent what that freed. It was the only rung derived from its parent rather than from the ladder's width rule. Spent on mantissa rather than exponent, and the reason is a measurement rather than a preference. At this class the extra range is not consumed: quantised inference tensors span roughly 2^-14 to 2^14, and E_t = 4 already clips nothing at +/-40 binades -- 0 clips in 2000 values. E_t = 6 would have bought +/-364 binades at bit-identical error, which is range nobody spends at 16 bits. Measured effect: error 3.45e-4 -> 8.63e-5, a factor of 4.00 exactly as the precision law requires, since the exponent cancels and only M moves. Against takum16 the rung goes from 0.92x / 2.88x / 5.49x to 3.70x / 11.37x / 22.28x and stops losing the near bin. Silicon 372 -> 443 LUTs, +19%, at 131.73 -> 136.44 MHz: no frequency penalty. Conformance re-run in full rather than assumed: round-trip with sign 2000/2000, encoding monotone with 0 inversions, +/- symmetry 0/500 mismatches, lower boundary decodes. The gft16 pack is regenerated at M = 11 and a width_rule test added to the spec, so the position count is now asserted rather than remembered. All nine rungs satisfy 1 + E_t + M = N. Catalog count 92, WP-18 CLEAN, t27c clean. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Four conflicts, all from the squash-merge of #1955: master carries the M = 9 rung this branch changes to M = 11. formats_catalog.t27 take this branch's row -- M = 11 is the PR's subject gft16_conformance_v0 take this branch's pack, regenerated at M = 11 INDEX_all_formats take master's index, recompute the gft16 entry's hash docs/NOW.md keep both entries, this branch's on top Gates after resolution: catalog count 92, WP-18 CLEAN, t27c clean. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

github-actions · 2026-08-09T05:11:56Z

PR Dashboard

Generated at: 2026-08-09 05:11:54 UTC

feat(numeric): GF-T16 spends its last two positions, and four specs come back (Refs #2001) #2005 feat(numeric): GF-T16 spends its last two positions, and four specs come back (Refs #2001) | Created: 2026-08-09 | Updated: 2026-08-09 | 14 failing / 18 total
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	14
PRs with Failing Checks	1
PRs with All Checks Green	13
READY	5
FAILING	1
PENDING	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=6c30e43706ec != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

github-actions · 2026-08-09T05:12:03Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

master carries the M = 11 change from #2005 under the old gft names; this branch carries the same change under tef. Verified the conflicting hunks differ ONLY by naming before taking this side, rather than assuming it. formats_catalog this branch (TEF), sides confirmed name-identical otherwise tef16 pack this branch, already at M = 11 INDEX master's, ids remapped gft* -> tef*, hashes recomputed from the files actually on disk rather than carried over docs/NOW.md both entries kept Gates: catalog count 92, WP-18 CLEAN, t27c clean on all nine TEF specs. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Dmitrii Vasilev and others added 7 commits August 9, 2026 00:54

docs(now): record the GF-T catalog registration (Refs #2001)

280e2a0

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Merge remote-tracking branch 'origin/master' into feat/gft-ladder-ssot

6d18d14

gHashTag mentioned this pull request Aug 9, 2026

feat(numeric): rename the ladder GF-T -> TEF (Ternary-Exponent Float) (Refs #2001) #2008

Merged

gHashTag merged commit b3a6bf6 into master Aug 9, 2026
19 of 20 checks passed

Navigation Menu

feat(numeric): GF-T16 spends its last two positions, and four specs come back (Refs #2001) - #2005

feat(numeric): GF-T16 spends its last two positions, and four specs come back (Refs #2001)#2005
gHashTag merged 7 commits into
masterfrom
feat/gft16-fill-two-positions

gHashTag commented Aug 9, 2026

Uh oh!

github-actions Bot commented Aug 9, 2026

Uh oh!

github-actions Bot commented Aug 9, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Aug 9, 2026

The defect first

GF-T16 spends its two unallocated positions

Conformance re-run, not assumed

Gates

Uh oh!

github-actions Bot commented Aug 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Aug 9, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant