@gefyra/complies-with-eu 1.2.0 → 1.3.1

package/CHANGELOG.md

@@ -7,6 +7,33 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [1.3.1] - 2026-11-15
+
+### Fixed
+
+- Profiles that validate without any error were reported as an operational error ("produced no result summary", exit code 2) instead of PASS. HL7 FHIR Validator 7.x prints the success summary as `Success: …` without asterisks, which the output parser did not recognise. Package mode (`validate-batch <package>`) was not affected.
+
+## [1.3.0] - 2026-11-15
+
+### Added
+
+- `--verbose` for `validate`, `validate-batch` and `search` (passed through to `validate`): streams the full HL7 FHIR Validator output to stderr, as before. `--debug` implies `--verbose`.
+
+### Changed
+
+- The HL7 FHIR Validator output (often several hundred "Information @ …" lines per run) is no longer streamed to stderr by default. A progress indicator shows the current phase (loading packages, validating) and ends with the validator summary, for example `*FAILURE*: 34 errors, 1 warnings, 101 notes`. Without a terminal (CI, piped stderr) each phase is printed once as a plain line. The validator server in package mode is quiet in the same way.
+- The raw validator output is now always written to a log file in the workdir (`*-raw.log`, `examples/<slug>/_batch-raw.log`, `<package>/validator-server.log`), not only with `--debug` or on failure. Its path is printed after each run. `clean` removes these logs.
+- When the validator crashes, exits abnormally or returns no result summary, the error message now includes the exit code, the last 20 lines of validator output and the path of the log file. In todo-file mode the error is also printed on the console, not only written to the error report.
+- Updated dependencies: commander 12 → 14, axios 1.21.1, fs-extra 11.4.1. With commander 14, unexpected extra arguments are rejected with a usage error (exit code 2) instead of being ignored, for example `complies-with-eu doctor extra`.
+- README: the disk space requirement is now about 2 GB instead of 1 GB, based on a measured clean installation.
+
+### Fixed
+
+- Package mode: when the validator server crashes or stops answering during the batch (for example out of memory), the progress no longer reports "Validator batch completed". It reports the failure, prints the server exit code, the last lines of its output and the path of `validator-server.log`, and each affected profile error names the log file instead of only `ECONNREFUSED` or `socket hang up`.
+- Package mode starts the HL7 FHIR Validator with the `server` command instead of the deprecated `-server` option, which removes the warning "The option '-server' is no longer in use".
+- Compliance report: identical rows in the "Non-Compliant Profiles — Details" table (for example the same missing constraint reported for several elements) are collapsed into one row with "(reported N×)". For a missing constraint, the element path is now shown when exactly one element of the EU profile declares that constraint. The `report` field of `--json` contains the same Markdown; the JSON shape is unchanged.
+- Progress output no longer appears out of order when stdout and stderr are redirected or captured separately (for example in Docker or CI): all progress lines of `validate`, `validate-batch` and `search` now go to stderr, the same stream as the spinners. The final result (the "Done!" PASS/FAIL list, the report path and the batch summaries) stays on stdout; with `--json` it goes to stderr as before. When stderr is not a terminal, color codes are removed from these progress lines (unless `FORCE_COLOR` is set); spinner symbols and messages from the validator and package tools may still contain color codes.
+
 ## [1.2.0]
 
 First public release as `@gefyra/complies-with-eu` under the Apache License 2.0.

package/README.md

