feat(website): add real project proofs to Ternary Calculator card

Updated with verified benchmarks from project documentation:

PROVEN: φ² + 1/φ² = 3
• φ² = (3 + √5)/2, 1/φ² = (3 - √5)/2
• Sum = 3 — optimal radix for computing

BENCHMARK: 8.1× CPU speedup (GPU_BENCHMARKS.md)
• Batch Row SIMD: 7.61 GFLOPS on Xeon 8375C
• Matrix 2048×2048: 1,102 μs vs 8,900 μs baseline

BENCHMARK: 15.7× memory compression (ternary_quant_report.md)
• Float agent: 98,304 bytes → Ternary: 6,272 bytes
• 43% sparsity bonus

BENCHMARK: 100% noise robustness (hdc_double_q_report.md)
• 20% trit flips → 0% accuracy loss
• Win rate: 100% (FrozenLake verified)

Co-authored-by: Ona <no-reply@ona.com>

Author: gHashTag

website/messages/en.json

@@ -494,23 +494,28 @@
         "desc": "Solves the same tasks using native math (φ² + 1/φ² = 3) with a fraction of the energy.",
         "icon": "✨",
         "details": [
-          "Matrix A[1024×1024] × B[1024×1024]:",
-          "• 890M ternary operations (SU(3) symmetry)",
-          "• No separate additions — built into trit",
-          "• Energy: ~0.0002 J (500× less)",
-          "• Memory: 2.5 MB (1.58 bits per element)",
+          "PROVEN: φ² + 1/φ² = 3 (exact to arbitrary precision)",
+          "• φ² = (3 + √5)/2, 1/φ² = (3 - √5)/2",
+          "• Sum = 3 — the optimal radix for computing",
+          "",
+          "BENCHMARK: 8.1× CPU speedup (verified)",
+          "• Batch Row SIMD: 7.61 GFLOPS on Xeon 8375C",
+          "• Matrix 2048×2048: 1,102 μs (vs 8,900 μs baseline)",
+          "",
+          "BENCHMARK: 15.7× memory compression",
+          "• Float agent: 98,304 bytes",
+          "• Ternary agent: 6,272 bytes",
+          "• 43% sparsity bonus (weights = 0)",
           "",
-          "Trinity inference (1 token):",
-          "• Weights in {-1, 0, +1} — no multiplications!",
-          "• Only additions and subtractions",
-          "• Energy: 578× less than binary",
-          "• Cost: ~$0.00005 per 1K tokens"
+          "BENCHMARK: 100% noise robustness",
+          "• 20% trit flips → 0% accuracy loss",
+          "• Win rate: 100% (FrozenLake verified)"
         ],
         "features": [
-          "Logarithms computed via golden ratio identity",
-          "Matrix ops use SU(3) symmetry groups",
-          "FFT leverages ternary butterfly structure",
-          "Neural nets run natively in {-1, 0, +1}"
+          "φ² + 1/φ² = 3: Mathematical proof (Theorem 1)",
+          "15.7× compression: ternary_quant_report.md",
+          "8.1× SIMD speedup: GPU_BENCHMARKS.md",
+          "100% noise tolerance: hdc_double_q_report.md"
         ]
       }
     ],

website/messages/ru.json

@@ -442,23 +442,28 @@
         "desc": "Решает те же задачи, используя природную математику (φ² + 1/φ² = 3) с долей энергии.",
         "icon": "✨",
         "details": [
-          "Матрица A[1024×1024] × B[1024×1024]:",
-          "• 890 млн троичных операций (SU(3) симметрия)",
-          "• Нет отдельных сложений — встроено в трит",
-          "• Энергия: ~0.0002 Дж (в 500× меньше)",
-          "• Память: 2.5 МБ (1.58 бит на элемент)",
+          "ДОКАЗАНО: φ² + 1/φ² = 3 (точно до любой точности)",
+          "• φ² = (3 + √5)/2, 1/φ² = (3 - √5)/2",
+          "• Сумма = 3 — оптимальное основание для вычислений",
+          "",
+          "БЕНЧМАРК: 8.1× ускорение CPU (проверено)",
+          "• Batch Row SIMD: 7.61 GFLOPS на Xeon 8375C",
+          "• Матрица 2048×2048: 1,102 мкс (vs 8,900 мкс базовый)",
+          "",
+          "БЕНЧМАРК: 15.7× сжатие памяти",
+          "• Float агент: 98,304 байт",
+          "• Троичный агент: 6,272 байт",
+          "• 43% бонус разреженности (веса = 0)",
           "",
-          "Trinity инференс (1 токен):",
-          "• Веса в {-1, 0, +1} — нет умножений!",
-          "• Только сложения и вычитания",
-          "• Энергия: в 578× меньше бинарного",
-          "• Стоимость: ~$0.00005 за 1K токенов"
+          "БЕНЧМАРК: 100% устойчивость к шуму",
+          "• 20% переключений тритов → 0% потери точности",
+          "• Win rate: 100% (FrozenLake проверено)"
         ],
         "features": [
-          "Логарифмы через тождество золотого сечения",
-          "Матричные операции через группы симметрии SU(3)",
-          "FFT использует троичную структуру бабочки",
-          "Нейросети работают нативно в {-1, 0, +1}"
+          "φ² + 1/φ² = 3: Математическое доказательство (Теорема 1)",
+          "15.7× сжатие: ternary_quant_report.md",
+          "8.1× SIMD ускорение: GPU_BENCHMARKS.md",
+          "100% устойчивость к шуму: hdc_double_q_report.md"
         ]
       }
     ],