From 883adc29a859a04eb9e88e2f85dfce15d2ffa9b2 Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Mon, 4 May 2026 19:08:12 -0500
Subject: [PATCH] Wire visual primitive formalism into constitution

---
 .../otom/tools/lean/Semantics/Semantics/Constitution.lean     | 4 ++++
 1 file changed, 4 insertions(+)

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