fix: propagate ELK errors, dedup entity lookup, correct docs

- Propagate ListDomainModels error in describeNanoflowToString
- Use shared buildEntityNames() in both microflow and nanoflow ELK paths
- Remove Commit/Rollback from BSON mapping disallowed list (allowed by implementation)
- Fix example: add missing 'in' keyword in show nanoflows
- Fix proposal: CREATE OR REPLACE to CREATE OR MODIFY, correct nanoflow count
- Add clarifying comments for best-effort errors, Rollback default, BSON key asymmetry

Author: retran

.claude/skills/mendix/write-nanoflows.md

@@ -285,7 +285,7 @@ Before executing a nanoflow script, verify:
 - [ ] Every flow path ends with `return`
 - [ ] No code after `return` statements
 - [ ] All entity/association names are fully qualified
-- [ ] Nanoflow ends with `/` separator
+- [ ] Nanoflow ends with `/` separator (statement separator for multi-statement MDL scripts)
 
 ## Common Errors
 

docs/05-mdl-specification/10-bson-mapping.md

@@ -1220,8 +1220,6 @@ All other fields — `ObjectCollection`, `Parameters`, `ReturnType`, `AllowedMod
 
 Nanoflows run client-side. The following action types are **disallowed** in nanoflows:
 
-- `Microflows$CommitAction` — requires database (server-side)
-- `Microflows$RollbackAction` — requires database
 - `Microflows$DownloadFileAction` — requires server response
 - `Microflows$ImportMappingCallAction` — requires server context
 - `Microflows$ExportMappingCallAction` — requires server context

docs/11-proposals/PROPOSAL_nanoflow_support.md

@@ -3,7 +3,7 @@
 ## Overview
 
 **Status:** Implemented
-**Priority:** High — nanoflows are heavily used (227 across test projects) and CLI parity with microflows is expected.
+**Priority:** High — nanoflows are heavily used (223 across test projects) and CLI parity with microflows is expected.
 
 Full nanoflow feature surface in mxcli: CREATE, DROP, CALL, GRANT/REVOKE, SHOW, SHOW ACCESS, DESCRIBE, DESCRIBE MERMAID, and validation. Supersedes the earlier `show-describe-nanoflows.md` proposal which focused only on DESCRIBE/DROP.
 
@@ -40,7 +40,7 @@ Nanoflows execute client-side (browser or native app). In the Mendix metamodel,
 | Command | Description |
 |---------|-------------|
 | `CREATE NANOFLOW Module.Name(params) RETURNS type BEGIN ... END` | Create a nanoflow with body, parameters, return type |
-| `CREATE OR REPLACE NANOFLOW ...` | Create or update existing nanoflow |
+| `CREATE OR MODIFY NANOFLOW ...` | Create or update existing nanoflow |
 | `DROP NANOFLOW Module.Name` | Delete a nanoflow |
 | `CALL NANOFLOW Module.Name(args)` | Call a nanoflow from within a flow body (valid in both microflows and nanoflows) |
 | `GRANT EXECUTE ON NANOFLOW Module.Name TO RoleList` | Grant module role access |

examples/create_nanoflow/main.go

@@ -86,7 +86,7 @@ grant execute on nanoflow MyModule.NF_HelloWorld to MyModule.User;
 grant execute on nanoflow MyModule.NF_ValidateAndCheck to MyModule.User;
 
 -- Verify: list all nanoflows in the module
-show nanoflows MyModule;
+show nanoflows in MyModule;
 
 -- Verify: describe a nanoflow
 describe nanoflow MyModule.NF_ValidateAndCheck;

mdl/executor/cmd_diff.go

@@ -333,6 +333,7 @@ func diffNanoflow(ctx *ExecContext, s *ast.CreateNanoflowStmt) (*DiffResult, err
 	}
 
 	// Try to find existing nanoflow
+	// Errors treated as "new" to match diffMicroflow and other diff* functions
 	h, err := getHierarchy(ctx)
 	if err != nil {
 		result.IsNew = true

mdl/executor/cmd_microflow_elk.go

@@ -79,16 +79,9 @@ func microflowELK(ctx *ExecContext, name string) error {
 	}
 
 	// Build entity name lookup
-	entityNames := make(map[model.ID]string)
-	domainModels, err := ctx.Backend.ListDomainModels()
+	entityNames, err := buildEntityNames(ctx, h)
 	if err != nil {
-		return mdlerrors.NewBackend("list domain models", err)
-	}
-	for _, dm := range domainModels {
-		modName := h.GetModuleName(dm.ContainerID)
-		for _, entity := range dm.Entities {
-			entityNames[entity.ID] = modName + "." + entity.Name
-		}
+		return err
 	}
 
 	// Find the microflow

mdl/executor/cmd_microflows_show.go

@@ -501,7 +501,10 @@ func describeNanoflowToString(ctx *ExecContext, name ast.QualifiedName) (string,
 	}
 
 	entityNames := make(map[model.ID]string)
-	domainModels, _ := ctx.Backend.ListDomainModels()
+	domainModels, err := ctx.Backend.ListDomainModels()
+	if err != nil {
+		return "", nil, mdlerrors.NewBackend("list domain models", err)
+	}
 	for _, dm := range domainModels {
 		modName := h.GetModuleName(dm.ContainerID)
 		for _, entity := range dm.Entities {

mdl/executor/cmd_nanoflow_elk.go

@@ -8,7 +8,6 @@ import (
 
 	"github.com/mendixlabs/mxcli/mdl/ast"
 	mdlerrors "github.com/mendixlabs/mxcli/mdl/errors"
-	"github.com/mendixlabs/mxcli/model"
 	"github.com/mendixlabs/mxcli/sdk/microflows"
 )
 
@@ -31,16 +30,9 @@ func nanoflowELK(ctx *ExecContext, name string) error {
 	}
 
 	// Build entity name lookup
-	entityNames := make(map[model.ID]string)
-	domainModels, err := ctx.Backend.ListDomainModels()
+	entityNames, err := buildEntityNames(ctx, h)
 	if err != nil {
-		return mdlerrors.NewBackend("list domain models", err)
-	}
-	for _, dm := range domainModels {
-		modName := h.GetModuleName(dm.ContainerID)
-		for _, entity := range dm.Entities {
-			entityNames[entity.ID] = modName + "." + entity.Name
-		}
+		return err
 	}
 
 	// Find the nanoflow

mdl/executor/cmd_nanoflows_create.go

@@ -201,8 +201,8 @@ func execCreateNanoflow(ctx *ExecContext, s *ast.CreateNanoflowStmt) error {
 		}
 	}
 
-	hierarchy, _ := getHierarchy(ctx)
-	restServices, _ := loadRestServices(ctx)
+	hierarchy, _ := getHierarchy(ctx)        // best-effort: builder works without hierarchy
+	restServices, _ := loadRestServices(ctx) // best-effort: builder works without REST services
 
 	builder := &flowBuilder{
 		posX:         200,

sdk/mpr/parser_microflow_actions.go

@@ -138,6 +138,7 @@ func parseJavaScriptActionCallAction(raw map[string]any) *microflows.JavaScriptA
 				mapping := &microflows.JavaScriptActionParameterMapping{}
 				mapping.ID = model.ID(extractBsonID(mMap["$ID"]))
 				mapping.Parameter = extractString(mMap["Parameter"])
+				// BSON key is "ParameterValue"; Go struct JSON tag is "value" — intentional asymmetry
 				if value, ok := mMap["ParameterValue"].(map[string]any); ok {
 					mapping.Value = parseCodeActionParameterValue(value)
 				}