diff --git a/README.md b/README.md
index c486f50..dad2884 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+> **Moved (23 October 2026).** This repository now lives in [`openIE-dev/rce`](https://github.com/openIE-dev/rce) as [`stdlib/`](https://github.com/openIE-dev/rce/tree/main/stdlib), with its full history, so that it is checked from the same commit as the specification and the reference checker and can no longer drift from them. Changes go there; this repository is kept only as a pointer.
+
 # RCE standard host libraries
 
 Cryptography written in pure RCE, for programs that run on the RCE host