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

@@ -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

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.

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.