fix: TimeRegistration findings #51–#55 (ALTER-PAGE assoc binding, microflow check false-positives, workflow-action describe)

[ako]

Fixes five findings from the ako/mxcli-timeregistration retest. Every fix was verified against real mxbuild 11.12.1 (not just mxcli check), and each has a regression test + a mdl-examples/bug-tests/ repro + a fix-issue.md symptom row.

Findings addressed

#55 — ALTER PAGE INSERT/REPLACE dropped a widget's attribute binding in a non-database-sourced list (c663f7af, a91e7329)
Inserting/replacing a data-bound widget into a list whose datasource was from association or datasource: microflow/nanoflow bound the new widget's Attribute to the wrong entity, or to nothing — mxcli check passed but the Mendix build failed CE1613 / CE0402, and DESCRIBE masked it by printing only the short attribute name. Root cause: the page mutator read the enclosing entity from DataSource.EntityRef.Entity, which is only populated for a direct ref (database).

• Association (c663f7af): the destination lives on the last EntityRefStep of an IndirectEntityRef. extractEntityFromDataSource now reads it.
• Microflow/nanoflow (a91e7329): a flow source stores no entity in its BSON — its entity is the flow's return type (in the flow document). The mutator's new EnclosingDataSourceFlow returns the governing flow's qualified name (nearest-enclosing for sibling INSERT/REPLACE, or own for INSERT INTO; a nearer non-flow source shadows an outer flow), and the executor resolves the return entity via getMicroflowReturnEntityName/getNanoflowReturnEntityName.

Verified: nested dataview→assoc-listview, and microflow-sourced listview, both INSERT and REPLACE → mx check 0 errors (CE1613/CE0402 before). This also closes the remaining half of #49.

#53 — MDL048 false-positive on [id = '[%CurrentUser%]'] (25b02acd)
The standard signed-in-user idiom (mx-check clean) was rejected. checkXPathIdConstraint now skips a '[%…%]' server-token operand; real stored-id values ([id = $Id]) are still flagged.

#52 — MDL045 false-positive on division by an association-attribute path (25b02acd)
round($a div $obj/Attr * 100) was rejected. The grammar parses div/*// at one precedence level, so $a div $obj/Attr mis-nests as ($a div $obj) / Attr; Mendix has no /-division operator and re-parses the raw $obj/Attr as a path (serialized output preserves the /, so mx check → 0 errors). exprHasSlashDivision now ignores a / whose right operand is a bare IdentifierExpr.

#54 — describe microflow rendered set task outcome as -- Empty action (25b02acd)
Under the default (modelsdk) engine, set task outcome / open user task / notify workflow read back as -- Empty action, so a describe→drop→exec round-trip silently dropped them. Added the three read cases to actionFromGen, mirroring the legacy parsers.

#51 — create association not idempotent (25b02acd)
The corrupting cascade was already fixed (mendixlabs#90). create association erroring on re-run is correct SQL-shaped semantics; the idempotent form create or modify association was undiscoverable. Improved the "already exists" error to name it (and drop association …).

Not code changes: #50 (daysBetween sign) is Mendix runtime behavior with no mxcli surface; #52's dateTime()-literal restriction is genuine platform behavior already surfaced by MDL046.

Testing

• Unit tests: TestEnclosingEntity_AssociationSource, TestEnclosingDataSourceFlow (incl. nearer-source shadowing), TestValidateMicroflow_XPathIdConstraint (CurrentUser token), TestValidateMicroflow_SlashDivision (div-by-assoc), TestActionFromGen_WorkflowActions.
• Repros: mdl-examples/bug-tests/{55-alter-page-insert-assoc-binding,52-53-microflow-check-false-positives,54-describe-set-task-outcome,51-create-or-modify-association}.mdl.
• go build ./..., go vet, and the mdl/executor + mdl/backend/{modelsdk,pagemutator,mcp} suites all pass.
• Mendix validation: the fix: TimeRegistration findings #51–#55 (ALTER-PAGE assoc binding, microflow check false-positives, workflow-action describe) #55, Fix ledger project findings: expression/XPath/widget checks + doc fixes #52, Add repeatable upstream-PR link generator (script + /mxcli-dev:upstream-pr) #53, fix(pages): reject a page with widgets but no Layout instead of silently dropping them #54 fixes were each exec'd into a fresh mx create-project (11.12.1) and confirmed with mx check → 0 errors.

🤖 Generated with Claude Code