Merge branch 'master' into fix/deallocate-missing-arrays

Author: sbryngelson

.github/scripts/check_coverage_map_health.py

@@ -13,7 +13,23 @@
 entries, meta = load_map(COVERAGE_MAP_PATH)
 if entries is None:
     sys.exit("Coverage map missing or corrupt.")
-current_keys = {b.to_case().coverage_key() for b in list_cases()}
+# Compute each current test's coverage key. Loading a case executes its case
+# file; some (e.g. chemistry examples) import optional deps like cantera that are
+# not installed in this lightweight job. Skip any case that fails to load instead
+# of crashing — map_health measures the fraction of *loadable* current tests that
+# are mapped, so a smaller current_keys cannot produce a false "stale" result.
+current_keys = set()
+unloadable = []
+for b in list_cases():
+    try:
+        current_keys.add(b.to_case().coverage_key())
+    except Exception as exc:  # noqa: BLE001 — a case file that won't import must not crash the health check
+        last_line = (str(exc).strip().splitlines() or ["(no message)"])[-1][:140]
+        unloadable.append((getattr(b, "trace", repr(b)), last_line))
+if unloadable:
+    print(f"Note: {len(unloadable)} case(s) could not be loaded in this lightweight job (excluded from the check):")
+    for trace, err in unloadable[:15]:
+        print(f"  - {trace}: {err}")
 ok, msg = map_health(
     meta=meta,
     current_keys=current_keys,

.github/workflows/common/test.sh

@@ -57,12 +57,14 @@ if [ -n "${job_shard:-}" ]; then
     shard_opts="--shard $job_shard"
 fi
 
-# Coverage-based test selection in SHADOW mode on PRs: prints what it WOULD select but the
-# full suite still runs (no --select-enforce). Changed files come from git detection
-# (self-healing deepen) since the SLURM job doesn't receive the paths-filter list.
+# Coverage-based test selection ENFORCED on PRs: runs only tests whose recorded coverage
+# overlaps the PR's changed files (conservative ladder; non-.fpp and uncovered-.fpp changes
+# fall back to run-all). Pushes to master run the full suite as a backstop. Changed files
+# come from git detection (self-healing deepen) since the SLURM job doesn't receive the
+# paths-filter list.
 select_opts=""
 if [ "${GITHUB_EVENT_NAME:-}" = "pull_request" ]; then
-    select_opts="--only-changes"
+    select_opts="--select-enforce"
 fi
 
 ./mfc.sh test -v --max-attempts 3 --no-build $select_opts -a -j $n_test_threads $rdma_opts $device_opts $build_opts $shard_opts -- -c $job_cluster

.github/workflows/test.yml

@@ -264,11 +264,13 @@ jobs:
       - name: Test
         if:   '!matrix.nvhpc'
         run:  |
-          # Coverage-based test selection in SHADOW mode on PRs: the selector
-          # prints what it WOULD run, but the full suite still runs (no
-          # --select-enforce). Enforcement is a separate, later change.
+          # Coverage-based test selection ENFORCED on PRs: runs only the tests whose
+          # recorded coverage overlaps the PR's changed files (conservative ladder in
+          # coverage.py — non-.fpp changes and .fpp files no test covers fall back to
+          # run-all). Pushes to master run the full suite (SELECT empty) as a backstop,
+          # and the NVHPC jobs below still run --test-all as a pre-merge full check.
           SELECT=()
-          [ "${{ github.event_name }}" = "pull_request" ] && SELECT=(--only-changes --changed-files "$CHANGED_FILES")
+          [ "${{ github.event_name }}" = "pull_request" ] && SELECT=(--select-enforce --changed-files "$CHANGED_FILES")
           /bin/bash mfc.sh test -v --max-attempts 3 -j $(nproc) "${SELECT[@]}" $TEST_ALL $TEST_PCT $PRECISION
         env:
           TEST_ALL: ${{ matrix.mpi == 'mpi' && '--test-all' || '' }}

tests/coverage_map.json.gz

@@ -1323,6 +1323,15 @@ def check_chemistry(self):
         # Fetch global chemistry and diffusion flags
         chemistry = self.get("chemistry", "F") == "T"
         diffusion = self.get("chem_params%diffusion", "F") == "T"
+        num_fluids = self.get("num_fluids")
+
+        # Chemistry assumes a single reacting gas phase: the temperature/pressure
+        # inversion recovers T from the total internal energy via Cantera's ideal-gas
+        # EOS (ignoring pi_inf), and the cons->prim conversion collapses all partial
+        # densities onto the species-summed total density. Both are only correct for
+        # num_fluids = 1; with a second (e.g. stiffened-gas) fluid the state is
+        # inconsistent and the simulation NaNs. See MFlowCode/MFC#1470.
+        self.prohibit(chemistry and num_fluids is not None and num_fluids != 1, "chemistry is only supported for single-component flows (num_fluids = 1)")
 
         # Define what constitutes a wall (-15 for slip, -16 for no-slip)
         wall_bcs = [-15, -16]

toolchain/mfc/case_validator.py

@@ -472,14 +472,14 @@
             dest="only_changes",
             action=ArgAction.STORE_TRUE,
             default=False,
-            help="Select only tests whose covered files overlap changed files (shadow mode unless --select-enforce).",
+            help="Shadow mode: compute and print the coverage-based test selection but still run the full suite. Use --select-enforce to actually prune.",
         ),
         Argument(
             name="select-enforce",
             dest="select_enforce",
             action=ArgAction.STORE_TRUE,
             default=False,
-            help="With --only-changes, actually skip unselected tests (otherwise shadow: print selection, run all).",
+            help="Run only the coverage-selected tests (implies selection; skips unselected tests). Without it, --only-changes is shadow-only.",
         ),
         Argument(name="changed-files", dest="changed_files", type=str, default=None, help="Changed-file list (newline-, space-, or comma-separated; from CI paths-filter). Overrides git detection."),
         Argument(name="changes-branch", dest="changes_branch", type=str, default="master", help="Branch to diff against for --only-changes."),

toolchain/mfc/cli/commands.py

@@ -178,7 +178,7 @@ def is_uuid(term):
         if not cases:
             raise MFCException(f"--shard {ARG('shard')} matched zero test cases. Total cases before sharding may be less than shard count.")
 
-    if ARG("only_changes"):
+    if ARG("only_changes") or ARG("select_enforce"):
         import datetime
 
         from .. import common