allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Wire visual primitive formalism into constitution

Browse source
This commit is contained in:
Allaun Silverfox 2026-05-04 19:08:12 -05:00
parent eb448df619
commit 883adc29a8
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
0-Core-Formalism/otom/tools/lean/Semantics/Semantics/Constitution.lean
View file

@ -15,6 +15,7 @@ import Semantics.Graph.Diff
import Semantics.Graph.Torsion import Semantics.Graph.Torsion
import Semantics.FAMM import Semantics.FAMM
import Semantics.RGFlow import Semantics.RGFlow
import Semantics.VisualPrimitive
namespace Semantics.Constitution namespace Semantics.Constitution
@ -24,4 +25,7 @@ def artifactFirstInvariant : Prop := True
/-- FORMING marker for the bootstrap constitution. -/ /-- FORMING marker for the bootstrap constitution. -/
def settlementState : String := "FORMING" def settlementState : String := "FORMING"
/-- Visual primitives are now part of the canonical witness surface. -/
def visualPrimitiveWitnessSurface : Prop := True
end Semantics.Constitution end Semantics.Constitution