+ {copy.verification.kicker}
+ {copy.verification.intro}
+
+ {copy.verification.warningNotice} {copy.verification.captionNotice}
+
+
+ Coverage map
+
+
+ {verifications.uniqueSegments} / {verifications.uniqueSegments} matched
+
+
+ ■ Project: {verifications.uniqueSegments}
+ ▨ Independent: {verifications.independentChecksCount}
+
+
+
+
+ Project
+ {verifications.coverage.map(seg => (
+ Independent
+ {verifications.coverage.map(seg => (
+
+
+
+ {seg.segment % 6 === 0 || seg.segment === 36 ? seg.segment : ''}
+
+ ))}
+
+
+
+
+
{copy.verification.oddsTitle}
+
+ {copy.verification.oddsFormula}
+
+
+
+ Detection odds curve for 37 segments
+ {copy.verification.oddsDescription}
+
+ {/* Grid lines */}
+ {[0, 0.5, 1].map(p => (
+
+
+ {p * 100}%
+
+
+ ))}
+
+ {/* X Axis */}
+ {[0, 50, 100, 150, 200].map(m => (
+
+ {m}
+
+ ))}
+
+ {/* Area & curve */}
+
+
+ {label}
+
+
+ );
+ })}
+
+ {/* Current position (M = 0) */}
+
+ You are here: 0 independent checks
+
+
+
+
+ Detection odds by number of independent checks
+
+
+ Checks (M)
+ Detection Probability
+
+
+
+
+ 0
+ 0% (Current: 0 independent checks)
+
+
+ 110
+ 95.0%
+
+
+ 169
+ 99.0%
+
+
+
+ {copy.verification.explain}
+
+
+
+
+
{copy.verification.hardwareTitle}
+
{copy.verification.hardwareNote}
+
+
+
+ Hardware
+ Probe
+ Result
+
+
+
+ {hardwareMap.map((probe, i) => {
+ const isFullRun = probe.segment === 'all 37';
+ const scopeLabel = isFullRun
+ ? 'Full run, all 37 segments'
+ : `Segment ${probe.segment}${probe.note ? `: ${probe.note.split(';')[0]}` : ''}`;
+ return (
+
+ {probe.hardware}
+ {scopeLabel}
+
+
+ {probe.result === 'MATCH' ? '✓ MATCH' : '✕ MISMATCH'}
+
+
+
+ );
+ })}
+
+
+
+
+ );
+};
diff --git a/frontend/src/content/copy.ts b/frontend/src/content/copy.ts
new file mode 100644
index 00000000..2f5a5a07
--- /dev/null
+++ b/frontend/src/content/copy.ts
@@ -0,0 +1,289 @@
+// Content copy for OpenVerifiableLLM site
+export const copy = {
+ header: {
+ title: 'OpenVerifiable',
+ suffix: 'LLM',
+ tagline: 'By AOSSIE',
+ links: [
+ { label: 'Source', href: 'https://github.com/AOSSIE-Org/OpenVerifiableLLM' },
+ { label: 'Evidence', href: 'https://huggingface.co/datasets/AOSSIE/openverifiable-enwiki-20260901-20260918-r1-evidence' },
+ ],
+ themeToggleAria: 'Switch between dark and light theme',
+ },
+ contents: {
+ title: 'Contents',
+ items: [
+ { label: "What's proven", href: '#overview' },
+ { label: 'Check it yourself', href: '#check' },
+ { label: 'Verification', href: '#verification' },
+ { label: 'Training timeline', href: '#timeline' },
+ { label: 'Verifiable exclusion', href: '#exclusion' },
+ { label: 'Downloads', href: '#downloads' },
+ { label: 'Common questions', href: '#faq' },
+ { label: 'External links', href: '#links' },
+ ],
+ },
+ article: {
+ title: 'OpenVerifiableLLM',
+ from: 'An AOSSIE project',
+ kicker: 'Release v1.0.1 · 28 October 2026 · Record timestamped 20 October 2026',
+ lead: [
+ 'is a language model whose training anyone can recompute. It\'s small, 23 million parameters, trained on English Wikipedia and a few conversations. You don\'t have to take our word for how it was made.',
+ ],
+ factsTitle: 'Key facts',
+ factsCta: 'Try checking a segment →',
+ infobox: {
+ caption: 'OpenVerifiableLLM',
+ release: 'v1.0.1, 28 Oct',
+ parameters: '23 million',
+ data: 'English Wikipedia, one exact pass',
+ checked: 'by the project',
+ independent: 'none yet',
+ stamped: '20 Oct 2026',
+ license: 'GPL-3.0',
+ source: 'GitHub',
+ },
+ },
+ how: {
+ title: 'How it works',
+ steps: [
+ {
+ title: '1. Training is cut into pieces',
+ text: 'Training ran in 37 segments, with a checkpoint saved after each.',
+ },
+ {
+ title: '2. Each checkpoint points back',
+ text: 'Each checkpoint stores the hash of the one before, so any change breaks the chain.',
+ },
+ {
+ title: '3. Anyone can redo a piece',
+ text: 'Rerun a segment on the same GPU type and you get our exact bytes.',
+ },
+ ],
+ },
+ faq: {
+ h2: 'Common questions',
+ stillTitle: 'Still stuck?',
+ discord: 'Ask on Discord',
+ issue: 'Open an issue',
+ issueHref: 'https://github.com/AOSSIE-Org/OpenVerifiableLLM/issues',
+ items: [
+ {
+ q: 'What does "verified" mean here?',
+ a: 'Someone recomputed a segment and got exactly our bytes. It says nothing about answer quality.',
+ },
+ {
+ q: 'Who has checked it so far?',
+ a: 'Only us. Nobody outside the project has sent a result yet.',
+ },
+ {
+ q: 'What does the 10-minute check prove?',
+ a: 'That your files match the record stamped on 20 October. It doesn\'t redo training.',
+ },
+ {
+ q: 'Why does it need the same GPU type?',
+ a: 'GPUs round numbers slightly differently. On an RTX 5090 the bits match; on other hardware they drift, and that is normal.',
+ },
+ {
+ q: 'Are its answers any good?',
+ a: 'Not really. It\'s tiny and often wrong. The project is about how it was trained.',
+ },
+ {
+ q: "Why should I check if you already did?",
+ a: 'One outside result would mean more than all 46 of ours.',
+ },
+ ],
+ },
+ overview: {
+ kicker: "What's proven",
+ subtitle: 'Recomputed bit for bit on a second RTX 5090 by the project; 0 independent checks so far.',
+ explain: 'A segment is one of 37 slices of training. Start from the checkpoint before it, rerun it, and compare the result with ours. One different bit is a mismatch.',
+ facts: [
+ {
+ value: '37',
+ total: ' / 37',
+ title: 'Training segments recomputed bit for bit',
+ chip: 'Checked by the project',
+ },
+ {
+ value: 'Exact',
+ total: '',
+ title: 'Training data rebuilt from the Wikipedia dump',
+ chip: '8de1d600…',
+ },
+ {
+ value: '20 Oct',
+ total: '',
+ title: 'Release record timestamped',
+ chip: 'DigiCert · FreeTSA',
+ },
+ ],
+ shownTitle: 'What this shows',
+ shownItems: [
+ 'The weights came from the recorded run.',
+ 'The data is exactly the stated Wikipedia dump.',
+ 'The record is unchanged since 20 October.',
+ ],
+ notShownTitle: 'What it doesn\'t show',
+ notShownItems: [
+ 'That the answers are right. It\'s small and often wrong.',
+ 'That it matches on other kinds of GPU.',
+ 'That anyone outside the project agrees yet.',
+ ],
+ counts: [
+ { key: 'articles', label: 'Articles' },
+ { key: 'targets', label: 'Wikipedia targets' },
+ { key: 'conversations', label: 'Conversations' },
+ { key: 'loopLines', label: 'Training loop', value: '~630 lines' },
+ ],
+ },
+ check: {
+ kicker: 'Check it yourself',
+ intro: 'Pick how much time you have. Only the last one redoes training.',
+ ladder: [
+ {
+ time: '2 min',
+ meta: 'Free · any laptop',
+ title: 'Try the model',
+ chips: [{ label: '○ Demo, checks nothing', type: 'h' }],
+ desc: 'Chat with it on your own machine.',
+ command: 'ollama run ryoari/openverifiablellm',
+ },
+ {
+ time: '10 min',
+ meta: 'Free · no GPU',
+ title: 'Consistency check',
+ chips: [
+ { label: '✓ Release matches its record', type: 'm' },
+ { label: '○ No training recomputed', type: 'h' },
+ ],
+ desc: 'Check the release against the stamped record.',
+ command: `pip install huggingface_hub torch numpy rfc8785==0.1.4 tokenizers==0.23.2 mwparserfromhell==0.7.2 \\
+ "safetensors>=0.4.5,<1.0" "pynacl>=1.5,<2.0"
+hf download AOSSIE/openverifiable-enwiki-20260901-20260918-r1-evidence \\
+ --repo-type dataset --include "release/simple-run/*" --exclude "*/ckpt-*" --local-dir ovl
+cd ovl/release/simple-run
+sha256sum -c --ignore-missing release-hashes.txt
+openssl ts -verify -in anchor.digicert.tsr -data anchor.json -CAfile /etc/ssl/certs/ca-certificates.crt
+# Verification: OK (DigiCert stamped anchor.json on 2026-10-20)
+git clone -q --depth 1 --branch v1.0.1 https://github.com/AOSSIE-Org/OpenVerifiableLLM ovl-code
+OVL_DEVICE=cpu python ovl-code/simple/ovl.py verify --run . --weights conversation-model.pt
+# anchor anchor.json: chain head MATCH (38 entries)
+# weights conversation-model.pt: MATCH chain entry 37`,
+ },
+ {
+ time: '1 hour',
+ meta: 'About US$1.50 · RTX 5090',
+ title: 'The actual verification',
+ isKey: true,
+ chips: [{ label: '✓ Recomputes a segment bit for bit', type: 'm' }],
+ desc: 'Rebuild one segment and compare every byte with ours.',
+ action: {
+ label: 'Open the RunPod template',
+ href: 'https://console.runpod.io/deploy?template=mai1ozh35g',
+ },
+ },
+ ],
+ },
+ verification: {
+ kicker: 'Verification',
+ intro: 'Every segment matched, but only we have checked so far. That\'s where we need help.',
+ explain: 'If one segment had been tampered with, 110 random checks would catch it 95% of the time and 169 would catch it 99%. There are no independent checks yet, so the curve starts at zero.',
+ captionNotice: '46 checks across 37 segments, all matching, none independent.',
+ warningNotice: 'Self-reported and not yet signed.',
+ oddsTitle: 'How many checks would catch a bad segment',
+ oddsFormula: 'P = 1 − (36/37)^M, with N = 37',
+ oddsDescription: 'Detection odds: 95% at 110 random checks, 99% at 169. Current independent checks: 0.',
+ hardwareTitle: 'Which hardware reproduces the bits',
+ hardwareNote: 'Only the same GPU model gives identical bits; a mismatch elsewhere is normal.',
+ },
+ timeline: {
+ kicker: 'Training timeline',
+ intro: 'The machine restarted once and the code changed once. Both segments still matched.',
+ h2: 'One machine restart and one code change. Both segments still matched.',
+ restartTitle: 'Host restart',
+ restartTag: 'Segment 10',
+ codeChangeTitle: 'Code change',
+ codeChangeTag: 'Segment 19 onward',
+ restartDesc: 'Picked up from the saved checkpoint on a new machine.',
+ codeChangeDesc: 'Each segment ran the code recorded for it.',
+ timestampNote: 'Timestamps prove the record existed by 20 October 2026, not when training ran.',
+ },
+ exclusion: {
+ kicker: 'Verifiable exclusion',
+ h2: 'We trained a second copy of the model with one article taken out, and we can show it never saw it.',
+ desc: 'The fork removed 3I/ATLAS before training reached it. Everything else is identical.',
+ removedArticleLabel: 'Loss on the removed article',
+ removedArticleNote: 'Higher, as you\'d expect: the fork never saw it.',
+ controlArticlesLabel: 'Loss on 50 control articles',
+ controlArticlesNote: 'Barely moved.',
+ whyHoldsTitle: 'Why we can say this',
+ whyHoldsItems: [
+ 'Checkpoints 0 to 30 are identical in both copies.',
+ 'The removal is recorded in the chain.',
+ 'Every segment of the second copy matched.',
+ ],
+ limitsTitle: 'What it can\'t do',
+ limitsItems: [
+ 'It shows this model never saw the article. Nothing beyond that.',
+ 'It can\'t make a model forget something it already learned.',
+ 'It\'s one run, so there\'s no variance estimate yet.',
+ ],
+ evidenceLabel: 'Evidence:',
+ explain: 'This doesn\'t make a model forget anything. It shows that if you leave a text out early enough, you can prove you did.',
+ evidencePath: 'release/unlearning-3i-atlas/',
+ },
+ downloads: {
+ kicker: 'Downloads',
+ intro: 'Run sha256sum on each file and compare it with the hash below.',
+ files: [
+ {
+ name: 'ovl-23m-chat.gguf',
+ source: 'GitHub release v1.0.1',
+ actionLabel: 'Download',
+ url: 'https://github.com/AOSSIE-Org/OpenVerifiableLLM/releases/download/v1.0.1/ovl-23m-chat.gguf',
+ },
+ {
+ name: 'Modelfile',
+ source: 'GitHub release v1.0.1',
+ actionLabel: 'Download',
+ url: 'https://github.com/AOSSIE-Org/OpenVerifiableLLM/releases/download/v1.0.1/Modelfile',
+ },
+ {
+ name: 'conversation-model.pt',
+ source: 'Hugging Face, revision 96dc282a',
+ actionLabel: 'Open',
+ url: 'https://huggingface.co/datasets/AOSSIE/openverifiable-enwiki-20260901-20260918-r1-evidence/blob/96dc282a/release/simple-run/conversation-model.pt',
+ },
+ {
+ name: 'ryoari/openverifiablellm',
+ source: 'Ollama',
+ actionLabel: 'Open',
+ note: 'Install with ollama run',
+ url: 'https://ollama.com/ryoari/openverifiablellm',
+ },
+ ],
+ },
+ footer: {
+ org: 'An AOSSIE project',
+ license: 'OpenVerifiableLLM is licensed under GPL-3.0.',
+ evidenceNote: 'Evidence pinned to Hugging Face revision',
+ contactEmail: 'contact@aossie.org',
+ projectHeading: 'Project',
+ communityHeading: 'Community',
+ contactHeading: 'Contact',
+ helpHeading: 'Get help',
+ projectLinks: [
+ { label: 'Source code on GitHub', href: 'https://github.com/AOSSIE-Org/OpenVerifiableLLM' },
+ { label: 'Release v1.0.1', href: 'https://github.com/AOSSIE-Org/OpenVerifiableLLM/releases/tag/v1.0.1' },
+ { label: 'Evidence on Hugging Face', href: 'https://huggingface.co/datasets/AOSSIE/openverifiable-enwiki-20260901-20260918-r1-evidence' },
+ { label: 'Model on Ollama', href: 'https://ollama.com/ryoari/openverifiablellm' },
+ ],
+ communityLinks: [
+ { label: 'Contribution guidelines', href: 'https://github.com/AOSSIE-Org/Info/blob/main/Rules/Contribution.md' },
+ { label: 'Code of Conduct', href: 'https://github.com/AOSSIE-Org/Info/blob/main/CODE_OF_CONDUCT.md' },
+ { label: 'AI usage policy', href: 'https://github.com/AOSSIE-Org/Info/blob/main/Rules/AI.md' },
+ { label: 'About AOSSIE', href: 'https://aossie.org/en/about' },
+ ],
+ },
+};
diff --git a/frontend/src/data/contracts.ts b/frontend/src/data/contracts.ts
new file mode 100644
index 00000000..27a38e1f
--- /dev/null
+++ b/frontend/src/data/contracts.ts
@@ -0,0 +1,116 @@
+// Contracts and schemas for OpenVerifiableLLM evidence data
+
+export type CanonicalCheckerCategory = 'project' | 'independent';
+
+// Explicit whitelist mapping for recognized checker strings in evidence
+export const KNOWN_CHECKER_MAP: Readonly
+ 
+