@nielspeter/eess-ts 0.2.1 → 0.4.0

package/dist/cli/commands/check.js

@@ -1,75 +1,271 @@
-import { detectFormat, applyFixes } from '@nielspeter/eess';
-import { withBaseline } from '@nielspeter/eess';
-import { diffAware } from '@nielspeter/eess';
-import { ArchRuleError } from '@nielspeter/eess';
+import { applyFixes, detectFormat } from '@nielspeter/eess';
+import { withBaseline } from '../../helpers/baseline.js';
+import { diffAware } from '../../helpers/diff-aware.js';
+import { isArchRuleError } from '@nielspeter/eess';
+import { withCallerAggregating, violationsWritten, writeReport } from '../../core/execute-rule.js';
+import { suppressionNotice } from '@nielspeter/eess';
+import { edgeCoverageNotice, resetEdgeCoverage, untestedRules } from '@nielspeter/eess';
+import { commentSuppressionNotice, resetCommentSuppression } from '@nielspeter/eess';
+import { writeStderr } from '@nielspeter/eess';
 import { loadRuleFiles } from '../load-rules.js';
+import { dedupeConfigFindings } from '@nielspeter/eess';
+import { attributeToRuleFile, baselineNotApplied, failureOrViolations, ruleFileContributedNoRules, ruleFileTruncated, } from '../rule-file-findings.js';
 /**
  * Run architecture rules from the specified rule files.
  *
- * Wraps existing programmatic APIs: withBaseline, diffAware, detectFormat.
+ * Unified pipeline (plan 0060): collect `.violations()` across every builder
+ * (each stamped with its severity), apply baseline/diff, report ONCE, and set
+ * the exit code from the error-severity count. Warns are reported but do not
+ * fail. A rule file that throws `ArchRuleError` on import (a bare self-executing
+ * preset call) is handled by a best-effort catch — error-severity only.
  */
 export async function runCheck(args) {
+    // Per run: the tally is module state (the `diff-disclosure` pattern), and a
+    // second `runCheck` in one process — the CLI's watch loop, or a test — must
+    // not inherit the first run's rules.
+    resetEdgeCoverage();
+    resetCommentSuppression();
     const started = Date.now();
     const format = args.format === 'auto' ? detectFormat() : args.format;
-    const options = { format };
-    if (args.baseline !== undefined) {
-        options.baseline = withBaseline(args.baseline);
-    }
-    if (args.changed) {
-        options.diff = diffAware(args.base);
-    }
-    const builders = await loadRuleFiles(args.ruleFiles, { fresh: args.fresh });
+    // `--fix` short-circuits the reporting pipeline: it renders what it changed
+    // (or would change) instead of the findings, and its exit code is the count
+    // of violations that have NO automatic fix — the real remaining failures.
+    // eess's own capability (plan 0066); upstream has no equivalent and plan
+    // 0165's engine copy dropped it. Restored in Phase 3.
     if (args.fix === true) {
-        return runFix(builders, options, args.apply === true);
+        const builders = await loadRuleFiles(args.ruleFiles, { fresh: args.fresh });
+        return runFix(builders, { format }, args.apply === true);
     }
-    let failures = 0;
-    for (const builder of builders) {
+    // This command reports once, at the end, across every rule file. So a
+    // self-executing rule file's own terminals must not also write the findings that
+    // travel on their thrown error — see `withCallerAggregating`.
+    //
+    // A SCOPED extent, not a latch. It used to be a bare
+    // a bare flag-set that nothing ever reset, which was harmless
+    // while `executeCheck` was the only reader and stopped being harmless the moment
+    // presets and `checkAll()` read it too: a preset called directly after a
+    // `runCheck` in the same process went silent for the rest of that process.
+    return withCallerAggregating(async () => runCheckInner(args, format, started));
+}
+async function runCheckInner(args, format, started) {
+    const baseline = args.baseline !== undefined ? withBaseline(args.baseline) : undefined;
+    const diff = args.changed ? diffAware(args.base) : undefined;
+    let collected = [];
+    const total = args.ruleFiles.length;
+    // The denominator for the summary line below. Accumulated here rather than
+    // derived from `collected`, which counts violations and cannot distinguish
+    // "20 rules, none failing" from "no rules loaded" — the whole point of the line.
+    let ruleCount = 0;
+    let failedRules = 0;
+    for (const file of args.ruleFiles) {
+        // TWO catches, at the two boundaries that can fail independently. Loading is
+        // per file and can only be attributed to the file; evaluating is per builder,
+        // so a single malformed rule must not take its twenty siblings in the same
+        // file down with it — which one catch around the whole file would do
+        // (bug 0025).
+        let builders;
+        // Read before the module evaluates, so the delta below describes THIS file.
+        const writtenBefore = violationsWritten();
         try {
-            builder.check(options);
+            builders = await loadRuleFiles([file], { fresh: args.fresh });
         }
         catch (error) {
-            if (error instanceof ArchRuleError) {
-                failures++;
+            // A user rule file that self-executes a throwing `.check()` at import
+            // surfaces its violations rather than crashing. (Presets no longer throw
+            // at import — they return builders.)
+            collected.push(...failureOrViolations(file, error, total));
+            // …and, for a thrown TERMINAL, say that the file stopped there — the part R3a
+            // specified and did not build (bug 0029). A throw during import aborts the
+            // module, so any rule declared after it never ran and its violations are not
+            // in this report, while the run is red for the thrown finding so nothing else
+            // reveals the gap.
+            //
+            // **Only for an `ArchRuleError`**, which is the signal that a terminal fired:
+            // rules before it DID run and report, rules after did not. For any other error
+            // — a syntax error, a missing dependency — nothing ran at all, and
+            // `ruleFileFailure` already says the file could not be evaluated. Adding
+            // "the rules after this never ran" there would imply some had, and point at a
+            // "finding above" that is an error rather than a finding. Three of bug 0025's
+            // own tests caught exactly that when this fired unconditionally.
+            //
+            // Only at THIS boundary either way. A throw from `builder.violations()` below
+            // happens after the module finished, so nothing was truncated, and the
+            // `export default [rule1, rule2]` shape never reaches here at all — an array
+            // export builds every rule before any of them runs.
+            if (isArchRuleError(error)) {
+                collected.push(ruleFileTruncated(file, total));
+                // Bug 0199 — the same boundary, the other consequence.
+                //
+                // `failureOrViolations` above DID collect this error's violations and
+                // `baseline.filterNew` below DOES filter them. What escaped is the rule
+                // file's OWN printing: `executeCheck` calls `writeReport` unconditionally
+                // one line before it throws (`core/execute-rule.ts`), so a `.check()`
+                // at module scope prints its findings before the CLI can filter anything.
+                // the aggregation flag does not stop it — that flag is read only by
+                // `executeWarn` (`:526`). Root cause is bug 0201.
+                //
+                // **Only when something was actually printed.** `executeWarn` throws the
+                // same error type, and when the CLI is aggregating it writes only the
+                // non-`bypassFilters` entries — for a configuration finding that is
+                // nothing at all. Firing on the bare `isArchRuleError` condition claimed a
+                // leak that did not happen, over a finding whose own text says a baseline
+                // can never suppress it: ADR-009 rule 2, a failure asserting a cause it
+                // cannot verify. Measured by review; `it('does not fire when the throw
+                // carried nothing the rule file could print')` holds it.
+                //
+                // **Only when output actually leaked**, measured rather than inferred.
+                //
+                // More than two paths reach this catch and they do not agree on whether
+                // they printed: a `.check()` (silent since bug 0201), a preset via the
+                // kernel's `reportViolations`, `checkAll()`, and a `.warn()` with a live
+                // selector. So the notice asks the only question it may assert — *did
+                // anything emit while this module was loading?* — by reading a delta over
+                // both emitters.
+                //
+                // **The first version inverted this and it was a measured defect.** It
+                // counted the writes `executeCheck` SUPPRESSED and read the absence of a
+                // suppression as "nothing leaked". A file that suppresses one terminal
+                // while leaking through another satisfies that and leaks: measured, a
+                // `report: 'warn'` preset beside a silenced `.check()` leaked 7 violation
+                // blocks in total silence. A silence built on a stale signal is worse than
+                // the false claim it replaced, because the run says nothing at all.
+                const leaked = violationsWritten() > writtenBefore;
+                const printedUnfiltered = error.violations.some((v) => v.bypassFilters !== true);
+                const filtering = args.baseline !== undefined || args.changed;
+                if (filtering && printedUnfiltered && leaked) {
+                    collected.push(baselineNotApplied(file, { baseline: args.baseline, changed: args.changed }));
+                }
             }
-            else {
-                throw error;
+            failedRules++;
+            continue;
+        }
+        // A file that loaded cleanly and produced nothing is the alarm value the
+        // summary line exists to print — and `check` used to print `✓ … 0 rules` over
+        // it while `doctor` refused the same file. See `ruleFileContributedNoRules`.
+        if (builders.length === 0) {
+            collected.push(ruleFileContributedNoRules(file));
+            failedRules++;
+        }
+        ruleCount += builders.length;
+        for (const builder of builders) {
+            try {
+                // Attributed here, where the rule file is known. A builder cannot do it
+                // — the same builder is legal in a test file, where vitest supplies the
+                // frame instead (bug 0026).
+                const found = attributeToRuleFile(builder.violations(), file);
+                if (found.length > 0)
+                    failedRules++;
+                collected.push(...found);
+            }
+            catch (error) {
+                failedRules++;
+                collected.push(...failureOrViolations(file, error, total));
             }
         }
     }
+    // One option, one finding (plan 0074) — after the per-file loop, because the
+    // key includes the rule file: two files with the same bad preset option are
+    // two edits and must both be reported.
+    collected = dedupeConfigFindings(collected);
+    let filtered = collected;
+    if (baseline)
+        filtered = baseline.filterNew(filtered);
+    // The one surface that can count. `filterToChanged` runs once here over every
+    // collected violation, so `before - after` is the whole run's suppression —
+    // unlike the per-rule terminals, which see one rule each (plan 0071,
+    // `core/diff-disclosure.ts`). Derived by subtraction rather than asked of the
+    // filter, so it holds for a caller-supplied `DiffFilterLike` too.
+    let notice;
+    if (diff) {
+        const before = filtered.length;
+        filtered = diff.filterToChanged(filtered);
+        notice = suppressionNotice(before - filtered.length, diff.size, diff.baseBranch);
+        if (notice !== undefined)
+            writeStderr(notice);
+    }
+    // writeReport handles empties: json always emits one document (so a clean run
+    // is still parseable), terminal/github emit nothing. The notice rides along as
+    // `summary.reason` so a `--format json` consumer reading only stdout still
+    // learns the report is partial — stderr and stdout are different streams, and
+    // an agent piping one of them would otherwise see `total: 0` and stop.
+    // `reason` is rendered as each violation's "Why:" line on the terminal path
+    // (`format.ts`: `v.because ?? reason`), so a RUN-level notice must not travel
+    // that way — it would appear as the justification for an unrelated finding.
+    // `summary.reason` in JSON is genuinely run-level, so it goes there, and
+    // stderr carries it for every other format. Found by sabotage: removing the
+    // `writeStderr` call left the tests green because the notice was reaching
+    // stderr through the "Why:" line instead.
+    writeReport(filtered, format, format === 'json' ? notice : undefined, untestedRules());
+    // Bug 0015, and it goes AFTER the report so it reads as a footnote rather than
+    // as part of the findings. JSON carries the same information structurally in
+    // `summary.untestedAllowlists`, so emitting the prose there too would duplicate
+    // it into a document a consumer parses.
+    if (format !== 'json') {
+        const coverage = edgeCoverageNotice();
+        if (coverage !== undefined)
+            writeStderr(`${coverage}\n`);
+    }
+    // Inline exclusion comments, same footnote position and the same reason. Kept
+    // out of the JSON prose for the same reason coverage is: a consumer parsing
+    // that document gets the identities structurally, not as a sentence to grep.
+    if (format !== 'json') {
+        const suppressed = commentSuppressionNotice();
+        if (suppressed !== undefined)
+            writeStderr(`${suppressed}\n`);
+    }
     // Report the denominator so a fast green is provably non-vacuous, not silence.
     // Terminal only — JSON/GitHub-annotation output on stdout stays machine-clean.
+    //
+    // Present on `main` and dropped by plan 0165's engine copy (`9489684`), which
+    // overwrote this file wholesale. Restored here rather than treated as the
+    // never-had-it gap bug 0174 filed it as: published `eess-ts@0.2.1` ships it,
+    // so its absence was a regression, and a green run that prints nothing cannot
+    // be told apart from a run that loaded no rules — the ADR-009/010 failure this
+    // package exists to prevent, arriving through its own CLI.
     if (format === 'terminal') {
         const ms = Date.now() - started;
-        const time = ms < 1000 ? `${ms}ms` : `${(ms / 1000).toFixed(2)}s`;
-        const rules = builders.length;
-        const files = args.ruleFiles.length;
-        const scope = `${rules} rule${rules === 1 ? '' : 's'} across ${files} file${files === 1 ? '' : 's'}`;
-        process.stderr.write(failures === 0
-            ? `\n✓ eess-ts — ${scope} · 0 failing (${time})\n`
-            : `\n✗ eess-ts — ${failures} of ${scope} failing (${time})\n`);
-    }
-    return failures;
-}
-/** Collect a builder's violations without printing (prefers `.violations()`). */
-function collectViolations(builder, options) {
-    if (typeof builder.violations === 'function')
-        return builder.violations();
-    try {
-        builder.check(options);
-        return [];
-    }
-    catch (error) {
-        if (error instanceof ArchRuleError)
-            return error.violations;
-        throw error;
+        const time = ms < 1000 ? `${String(ms)}ms` : `${(ms / 1000).toFixed(2)}s`;
+        const scope = `${String(ruleCount)} rule${ruleCount === 1 ? '' : 's'} across ${String(total)} file${total === 1 ? '' : 's'}`;
+        // **The symbol is computed from exactly what the exit code is computed from**
+        // — the error-severity count after filtering. Two ways this line lied before,
+        // both measured on the documented on-ramp:
+        //
+        //  - keyed on the RAW failure tally, a baseline that suppressed everything
+        //    printed `✗ … · 0 violations` beside `exit 0`;
+        //  - keyed on `filtered.length`, a warn-only run printed `✗` beside `exit 0`,
+        //    because warnings are advisory and never fail (which the scaffold's own
+        //    output tells the adopter).
+        //
+        // The symbol, the count and the exit code are three renderings of one fact.
+        // Warnings are disclosed alongside rather than folded in or dropped — a run
+        // with warnings is not failing, and is not the same as a silent one.
+        //
+        // `failedRules` is still counted because it answers a different question —
+        // how many RULES failed, versus how many violations there were — and a run
+        // where one rule produced forty is worth telling apart from forty rules
+        // producing one each.
+        const errors = filtered.filter((v) => (v.severity ?? 'error') === 'error').length;
+        const warns = filtered.length - errors;
+        const warnNote = warns === 0 ? '' : ` · ${String(warns)} warning${warns === 1 ? '' : 's'}`;
+        writeStderr(errors === 0
+            ? `\n✓ eess-ts — ${scope} · 0 failing${warnNote} (${time})\n`
+            : `\n✗ eess-ts — ${scope} · ${String(failedRules)} of ${String(ruleCount)} rule${ruleCount === 1 ? '' : 's'} failing · ${String(errors)} violation${errors === 1 ? '' : 's'}${warnNote} (${time})\n`);
     }
+    // Exit code = error-severity count; warns are reported but never fail.
+    return filtered.filter((v) => (v.severity ?? 'error') === 'error').length;
 }
 /**
  * Apply deterministic fixes (plan 0066). Dry-run unless `write`. Returns the
- * count of violations that have no automatic fix (the real remaining failures).
+ * count of violations that have no automatic fix.
+ *
+ * The remaining-count IS the exit code, deliberately: a run that fixed
+ * everything it could and still leaves real findings must not exit 0 just
+ * because it did some work. `applyFixes` skips overlapping edits rather than
+ * guessing, and says how many it skipped — a silently-dropped edit would leave
+ * the file half-repaired with a green run to match.
  */
 function runFix(builders, options, write) {
-    const all = builders.flatMap((b) => collectViolations(b, options));
+    const all = builders.flatMap((b) => b.violations());
     const fixable = all.filter((v) => v.fix !== undefined);
     const result = applyFixes(fixable, { write });
     const header = write

package/dist/cli/commands/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAE5C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,aAAa,EAAwB,MAAM,kBAAkB,CAAA;AAiBtE;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAe;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAiB,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAA;IAElF,MAAM,OAAO,GAAiB,EAAE,MAAM,EAAE,CAAA;IAExC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,OAAO,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;IAE3E,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;IACvD,CAAC;IAED,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,IAAI,KAAK,YAAY,aAAa,EAAE,CAAC;gBACnC,QAAQ,EAAE,CAAA;YACZ,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,CAAA;YACb,CAAC;QACH,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,+EAA+E;IAC/E,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAA;QAC/B,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAA;QACjE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAA;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAA;QACnC,MAAM,KAAK,GAAG,GAAG,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;QACpG,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,QAAQ,KAAK,CAAC;YACZ,CAAC,CAAC,iBAAiB,KAAK,iBAAiB,IAAI,KAAK;YAClD,CAAC,CAAC,iBAAiB,QAAQ,OAAO,KAAK,aAAa,IAAI,KAAK,CAChE,CAAA;IACH,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,iFAAiF;AACjF,SAAS,iBAAiB,CAAC,OAAwB,EAAE,OAAqB;IACxE,IAAI,OAAO,OAAO,CAAC,UAAU,KAAK,UAAU;QAAE,OAAO,OAAO,CAAC,UAAU,EAAE,CAAA;IACzE,IAAI,CAAC;QACH,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QACtB,OAAO,EAAE,CAAA;IACX,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,IAAI,KAAK,YAAY,aAAa;YAAE,OAAO,KAAK,CAAC,UAAU,CAAA;QAC3D,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CAAC,QAA2B,EAAE,OAAqB,EAAE,KAAc;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;IAClE,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IAE7C,MAAM,MAAM,GAAG,KAAK;QAClB,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,iDAAiD,CAAA;IACrD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY;QACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,CAAA;IACpE,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,OAAO,qDAAqD,CAAC,CAAA;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAA;IAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,OAAO,YAAY,IAAI,WAAW,MAAM,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,CAAA;IAEjG,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAA;IACxD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,MAAM,+CAA+C,CAAC,CAAA;QACxF,KAAK,MAAM,CAAC,IAAI,SAAS;YACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAA;AACzB,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAA;AAGvD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAClG,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACvF,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAA;AACpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,0BAA0B,EAC1B,iBAAiB,GAClB,MAAM,0BAA0B,CAAA;AAgBjC;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAe;IAC5C,4EAA4E;IAC5E,4EAA4E;IAC5E,qCAAqC;IACrC,iBAAiB,EAAE,CAAA;IACnB,uBAAuB,EAAE,CAAA;IACzB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAiB,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAA;IAElF,4EAA4E;IAC5E,4EAA4E;IAC5E,0EAA0E;IAC1E,yEAAyE;IACzE,sDAAsD;IACtD,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;QAC3E,OAAO,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;IAC1D,CAAC;IACD,sEAAsE;IACtE,iFAAiF;IACjF,8DAA8D;IAC9D,EAAE;IACF,qDAAqD;IACrD,8DAA8D;IAC9D,iFAAiF;IACjF,yEAAyE;IACzE,2EAA2E;IAC3E,OAAO,qBAAqB,CAAC,KAAK,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAChF,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,IAAe,EACf,MAAoB,EACpB,OAAe;IAEf,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5D,IAAI,SAAS,GAAoB,EAAE,CAAA;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAA;IACnC,2EAA2E;IAC3E,2EAA2E;IAC3E,iFAAiF;IACjF,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAClC,6EAA6E;QAC7E,8EAA8E;QAC9E,2EAA2E;QAC3E,qEAAqE;QACrE,cAAc;QACd,IAAI,QAAQ,CAAA;QACZ,4EAA4E;QAC5E,MAAM,aAAa,GAAG,iBAAiB,EAAE,CAAA;QACzC,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;QAC/D,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,sEAAsE;YACtE,yEAAyE;YACzE,qCAAqC;YACrC,SAAS,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;YAC1D,8EAA8E;YAC9E,2EAA2E;YAC3E,6EAA6E;YAC7E,8EAA8E;YAC9E,mBAAmB;YACnB,EAAE;YACF,8EAA8E;YAC9E,+EAA+E;YAC/E,mEAAmE;YACnE,yEAAyE;YACzE,8EAA8E;YAC9E,8EAA8E;YAC9E,iEAAiE;YACjE,EAAE;YACF,8EAA8E;YAC9E,uEAAuE;YACvE,6EAA6E;YAC7E,oDAAoD;YACpD,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;gBAC9C,uDAAuD;gBACvD,EAAE;gBACF,sEAAsE;gBACtE,wEAAwE;gBACxE,0EAA0E;gBAC1E,sEAAsE;gBACtE,0EAA0E;gBAC1E,oEAAoE;gBACpE,kDAAkD;gBAClD,EAAE;gBACF,yEAAyE;gBACzE,sEAAsE;gBACtE,oEAAoE;gBACpE,2EAA2E;gBAC3E,0EAA0E;gBAC1E,wEAAwE;gBACxE,uEAAuE;gBACvE,yDAAyD;gBACzD,EAAE;gBACF,uEAAuE;gBACvE,EAAE;gBACF,wEAAwE;gBACxE,uEAAuE;gBACvE,yEAAyE;gBACzE,sEAAsE;gBACtE,0EAA0E;gBAC1E,iBAAiB;gBACjB,EAAE;gBACF,uEAAuE;gBACvE,yEAAyE;gBACzE,uEAAuE;gBACvE,sEAAsE;gBACtE,0EAA0E;gBAC1E,2EAA2E;gBAC3E,oEAAoE;gBACpE,MAAM,MAAM,GAAG,iBAAiB,EAAE,GAAG,aAAa,CAAA;gBAClD,MAAM,iBAAiB,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,CAAA;gBAChF,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAA;gBAC7D,IAAI,SAAS,IAAI,iBAAiB,IAAI,MAAM,EAAE,CAAC;oBAC7C,SAAS,CAAC,IAAI,CACZ,kBAAkB,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAC7E,CAAA;gBACH,CAAC;YACH,CAAC;YACD,WAAW,EAAE,CAAA;YACb,SAAQ;QACV,CAAC;QACD,yEAAyE;QACzE,8EAA8E;QAC9E,6EAA6E;QAC7E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAA;YAChD,WAAW,EAAE,CAAA;QACf,CAAC;QACD,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAA;QAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACH,wEAAwE;gBACxE,wEAAwE;gBACxE,4BAA4B;gBAC5B,MAAM,KAAK,GAAG,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,CAAA;gBAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,WAAW,EAAE,CAAA;gBACnC,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAA;YAC1B,CAAC;YAAC,OAAO,KAAc,EAAE,CAAC;gBACxB,WAAW,EAAE,CAAA;gBACb,SAAS,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,4EAA4E;IAC5E,uCAAuC;IACvC,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAE3C,IAAI,QAAQ,GAAG,SAAS,CAAA;IACxB,IAAI,QAAQ;QAAE,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;IAErD,8EAA8E;IAC9E,4EAA4E;IAC5E,qEAAqE;IACrE,8EAA8E;IAC9E,kEAAkE;IAClE,IAAI,MAA0B,CAAA;IAC9B,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAA;QAC9B,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAA;QACzC,MAAM,GAAG,iBAAiB,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;QAChF,IAAI,MAAM,KAAK,SAAS;YAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC/C,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,2EAA2E;IAC3E,8EAA8E;IAC9E,uEAAuE;IACvE,4EAA4E;IAC5E,8EAA8E;IAC9E,4EAA4E;IAC5E,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,0CAA0C;IAC1C,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC,CAAA;IAEtF,+EAA+E;IAC/E,6EAA6E;IAC7E,gFAAgF;IAChF,wCAAwC;IACxC,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,kBAAkB,EAAE,CAAA;QACrC,IAAI,QAAQ,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,QAAQ,IAAI,CAAC,CAAA;IAC1D,CAAC;IAED,8EAA8E;IAC9E,4EAA4E;IAC5E,6EAA6E;IAC7E,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,wBAAwB,EAAE,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,UAAU,IAAI,CAAC,CAAA;IAC9D,CAAC;IAED,+EAA+E;IAC/E,+EAA+E;IAC/E,EAAE;IACF,8EAA8E;IAC9E,0EAA0E;IAC1E,6EAA6E;IAC7E,8EAA8E;IAC9E,+EAA+E;IAC/E,2DAA2D;IAC3D,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAA;QAC/B,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAA;QACzE,MAAM,KAAK,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;QAC5H,8EAA8E;QAC9E,8EAA8E;QAC9E,2CAA2C;QAC3C,EAAE;QACF,2EAA2E;QAC3E,mDAAmD;QACnD,8EAA8E;QAC9E,4EAA4E;QAC5E,gCAAgC;QAChC,EAAE;QACF,4EAA4E;QAC5E,4EAA4E;QAC5E,qEAAqE;QACrE,EAAE;QACF,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,sBAAsB;QACtB,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC,MAAM,CAAA;QACjF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAA;QACtC,MAAM,QAAQ,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;QAC1F,WAAW,CACT,MAAM,KAAK,CAAC;YACV,CAAC,CAAC,iBAAiB,KAAK,eAAe,QAAQ,KAAK,IAAI,KAAK;YAC7D,CAAC,CAAC,iBAAiB,KAAK,MAAM,MAAM,CAAC,WAAW,CAAC,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,cAAc,MAAM,CAAC,MAAM,CAAC,aAAa,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,KAAK,IAAI,KAAK,CACvM,CAAA;IACH,CAAC;IAED,uEAAuE;IACvE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC,MAAM,CAAA;AAC3E,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,MAAM,CAAC,QAA2B,EAAE,OAAqB,EAAE,KAAc;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IAE7C,MAAM,MAAM,GAAG,KAAK;QAClB,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,iDAAiD,CAAA;IACrD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY;QACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,CAAA;IACpE,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,OAAO,qDAAqD,CAAC,CAAA;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAA;IAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,OAAO,YAAY,IAAI,WAAW,MAAM,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,CAAA;IAEjG,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAA;IACxD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,MAAM,+CAA+C,CAAC,CAAA;QACxF,KAAK,MAAM,CAAC,IAAI,SAAS;YACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAA;AACzB,CAAC"}

package/dist/cli/commands/doctor.d.ts

@@ -0,0 +1,29 @@
+interface DoctorArgs {
+    ruleFiles: string[];
+    format: 'terminal' | 'json';
+}
+/**
+ * Report what each rule cannot enforce, without evaluating their conditions.
+ *
+ * It DOES materialize each rule's selection, as of plan 0096: "this rule examined
+ * nothing" is a fact about the selection, and the preview for 0098's floor has to
+ * read the same computation the floor will. The docstring used to say "without
+ * running any of them" and that stopped being true.
+ *
+ * **Supported and scoped** since plan 0077, which settled the keep-or-retire
+ * question 0069 left open. It diagnoses rule files the CLI can **load** — the
+ * `arch.rules.ts` shape `init` scaffolds, which `getting-started.md` calls the
+ * default path. Rules hosted in a vitest or jest file cannot be imported outside
+ * their runner; `diagnose()` is the answer there and reports the same findings.
+ *
+ * **Why the command earns its slot:** a **dead glob**. A rule whose selector can
+ * never match certifies nothing, and `check` never calls `diagnose()` — measured,
+ * `check` exits 0 with no output on such a rule while this reports it and exits
+ * 1. Until 0069's R3b turns that into a check-time failure, this and `diagnose()`
+ * are the only surfaces that see it.
+ *
+ * Not a build gate (0069): `check` is the gate.
+ */
+export declare function runDoctor(args: DoctorArgs): Promise<number>;
+export {};
+//# sourceMappingURL=doctor.d.ts.map

package/dist/cli/commands/doctor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/doctor.ts"],"names":[],"mappings":"AAOA,UAAU,UAAU;IAClB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,MAAM,EAAE,UAAU,GAAG,MAAM,CAAA;CAC5B;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAyIjE"}

package/dist/cli/commands/doctor.js

@@ -0,0 +1,224 @@
+import { diagnose } from '../../core/diagnose.js';
+import { isArchRuleError } from '@nielspeter/eess';
+import { loadRuleFiles } from '../load-rules.js';
+import { writeStderr } from '@nielspeter/eess';
+import { orphanExclusions } from '../../core/orphan-exclusions.js';
+/**
+ * Report what each rule cannot enforce, without evaluating their conditions.
+ *
+ * It DOES materialize each rule's selection, as of plan 0096: "this rule examined
+ * nothing" is a fact about the selection, and the preview for 0098's floor has to
+ * read the same computation the floor will. The docstring used to say "without
+ * running any of them" and that stopped being true.
+ *
+ * **Supported and scoped** since plan 0077, which settled the keep-or-retire
+ * question 0069 left open. It diagnoses rule files the CLI can **load** — the
+ * `arch.rules.ts` shape `init` scaffolds, which `getting-started.md` calls the
+ * default path. Rules hosted in a vitest or jest file cannot be imported outside
+ * their runner; `diagnose()` is the answer there and reports the same findings.
+ *
+ * **Why the command earns its slot:** a **dead glob**. A rule whose selector can
+ * never match certifies nothing, and `check` never calls `diagnose()` — measured,
+ * `check` exits 0 with no output on such a rule while this reports it and exits
+ * 1. Until 0069's R3b turns that into a check-time failure, this and `diagnose()`
+ * are the only surfaces that see it.
+ *
+ * Not a build gate (0069): `check` is the gate.
+ */
+export async function runDoctor(args) {
+    if (args.ruleFiles.length === 0) {
+        writeStderr('Error: no rule files. Pass them as arguments or set `rules` in your config.\n');
+        return 1;
+    }
+    // Per file, not one flat array. `diagnose()` treats rules independently, so
+    // the results are identical — but the loop is the only place that knows which
+    // file a rule came from, and flattening first discarded it (bug 0026).
+    const findings = [];
+    const rules = [];
+    // Identities, never totals (docs/cli.md): a boolean told a JSON consumer that
+    // something failed without saying which file or why, leaving them to scrape
+    // stderr prose they do not read.
+    const loadFailures = [];
+    for (const file of args.ruleFiles) {
+        try {
+            const loaded = await loadRuleFiles([file]);
+            rules.push(...loaded);
+            findings.push(...diagnose(loaded).map((f) => ({ ...f, ruleFile: file })));
+        }
+        catch (error) {
+            // A rule file that self-executes a throwing `.check()` at import is a
+            // documented shape, and `runCheck` already tolerates it. Without this,
+            // `doctor` — the pre-flight R3b's gate depends on — crashes on the
+            // commonest legacy rule-file shape and abandons every remaining file,
+            // so the gate cannot be run on the population it was invented for.
+            // `loadRuleFiles` accumulates into a local array and returns it only
+            // after its own loop, so when the import throws NOTHING from that file
+            // survives. Saying "diagnosing what loaded" would be false, and
+            // swallowing it silently turned a visible crash into `exit 0` plus a
+            // clean bill of health — the ADR-009 rule 1 failure this command exists
+            // to surface, committed by the command.
+            //
+            // Two loud shapes (plan 0070 round 2): an ArchRuleError means the file
+            // self-executes a failing rule at import; anything else — measured, a
+            // raw TypeError from importing a vitest test file — used to crash the
+            // whole command and abandon every remaining file.
+            if (isArchRuleError(error)) {
+                writeStderr(`Error: ${file} executes its rules at import and threw, so none of it could be ` +
+                    `diagnosed. Leave builders un-terminated in a rule file (see docs/running-in-tests).\n`);
+            }
+            else {
+                // The remedy is CONDITIONAL: this branch fires for any load failure —
+                // a syntax error, a missing dependency — and asserting "this imports a
+                // test runner" unconditionally would be a false cause (ADR-009 rule 2,
+                // caught in review). The error message is the evidence; the test-runner
+                // sentence is offered as the common case, not stated as the cause.
+                writeStderr(`Error: ${file} could not be loaded (${error instanceof Error ? error.message : String(error)}), ` +
+                    `so none of it could be diagnosed. If this file imports a test runner (vitest/jest), ` +
+                    `doctor cannot load it — run your test suite instead; the runtime writes the same ` +
+                    `diagnostics to stderr.\n`);
+            }
+            loadFailures.push({ file, error: error instanceof Error ? error.message : String(error) });
+        }
+    }
+    // Orphan exclusion comments, AFTER the loop and over every rule at once
+    // (bug 0044). Not inside the loop and not inside `diagnose()`: the declared-id
+    // set is the union across rule files, so a per-file check would report a
+    // directive naming a rule declared in a sibling file as an orphan. That is a
+    // false positive on the commonest multi-file layout, and a diagnostic that
+    // cries wolf is one nobody runs.
+    //
+    // Reported as `dead-glob`'s sibling kind rather than a separate output
+    // section, so `--format json` consumers get it through the `findings` array
+    // they already parse.
+    // The scope is passed, so the advice can say what it checked. `doctor
+    // arch.rules.ts` — the single-file form `docs/cli.md` itself shows — sees a
+    // subset of a multi-file project's rules, and a directive naming a rule from
+    // another file would otherwise be reported as an orphan with "delete the
+    // comment" as its remedy. Deleting a working comment un-waives a real
+    // violation, which is the rule-2 failure this caveat exists to prevent.
+    for (const orphan of orphanExclusions(rules, { ruleFilesChecked: args.ruleFiles.length })) {
+        findings.push({
+            kind: 'orphan-exclusion',
+            rule: orphan.ruleId,
+            advice: orphan.advice,
+            // `sourceFile`, not `ruleFile`: that field is documented as "the rule file
+            // this rule was written in", and putting a *source* path there gave JSON
+            // consumers two different things under one name, by `kind`, undocumented.
+            sourceFile: orphan.file,
+            line: orphan.line,
+        });
+    }
+    // A load failure is a REPORT, and this command's contract is "exits
+    // non-zero when it reports anything". Review measured the mixed case —
+    // one broken file, one clean file, zero findings — printing the error and
+    // then exiting 0 with a clean bill of health: exactly the "exit 0 plus
+    // silence" this command exists to prevent, reintroduced by the catch that
+    // fixed the crash. Every exit path below folds the load failures in.
+    //
+    // And every exit path emits the JSON document when asked for it: a consumer
+    // parsing stdout used to get zero bytes on the commonest single-file failure,
+    // and `JSON.parse('')` throws — the exact consumer the exit-code fix was for.
+    const emitJson = (findings) => {
+        if (args.format === 'json') {
+            process.stdout.write(JSON.stringify({ findings, loadFailures }, null, 2) + '\n');
+        }
+    };
+    if (loadFailures.length > 0 && rules.length === 0) {
+        emitJson([]);
+        return 1;
+    }
+    // Nothing to diagnose is not the same as nothing wrong. The earlier guard
+    // checked `args.ruleFiles.length`, which is the wrong derivation: a file
+    // exporting `[]` reached this point and reported a clean bill of health.
+    if (rules.length === 0) {
+        writeStderr('Error: no rules found in the given files.\n');
+        emitJson([]);
+        return 1;
+    }
+    if (args.format === 'json') {
+        emitJson(findings);
+        return findings.length > 0 || loadFailures.length > 0 ? 1 : 0;
+    }
+    if (findings.length === 0) {
+        if (loadFailures.length > 0) {
+            writeStderr('No findings in the rules that loaded — but at least one file could not be ' +
+                'loaded (see above), so this is not a clean bill of health.\n');
+            return 1;
+        }
+        writeStderr('No rules that cannot enforce anything.\n');
+        return 0;
+    }
+    writeStderr(format(findings));
+    return 1;
+}
+/**
+ * Which kinds carry a glob, and therefore render with origin/position/fault.
+ *
+ * A `Record` over the union rather than a boolean expression, so that adding a
+ * kind fails `tsc` until someone decides how it renders. `project-empty` was
+ * added to `DiagnosticFinding['kind']` and this file kept compiling — the gap
+ * that made the choice implicit.
+ */
+const HAS_GLOB = {
+    'dead-glob': true,
+    'no-condition': false,
+    'project-unknown': false,
+    'project-empty': false,
+    // No glob: the fault is the family's own filters emptying the set, so there
+    // is no glob text to point at (plan 0096).
+    'zero-subjects': false,
+    // No glob: the fault is the family's own adequacy predicate, not a
+    // selector — the corpus was found and examined, it just cannot ever
+    // produce a finding as configured (plan 0102).
+    inert: false,
+    // No glob: the subject is a comment in a source file, and the identity is the
+    // rule id it names plus where it sits. That is why this kind carries `line`.
+    'orphan-exclusion': false,
+    // No glob: the fault is specific CURRENT violations not covered by the
+    // rule's own `accepted` list, not a selector — the corpus was found and
+    // examined, and some of what it found is not what was accepted (plan 0090).
+    'deferred-warning': false,
+};
+function format(findings) {
+    const lines = [''];
+    for (const finding of findings) {
+        // The rule file first: with two identical vacuous rules in two files, the
+        // rule's own description is the same sentence twice and says nothing about
+        // which to open.
+        // An orphan exclusion is located by its SOURCE file and line, not by a rule
+        // file — the subject is a comment. The changelog claimed this printed "the
+        // file and line" and the terminal format printed neither, so two stale
+        // directives in one file rendered as two identical headers.
+        if (finding.sourceFile !== undefined) {
+            const at = finding.line === undefined ? '' : `:${String(finding.line)}`;
+            lines.push(`  ${finding.sourceFile}${at}`);
+            lines.push(`    ${finding.rule}`);
+        }
+        else {
+            lines.push(finding.ruleFile === undefined ? `  ${finding.rule}` : `  ${finding.ruleFile}`);
+            if (finding.ruleFile !== undefined)
+                lines.push(`    ${finding.rule}`);
+        }
+        if (HAS_GLOB[finding.kind]) {
+            lines.push(`    ${finding.origin ?? finding.glob ?? '(unknown)'}  [${finding.position ?? 'unknown'}]`, `    ${finding.fault ?? 'unknown'}: ${finding.advice}`);
+        }
+        else {
+            // `no-condition`, `project-unknown` and `project-empty` have no glob, no
+            // position and no fault. Rendering them through the dead-glob shape
+            // printed `(unknown) [unknown]` / `unknown: …`, which reads like a bug in
+            // the tool rather than a finding about the rule.
+            //
+            // `HAS_GLOB` below is what makes adding a fifth kind a COMPILE error
+            // rather than a silent fall into this branch. `project-empty` was added
+            // to the union and compiled without anyone choosing a rendering for it —
+            // an if/else cannot ask the question, and `Record<K, …>` can. Same device
+            // as `FAULT_ADVICE` and `ON_DISK_ADVICE` in `glob-diagnosis.ts`.
+            lines.push(`    ${finding.kind}: ${finding.advice}`);
+        }
+        lines.push('');
+    }
+    // Deliberately no total. A count is the snapshot ADR-009 rule 4 bars, and it
+    // is the number people ratchet against instead of fixing the findings.
+    return lines.join('\n');
+}
+//# sourceMappingURL=doctor.js.map

package/dist/cli/commands/doctor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor.js","sourceRoot":"","sources":["../../../src/cli/commands/doctor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAA;AAOlE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAgB;IAC9C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,WAAW,CAAC,+EAA+E,CAAC,CAAA;QAC5F,OAAO,CAAC,CAAA;IACV,CAAC;IAED,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,KAAK,GAAsB,EAAE,CAAA;IACnC,8EAA8E;IAC9E,4EAA4E;IAC5E,iCAAiC;IACjC,MAAM,YAAY,GAAsC,EAAE,CAAA;IAC1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAA;YACrB,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAC3E,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,sEAAsE;YACtE,uEAAuE;YACvE,mEAAmE;YACnE,sEAAsE;YACtE,mEAAmE;YACnE,qEAAqE;YACrE,uEAAuE;YACvE,gEAAgE;YAChE,qEAAqE;YACrE,wEAAwE;YACxE,wCAAwC;YACxC,EAAE;YACF,uEAAuE;YACvE,sEAAsE;YACtE,sEAAsE;YACtE,kDAAkD;YAClD,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,WAAW,CACT,UAAU,IAAI,kEAAkE;oBAC9E,uFAAuF,CAC1F,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,sEAAsE;gBACtE,uEAAuE;gBACvE,uEAAuE;gBACvE,wEAAwE;gBACxE,mEAAmE;gBACnE,WAAW,CACT,UAAU,IAAI,yBAAyB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK;oBAChG,sFAAsF;oBACtF,mFAAmF;oBACnF,0BAA0B,CAC7B,CAAA;YACH,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC5F,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,+EAA+E;IAC/E,yEAAyE;IACzE,6EAA6E;IAC7E,2EAA2E;IAC3E,iCAAiC;IACjC,EAAE;IACF,uEAAuE;IACvE,4EAA4E;IAC5E,sBAAsB;IACtB,sEAAsE;IACtE,4EAA4E;IAC5E,6EAA6E;IAC7E,yEAAyE;IACzE,sEAAsE;IACtE,wEAAwE;IACxE,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAC1F,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,MAAM,CAAC,MAAM;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,2EAA2E;YAC3E,yEAAyE;YACzE,0EAA0E;YAC1E,UAAU,EAAE,MAAM,CAAC,IAAI;YACvB,IAAI,EAAE,MAAM,CAAC,IAAI;SAClB,CAAC,CAAA;IACJ,CAAC;IAED,oEAAoE;IACpE,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,0EAA0E;IAC1E,qEAAqE;IACrE,EAAE;IACF,4EAA4E;IAC5E,8EAA8E;IAC9E,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,CAAC,QAA6B,EAAQ,EAAE;QACvD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;QAClF,CAAC;IACH,CAAC,CAAA;IAED,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,QAAQ,CAAC,EAAE,CAAC,CAAA;QACZ,OAAO,CAAC,CAAA;IACV,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,yEAAyE;IACzE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,6CAA6C,CAAC,CAAA;QAC1D,QAAQ,CAAC,EAAE,CAAC,CAAA;QACZ,OAAO,CAAC,CAAA;IACV,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,CAAA;QAClB,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,WAAW,CACT,4EAA4E;gBAC1E,8DAA8D,CACjE,CAAA;YACD,OAAO,CAAC,CAAA;QACV,CAAC;QACD,WAAW,CAAC,0CAA0C,CAAC,CAAA;QACvD,OAAO,CAAC,CAAA;IACV,CAAC;IAED,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC7B,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,QAAQ,GAAyD;IACrE,WAAW,EAAE,IAAI;IACjB,cAAc,EAAE,KAAK;IACrB,iBAAiB,EAAE,KAAK;IACxB,eAAe,EAAE,KAAK;IACtB,4EAA4E;IAC5E,2CAA2C;IAC3C,eAAe,EAAE,KAAK;IACtB,mEAAmE;IACnE,oEAAoE;IACpE,+CAA+C;IAC/C,KAAK,EAAE,KAAK;IACZ,8EAA8E;IAC9E,6EAA6E;IAC7E,kBAAkB,EAAE,KAAK;IACzB,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,kBAAkB,EAAE,KAAK;CAC1B,CAAA;AAED,SAAS,MAAM,CAAC,QAAsC;IACpD,MAAM,KAAK,GAAa,CAAC,EAAE,CAAC,CAAA;IAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,0EAA0E;QAC1E,2EAA2E;QAC3E,iBAAiB;QACjB,4EAA4E;QAC5E,2EAA2E;QAC3E,uEAAuE;QACvE,4DAA4D;QAC5D,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAA;YACvE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,UAAU,GAAG,EAAE,EAAE,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAA;YAC1F,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QACvE,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CACR,OAAO,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,IAAI,WAAW,MAAM,OAAO,CAAC,QAAQ,IAAI,SAAS,GAAG,EAC1F,OAAO,OAAO,CAAC,KAAK,IAAI,SAAS,KAAK,OAAO,CAAC,MAAM,EAAE,CACvD,CAAA;QACH,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,oEAAoE;YACpE,0EAA0E;YAC1E,iDAAiD;YACjD,EAAE;YACF,qEAAqE;YACrE,wEAAwE;YACxE,yEAAyE;YACzE,0EAA0E;YAC1E,iEAAiE;YACjE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;QACtD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAChB,CAAC;IACD,6EAA6E;IAC7E,uEAAuE;IACvE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC"}