fix: preserve enum split nested continuation cases

Symptom: an enum split branch containing a nested empty-then decision could
round-trip to an MPR whose outgoing decision flow lacked the boolean case value,
causing Mendix mx check CE0079/CE0773 even when the described MDL was stable.

Root cause: addEnumSplit consumed flowBuilder.nextConnectionPoint from the
nested decision but dropped flowBuilder.nextFlowCase before wiring the branch
continuation to the shared enum merge.

Fix: carry the pending case value through enum branch continuation wiring and
reapply it when connecting to the next statement or enum merge.

Tests: add a builder regression for a nested empty-then enum branch that must
keep CaseValue=true on the continuation flow.

Author: hjothamendix

mdl/executor/cmd_microflows_builder_actions.go

@@ -342,6 +342,7 @@ func (fb *flowBuilder) addEnumSplit(s *ast.EnumSplitStmt) model.ID {
 		fb.endsWithReturn = false
 
 		lastID := model.ID("")
+		pendingCase := ""
 		for _, stmt := range br.body {
 			actID := fb.addStatement(stmt)
 			if actID == "" {
@@ -354,11 +355,18 @@ func (fb *flowBuilder) addEnumSplit(s *ast.EnumSplitStmt) model.ID {
 			if lastID == "" {
 				fb.addEnumSplitFlows(splitID, actID, br.values)
 			} else {
-				fb.flows = append(fb.flows, newHorizontalFlow(lastID, actID))
+				if pendingCase != "" {
+					fb.flows = append(fb.flows, newHorizontalFlowWithCase(lastID, actID, pendingCase))
+					pendingCase = ""
+				} else {
+					fb.flows = append(fb.flows, newHorizontalFlow(lastID, actID))
+				}
 			}
 			if fb.nextConnectionPoint != "" {
 				lastID = fb.nextConnectionPoint
 				fb.nextConnectionPoint = ""
+				pendingCase = fb.nextFlowCase
+				fb.nextFlowCase = ""
 			} else {
 				lastID = actID
 			}
@@ -371,7 +379,11 @@ func (fb *flowBuilder) addEnumSplit(s *ast.EnumSplitStmt) model.ID {
 		if lastID == "" {
 			fb.addEnumSplitFlows(splitID, merge.ID, br.values)
 		} else {
-			fb.flows = append(fb.flows, newHorizontalFlow(lastID, merge.ID))
+			if pendingCase != "" {
+				fb.flows = append(fb.flows, newHorizontalFlowWithCase(lastID, merge.ID, pendingCase))
+			} else {
+				fb.flows = append(fb.flows, newHorizontalFlow(lastID, merge.ID))
+			}
 		}
 	}
 

mdl/executor/cmd_microflows_builder_enum_split_test.go

@@ -6,6 +6,7 @@ import (
 	"testing"
 
 	"github.com/mendixlabs/mxcli/mdl/ast"
+	"github.com/mendixlabs/mxcli/model"
 	"github.com/mendixlabs/mxcli/sdk/microflows"
 )
 
@@ -61,3 +62,60 @@ func TestEnumSplitBuilderCreatesEnumerationCaseFlows(t *testing.T) {
 		t.Fatalf("enum case flows = %v, want [Open Pending]", cases)
 	}
 }
+
+func TestEnumSplitNestedEmptyThenBranchKeepsContinuationCase(t *testing.T) {
+	fb := &flowBuilder{
+		spacing:      HorizontalSpacing,
+		declaredVars: map[string]string{"MemberProvided": "Boolean"},
+		measurer:     &layoutMeasurer{},
+	}
+
+	oc := fb.buildFlowGraph([]ast.MicroflowStatement{
+		&ast.EnumSplitStmt{
+			Variable: "SubjectType",
+			Cases: []ast.EnumSplitCase{
+				{
+					Value: "member",
+					Body: []ast.MicroflowStatement{
+						&ast.IfStmt{
+							Condition: &ast.VariableExpr{Name: "MemberProvided"},
+							ElseBody:  []ast.MicroflowStatement{&ast.ReturnStmt{}},
+						},
+					},
+				},
+				{
+					Value: "unknown",
+					Body:  []ast.MicroflowStatement{&ast.ReturnStmt{}},
+				},
+			},
+		},
+		&ast.LogStmt{Level: ast.LogInfo, Message: &ast.LiteralExpr{Kind: ast.LiteralString, Value: "shared tail"}},
+	}, nil)
+
+	objects := map[model.ID]microflows.MicroflowObject{}
+	var nestedSplitID model.ID
+	for _, obj := range oc.Objects {
+		objects[obj.GetID()] = obj
+		split, ok := obj.(*microflows.ExclusiveSplit)
+		if !ok {
+			continue
+		}
+		if condition, ok := split.SplitCondition.(*microflows.ExpressionSplitCondition); ok && condition.Expression == "$MemberProvided" {
+			nestedSplitID = split.ID
+		}
+	}
+	if nestedSplitID == "" {
+		t.Fatal("expected nested decision split")
+	}
+	for _, flow := range oc.Flows {
+		if flow.OriginID != nestedSplitID {
+			continue
+		}
+		if value, ok := enumCaseValue(flow); ok && value == "true" {
+			if _, ok := objects[flow.DestinationID].(*microflows.ExclusiveMerge); ok {
+				return
+			}
+		}
+	}
+	t.Fatal("nested empty-then enum branch must carry CaseValue=true to the enum merge")
+}