From 2aeec1e5f63f10172a5505370124a09cdf785891 Mon Sep 17 00:00:00 2001
From: Martino Ferrari <martinogiordano.ferrari@iter.org>
Date: Fri, 23 Jan 2026 11:42:29 +0100
Subject: [PATCH] better validation of statemachine

---
 internal/schema/marte.cue | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/internal/schema/marte.cue b/internal/schema/marte.cue
index 4896166..ec0a598 100644
--- a/internal/schema/marte.cue
+++ b/internal/schema/marte.cue
@@ -7,7 +7,27 @@ package schema
 		States!: {...} // type: node
 		...
 	}
+	Message: {
+		...
+	}
+	StateMachineEvent: {
+		NextState!:                                                  string
+		NextStateError!:                                             string
+		Timeout:                                                     uint32
+		[_= !~"^(Class|NextState|Timeout|NextStateError|[#_$].+)$"]: Message
+		...
+	}
+	_State: {
+		Class: "ReferenceContainer"
+		ENTER?: {
+			Class: "ReferenceContainer"
+			...
+		}
+		[_ = !~"^(Class|ENTER)$"]: StateMachineEvent
+		...
+	}
 	StateMachine: {
+		[_ = !~"^(Class|[$].*)$"]: _State
 		...
 	}
 	RealTimeState: {