From f31752bbccbc6dcd705264f0a3edcab2453566d2 Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Tue, 26 May 2026 17:57:16 -0500
Subject: [PATCH] docs(pending): explain quarantine policy for non-Lean tool
 surfaces

---
 pending/lean_unification/README.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 pending/lean_unification/README.md

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.