Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 21 additions & 0 deletions apps/website/src/index.css
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
10 changes: 9 additions & 1 deletion apps/website/src/pages/GFT.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -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)
? <span className="retracted-number" key={`${part}-${index}`}>{part}</span>
: part,
)

const LADDER: [string, string, string][] = [
['GF-T8', '50', '153.23 MHz'],
['GF-T16', '212', '131.73 MHz'],
Expand Down Expand Up @@ -212,8 +219,9 @@ export default function GFT() {
<h2 style={{ fontSize: 'clamp(1.1rem, 3vw, 1.4rem)', marginTop: 0, marginBottom: '0.7rem' }}>
{c ? c.retractedH : RETRACTED.h}
</h2>
<span className="retracted-label">{c ? 'Отозвано' : 'Withdrawn'}</span>
<p style={{ fontSize: '0.92rem', lineHeight: 1.65, opacity: 0.9, maxWidth: '64ch', margin: 0 }}>
{c ? c.retractedB : RETRACTED.b}
{markRetractedNumbers(c ? c.retractedB : RETRACTED.b)}
</p>
</motion.div>

Expand Down
10 changes: 9 additions & 1 deletion apps/website/src/pages/Proof.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -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)
? <span className="retracted-number" key={`${part}-${index}`}>{part}</span>
: part,
)

// Russian copy. Other locales fall back to English rather than showing gaps.
const RU = {
eyebrow: 'Измеренные доказательства',
Expand Down Expand Up @@ -179,7 +186,8 @@ export default function Proof() {
<div key={r.title} className="premium-card" style={{ padding: '1.6rem' }}>
<p style={{ fontSize: '1.35rem', fontWeight: 700, color: 'var(--accent)', margin: '0 0 0.4rem', fontVariantNumeric: 'tabular-nums' }}>{r.metric}</p>
<h3 style={{ fontSize: '1.05rem', margin: '0 0 0.55rem' }}>{r.title}</h3>
<p style={{ fontSize: '0.93rem', lineHeight: 1.6, margin: '0 0 0.7rem', opacity: 0.9 }}>{r.body}</p>
{r.body.includes('2.84') || r.body.includes('5.53') ? <span className="retracted-label">{c ? 'Отозвано' : 'Withdrawn'}</span> : null}
<p style={{ fontSize: '0.93rem', lineHeight: 1.6, margin: '0 0 0.7rem', opacity: 0.9 }}>{markRetractedNumbers(r.body)}</p>
<p style={{ fontSize: '0.85rem', lineHeight: 1.55, margin: 0, opacity: 0.75, borderLeft: '2px solid var(--accent)', paddingLeft: '0.85rem' }}>{r.how}</p>
</div>
))}
Expand Down
Loading