From 391f6ba2a225586dbddb812924cef296d9f44eba Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Sat, 23 May 2026 22:46:59 -0500
Subject: [PATCH] chore(lean): import TreeDIAT Kruskal scaffold

---
 0-Core-Formalism/lean/Semantics/Semantics.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/0-Core-Formalism/lean/Semantics/Semantics.lean b/0-Core-Formalism/lean/Semantics/Semantics.lean
index 51dc237c..55fca853 100644
--- a/0-Core-Formalism/lean/Semantics/Semantics.lean
+++ b/0-Core-Formalism/lean/Semantics/Semantics.lean
@@ -150,6 +150,7 @@ import Semantics.ThresholdVector
 import Semantics.LogogramRotationLoop
 import Semantics.CompressionYield
 import Semantics.WaveformTeleport
+import Semantics.TreeDIATKruskal
 
 import Semantics.FAMM
 import Semantics.HCMMR.Core