diff --git a/0-Core-Formalism/otom/tools/lean/Semantics/Semantics/Constitution.lean b/0-Core-Formalism/otom/tools/lean/Semantics/Semantics/Constitution.lean
index 54d72082..5c4097e2 100644
--- a/0-Core-Formalism/otom/tools/lean/Semantics/Semantics/Constitution.lean
+++ b/0-Core-Formalism/otom/tools/lean/Semantics/Semantics/Constitution.lean
@@ -15,6 +15,7 @@ import Semantics.Graph.Diff
 import Semantics.Graph.Torsion
 import Semantics.FAMM
 import Semantics.RGFlow
+import Semantics.VisualPrimitive
 
 namespace Semantics.Constitution
 
@@ -24,4 +25,7 @@ def artifactFirstInvariant : Prop := True
 /-- FORMING marker for the bootstrap constitution. -/
 def settlementState : String := "FORMING"
 
+/-- Visual primitives are now part of the canonical witness surface. -/
+def visualPrimitiveWitnessSurface : Prop := True
+
 end Semantics.Constitution