diff --git a/0-Core-Formalism/lean/Semantics/Semantics/Adaptation.lean b/0-Core-Formalism/lean/Semantics/Semantics/Adaptation.lean
index fd40f2c6..d0bfac4f 100644
--- a/0-Core-Formalism/lean/Semantics/Semantics/Adaptation.lean
+++ b/0-Core-Formalism/lean/Semantics/Semantics/Adaptation.lean
@@ -1,10 +1,10 @@
 import Semantics.Basic
 import Semantics.FixedPoint
 
-open Semantics.Q16_16
-
 namespace Semantics.Swarm
 
+open Semantics.Q16_16
+
 structure Genome where
   muBin    : UInt8
   rhoBin   : UInt8
diff --git a/0-Core-Formalism/lean/Semantics/Semantics/FAMM.lean b/0-Core-Formalism/lean/Semantics/Semantics/FAMM.lean
index 62759cb7..077860a2 100644
--- a/0-Core-Formalism/lean/Semantics/Semantics/FAMM.lean
+++ b/0-Core-Formalism/lean/Semantics/Semantics/FAMM.lean
@@ -1,9 +1,9 @@
 import Semantics.FixedPoint
 
-open Semantics
-
 namespace Semantics
 
+open Semantics
+
 /-! # FAMM: Frustrated Access Memory Module
 
 FAMM is a specialized memory type that uses delay lines as memory storage.
diff --git a/0-Core-Formalism/lean/Semantics/Semantics/MMRFAMMUnification.lean b/0-Core-Formalism/lean/Semantics/Semantics/MMRFAMMUnification.lean
index f809a85d..ccefa935 100644
--- a/0-Core-Formalism/lean/Semantics/Semantics/MMRFAMMUnification.lean
+++ b/0-Core-Formalism/lean/Semantics/Semantics/MMRFAMMUnification.lean
@@ -2,11 +2,11 @@ import Semantics.FAMM
 import Semantics.HCMMR.Core
 import Semantics.FixedPoint
 
+namespace Semantics.MMRFAMMUnification
+
 open Semantics
 open Semantics.FixedPoint (Q16_16)
 
-namespace Semantics.MMRFAMMUnification
-
 /-! # MMR-FAMM Unification
 
 FAMM cells are MMR leaves — live, high-resolution delay lines.