fix(lint/check): #953 items 2-6 — BUTTON01 nested grids, native pages, return-only flows, CONV006 grouping, report --modules

[ako]

Part of #953 — items 2–6. Group d covers items 1 and 7, so this PR does not close the issue.

Changes (one commit per item)

2. MDL-BUTTON01 on a grid nested in a data container (mdl/executor/validate_page_button_context.go)
The tree walk now tracks whether an enclosing data container (a data view, list view, gallery or grid row) already supplies an object. A grid's own data source still does not scope its control bar, so a top-level grid is still reported.

3. MPR012 / MDL-WIDGET40 on native pages

• backend ListLayouts sets Layout.Native. It is true when the layout's content wrapper is Forms$NativeLayoutContent. Before this, it was false for every layout.
• catalog: layouts.Platform (Web / Native), schema version 18. Documented in catalog-tables.md and catalog-schema.md, and exposed to Starlark as layout.platform (write-lint-rules skill updated, value pinned in the vocabulary test).
• linter: LintContext.NativePages() joins pages.LayoutRef to layouts. It does not apply the Marketplace filter, because the native layouts live in Atlas_Core. MPR012 skips those pages. Snippets are still reported (not measured).
• check: MDL-WIDGET40 (classic dropdown, CE0582) skips a page whose layout resolves as native. MDL-WIDGET39 (CE2421) stays as it is, because mxbuild still reports CE2421 on a native page (measured).

4. MPR002 on return-only flows (mdl/linter/rules/empty.go): a flow with a non-Void ReturnType is not reported. Void and unset flows still are. No catalog change was needed.

5. CONV006 grouped: one finding per entity, in the form grants CREATE (M.Admin, M.User); DELETE (M.Admin). Roles are de-duplicated. .claude/lint-rules is synced to the embedded copy, and the test runs both copies.

6. report --modules/-m: applies the same LintContext filter as lint -m. The score counts only findings located in a selected module, so project-wide findings with no module are left out. The selection is printed in the markdown, HTML and JSON output. If excludeModules in the config shadows a selected module, it is warned about, the same way lint does. Documented in docs-site mxcli-report.md, the quick reference and the assess-quality skill.

mxbuild measurements (11.13.0, mxcli docker check, copy of the JTSBootLogboek app)

• Page Logboek_Images: btnOpen (grid inside a data view) is clean. btnOpen2 (top-level grid) is CE1571.
• Probe page with a grid inside a list view, control-bar button passing $currentObject: clean.
• Login_Native (NativePhone_Default) with a staticimage: clean. imgWith on Atlas_Default: CE0582.
• Native_Probe: dropdown on an enum is clean, a textbox on an enum is CE2421. Web_Probe: dropdown CE0582, textbox CE2421.
• After the fix, check --references on the probe script reports exactly those (WIDGET39 on both pages, WIDGET40 on the web page only). lint on the app no longer reports MPR012 for imgNative or MPR002 for Logboek_Label / GetCurrentUser. CONV006 on Logboek with two roles gives one finding.

Test plan

• make build; go test ./mdl/executor/ ./mdl/linter/... ./mdl/catalog/ ./mdl/backend/modelsdk/ ./cmd/mxcli/
• make lint, make check-conformance, make check-findings, make check-mdl, make check-skill-mdl, make sync-skills, make sync-lint-rules
• New tests, each written first and seen failing with the reported symptom:
  • TestValidatePageButtonContext_NestedInDataContainerClean (data view + list view, top-level control)
  • TestLayoutIsNative_ReadsTheContentWrapperType
  • TestLayoutPlatformColumn_Issue953 (catalog builder)
  • TestLegacyImageWidgetRule_SkipsNativePages (web page as control)
  • TestCheck_ClassicDropDownOnNativePageIsClean (web control, WIDGET39 still fires on native)
  • TestEmptyMicroflowRule_SkipsReturnValueOnlyFlows
  • TestCONV006GroupsByEntity
  • TestScopeToModules
• Revert checks: removed each fix in turn and confirmed its test fails with the original symptom:
  • BUTTON01 context flag: btnOpen flagged again
  • MPR012 native skip: Login_Native reported again
  • WIDGET40 native skip: MDL-WIDGET40 on the native page
  • MPR002 returnsValue: Logboek_Label / GetCurrentUser / IsValid reported again
  • layoutIsNative: "want native"
  • ScopeToModules: unscoped findings kept
  • CONV006: 4 violations before the rewrite

Follow-ups (not done here)

• A snippet with a legacy image is still reported by MPR012. A snippet records no layout, and whether a native snippet builds clean has not been measured.
• MPR010 ("wrap the data view in a layoutgrid") also fires on native pages, which have no layout grid widget. It has the same web-only premise and needs its own measurement.
• The MDL-WIDGET39 message lists AutoNumber among the accepted types. On a native page mxbuild's CE2421 text omits it. The finding is correct; only the wording is off.
• A layout created in the same script is not resolved as native by MDL-WIDGET40, so the check stays as loud as before for it.
• Catalog schema bumped to 18. If a parallel branch also bumps, the merge needs one more bump (see the history note in tables.go).

🤖 Generated with Claude Code