Voice & Platform Copy

Internal note. This page documents the canonical voice and the paste-ready copy for every platform surface. It is publicly visible (there’s no downside — transparency about your own brand guidelines reads as confident, not secretive), but its primary audience is you, Anna-Sophie, and any future collaborator who needs to write in program voice.

The three voices

Register across all three voices: measured-conversational. Serious, precise, addressable. Not marketing-speak. Not press-release-formal. The program is grown-up and curious; the voices should sound that way.

Program voice

1-liner (80–120 chars)

Independent open research program. 7 canonical books. One categorical kernel. Machine-checked in Lean 4.

3-liner (280 chars)

An independent open research program developing Category τ — a constrained categorical kernel deriving results across mathematics, physics, life, and metaphysics. 7 canonical books, 4,332 machine-checked theorems, 234 typed claims. Every derivation inspectable. panta-rhei.site

1-paragraph (600–900 chars)

The Panta Rhei Research Program is an independent open research program founded by Dr. Thorsten Fuchs and Anna-Sophie Fuchs. It develops Category τ — a categorical kernel built from five generators, seven axioms, and one operator — and uses that kernel to derive results across mathematics, physics, life, and metaphysics from a single constraint discipline. The program's canonical release comprises seven books, a Lean 4 formalization library (TauLib, 445 modules, zero sorry in Books I–VI), 234 typed claims with explicit scope labels, and a public research website. Every derivation is inspectable, every prediction is computable, and every claim carries its epistemic status in the open. panta-rhei.site

Thor voice

1-liner

Founder, Panta Rhei Research Program. τ-framework · formal methods · categorical foundations. panta-rhei.site

3-liner

Founder of the Panta Rhei Research Program — an independent open research architecture formalizing a categorical kernel in Lean 4. Previously McKinsey, Microsoft DE. Currently: proofs, books, TauLib, and the question of whether reality has one constraint. panta-rhei.site

1-paragraph

Dr. Thorsten Fuchs is the founder of the Panta Rhei Research Program and principal author of its seven-book monograph series. He studied pure mathematics before spending many years in technology leadership at McKinsey & Company and Microsoft Germany, then returned to the foundational question — what if reality is more deeply coherent than it first appears? He leads the formal and architectural side of Panta Rhei: the categorical kernel, the proofs, the inter-book structure, the Lean 4 formalization through TauLib, and the research architecture that binds the project's different surfaces into one coherent whole. He presents the work not as a finished final word, but as a research architecture published for scrutiny.

Anna-Sophie voice (DRAFT — for Anna-Sophie’s review and rewrite before publishing)

These drafts are my best attempt at a respectful co-founder voice based on the existing founders page. Anna-Sophie should edit, rewrite, or replace entirely before anything ships publicly. Her voice, not mine.

1-liner (draft)

Co-Founder, Panta Rhei Research Program. Structural mapping · editorial discipline · first skeptical reader.

3-liner (draft)

Co-Founder of the Panta Rhei Research Program. Brings structural mapping, editorial discipline, and the human questions that keep a long-form research architecture oriented toward lived reality. Trained as an underwater archaeologist — habits transfer unexpectedly well.

1-paragraph (draft)

Anna-Sophie Fuchs is co-founder of the Panta Rhei Research Program and co-author of its seven-book monograph series. She trained as an underwater archaeologist — a discipline that taught her to excavate layered structures patiently, document fragile connections, and reconstruct wholes from buried fragments. Those habits transferred unexpectedly well into a long-form research architecture. In Panta Rhei, she brings structural mapping, editorial discipline, and the human questions that keep the project oriented toward lived reality. She is also the collaboration's first skeptical reader, pressing every large claim to justify not only its ambition, but also its language, scope, tone, and relation to human reality.

Hashtag discipline

Use sparingly and only when they meaningfully improve reach. The right audience doesn’t follow hashtags; they follow people. But when relevant:

• Tier A (always safe): #Lean4 #Mathlib #FormalMethods #CategoryTheory #TypeTheory
• Tier B (domain-specific, use when post is about): #Cosmology #CMBS4 #Physics #QuantumGravity #PhilosophyOfScience #PhilosophyOfMind
• Tier C (avoid): #Research #AI #Innovation — too generic, attracts noise not signal
• Never: #ThoughtLeader, #DeepDive, any growth-hacking hashtags, emoji-only hashtags

