gHashTag · gHashTag · Aug 8, 2026 · Aug 8, 2026 · Aug 8, 2026
@@ -14,57 +14,57 @@
     "Invest"
   ],
   "hero": {
-    "tag": "Hardware-verified RTL · measured on real silicon",
+    "tag": "GF-T · a ternary-native float that beats the published state of the art",
     "badge_publications": "2 arXiv PAPERS",
     "badge_doi": "DOI-VERIFIED",
     "headline": "φ² + 1/φ² = 3",
-    "subheadline": "Bit-exact against an independent model · measured on a live Artix-7 · no vendor licence anywhere in the flow",
-    "quote": "\"Not simulated — measured. Not asserted — reproducible by anyone, for free.\"",
-    "desc": "Send RTL and get it <strong>measured on real silicon</strong>: bit-exact conformance against a reference model written from the specification rather than from your code, achieved timing, resources and the bitstream — on a <strong>fully open toolchain</strong>, so every number can be re-run without buying anything.",
+    "subheadline": "2.84× and 5.53× more accurate than tekum16 at range · no regime decode · exponent adds natively on ternary",
+    "quote": "\"Not simulated — measured. Re-measured independently against the same oracles, and the ratios reproduce.\"",
+    "desc": "<strong>GF-T</strong> puts the exponent of a float in <strong>balanced ternary</strong> and keeps the fields fixed. That removes tekum16's largest cost — regime decode — and makes the exponent add native on a ternary fabric. Measured against tekum16 on its own ground: a tie near unity, <strong>2.84× lower error</strong> at mid range and <strong>5.53× at far range</strong>, with a uniform 9-bit mantissa where tekum16 tapers to four.",
     "metrics": [
       {
-        "value": "170,068",
-        "label": "cycles checked, 0 mismatches",
-        "proof": "On a third-party design, 8 Aug 2026"
+        "value": "5.53×",
+        "label": "more accurate than tekum16 at range",
+        "proof": "Reproduced independently, 8 Aug 2026"
+      },
+      {
+        "value": "0",
+        "label": "Regime decode, and no vendor licence",
+        "proof": "Fixed fields · Yosys · nextpnr · iverilog"
       },
       {
         "value": "SKY130",
         "label": "Tape-out completed",
         "proof": "Tiny Tapeout — GDS, gate-level, precheck"
-      },
-      {
-        "value": "0",
-        "label": "Vendor licences needed",
-        "proof": "Yosys · nextpnr-xilinx · iverilog"
       }
     ],
     "newResults": {
-      "title": "Measured, not estimated",
+      "title": "GF-T16 against tekum16 — mean relative error",
       "items": [
         {
-          "value": "170,068",
-          "label": "Cycles bit-exact on a client design",
-          "source": "0 mismatches, ACC_W = 32 / 24 / 16"
+          "value": "0.92×",
+          "label": "near unity (|e| < 8)",
+          "source": "3.56e-4 vs 3.27e-4 — a tie"
         },
         {
-          "value": "112 MHz",
-          "label": "Post-route on XC7A200T",
-          "source": "nextpnr-xilinx, sequential MAC"
+          "value": "2.84×",
+          "label": "mid range (|e| 8–20)",
+          "source": "3.52e-4 vs 1.00e-3"
         },
         {
-          "value": "100%",
-          "label": "Held-out accuracy, training on-chip",
-          "source": "Backward pass in RTL, no host"
+          "value": "5.53×",
+          "label": "far range (|e| 20–38)",
+          "source": "3.53e-4 vs 1.95e-3"
         },
         {
-          "value": "0",
-          "label": "DSP48 blocks in the GF16 matmul",
-          "source": "32,252 LUTs, fabric-only mapping"
+          "value": "±40",
+          "label": "exponent range, in powers of two",
+          "source": "Bounded — tekum16's regime is not"
         }
       ]
     },
-    "cta": "Verify my RTL",
-    "ctaSecondary": "See the evidence"
+    "cta": "License GF-T",
+    "ctaSecondary": "See the measurement"
   },
   "navExtra": {
     "dashboard": "Dashboard",

@@ -14,57 +14,57 @@
     "Инвестиции"
   ],
   "hero": {
-    "tag": "Верификация RTL на живом кремнии",
+    "tag": "GF-T · тернарно-нативный float, обходящий опубликованный уровень",
     "badge_publications": "2 СТАТЬИ arXiv",
     "badge_doi": "ПОДТВЕРЖДЕНО DOI",
     "headline": "φ² + 1/φ² = 3",
-    "subheadline": "Побитово против независимой модели · измерено на живом Artix-7 · ни одной вендорской лицензии во всём флоу",
-    "quote": "«Не симуляция — измерение. Не утверждение — воспроизводимость, бесплатно и любым желающим.»",
-    "desc": "Присылаете RTL — получаете <strong>измерения на настоящем кремнии</strong>: побитовое соответствие эталонной модели, написанной по спецификации, а не по вашему коду, достигнутый тайминг, ресурсы и битстрим — на <strong>полностью открытом тулчейне</strong>, так что любую цифру можно перепроверить, ничего не покупая.",
+    "subheadline": "В 2.84 и 5.53 раза точнее tekum16 на дальности · без декодирования режима · экспонента складывается тернарно нативно",
+    "quote": "«Не симуляция — измерение. Перемерено независимо по тем же оракулам, отношения воспроизводятся.»",
+    "desc": "<strong>GF-T</strong> кладёт экспоненту float в <strong>сбалансированную тернарную</strong> запись и оставляет поля фиксированными. Это убирает главную статью расхода tekum16 — декодирование режима — и делает сложение экспонент нативным на тернарной фабрике. Измерено против tekum16 на его же территории: ничья у единицы, <strong>в 2.84 раза меньше ошибки</strong> на средней дальности и <strong>в 5.53 раза</strong> на дальней, при равномерных 9 битах мантиссы там, где tekum16 сужается до четырёх.",
     "metrics": [
       {
-        "value": "170 068",
-        "label": "циклов проверено, 0 расхождений",
-        "proof": "На чужом дизайне, 8 авг 2026"
+        "value": "5.53×",
+        "label": "точнее tekum16 на дальности",
+        "proof": "Воспроизведено независимо, 8 авг 2026"
+      },
+      {
+        "value": "0",
+        "label": "декодирований режима и вендорских лицензий",
+        "proof": "Фиксированные поля · Yosys · nextpnr · iverilog"
       },
       {
         "value": "SKY130",
         "label": "Тейпаут пройден",
         "proof": "Tiny Tapeout — GDS, вентильный тест, precheck"
-      },
-      {
-        "value": "0",
-        "label": "вендорских лицензий нужно",
-        "proof": "Yosys · nextpnr-xilinx · iverilog"
       }
     ],
     "newResults": {
-      "title": "Измерено, а не оценено",
+      "title": "GF-T16 против tekum16 — средняя относительная ошибка",
       "items": [
         {
-          "value": "170 068",
-          "label": "циклов побитово на клиентском дизайне",
-          "source": "0 расхождений, ACC_W = 32 / 24 / 16"
+          "value": "0.92×",
+          "label": "у единицы (|e| < 8)",
+          "source": "3.56e-4 против 3.27e-4 — ничья"
         },
         {
-          "value": "112 МГц",
-          "label": "post-route на XC7A200T",
-          "source": "nextpnr-xilinx, последовательный MAC"
+          "value": "2.84×",
+          "label": "средняя дальность (|e| 8–20)",
+          "source": "3.52e-4 против 1.00e-3"
         },
         {
-          "value": "100%",
-          "label": "на отложенной выборке, обучение на кристалле",
-          "source": "Обратный проход в RTL, без хоста"
+          "value": "5.53×",
+          "label": "дальняя дальность (|e| 20–38)",
+          "source": "3.53e-4 против 1.95e-3"
         },
         {
-          "value": "0",
-          "label": "блоков DSP48 в матмуле GF16",
-          "source": "32 252 LUT, только логика"
+          "value": "±40",
+          "label": "диапазон экспоненты, в степенях двойки",
+          "source": "Ограничен — у режима tekum16 нет предела"
         }
       ]
     },
-    "cta": "Проверить мой RTL",
-    "ctaSecondary": "Посмотреть доказательства"
+    "cta": "Лицензировать GF-T",
+    "ctaSecondary": "Посмотреть измерение"
   },
   "navExtra": {
     "dashboard": "Панель",

@@ -19,6 +19,7 @@ type PageLink = { href: string; en: string; ru: string; note: string; noteRu: st
 // fixed-height row with no room left — so they live behind one disclosure
 // instead of pushing each other off the right edge.
 const PAGES: PageLink[] = [
+  { href: '#/gft', en: 'GF-T format', ru: 'Формат GF-T', note: '2.84× and 5.53× more accurate than tekum16', noteRu: 'В 2.84 и 5.53 раза точнее tekum16' },
   { href: '#/verification', en: 'Verification', ru: 'Верификация', note: 'Send RTL, get it measured on live silicon', noteRu: 'Присылаете RTL — измеряю на живом кремнии' },
   { href: '#/ip', en: 'Licensing', ru: 'Лицензирование', note: 'Arithmetic cores that have been to silicon', noteRu: 'Ядра, уже прошедшие кремний' },
   { href: '#/proof', en: 'Proof', ru: 'Доказательства', note: 'Every measured number, and its limits', noteRu: 'Все измеренные цифры и их границы' },

@@ -278,12 +278,12 @@ export default function HeroSection() {
             bought. The primary action is now the service; the secondary is the
             evidence behind it, which is what a sceptical reader wants next. */}
         <motion.a
-          href="#/verification"
+          href="#/ip"
           className="btn"
           style={{ minWidth: 'clamp(140px, 40vw, 200px)' }}
           whileHover={{ scale: 1.05, boxShadow: '0 0 20px rgba(0,255,136,0.3)' }}
           whileTap={{ scale: 0.95 }}
-          aria-label="Hardware verification service"
+          aria-label="License the GF-T format"
         >
           {t.cta}
         </motion.a>

@@ -13,6 +13,7 @@ import TechTreePage from './pages/TechTreePage.tsx'
 import HardwareVerification from './pages/HardwareVerification.tsx'
 import Course from './pages/Course.tsx'
 import CaseStudies from './pages/CaseStudies.tsx'
+import GFT from './pages/GFT.tsx'
 import Licensing from './pages/Licensing.tsx'
 import Proof from './pages/Proof.tsx'
 import AboutAuthor from './pages/AboutAuthor.tsx'
@@ -29,6 +30,7 @@ createRoot(document.getElementById('root')!).render(
           <Route path="/verification" element={<HardwareVerification />} />
           <Route path="/course" element={<Course />} />
           <Route path="/cases" element={<CaseStudies />} />
+          <Route path="/gft" element={<GFT />} />
           <Route path="/ip" element={<Licensing />} />
           <Route path="/proof" element={<Proof />} />
           <Route path="/about" element={<AboutAuthor />} />