fix: emit loop body and END LOOP when loop is inside an IF branch (#65)

traverseFlowUntilMerge (used for activities inside IF/ELSE branches)
did not handle LoopedActivity — loops fell through to the "regular
activity" path which emitted the LOOP header but never called
emitLoopBody() or appended END LOOP.

Add explicit LoopedActivity handling in traverseFlowUntilMerge,
matching the pattern already used in traverseFlow and traverseLoopBody.

Add regression test TestRoundtripMicroflow_LoopInsideBranch.

Fixes #65

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: ako

mdl/executor/cmd_microflows_show_helpers.go

@@ -348,6 +348,27 @@ func (e *Executor) traverseFlowUntilMerge(
 		return
 	}
 
+	// Handle LoopedActivity inside a branch
+	if loop, isLoop := obj.(*microflows.LoopedActivity); isLoop {
+		startLine := len(*lines) + headerLineCount
+		if stmt != "" {
+			emitObjectAnnotations(obj, lines, indentStr, annotationsByTarget)
+			*lines = append(*lines, indentStr+stmt)
+		}
+
+		e.emitLoopBody(loop, flowsByOrigin, entityNames, microflowNames, lines, indent, sourceMap, headerLineCount, annotationsByTarget)
+
+		*lines = append(*lines, indentStr+loopEndKeyword(loop)+";")
+		recordSourceMap(sourceMap, currentID, startLine, len(*lines)+headerLineCount-1)
+
+		// Continue after the loop within the branch
+		flows := flowsByOrigin[currentID]
+		for _, flow := range flows {
+			e.traverseFlowUntilMerge(flow.DestinationID, mergeID, activityMap, flowsByOrigin, splitMergeMap, visited, entityNames, microflowNames, lines, indent, sourceMap, headerLineCount, annotationsByTarget)
+		}
+		return
+	}
+
 	// Regular activity
 	startLine := len(*lines) + headerLineCount
 	normalFlows := findNormalFlows(flowsByOrigin[currentID])

mdl/executor/roundtrip_microflow_test.go

@@ -435,6 +435,36 @@ END;`
 	)
 }
 
+// TestRoundtripMicroflow_LoopInsideBranch tests that a LOOP inside an IF branch
+// correctly emits loop body activities and END LOOP. Regression test for #65.
+func TestRoundtripMicroflow_LoopInsideBranch(t *testing.T) {
+	env := setupTestEnv(t)
+	defer env.teardown()
+
+	if err := env.executeMDL(`CREATE OR MODIFY PERSISTENT ENTITY RoundtripTest.MfTestItem (Name: String(100));`); err != nil {
+		t.Fatalf("Failed to create entity: %v", err)
+	}
+
+	mfName := testModule + ".RT_LoopInBranch"
+	createMDL := `CREATE MICROFLOW ` + mfName + ` ($Flag: Boolean) RETURNS Boolean
+BEGIN
+  IF $Flag THEN
+    RETRIEVE $Items FROM RoundtripTest.MfTestItem;
+    LOOP $Item IN $Items BEGIN
+      LOG INFO NODE 'Test' 'In loop';
+    END LOOP;
+  ELSE
+    LOG INFO NODE 'Test' 'No items';
+  END IF;
+  RETURN true;
+END;`
+
+	assertMicroflowContains(t, env, mfName, createMDL,
+		[]string{"IF", "RETRIEVE", "LOOP", "LOG INFO", "In loop", "END LOOP", "ELSE", "No items", "END IF", "RETURN"},
+		nil,
+	)
+}
+
 // TestRoundtripMicroflow_ValidationFeedback tests VALIDATION FEEDBACK statement
 // which triggered a crash bug with nil settings.
 func TestRoundtripMicroflow_ValidationFeedback(t *testing.T) {