From fdd3359e26933b92bcd1b79c3b0d6821fe8cfb3a Mon Sep 17 00:00:00 2001
From: Brandon Schneider <ceo@sovereign-stack.local>
Date: Tue, 26 May 2026 23:38:56 -0500
Subject: [PATCH] fix(lean): move file-level open before namespace to inside
 namespace

Adaptation, FAMM, MMRFAMMUnification: open statements were at module
scope before the namespace declaration. Moved each open to immediately
after the namespace line, inside the namespace body.

LandauerCompression already complied; not touched.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
---
 0-Core-Formalism/lean/Semantics/Semantics/Adaptation.lean     | 4 ++--
 0-Core-Formalism/lean/Semantics/Semantics/FAMM.lean           | 4 ++--
 .../lean/Semantics/Semantics/MMRFAMMUnification.lean          | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

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.