Export schema symbols and auto-generate validation hints

- __init__.py: re-export CONSTRAINTS, DEPENDENCIES, get_value_label
  from the params package (needed by gen_case_constraints_docs.py)
- case_validator.py: replace hardcoded error hints with data-driven
  loop over CONSTRAINTS value_labels
- CMakeLists.txt: add definitions.py to DEPENDS for doc generation

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: sbryngelson

CMakeLists.txt

@@ -665,6 +665,7 @@ if (MFC_DOCUMENTATION)
         OUTPUT  "${CMAKE_CURRENT_SOURCE_DIR}/docs/documentation/case_constraints.md"
         DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/toolchain/mfc/gen_case_constraints_docs.py"
                 "${CMAKE_CURRENT_SOURCE_DIR}/toolchain/mfc/case_validator.py"
+                "${CMAKE_CURRENT_SOURCE_DIR}/toolchain/mfc/params/definitions.py"
                 "${examples_DOCs}"
         COMMAND "bash" "${CMAKE_CURRENT_SOURCE_DIR}/docs/gen_constraints.sh"
                        "${CMAKE_CURRENT_SOURCE_DIR}"

toolchain/mfc/case_validator.py

@@ -17,6 +17,7 @@
 from typing import Dict, Any, List, Set
 from functools import lru_cache
 from .common import MFCException
+from .params.definitions import CONSTRAINTS
 
 
 @lru_cache(maxsize=1)
@@ -1911,14 +1912,27 @@ def _format_errors(self) -> str:
             err_lower = err.lower()
             if "must be positive" in err_lower or "must be set" in err_lower:
                 lines.append("     [dim]Check that this required parameter is defined in your case file[/dim]")
-            elif "weno_order" in err_lower:
-                lines.append("     [dim]Valid values: 1, 3, 5, or 7[/dim]")
-            elif "riemann_solver" in err_lower:
-                lines.append("     [dim]Valid values: 1 (HLL), 2 (HLLC), 3 (Exact), etc.[/dim]")
-            elif "model_eqns" in err_lower:
-                lines.append("     [dim]Valid values: 1, 2 (5-eq), 3 (6-eq), or 4[/dim]")
-            elif "boundary" in err_lower or "bc_" in err_lower:
+                continue
+            if "boundary" in err_lower or "bc_" in err_lower:
                 lines.append("     [dim]Common BC values: -1 (periodic), -2 (reflective), -3 (extrapolation)[/dim]")
+                continue
+
+            # Auto-generate hints from CONSTRAINTS with value_labels
+            for param_name, constraint in CONSTRAINTS.items():
+                if param_name not in err_lower:
+                    continue
+                choices = constraint.get("choices")
+                if not choices:
+                    continue
+                labels = constraint.get("value_labels", {})
+                if labels:
+                    items = [f"{v} ({labels[v]})" if v in labels else str(v)
+                             for v in choices]
+                    hint = f"Valid values: {', '.join(items)}"
+                else:
+                    hint = f"Valid values: {choices}"
+                lines.append(f"     [dim]{hint}[/dim]")
+                break
 
         lines.append("")
         lines.append("[dim]Tip: Run './mfc.sh validate case.py' for detailed validation[/dim]")

toolchain/mfc/params/__init__.py

@@ -25,5 +25,9 @@
 # IMPORTANT: This import populates REGISTRY with all parameter definitions
 # and freezes it. It must come after REGISTRY is imported and must not be removed.
 from . import definitions  # noqa: F401  pylint: disable=unused-import
+from .definitions import CONSTRAINTS, DEPENDENCIES, get_value_label
 
-__all__ = ['REGISTRY', 'RegistryFrozenError', 'ParamDef', 'ParamType']
+__all__ = [
+    'REGISTRY', 'RegistryFrozenError', 'ParamDef', 'ParamType',
+    'CONSTRAINTS', 'DEPENDENCIES', 'get_value_label',
+]