Mastodon convention: hashtag at end of post, no more than 2–3. X convention: 0–2 hashtags, inline if natural.

Link conventions

Cross-linking discipline (for launch)

Every platform bio should mention at least one other platform or surface, creating a verifiable web of identity. Recommended cross-links:

• LinkedIn personal → “Founder of @PantaRheiResearch · panta-rhei.site”
• X bio → “Founder @PantaRheiResearch · panta-rhei.site”
• Mastodon bio → Link field: panta-rhei.site (Mastodon rel="me" verified via site footer)
• Bluesky bio → “Founder, Panta Rhei Research Program. panta-rhei.site”
• Amazon author → About the Author references the program + site
• LinkedIn company → “Founded by Thorsten Fuchs & Anna-Sophie Fuchs”
• Site footer → already wired (GitHub, LinkedIn company, Bluesky, Mastodon, Amazon, Zenodo)

Platform-specific paste-ready copy

Each block below is ready to paste into the platform’s “About” / “Bio” / “Headline” field. Character counts shown for platforms with hard limits.

X / Twitter — @ThorFuchs74

• Display name: Thorsten Fuchs
• Bio (160 chars max):

  Founder @PantaRheiResearch · τ-framework, formal methods, categorical foundations · Previously McKinsey, Microsoft DE · panta-rhei.site
  

  (138 chars — fits)

• Website field: panta-rhei.site
• Location: München
• Category: Science
• Header image: assets/brand/social-header-light.png (1500×500)
• Profile pic: keep existing headshot (the current one is good)
• Pinned tweet: draft in “First posts” section below

LinkedIn personal — linkedin.com/in/thorfuchs/

• Headline (220 chars max):

  Founder, Panta Rhei Research Program · τ-framework, formal methods, categorical foundations · Author of the 7-book Panta Rhei series · Previously McKinsey, Microsoft Germany · Independent research
  

  (214 chars — fits)

• About (2600 chars max): use the Thor 1-paragraph voice, followed by:

  What I'm working on now:
  — Formalizing Category τ in Lean 4 through TauLib (open source, 445 modules, 125k lines)
  — The 7-book Panta Rhei monograph series (Amazon KDP)
  — 234 typed claims with explicit scope labels across mathematics, physics, life, and metaphysics
  — Public assessment protocols for structured first-pass review of the framework
  
  All work is public. Every derivation is inspectable. Every prediction is computable. panta-rhei.site
  

• Featured section: pin 3 items
  1. The site — panta-rhei.site
  2. Book I on Amazon (Categorical Foundations)
  3. TauLib on GitHub
• Experience: ADD new top entry:

  Founder & Principal Researcher
  Panta Rhei Research Program · Independent research
  April 2026 – Present · München, Germany
  Description: [Thor 1-paragraph voice]
  

  Keep existing united-domains role underneath (concurrent).

• Contact info → Website: change to panta-rhei.site (keep LinkedIn handle as secondary)

LinkedIn Company — linkedin.com/company/panta-rhei-research/

• Tagline (120 chars max):

  Independent open research program. 7 canonical books. One categorical kernel. Machine-checked in Lean 4.
  

  (106 chars — fits)

• About (2000 chars): Program 1-paragraph voice, then:

  What we publish
  ━━━━━━━━━━━━━━━
  → 7 canonical books (Amazon KDP, April 2026)
  → TauLib: 445 Lean 4 modules, 4,332 theorems, 0 sorry in Books I–VI
  → 234 typed claims + 67 zero-parameter numerical predictions
  → 30 falsification tests with named experiments and 2025–2035 timelines
  → Public research website with registry, bibliography, and verification surfaces
  → AI-assisted first-pass assessment protocol (three-gate rubric, downloadable scorecard)
  
  Founded by Thorsten Fuchs & Anna-Sophie Fuchs. All claims carry explicit scope labels. All derivations are inspectable. panta-rhei.site
  

