diff --git a/apps/website/src/index.css b/apps/website/src/index.css index d871f4d6a6..9b9f4c70e8 100644 --- a/apps/website/src/index.css +++ b/apps/website/src/index.css @@ -212,6 +212,27 @@ section ol { border-bottom-color: var(--accent); } +.retracted-number { + color: var(--muted); + font-weight: 700; + text-decoration: line-through; + text-decoration-color: var(--accent); + text-decoration-thickness: 2px; +} + +.retracted-label { + display: inline-block; + padding: 0.18rem 0.45rem; + border: 1px solid var(--accent); + border-radius: 999px; + color: var(--accent); + font-size: 0.82rem; + font-weight: 700; + letter-spacing: 0.08em; + line-height: 1.2; + text-transform: uppercase; +} + .verification-theorem-groups { display: grid; gap: 0.75rem; diff --git a/apps/website/src/pages/GFT.tsx b/apps/website/src/pages/GFT.tsx index 79291b859f..adb02a5829 100644 --- a/apps/website/src/pages/GFT.tsx +++ b/apps/website/src/pages/GFT.tsx @@ -75,6 +75,13 @@ const RETRACTED = { b: 'Until August 2026 this page reported GF-T as 2.84× and 5.53× more accurate than tekum16 at range. That is withdrawn. The oracle labelled tekum decoded all 65,536 sixteen-bit codes identically to the takum oracle, so the numbers were a comparison with takum wearing the wrong name. Against takum the honest figures are 2.1× at sixteen bits and an exact 2.6× at thirty-two. A real comparison against tekum (arXiv:2512.10964) has not been made, and nothing here should be read as one.', } +const markRetractedNumbers = (text: string) => + text.split(/(2\.84×?|5\.53×?)/g).map((part, index) => + /^(2\.84|5\.53)/.test(part) + ? {part} + : part, + ) + const LADDER: [string, string, string][] = [ ['GF-T8', '50', '153.23 MHz'], ['GF-T16', '212', '131.73 MHz'], @@ -212,8 +219,9 @@ export default function GFT() {
- {c ? c.retractedB : RETRACTED.b} + {markRetractedNumbers(c ? c.retractedB : RETRACTED.b)}
diff --git a/apps/website/src/pages/Proof.tsx b/apps/website/src/pages/Proof.tsx index 46972d7c7a..e8f4bc64ac 100644 --- a/apps/website/src/pages/Proof.tsx +++ b/apps/website/src/pages/Proof.tsx @@ -79,6 +79,13 @@ const NOT_CLAIMS = [ 'This page previously reported 323 MHz and 41.2 GOPS for the GF16 matmul. Re-checking the RTL on 8 August 2026 showed the block holds no registers in any of its nine copies in my repositories, so it has no clock and no frequency can belong to it. The figure is withdrawn rather than explained away, and the synthesis numbers above replace it.', ] +const markRetractedNumbers = (text: string) => + text.split(/(2\.84×?|5\.53×?)/g).map((part, index) => + /^(2\.84|5\.53)/.test(part) + ? {part} + : part, + ) + // Russian copy. Other locales fall back to English rather than showing gaps. const RU = { eyebrow: 'Измеренные доказательства', @@ -179,7 +186,8 @@ export default function Proof() {{r.metric}
{r.body}
+ {r.body.includes('2.84') || r.body.includes('5.53') ? {c ? 'Отозвано' : 'Withdrawn'} : null} +{markRetractedNumbers(r.body)}
{r.how}