fix: share topic aliases between CLI and REPL, add tests and missing help topic

- Move topicAliases to syntax package so HELP <topic> works in REPL (was broken: HELP entity returned "No syntax help found")
- Add duplicate path detection in Register() (panic on duplicate)
- Register missing 'test' help topic (replaced deleted test.txt)
- Fix capitalize() for UTF-8 safety
- Add unit tests for resolveHelpPath and ResolveAlias
- Add TestAliasTargetsExist to verify all aliases point to valid paths
- Add doctype-test for HELP command

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

Author: 2 people

cmd/mxcli/help.go

@@ -11,63 +11,6 @@ import (
 	"github.com/spf13/cobra"
 )
 
-// topicAliases maps legacy topic names and plurals to registry paths.
-var topicAliases = map[string]string{
-	// Domain model aliases
-	"keywords":        "domain-model.keywords",
-	"reserved":        "domain-model.keywords",
-	"types":           "domain-model.types",
-	"datatypes":       "domain-model.types",
-	"data-types":      "domain-model.types",
-	"delete":          "domain-model.association.delete-behavior",
-	"delete_behavior": "domain-model.association.delete-behavior",
-	"delete-behavior": "domain-model.association.delete-behavior",
-	"entity":          "domain-model.entity",
-	"entities":        "domain-model.entity",
-	"enumeration":     "domain-model.enumeration",
-	"enum":            "domain-model.enumeration",
-	"enumerations":    "domain-model.enumeration",
-	"constant":        "domain-model.constant",
-	"constants":       "domain-model.constant",
-	"association":     "domain-model.association",
-	"associations":    "domain-model.association",
-	// Plural aliases
-	"microflows":      "microflow",
-	"pages":           "page",
-	"snippets":        "snippet",
-	"fragments":       "fragment",
-	"workflows":       "workflow",
-	// Variant aliases
-	"nav":             "navigation",
-	"project-settings": "settings",
-	"rest-client":     "rest",
-	"rest-clients":    "rest",
-	"integrations":    "integration",
-	"services":        "integration",
-	"contract":        "integration",
-	"contracts":       "integration",
-	"javaaction":      "java-action",
-	"java_action":     "java-action",
-	"java-actions":    "java-action",
-	"javaactions":     "java-action",
-	"businessevents":  "business-events",
-	"business_events": "business-events",
-	"be":              "business-events",
-	"xpath-constraints": "xpath",
-	"external-sql":    "sql",
-	"validation":      "errors",
-	// Agents aliases
-	"agent":           "agents",
-	"agent-editor":    "agents",
-	"agenteditor":     "agents",
-	"model":           "agents.model",
-	"models":          "agents.model",
-	"knowledge-base":  "agents.knowledge-base",
-	"knowledgebase":   "agents.knowledge-base",
-	"mcp":             "agents.mcp-service",
-	"mcp-service":     "agents.mcp-service",
-}
-
 var syntaxCmd = &cobra.Command{
 	Use:   "syntax [topic [subtopic...]]",
 	Short: "Show MDL syntax reference",
@@ -115,9 +58,7 @@ Examples:
 		path := strings.ToLower(strings.Join(args, "."))
 
 		// Apply aliases
-		if alias, ok := topicAliases[path]; ok {
-			path = alias
-		}
+		path = syntax.ResolveAlias(path)
 
 		// Query registry
 		if syntax.HasPrefix(path) {

cmd/mxcli/syntax/features_misc.go

@@ -211,6 +211,46 @@ SEARCH '"exact phrase"';
 SEARCH 'word*';`,
 	})
 
+	// ── Testing ────────────────────────────────────────────────────────
+
+	Register(SyntaxFeature{
+		Path:    "test",
+		Summary: "Microflow testing — run .test.mdl or .test.md files against a Mendix project in Docker",
+		Keywords: []string{
+			"test", "testing", "microflow test", "nanoflow test",
+			"test.mdl", "test.md", "junit", "docker",
+			"@test", "@expect", "@throws", "@cleanup",
+		},
+		Syntax: `mxcli test <file|dir> -p app.mpr [flags]
+
+Flags:
+  -l, --list          List tests without executing
+  -j, --junit FILE    Write JUnit XML results
+  -s, --skip-build    Skip Docker build (reuse existing)
+  -v, --verbose       Show runtime log lines
+  -t, --timeout DUR   Runtime startup timeout (default: 5m)
+
+Annotations:
+  @test <name>              Test name (required)
+  @expect $var = value      Assert variable equals value
+  @expect $obj/Attr = val   Assert entity attribute
+  @throws 'message'         Expect error
+  @cleanup rollback|none    Cleanup strategy (default: rollback)`,
+		Example: `-- .test.mdl file format
+/**
+ * @test String concatenation
+ * @expect $result = 'John Doe'
+ */
+$result = CALL MICROFLOW MyModule.ConcatNames(
+  FirstName = 'John', LastName = 'Doe'
+);
+/
+
+-- Run tests
+mxcli test tests/ -p app.mpr
+mxcli test tests/ -p app.mpr --junit results.xml`,
+	})
+
 	// ── Errors ──────────────────────────────────────────────────────────
 
 	Register(SyntaxFeature{

cmd/mxcli/syntax/format.go

@@ -83,7 +83,8 @@ func capitalize(s string) string {
 	if s == "" {
 		return s
 	}
-	return strings.ToUpper(s[:1]) + s[1:]
+	r := []rune(s)
+	return strings.ToUpper(string(r[:1])) + string(r[1:])
 }
 
 type featureGroup struct {

cmd/mxcli/syntax/registry.go

@@ -19,12 +19,86 @@ type SyntaxFeature struct {
 }
 
 var registry []SyntaxFeature
+var registeredPaths = map[string]bool{}
+
+// topicAliases maps legacy topic names and common variants to registry paths.
+var topicAliases = map[string]string{
+	// Domain model aliases
+	"keywords":          "domain-model.keywords",
+	"reserved":          "domain-model.keywords",
+	"types":             "domain-model.types",
+	"datatypes":         "domain-model.types",
+	"data-types":        "domain-model.types",
+	"delete":            "domain-model.association.delete-behavior",
+	"delete_behavior":   "domain-model.association.delete-behavior",
+	"delete-behavior":   "domain-model.association.delete-behavior",
+	"entity":            "domain-model.entity",
+	"entities":          "domain-model.entity",
+	"enumeration":       "domain-model.enumeration",
+	"enum":              "domain-model.enumeration",
+	"enumerations":      "domain-model.enumeration",
+	"constant":          "domain-model.constant",
+	"constants":         "domain-model.constant",
+	"association":       "domain-model.association",
+	"associations":      "domain-model.association",
+	// Plural aliases
+	"microflows":        "microflow",
+	"pages":             "page",
+	"snippets":          "snippet",
+	"fragments":         "fragment",
+	"workflows":         "workflow",
+	// Variant aliases
+	"nav":               "navigation",
+	"project-settings":  "settings",
+	"rest-client":       "rest",
+	"rest-clients":      "rest",
+	"integrations":      "integration",
+	"services":          "integration",
+	"contract":          "integration",
+	"contracts":         "integration",
+	"javaaction":        "java-action",
+	"java_action":       "java-action",
+	"java-actions":      "java-action",
+	"javaactions":       "java-action",
+	"businessevents":    "business-events",
+	"business_events":   "business-events",
+	"be":                "business-events",
+	"xpath-constraints": "xpath",
+	"external-sql":      "sql",
+	"validation":        "errors",
+	"testing":           "test",
+	"tests":             "test",
+	// Agents aliases
+	"agent":             "agents",
+	"agent-editor":      "agents",
+	"agenteditor":       "agents",
+	"model":             "agents.model",
+	"models":            "agents.model",
+	"knowledge-base":    "agents.knowledge-base",
+	"knowledgebase":     "agents.knowledge-base",
+	"mcp":               "agents.mcp-service",
+	"mcp-service":       "agents.mcp-service",
+}
 
 // Register adds a syntax feature to the global registry.
+// Panics if a feature with the same path is already registered.
 func Register(f SyntaxFeature) {
+	if registeredPaths[f.Path] {
+		panic("syntax: duplicate feature path: " + f.Path)
+	}
+	registeredPaths[f.Path] = true
 	registry = append(registry, f)
 }
 
+// ResolveAlias returns the canonical registry path for a topic alias.
+// If the input is not an alias, it is returned unchanged.
+func ResolveAlias(path string) string {
+	if alias, ok := topicAliases[path]; ok {
+		return alias
+	}
+	return path
+}
+
 // All returns every registered feature, sorted by path.
 func All() []SyntaxFeature {
 	out := make([]SyntaxFeature, len(registry))

cmd/mxcli/syntax/registry_test.go

@@ -158,6 +158,48 @@ func TestWriteText_MultipleFeatures(t *testing.T) {
 	}
 }
 
+func TestResolveAlias(t *testing.T) {
+	tests := []struct {
+		input string
+		want  string
+	}{
+		{"entity", "domain-model.entity"},
+		{"entities", "domain-model.entity"},
+		{"enum", "domain-model.enumeration"},
+		{"association", "domain-model.association"},
+		{"nav", "navigation"},
+		{"be", "business-events"},
+		{"validation", "errors"},
+		{"testing", "test"},
+		{"tests", "test"},
+		// Non-alias passes through unchanged
+		{"workflow", "workflow"},
+		{"security", "security"},
+		{"nonexistent", "nonexistent"},
+	}
+	for _, tt := range tests {
+		t.Run(tt.input, func(t *testing.T) {
+			got := ResolveAlias(tt.input)
+			if got != tt.want {
+				t.Errorf("ResolveAlias(%q) = %q, want %q", tt.input, got, tt.want)
+			}
+		})
+	}
+}
+
+func TestAliasTargetsExist(t *testing.T) {
+	all := All()
+	pathSet := make(map[string]bool, len(all))
+	for _, f := range all {
+		pathSet[f.Path] = true
+	}
+	for alias, target := range topicAliases {
+		if !HasPrefix(target) {
+			t.Errorf("alias %q -> %q: target path has no matching features", alias, target)
+		}
+	}
+}
+
 func TestSeeAlsoRefsExist(t *testing.T) {
 	all := All()
 	pathSet := make(map[string]bool, len(all))

mdl-examples/doctype-tests/20-help-examples.mdl

@@ -0,0 +1,19 @@
+-- Help command examples (syntax-only, no project needed)
+
+-- Bare HELP shows overview
+HELP;
+
+-- HELP with single topic
+HELP workflow;
+
+-- HELP with multi-word topic
+HELP user task;
+
+-- HELP with nested path
+HELP workflow user task targeting;
+
+-- HELP with alias (entity -> domain-model.entity)
+HELP entity;
+
+-- HELP with unknown topic (should print "No syntax help found")
+HELP nonexistenttopic;

mdl/executor/cmd_misc.go

@@ -54,7 +54,7 @@ func execSet(ctx *ExecContext, s *ast.SetStmt) error {
 // execHelp handles HELP statements. With topic words, queries the syntax registry.
 func execHelp(ctx *ExecContext, s *ast.HelpStmt) error {
 	if len(s.Topic) > 0 {
-		path := resolveHelpPath(s.Topic)
+		path := syntax.ResolveAlias(resolveHelpPath(s.Topic))
 		features := syntax.ByPrefix(path)
 		if len(features) == 0 {
 			fmt.Fprintf(ctx.Output, "No syntax help found for: %s\n", path)

mdl/executor/cmd_misc_test.go

@@ -0,0 +1,31 @@
+// SPDX-License-Identifier: Apache-2.0
+
+package executor
+
+import "testing"
+
+func TestResolveHelpPath(t *testing.T) {
+	tests := []struct {
+		name  string
+		words []string
+		want  string
+	}{
+		{"single word exact", []string{"workflow"}, "workflow"},
+		{"single word domain-model", []string{"domain-model"}, "domain-model"},
+		{"multi-word no match falls through", []string{"user", "task"}, "user.task"},
+		{"multi-level path", []string{"workflow", "user", "task"}, "workflow.user-task"},
+		{"three-level path", []string{"workflow", "user", "task", "targeting"}, "workflow.user-task.targeting"},
+		{"security prefix", []string{"security", "entity", "access"}, "security.entity-access"},
+		{"non-existent topic", []string{"nonexistent"}, "nonexistent"},
+		{"mixed known and unknown", []string{"workflow", "bogus"}, "workflow.bogus"},
+		{"single known nested", []string{"navigation", "create"}, "navigation.create"},
+	}
+	for _, tt := range tests {
+		t.Run(tt.name, func(t *testing.T) {
+			got := resolveHelpPath(tt.words)
+			if got != tt.want {
+				t.Errorf("resolveHelpPath(%v) = %q, want %q", tt.words, got, tt.want)
+			}
+		})
+	}
+}