@@ -73,7 +73,7 @@ You get a per-EU-profile verdict (fulfilled / not fulfilled) and a report that e
 |-------------|---------|
 | Node.js | 20 or newer |
 | Java | **21 or newer** on `PATH` or via `JAVA_HOME` (for example [Eclipse Temurin](https://adoptium.net)). The HL7 validator needs Java 17, but the pinned `fhir-pkg-tool` is built for Java 21. |
-| Disk | About 1 GB free for the tools, the EU packages and the FHIR package cache (`~/.fhir/packages`) |
+| Disk | About 2 GB free: roughly 330 MB for the tools in `~/.complies-with-eu` and 1.5 GB or more for the FHIR package cache (`~/.fhir/packages`), which keeps growing with every package you validate |
 | Memory | 2 to 4 GB RAM for the validator JVM |
 | Network | Outbound HTTPS to GitHub (tool downloads during `init`), the FHIR package registry (packages and their dependencies) and, for `search <canonical>`, simplifier.net |
 
@@ -137,6 +137,8 @@ Done!
   Report: ~/.complies-with-eu/workdir/hl7_org_fhir_uv_ips_StructureDefinition_Patient-uv-ips-report.md
 ```
 
+This final result is written to stdout. All progress output (status lines, spinners, the list of EU profiles found) goes to stderr, so it keeps its order when the output is redirected or collected by CI or Docker. With `--json`, stdout carries only the JSON document and the final result goes to stderr as well.
+
 Open the Markdown report to see why a profile is not fulfilled (see [Reading the results](#reading-the-results)).
 
 A second example with a German package (gematik ISiK):
@@ -210,7 +212,10 @@ What happens:
 | `--output <file>` | Write JSON output to file instead of stdout (requires `--json`) |
 | `--fail-on-noncompliant` | Exit with code 1 if a selected EU profile is not fulfilled |
 | `--workdir <dir>` | Directory for reports and intermediate files (default: `<home>/workdir`) |
-| `--debug` | Print the full Java validator command, keep the raw output and show stack traces |
+| `--verbose` | Stream the full HL7 FHIR Validator output to stderr (default: concise progress only; the full output is always written to a log file in the workdir) |
+| `--debug` | Print the full Java validator command and show stack traces (implies `--verbose`) |
+
+**Output.** By default the HL7 FHIR Validator output (often several hundred lines) is not shown. A progress indicator on stderr shows the current phase (loading packages, validating) and ends with the validator summary, for example `*FAILURE*: 34 errors, 1 warnings, 101 notes`. Without a terminal (CI, piped stderr) each phase is printed once as a plain line. The full output is always written to `<workdir>/<profile>-modified-raw.log`, and its path is printed. Use `--verbose` to stream it to stderr as well.
 
 **`--examples`.** After the profile check, the example instances of the same resource type in the package (`package/example/` first, then `package/`) get a `meta.profile` claim for each selected EU profile and are validated in one validator run. The detailed report goes to `<workdir>/examples/<slug>/<slug>-examples-report.md`, and a summary table is appended to the profile report. With `--json`, the result includes an `examples` field.
 
@@ -234,7 +239,8 @@ If the argument is an existing `.json` file, it runs in **todo-file mode**. Othe
 | `--reselect` | Package mode: force re-prompting even if `mapping.json` exists |
 | `--type <types>` | Package mode: comma-separated resource types to filter (e.g. `Patient,Observation`) |
 | `--server-port <port>` | Package mode: port for the local Java validator server (default: a free port; also `$VALIDATOR_SERVER_PORT`). A server already running there is reused only if it has the package loaded |
-| `--debug` | Print the full Java validator command, keep the raw output and show stack traces |
+| `--verbose` | Stream the full HL7 FHIR Validator output to stderr (default: concise progress only; the full output is always written to a log file in the workdir) |
+| `--debug` | Print the full Java validator command and show stack traces (implies `--verbose`) |
 
 #### Todo-file mode
 
@@ -336,7 +342,8 @@ complies-with-eu search http://hl7.org/fhir/uv/ips/StructureDefinition/Patient-u
 | `--output <file>` | Passed to validate: write JSON output to file (requires `--json`) |
 | `--fail-on-noncompliant` | Passed to validate: exit with code 1 if a selected EU profile is not fulfilled |
 | `--workdir <dir>` | Directory for reports and intermediate files (default: `<home>/workdir`) |
-| `--debug` | Passed to validate: debug output and stack traces |
+| `--verbose` | Passed to validate: stream the full HL7 FHIR Validator output |
+| `--debug` | Passed to validate: debug output and stack traces (implies `--verbose`) |
 
 ### build-index
 
@@ -371,7 +378,7 @@ Deletes everything in the workdir except Markdown reports (`*-report.md`) and `m
 | Section | Content |
 |---------|---------|
 | **compliesWithProfile — Overview** | How many of the checked EU profiles are fulfilled, with a ✅ / ❌ row per EU profile. An EU profile counts as not fulfilled if the validator rejects the claim **or** the obligation check finds a violation. |
-| **Non-Compliant Profiles — Details** | Per failed EU profile, a table of element paths and the issue the validator reported (missing constraints, cardinality conflicts, slicing problems). |
+| **Non-Compliant Profiles — Details** | Per failed EU profile, a table of element paths and the issue the validator reported (missing constraints, cardinality conflicts, slicing problems). Identical rows are shown once with "(reported N×)". The validator names no element for a missing constraint; the path is taken from the EU profile when exactly one of its elements declares the constraint, otherwise it is shown as "—". |
 | **Obligation Check (SHALL:able-to-populate)** | The HL7 validator does not evaluate obligations or MustSupport. For every element that an EU profile's differential marks `SHALL:able-to-populate`, this check looks at your profile's snapshot and reports the element if it is not found, has `max: 0`, or is not MustSupport. |
 | **Automatically resolved constraints** | EU `.exists() or …` constraints that your profile does not declare, but that are guaranteed by its minimum cardinalities (unsliced elements with `min ≥ 1`). They are excluded from the verdict. |
 | **Other Validation Results** | Collapsible list of all other validator messages (fatal, errors, warnings, information) that are not about `compliesWithProfile`. |
@@ -397,7 +404,7 @@ With `--json`, stdout contains only the JSON document (progress goes to stderr);
   "package": "hl7.fhir.uv.ips@2.0.0",
   "canonical": "http://hl7.org/fhir/uv/ips/StructureDefinition/Patient-uv-ips",
   "reportPath": "/home/me/.complies-with-eu/workdir/hl7_org_fhir_uv_ips_StructureDefinition_Patient-uv-ips-report.md",
-  "tool": { "name": "@gefyra/complies-with-eu", "version": "1.2.0", "validatorVersion": "7.0.5" },
+  "tool": { "name": "@gefyra/complies-with-eu", "version": "1.3.1", "validatorVersion": "7.0.5" },
   "validator": { "mode": "local", "summary": "…" },
   "euPackages": [ { "packageName": "hl7.fhir.eu.base", "version": "2.0.1" } ]
 }
@@ -492,9 +499,9 @@ jobs:
           path: |
             ~/.complies-with-eu/tools
             ~/.fhir/packages
-          key: complies-with-eu-${{ runner.os }}-1.2.0
+          key: complies-with-eu-${{ runner.os }}-1.3.1
 
-      - run: npm install -g @gefyra/complies-with-eu@1.2.0
+      - run: npm install -g @gefyra/complies-with-eu@1.3.1
       - run: complies-with-eu init
 
       - name: Validate
@@ -582,7 +589,7 @@ These parameters apply to `validate`, `validate-batch` and the local validator s
 | Path | Content | How to reset |
 |------|---------|--------------|
 | `~/.complies-with-eu/tools/` | `validator_cli.jar`, `fhir-pkg-tool.jar`, `versions.json` | `complies-with-eu init --force` |
-| `~/.complies-with-eu/workdir/` | Reports (`*-report.md`), modified profiles (`*-modified.json`), raw validator logs (`*-raw.log`, with `--debug` or when the validator fails), `examples/`, package-mode folders | `complies-with-eu clean` (keeps reports and `mapping.json`), or delete the folder |
+| `~/.complies-with-eu/workdir/` | Reports (`*-report.md`), modified profiles (`*-modified.json`), raw validator logs (`*-raw.log`, `examples/<slug>/_batch-raw.log`, `<package>/validator-server.log`, written on every run), `examples/`, package-mode folders | `complies-with-eu clean` (keeps reports and `mapping.json`), or delete the folder |
 | `~/.complies-with-eu/cache.json` | Your last interactive EU profile selection per canonical | Delete the file |
 | `~/.fhir/packages/` | Standard FHIR package cache, shared with other FHIR tools. Holds the EU packages, your packages and their dependencies. | Delete individual `name#version` folders; they are downloaded again when needed |
 
@@ -603,7 +610,9 @@ Versions up to 1.1.x kept their state inside the installation directory (`.tools
 | `--output requires --json` | Add `--json`. |
 | `Package '…' could not be downloaded` | Check the package name and version (for example on [packages.fhir.org](https://packages.fhir.org)), or try `complies-with-eu search <canonical>`. |
 | Profile not found | The canonical is not in that package version. List the profiles with `complies-with-eu search <package>`. |
-| `… produced no result summary` | The validator crashed (often out of memory or a broken jar). Open the raw log named in the message, rerun with `--debug`, or reinstall the tools with `init --force`. |
+| `… produced no result summary` | The validator crashed (often out of memory or a broken jar). The message shows the last lines of the validator output; open the raw log named in the message, rerun with `--verbose` (or `--debug`), or reinstall the tools with `init --force`. |
+| `FHIR Java Validator server did not finish the batch validation` | Package mode: the validator server stopped while validating (often out of memory). The message shows its exit code and the last lines of its output; the affected profiles get an error report that names `<workdir>/<package>/validator-server.log`. Give Java more memory or validate fewer profiles at once (`--type`). |
+| Need the full validator output | It is not shown by default. Every run writes it to a log file in the workdir: `<workdir>/<profile>-modified-raw.log` (`validate`, todo-file mode), `<workdir>/examples/<slug>/_batch-raw.log` (`--examples`), `<workdir>/<package>/validator-server.log` (package mode). The path is printed after each run and when the validator fails. `--verbose` streams it to stderr as well. |
 | First run takes several minutes | The validator downloads dependencies and terminology packages into `~/.fhir/packages` once. |
 | `--server-port` fails | Something else is running on that port, or a validator server without your package. Omit the option to use a free port. |
 

package/bin/complies-with-eu.js

@@ -24,6 +24,11 @@ Reports:
   Written to <workdir>/<profile>-report.md (package mode: <workdir>/<package>/).
   Default workdir: ~/.complies-with-eu/workdir (override: --workdir or COMPLIES_WITH_EU_WORKDIR).
 
+Validator output:
+  By default only concise progress is shown. The full HL7 FHIR validator output is always
+  written to a log file in the workdir (*-raw.log, _batch-raw.log, validator-server.log);
+  its path is printed when the validator fails. Use --verbose to stream it to stderr.
+
 Exit codes:
   0  success (also when profiles are non-compliant, unless --fail-on-noncompliant is set)
   1  at least one selected EU profile is not fulfilled (only with --fail-on-noncompliant)
@@ -74,7 +79,8 @@ function buildProgram() {
     .option('--output <file>', 'Write JSON output to file instead of stdout (requires --json)')
     .option('--fail-on-noncompliant', 'Exit with code 1 if a selected EU profile is not fulfilled')
     .option('--workdir <dir>', 'Directory for reports and intermediate files (default: <home>/workdir)')
-    .option('--debug', 'Print the full Java validator command, keep the raw output and show stack traces')
+    .option('--verbose', 'Stream the full HL7 FHIR validator output to stderr (default: concise progress only)')
+    .option('--debug', 'Print the full Java validator command and stack traces (implies --verbose)')
     .addHelpText('after', `
 Examples:
   $ complies-with-eu validate hl7.fhir.uv.ips@2.0.0 http://hl7.org/fhir/uv/ips/StructureDefinition/Patient-uv-ips --all-counterparts
@@ -103,7 +109,8 @@ without a terminal (CI, --json) one of the two flags is required.`)
     .option('--reselect', 'Package mode: force re-prompting even if mapping.json exists')
     .option('--type <types>', 'Package mode: comma-separated resource types to filter (e.g. Patient,Observation)')
     .option('--server-port <port>', 'Package mode: port for the local Java validator server (default: a free port; also $VALIDATOR_SERVER_PORT). A server already running there is reused only if it has the package loaded')
-    .option('--debug', 'Print the full Java validator command, keep the raw output and show stack traces')
+    .option('--verbose', 'Stream the full HL7 FHIR validator output to stderr (default: concise progress only)')
+    .option('--debug', 'Print the full Java validator command and stack traces (implies --verbose)')
     .action((arg, options) => {
       const { runValidateBatchFile, runValidatePackage } = require('../src/commands/validate');
       if (arg.endsWith('.json') && fs.existsSync(arg)) {
@@ -128,7 +135,8 @@ without a terminal (CI, --json) one of the two flags is required.`)
     .option('--output <file>', 'Passed to validate: write JSON output to file (requires --json)')
     .option('--fail-on-noncompliant', 'Passed to validate: exit with code 1 if a selected EU profile is not fulfilled')
     .option('--workdir <dir>', 'Directory for reports and intermediate files (default: <home>/workdir)')
-    .option('--debug', 'Passed to validate: debug output and stack traces')
+    .option('--verbose', 'Passed to validate: stream the full HL7 FHIR validator output')
+    .option('--debug', 'Passed to validate: debug output and stack traces (implies --verbose)')
     .action((pkg, options) => require('../src/commands/search').runSearch(pkg, options));
 
   program

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gefyra/complies-with-eu",
-  "version": "1.2.0",
+  "version": "1.3.1",
   "description": "CLI that checks whether FHIR profiles comply with the HL7 Europe (EU) profiles, using the compliesWithProfile extension and the HL7 FHIR validator",
   "keywords": [
     "fhir",
@@ -27,7 +27,7 @@
   "author": "Gefyra GmbH <js@gefyra.de>",
   "type": "commonjs",
   "bin": {
-    "complies-with-eu": "./bin/complies-with-eu.js"
+    "complies-with-eu": "bin/complies-with-eu.js"
   },
   "files": [
     "bin/",
@@ -55,14 +55,14 @@
   "dependencies": {
     "axios": "^1.21.0",
     "chalk": "^4.1.2",
-    "commander": "^12.1.0",
-    "fs-extra": "^11.2.0",
+    "commander": "^14.0.3",
+    "fs-extra": "^11.4.1",
     "inquirer": "^8.2.6",
     "ora": "^5.4.1"
   },
   "devDependencies": {
-    "@eslint/js": "^9.39.5",
-    "eslint": "^9.39.5",
-    "globals": "^15.15.0"
+    "@eslint/js": "^10.0.1",
+    "eslint": "^10.14.0",
+    "globals": "^17.14.0"
   }
 }

package/src/commands/search.js

@@ -8,6 +8,7 @@ const { loadAllSelectionCaches, setWorkdir } = require('../lib/config');
 const { downloadFhirPackage, resolvePackageDir } = require('../lib/fhirPkgTool');
 const { ensureReady, resolveEuPackageDirs } = require('../lib/preflight');
 const { CliError } = require('../lib/errors');
+const { makeProgressLogger } = require('../lib/output');
 const { findAllProfilesInPackage, findEuProfilesByType } = require('../lib/profileUtils');
 const { runValidate } = require('./validate');
 const { resolveCanonicalOnSimplifier } = require('../lib/simplifierResolve');
@@ -17,6 +18,7 @@ const { parsePackageSpec } = require('../lib/validateCore');
 function validateOptions(options, extra = {}) {
   return {
     debug: options.debug,
+    verbose: options.verbose,
     examples: options.examples,
     json: options.json,
     output: options.output,
@@ -29,9 +31,12 @@ function validateOptions(options, extra = {}) {
   };
 }
 
-/** Progress output; stderr with --json so stdout carries only the JSON result. */
-function makeLog(options) {
-  return options.json ? (...a) => process.stderr.write(a.join(' ') + '\n') : (...a) => console.log(...a);
+/**
+ * Progress output: always stderr, the same stream as the ora spinners, so lines
+ * keep their order (stdout carries only the JSON result with --json).
+ */
+function makeLog() {
+  return makeProgressLogger();
 }
 
 /** Prompts render on stderr with --json so stdout carries only the JSON result. */

package/src/commands/validate.js

@@ -15,11 +15,13 @@ const {
   canonicalToSlug,
 } = require('../lib/profileUtils');
 const { runValidator } = require('../lib/javaValidator');
+const { createProgress } = require('../lib/validatorOutput');
 const {
   isServerReady,
   serverHasCanonical,
   startValidatorServer,
   validateBatchViaServer,
+  describeBatchFailure,
 } = require('../lib/javaValidatorServer');
 const { generateExampleReport, appendExampleSummary, mdCell, mdText } = require('../lib/reportGen');
 const {
@@ -35,17 +37,19 @@ const {
 const { loadPackageMapping, savePackageMapping, loadExternalMapping } = require('../lib/mappingFile');
 const { ensureReady, resolveEuPackageDirs } = require('../lib/preflight');
 const { CliError, EXIT, setExitCode, outcomeExitCode } = require('../lib/errors');
+const { makeProgressLogger, makeResultLogger } = require('../lib/output');
 
 // ── Helpers ────────────────────────────────────────────────────────────────
 
 /**
- * Progress logger. In --json mode everything goes to stderr so stdout carries
- * only the final JSON document.
+ * Loggers of a command run:
+ * - `log`: progress, always stderr (the same stream as the ora spinners, so lines
+ *   keep their order when stdout and stderr are captured separately).
+ * - `out`: the final human-readable result, stdout (stderr with --json, where
+ *   stdout carries only the JSON document).
  */
-function makeLogger(options) {
-  return options.json
-    ? (...args) => process.stderr.write(args.join(' ') + '\n')
-    : (...args) => console.log(...args);
+function makeLoggers(options) {
+  return { log: makeProgressLogger(), out: makeResultLogger(options) };
 }
 
 /** True when the user can answer prompts (TTY on stdin and stdout, not --json). */
@@ -69,6 +73,13 @@ function applyCommonOptions(options) {
   if (options.output && !options.json) {
     throw new CliError('--output requires --json.');
   }
+  // --debug implies --verbose (full validator output)
+  if (options.debug) options.verbose = true;
+}
+
+/** Options for runValidator / runValidatorBatch derived from the CLI options. */
+function validatorRunOptions(options) {
+  return { debug: !!options.debug, verbose: !!options.verbose || !!options.debug };
 }
 
 /**
@@ -163,8 +174,8 @@ async function selectEuProfiles({ canonical, discovered, options, log }) {
  * Runs example validation for one profile and writes/links the example report.
  * @returns {Promise<object|null>} JSON summary (see summarizeExamples) or null if no examples
  */
-async function validateExamples({ pkgDir, fhirType, slug, examplesDir, euCanonicals, igIds, canonical, packageSpec, mainReportPath, debug, log }) {
-  const exResult = await runExamplesForProfile({ pkgDir, fhirType, slug, examplesDir, euCanonicals, igIds, debug, log });
+async function validateExamples({ pkgDir, fhirType, slug, examplesDir, euCanonicals, igIds, canonical, packageSpec, mainReportPath, debug, verbose, log }) {
+  const exResult = await runExamplesForProfile({ pkgDir, fhirType, slug, examplesDir, euCanonicals, igIds, debug, verbose, log });
   if (!exResult) return summarizeExamples(null);
   try {
     await generateExampleReport({
@@ -191,7 +202,7 @@ async function validateExamples({ pkgDir, fhirType, slug, examplesDir, euCanonic
 
 async function runValidate(pkg, canonical, options = {}) {
   applyCommonOptions(options);
-  const log = makeLogger(options);
+  const { log, out } = makeLoggers(options);
 
   log(chalk.bold('\ncomplies-with-eu validate\n'));
   if (!options._preflightDone) await ensureReady();
@@ -279,10 +290,10 @@ async function runValidate(pkg, canonical, options = {}) {
   }
 
   // 7. Run FHIR Java Validator
-  log(chalk.bold('\nRunning FHIR Java Validator...\n'));
+  log('');
   let parsed, mode;
   try {
-    ({ parsed, mode } = await runValidator(modifiedProfilePath, igIds, !!options.debug));
+    ({ parsed, mode } = await runValidator(modifiedProfilePath, igIds, validatorRunOptions(options)));
   } catch (err) {
     throw new CliError(`Validator failed: ${err.message}`);
   }
@@ -325,6 +336,7 @@ async function runValidate(pkg, canonical, options = {}) {
       packageSpec,
       mainReportPath: reportPath,
       debug: !!options.debug,
+      verbose: !!options.verbose,
       log,
     });
     if (examples.reportPath) {
@@ -353,13 +365,13 @@ async function runValidate(pkg, canonical, options = {}) {
     };
     await emitJson(options, jsonResult, log);
   } else {
-    console.log(chalk.bold.green('\nDone!\n'));
+    out(chalk.bold.green('\nDone!\n'));
     for (const c of compliance) {
-      console.log(`  ${c.pass ? chalk.green('PASS') : chalk.red('FAIL')}  ${c.euCanonical}`);
+      out(`  ${c.pass ? chalk.green('PASS') : chalk.red('FAIL')}  ${c.euCanonical}`);
     }
   }
 
-  log(`\n  Report: ${reportPath}\n`);
+  out(`\n  Report: ${reportPath}\n`);
   setExitCode(outcomeExitCode({ failOnNoncompliant: options.failOnNoncompliant, nonCompliant }));
   return { compliance, pass, reportPath };
 }
@@ -376,7 +388,7 @@ async function runValidate(pkg, canonical, options = {}) {
  */
 async function runValidateBatchFile(jsonFile, options = {}) {
   applyCommonOptions(options);
-  const log = makeLogger(options);
+  const { log, out } = makeLoggers(options);
   log(chalk.bold('\ncomplies-with-eu validate-batch (todo file)\n'));
   await ensureReady();
 
@@ -422,6 +434,7 @@ async function runValidateBatchFile(jsonFile, options = {}) {
   const fail = async (task, message) => {
     const { canonical, packageSpec, slug } = task;
     const reportPath = await writeErrorReport(slug, canonical, packageSpec, message);
+    log(chalk.red(`  ${message}`));
     log(chalk.red(`  Error report: ${reportPath}`));
     results.failed++;
     results.reports.push({ canonical, packageSpec, reportPath, error: true, errorMessage: message, pass: false, compliance: [] });
@@ -509,13 +522,11 @@ async function runValidateBatchFile(jsonFile, options = {}) {
     }
 
     // ── Step 5: Run FHIR Java Validator ───────────────────────────────────
-    const spinner = ora('  Validating...').start();
+    // runValidator shows its own progress (or the full output with --verbose)
     let parsed;
     try {
-      ({ parsed } = await runValidator(modifiedProfilePath, igIds, !!options.debug));
-      spinner.succeed('Validation complete');
+      ({ parsed } = await runValidator(modifiedProfilePath, igIds, validatorRunOptions(options)));
     } catch (err) {
-      spinner.fail('Validator failed');
       await fail(task, `FHIR Java Validator failed: ${err.message}`);
       continue;
     }
@@ -559,6 +570,7 @@ async function runValidateBatchFile(jsonFile, options = {}) {
         packageSpec,
         mainReportPath: reportPath,
         debug: !!options.debug,
+        verbose: !!options.verbose,
         log,
       });
       if (entry.examples.reportPath) log(chalk.green(`  Examples report: ${entry.examples.reportPath}`));
@@ -569,21 +581,21 @@ async function runValidateBatchFile(jsonFile, options = {}) {
   const compliant = results.reports.filter(r => !r.error && r.pass).length;
 
   // ── Final summary ─────────────────────────────────────────────────────────
-  log(chalk.bold('\n══════════════════════════════════════════'));
-  log(chalk.bold('  Batch validation complete'));
-  log(chalk.bold('══════════════════════════════════════════\n'));
-  log(`  Total:          ${tasks.length}`);
-  log(chalk.green(`  Processed:      ${results.success} (${compliant} compliant, ${nonCompliant} non-compliant)`));
+  out(chalk.bold('\n══════════════════════════════════════════'));
+  out(chalk.bold('  Batch validation complete'));
+  out(chalk.bold('══════════════════════════════════════════\n'));
+  out(`  Total:          ${tasks.length}`);
+  out(chalk.green(`  Processed:      ${results.success} (${compliant} compliant, ${nonCompliant} non-compliant)`));
   if (results.failed > 0) {
-    log(chalk.red(`  Errors:         ${results.failed}`));
+    out(chalk.red(`  Errors:         ${results.failed}`));
   }
-  log('');
+  out('');
   for (const r of results.reports) {
     const icon = r.error ? chalk.red('ERROR') : (r.pass ? chalk.green('PASS ') : chalk.yellow('FAIL '));
     const label = r.canonical.split('/').pop().padEnd(60);
-    log(`  ${icon} ${label} → ${r.reportPath}`);
+    out(`  ${icon} ${label} → ${r.reportPath}`);
   }
-  log(`\n  Reports: ${getWorkdir()}\n`);
+  out(`\n  Reports: ${getWorkdir()}\n`);
 
   if (options.json) {
     await emitJson(options, {
@@ -739,7 +751,8 @@ async function discoverAndResolveMapping(pkgDir, euPackageDirs, pkgWorkdir, opti
  * validator server. Never reuses an unknown responder: a validator loaded with
  * other IGs would silently produce wrong verdicts.
  */
-async function acquireLocalServer({ options, igIds, verifyCanonical, log }) {
+async function acquireLocalServer({ options, igIds, verifyCanonical, log, logFile = null }) {
+  const serverOpts = { igIds, debug: !!options.debug, verbose: !!options.verbose, logFile };
   const explicit = options.serverPort || process.env.VALIDATOR_SERVER_PORT;
   if (explicit) {
     const port = parseInt(explicit, 10);
@@ -757,10 +770,10 @@ async function acquireLocalServer({ options, igIds, verifyCanonical, log }) {
       );
     }
     log(chalk.cyan(`  Starting local validator server on port ${port}...`));
-    return startValidatorServer({ igIds, port, debug: !!options.debug });
+    return startValidatorServer({ ...serverOpts, port });
   }
   log(chalk.cyan('  Starting local validator server on a free port...'));
-  return startValidatorServer({ igIds, debug: !!options.debug });
+  return startValidatorServer(serverOpts);
 }
 
 /**
@@ -772,7 +785,7 @@ async function acquireLocalServer({ options, igIds, verifyCanonical, log }) {
  */
 async function runValidatePackage(pkgInput, options = {}) {
   applyCommonOptions(options);
-  const log = makeLogger(options);
+  const { log, out } = makeLoggers(options);
 
   log(chalk.bold('\ncomplies-with-eu validate-batch (package mode)\n'));
   await ensureReady();
@@ -860,15 +873,15 @@ async function runValidatePackage(pkgInput, options = {}) {
       }, log);
     }
 
-    log(chalk.bold('\n══════════════════════════════════════════'));
-    log(chalk.bold('  Package Validation Complete'));
-    log(chalk.bold('══════════════════════════════════════════\n'));
-    log(`  Total:          ${summary.total}`);
-    log(chalk.green(`  Compliant:      ${compliant}`));
-    if (nonCompliant > 0) log(chalk.yellow(`  Non-compliant:  ${nonCompliant}`));
-    if (errored > 0) log(chalk.red(`  Errors:         ${errored}`));
-    log(`\n  Package report: ${packageReportPath}`);
-    log(`  Artifacts:      ${pkgWorkdir}\n`);
+    out(chalk.bold('\n══════════════════════════════════════════'));
+    out(chalk.bold('  Package Validation Complete'));
+    out(chalk.bold('══════════════════════════════════════════\n'));
+    out(`  Total:          ${summary.total}`);
+    out(chalk.green(`  Compliant:      ${compliant}`));
+    if (nonCompliant > 0) out(chalk.yellow(`  Non-compliant:  ${nonCompliant}`));
+    if (errored > 0) out(chalk.red(`  Errors:         ${errored}`));
+    out(`\n  Package report: ${packageReportPath}`);
+    out(`  Artifacts:      ${pkgWorkdir}\n`);
 
     setExitCode(outcomeExitCode({ failOnNoncompliant: options.failOnNoncompliant, nonCompliant, errored }));
   };
@@ -956,11 +969,34 @@ async function runValidatePackage(pkgInput, options = {}) {
   let batchResults;
   let server = null;
   try {
-    server = await acquireLocalServer({ options, igIds, verifyCanonical: prepared[0].canonical, log });
-    log(chalk.green(`  Validator server ready on port ${server.port}\n`));
+    server = await acquireLocalServer({
+      options,
+      igIds,
+      verifyCanonical: prepared[0].canonical,
+      log,
+      logFile: path.join(pkgWorkdir, 'validator-server.log'),
+    });
     const files = prepared.map(p => path.basename(p.modifiedProfilePath));
-    ({ results: batchResults } = await validateBatchViaServer(server.port, modifiedDir, files));
-    log(chalk.green('  Validator batch completed\n'));
+    const progress = createProgress({ text: `Validating ${files.length} profile(s) via the validator server`, verbose: !!options.verbose });
+    try {
+      ({ results: batchResults } = await validateBatchViaServer(server.port, modifiedDir, files));
+    } catch (err) {
+      progress.fail('Validator batch failed');
+      throw err;
+    }
+    // A server that crashed or hung mid-batch does not throw: every request just
+    // fails (ECONNREFUSED, socket hang up). Explain it with exit code, output tail and log path.
+    const failure = await describeBatchFailure(server, batchResults);
+    if (failure) {
+      progress.fail(failure.dead
+        ? `Validator server exited during the batch (${failure.failed} of ${failure.total} profile(s) without result)`
+        : `Validator batch completed with errors (${failure.failed} of ${failure.total} profile(s) without result)`);
+      log(chalk.red(failure.message));
+      batchResults = batchResults.map(r => (r.error ? { ...r, error: `${r.error}; ${failure.short}` } : r));
+    } else {
+      progress.succeed(`Validator batch completed (${files.length} profile(s))`);
+    }
+    log('');
   } catch (err) {
     if (err instanceof CliError) throw err;
     throw new CliError(`Validator server failed: ${err.message}`);
@@ -1027,6 +1063,7 @@ async function runValidatePackage(pkgInput, options = {}) {
         packageSpec,
         mainReportPath: entry && !entry.error ? entry.reportPath : null,
         debug: !!options.debug,
+        verbose: !!options.verbose,
         log,
       });
       if (entry) entry.examples = examples;

package/src/lib/constraintCheck.js

@@ -54,6 +54,24 @@ function findConstraintBasePath(euSd, expr) {
   return null;
 }
 
+/**
+ * Returns the distinct element paths of the EU SD that declare a constraint with
+ * the given expression (snapshot; the differential only when there is no snapshot).
+ *
+ * @param {object} euSd
+ * @param {string} expr
+ * @returns {string[]}
+ */
+function findConstraintPaths(euSd, expr) {
+  const snapshotEls = euSd?.snapshot?.element ?? [];
+  const elements = snapshotEls.length > 0 ? snapshotEls : (euSd?.differential?.element ?? []);
+  const paths = new Set();
+  for (const el of elements) {
+    if ((el.constraint ?? []).some(c => c.expression === expr) && el.path) paths.add(el.path);
+  }
+  return [...paths];
+}
+
 /**
  * Checks whether at least one term of `{ paths, extensionUrls }` is structurally guaranteed
  * by `min >= 1` in the input SD's elements under `basePath`.
@@ -229,6 +247,7 @@ module.exports = {
   loadEuSds,
   parseExistsOrExpression,
   findConstraintBasePath,
+  findConstraintPaths,
   isSatisfiedInInputSnapshot,
   isIgnoredSlicingDetail,
 };