diff --git a/README.md b/README.md
index eaf4cbc..21fb691 100644
--- a/README.md
+++ b/README.md
@@ -1,17 +1,30 @@
 # saymrwulf
 
-Trust-systems engineer for institutions. Cryptographic substrate (PKI, HSM, PQC) that survives the move from operations to research and back. Currently at NatWest, advising on the next layer.
+**I verify the systems society uses to agree on things.** Signatures, votes,
+certificates, money, consensus — built, accelerated, and increasingly
+machine-checked. Trust-systems engineering for institutions: the
+cryptographic substrate (PKI, HSM, PQC) that survives the move from
+operations to research and back.
 
-The thesis has been the same for twenty years: how order arises from local rules in noisy adversarial networks, and what cryptographic primitives make that order legible to regulators, auditors, and downstream systems.
+The thesis has been the same for twenty years: how order arises from local
+rules in noisy adversarial networks, and what cryptographic primitives make
+that order legible to regulators, auditors, and downstream systems.
 
-## Where to find me
+## Start here
 
-- **[blog.zkdefi.org](https://blog.zkdefi.org/)** — one notes-post per public repo here. Recent work first.
-- **[zkdefi.com](https://zkdefi.com/)** — résumé.
-- **[Repositories below](#user-content-)** — the code.
+- **[dalek-ed25519-verified](https://zkdefi.org/saymrwulf/dalek-ed25519-verified)** — machine-checked proofs, in Lean 4, that the ed25519 code everyone ships is correct. Three production forks get the same treatment ([Solana](https://zkdefi.org/saymrwulf/anza-ed25519-verified), [RISC Zero](https://zkdefi.org/saymrwulf/risc0-ed25519-verified), [Betrusted](https://zkdefi.org/saymrwulf/betrusted-ed25519-verified)).
+- **[verifying-crypto-with-lean](https://zkdefi.org/saymrwulf/verifying-crypto-with-lean)** — the 106-page book that teaches you to read (and extend) those proofs, from `1+1=2` up.
+- **[swisspost-evoting-go-poc](https://zkdefi.org/saymrwulf/swisspost-evoting-go-poc)** — Switzerland's federal e-voting protocol, distilled from 500K lines of Java to 52 Go files.
+- **[crisis](https://zkdefi.org/saymrwulf/crisis)** — DAG-BFT consensus by virtual voting, with a ten-chapter slow-motion visualizer.
 
-## What's here
+## Where else
 
-This Forgejo instance is the authoritative mirror of every public repository at `github.com/saymrwulf`. Updates pull from upstream every 24 hours. Private repos are mirrored as private.
+- **[blog.zkdefi.org](https://blog.zkdefi.org/)** — one post per repo, the reasoning behind the code. Best reading order: blog post first, then repo.
+- **[zkdefi.com](https://zkdefi.com/)** — the CV.
 
-If you arrived from GitHub looking for one of my projects: the same repo lives here, the issues are not mirrored (open issues upstream on GitHub), and the most informative reading order is to find the corresponding [blog post](https://blog.zkdefi.org/) first.
+## What this instance is
+
+The authoritative mirror of every repository at `github.com/saymrwulf`,
+pulled every 24 hours, plus a daily reconciler for new repos. Issues are
+not mirrored — open them upstream on GitHub. If GitHub ever disagrees
+with this instance, this instance is the one I operate.