• Industry: Research Services
• Company size: 2–10 employees
• Headquarters: München, Bayern, Germany
• Founded: 2026 (canonical release)
• Specialties: categorical foundations, formal verification, Lean 4, mathematical physics, philosophy of science, independent research
• Logo: assets/brand/profile-square-light.png (300×300)
• Cover: assets/brand/linkedin-company-cover.png (1128×191 — will produce below)

Mastodon — mastodon.social/@thorfuchs

• Display name: Thorsten Fuchs
• Bio (500 chars max):

  Founder of the Panta Rhei Research Program. Formalizing a categorical kernel in Lean 4 across mathematics, physics, life, and metaphysics. Previously McKinsey, Microsoft DE. Currently: proofs, books, TauLib, and the question of whether reality has one constraint.
  
  panta-rhei.site · github.com/Panta-Rhei-Research/taulib
  

• Metadata fields (4 slots, verified with rel="me" if the URL links back):
  • Label Website → https://panta-rhei.site ✓ verification works (site has rel="me" on Mastodon social icon in footer)
  • Label Books → https://www.amazon.de/stores/Thorsten-Fuchs/author/B0FL6W3JNY
  • Label TauLib → https://github.com/Panta-Rhei-Research/taulib
  • Label ORCID → https://orcid.org/0009-0007-0718-1042
• Header: assets/brand/social-header-light.png
• Profile pic: existing headshot
• Hashtags to follow early: #Lean4, #Mathlib, #CategoryTheory, #TypeTheory, #FormalMethods

Bluesky — bsky.app/profile/thorfuchs.bsky.social

• Display name: Thorsten Fuchs
• Description (256 chars max):

  Founder of the Panta Rhei Research Program · τ-framework · formal methods · categorical foundations · Previously McKinsey, Microsoft Germany · panta-rhei.site
  

  (158 chars — fits)

• Banner: assets/brand/social-header-light.png (Bluesky uses 3:1 — 1500×500 works)
• Profile pic: existing headshot

Amazon Author Page — Thor (B0FL6W3JNY)

• Short bio (2000 chars, first 300 shown in listings):

  Dr. Thorsten Fuchs is the founder of the Panta Rhei Research Program and principal author of its seven-book monograph series (Categorical Foundations · Holomorphy · Spectrum · Microcosm · Macrocosm · Life · Metaphysics). He studied pure mathematics before spending many years in technology leadership at McKinsey & Company and Microsoft Germany, then returned to the foundational question — what if reality is more deeply coherent than it first appears? He leads the formal and architectural side of Panta Rhei: the categorical kernel, the proofs, the inter-book structure, the Lean 4 formalization through TauLib, and the research architecture that binds the project's different surfaces into one coherent whole. He lives in Munich with his co-founder Anna-Sophie Fuchs. The work is published in full at panta-rhei.site.
  

• Profile photo: professional headshot (same as LinkedIn / X)
• Add all 7 books to the series if not already listed

Amazon Author Page — Anna-Sophie (B0GGHJMR5Y) (DRAFT for AS review)

• Short bio (draft):

  Anna-Sophie Fuchs is co-founder of the Panta Rhei Research Program and co-author of its seven-book monograph series. She trained as an underwater archaeologist — a discipline that taught her to excavate layered structures patiently, document fragile connections, and reconstruct wholes from buried fragments. Those habits transferred unexpectedly well into a long-form research architecture. In Panta Rhei, she brings structural mapping, editorial discipline, and the human questions that keep the project oriented toward lived reality. She lives in Munich with her co-founder Thorsten Fuchs. The work is published in full at panta-rhei.site.
  

• Profile photo: Anna-Sophie’s own choice — headshot or archaeological-field photo both work
• Add all 7 books to the series

ORCID — orcid.org/0009-0007-0718-1042 (Thor)

• Biography (5000 chars, but recommend ~400 for readability):

  Dr. Thorsten Fuchs is the founder of the Panta Rhei Research Program, an independent open research program developing Category τ — a constrained categorical kernel deriving results across mathematics, physics, life, and metaphysics. He is principal author of the program's seven-book monograph series and lead developer of TauLib, a Lean 4 formalization of the framework. His current research focuses on categorical foundations, formal verification, and the structural legibility of natural laws. Website: https://panta-rhei.site
  

