diff --git a/UNDF-REGISTRY.json b/UNDF-REGISTRY.json
index f26515b6a..daddcb0cf 100644
--- a/UNDF-REGISTRY.json
+++ b/UNDF-REGISTRY.json
@@ -1256,5 +1256,12 @@
   "netbsd-0001": "UNDF-2026-000001255",
   "netbsd-0002": "UNDF-2026-000001256",
   "netbsd-0003": "UNDF-2026-000001257",
-  "netbsd-0004": "UNDF-2026-000001258"
+  "netbsd-0004": "UNDF-2026-000001258",
+  "lean4-0001": "UNDF-2026-000001259",
+  "lean4-0002": "UNDF-2026-000001260",
+  "lean4-0003": "UNDF-2026-000001261",
+  "lean4-0004": "UNDF-2026-000001262",
+  "lean4-0005": "UNDF-2026-000001263",
+  "lean4-0006": "UNDF-2026-000001264",
+  "lean4-0007": "UNDF-2026-000001265"
 }