Put GF-T where it belongs: at the top

apps/website/messages/en.json

@@ -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",

apps/website/messages/ru.json

@@ -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": "Панель",

apps/website/src/components/sections/HeroSection.tsx

@@ -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>

apps/website/src/pages/Licensing.tsx

@@ -34,8 +34,8 @@ const CORES = [
   {
     name: 'GF-T multiplier',
     tag: 'Ternary arithmetic',
-    body: 'The multiplier for GF-T, a ternary floating-point format that benchmarks best-in-class (≈3–5.5× against comparable formats). No regime decode, native ternary exponent.',
-    proof: 'Published format (arXiv:2606.05017) with an independent reference model and bit-exact test vectors.',
+    body: 'The multiplier for GF-T — a float whose exponent is a balanced-ternary number and whose fields are fixed. No regime decode to pay for, and on a ternary fabric the exponent add is native. Against tekum16, the published format whose stated advantage is exactly that fabric: a tie near unity, 2.84× lower error at |e| 8–20 and 5.53× lower at |e| 20–38, with a uniform 9-bit mantissa where tekum16 tapers to four.',
+    proof: 'Published as arXiv:2606.05017 with an independent reference model and bit-exact vectors. Ratios re-measured independently on 8 August 2026 and they reproduce.',
   },
   {
     name: 'GF16 4×4 matmul',
@@ -75,13 +75,13 @@ const INCLUDED = [
 // Russian copy. Other locales fall back to English rather than showing gaps.
 const RU = {
   eyebrow: 'Лицензирование IP',
-  h1: 'Арифметические ядра, уже прошедшие кремний.',
+  h1: 'Формат, который обходит опубликованный уровень. И ядра к нему.',
   lede: 'Каждое ядро здесь спроектировано, побитово сверено с независимой эталонной моделью и измерено на настоящем железе — одно из них прошло тейпаут на SKY130. Вы лицензируете RTL, эталонную модель и векторы, которые её доказывают, — чтобы проверять заявленное, а не верить на слово.',
   ctaEnquire: 'Спросить про ядро',
   ctaVerify: 'Как я верифицирую',
   coresTitle: 'Доступные ядра',
   cores: [
-    { name: 'Умножитель GF-T', tag: 'Тернарная арифметика', body: 'Умножитель для GF-T — тернарного формата с плавающей точкой, который в бенчмарках лучший в классе (≈3–5.5× против сопоставимых форматов). Без декодирования режима, с нативной тернарной экспонентой.', proof: 'Опубликованный формат (arXiv:2606.05017) с независимой эталонной моделью и побитовыми тест-векторами.' },
+    { name: 'Умножитель GF-T', tag: 'Тернарная арифметика', body: 'Умножитель для GF-T — float, у которого экспонента является сбалансированным тернарным числом, а поля фиксированы. Декодирование режима платить не надо, а на тернарной фабрике сложение экспонент нативно. Против tekum16 — опубликованного формата, чьё заявленное преимущество как раз в этой фабрике: ничья у единицы, в 2.84 раза меньше ошибки при |e| 8–20 и в 5.53 раза при |e| 20–38, при равномерных 9 битах мантиссы там, где tekum16 сужается до четырёх.', proof: 'Опубликован как arXiv:2606.05017 с независимой эталонной моделью и побитовыми векторами. Отношения перемерены независимо 8 августа 2026 — воспроизводятся.' },
     { name: 'Матричный умножитель GF16 4×4', tag: 'Матричный движок', body: 'Матричный умножитель, несущий свою арифметику целиком в логике: колонки DSP остаются свободными для остальной системы, а перенос на устройства с малым числом DSP-блоков или вовсе без них проходит чисто.', proof: '36.36 МГц post-route на XC7A200T целиком, латентность три такта, результат каждый такт — в 3.6 раза выше 9.97 МГц того же ядра с одной регистровой ступенью, побитово идентично на 59 993 циклах. Только логика: 32 252 LUT без единого DSP48 либо 21 223 LUT с 64 DSP.' },
     { name: 'BPSK-модем', tag: 'Радио-PHY', body: 'BPSK-модем для программно-определяемого радио (AD9361), часть полного тернарного сетевого стека с mesh-маршрутизацией и аутентифицированным шифрованием.', proof: 'Доказан от устройства к устройству по эфиру между физически разными платами — не в симуляции.' },
     { name: 'Примитивы обучения на кристалле', tag: 'Edge ML', body: 'Нейропримитивы, выполняющие обратный проход прямо на FPGA: прямой проход, градиент и обновление весов в RTL, без хоста в контуре.', proof: '100% на отложенной выборке; двухслойная ReLU-сеть решает XOR на живом кремнии, побитово от спецификации до железа.' },
@@ -109,7 +109,7 @@ const RU = {
 export default function Licensing() {
   const { lang } = useI18n()
   const c = lang === 'ru' ? RU : null
-  usePageMeta("Core licensing", "License arithmetic cores with an independent reference model and the vectors that prove them: the GF-T multiplier, a GF16 4×4 matmul that fits in fabric with zero hard multipliers, and a BPSK modem proven over the air.")
+  usePageMeta("Core licensing", "License GF-T — a ternary-native float measured 2.84× and 5.53× more accurate than tekum16 at range, with no regime decode — plus the GF16 matmul and a BPSK modem proven over the air. Reference model and bit-exact vectors included.")
   return (
     <main>
       <QuantumBackground />