diff --git a/pending/lean_unification/README.md b/pending/lean_unification/README.md
new file mode 100644
index 00000000..a5fe270a
--- /dev/null
+++ b/pending/lean_unification/README.md
@@ -0,0 +1,10 @@
+# Pending (Lean Unification)
+
+This folder quarantines files that violate the repo's Lean-first direction:
+
+- Lean defines **surfaces** (tool lists, schemas, semantics).
+- Non-Lean languages (Rust/Python/etc.) may only implement **thin shims** that:
+	- execute Lean-owned decisions, or
+	- provide transport/runtime plumbing, without inventing new surface semantics.
+
+Anything here should be treated as *not canonical* and is pending port/removal.