• Keywords: categorical foundations, formal methods, Lean 4 formalization, mathematical physics, self-enrichment theory
• Country: Germany
• Websites & social links: panta-rhei.site, github.com/Panta-Rhei-Research/taulib, linkedin.com/in/thorfuchs, linkedin.com/company/panta-rhei-research
• Employment: Founder, Panta Rhei Research Program (April 2026 – Present)

First posts — Saturday April 18 seeding

Three variants. Pick by morning mood. My ordered preference: A > C > B.

Variant A — Technical-humble (Lean4 crowd’s preferred register)

Hi — I'm Thor. I've spent the last few years building an independent
research program formalizing a categorical kernel in Lean 4.

TauLib: 445 modules · 125k lines · 4332 theorems · 0 sorry in Books I–VI.

Would very much value eyes from the mathlib community on the proofs.

→ github.com/Panta-Rhei-Research/taulib
→ panta-rhei.site

Platforms: X, Mastodon, Bluesky
Tone: self-introduction, concrete numbers, asks for criticism
Tag strategy for X: don’t tag anyone. Let the content earn the attention. Buzzard and Mathlib people monitor the #Lean4 hashtag; that’s enough.

Variant B — The big-question frame (riskier but more memorable)

I spent a decade asking: what if reality has one constraint?

The Panta Rhei Research Program is my attempt at an answer.
7 books · 4332 machine-checked theorems · 234 typed claims.
Built from five generators, seven axioms, one operator.

Every derivation inspectable. Every prediction computable.

→ panta-rhei.site

Trade-off: bolder and more shareable but signals “ambition” to Lean4 folks who are allergic to it. Use only if first impression matters less than memorability.

Variant C — The falsification-forward frame (earns trust)

Today I'm making public an independent research program I've been
building: Panta Rhei.

It is a categorical kernel formalized in Lean 4, with 234 typed
claims, 67 zero-parameter numerical predictions, and 30 named
falsification tests with experimental timelines.

If the predictions fail, the framework fails. That's the point.

→ panta-rhei.site

Trade-off: middle ground — concrete like A but with more of the “what this is” than A has. Works well on LinkedIn where you can be slightly more explanatory.

Platform-specific adjustments

• X: any of A/B/C, single tweet (no thread yet — threads come in week 2 when the audience is warmer)
• Mastodon: same post, add #Lean4 #Mathlib #FormalMethods at the bottom
• LinkedIn personal: Variant C works best; can be slightly longer (LinkedIn rewards depth)
• LinkedIn Company: institutional voice variant:

  Today the Panta Rhei Research Program makes its canonical release public.
  
  Seven books · TauLib (Lean 4 formalization, 445 modules, 0 sorry in Books I–VI) · 234 typed claims · 67 zero-parameter numerical predictions · 30 named falsification tests.
  
  An independent research program built on one principle: every claim inspectable, every derivation computable, every prediction falsifiable.
  
  → panta-rhei.site
  

• Bluesky: Variant A (Bluesky is closest in culture to early Twitter / Lean4-sympathetic)

Launch-day staggering (Saturday April 18)

Recommended timing, based on when each audience is awake and on-platform:

Do NOT post to all 5 at the same minute — even with identical copy, synchronized bursts trigger spam filters and look like a PR push, not a researcher’s honest introduction.

Do NOT tag the big names (Buzzard, Tao, Wolfram, Aaronson) in first posts. The content should earn the attention. Save tag-mentions for week 2 when you have specific technical questions or concrete results to share.

What to watch for on Day 1

• Likes: irrelevant signal. Ignore.
• Comments / replies: the real signal. Even one engaged mathematician commenting is more valuable than 500 likes.
• Reposts from verified / high-signal accounts: especially valuable. Even one mathlib contributor resharing = success.
• Clicks to panta-rhei.site: check Umami analytics Saturday evening.
• Negative / skeptical replies: welcome them. A real skeptical reply from a formal methods expert is worth its weight in gold. Respond substantively, not defensively.

What happens in week 2

Not today’s problem — but for orientation:

• Post #2 should be a concrete technical result (one theorem, one PR, one precise claim with a Lean proof link) — not “here’s more about the program.”
• Engage earnestly with any serious critique that arrives in week 1.
• If tag-worthy conversation emerges, tag once, specifically, with a specific reason.
• Do not post for the sake of posting. Silence is fine.