@nielspeter/eess 0.4.0 → 0.5.0

package/dist/preset-dispatch.js

@@ -1,8 +1,7 @@
+import { collectResult } from './collect-result.js';
 import { severityFor } from './violation.js';
 import { formatViolations } from './format.js';
-import { finishPreset } from './report.js';
 import { writeStderr } from './stderr.js';
-import { UNSUPPRESSABLE } from './unsuppressable.js';
 /**
  * Dispatch a single rule within a preset.
  *
@@ -17,19 +16,34 @@ export function dispatchRule(builder, rule, defaultSeverity, overrides) {
     // agent`, not just the id.
     const meta = typeof rule === 'string' ? { id: rule } : rule;
     const effective = overrides?.[meta.id] ?? defaultSeverity;
-    if (effective === 'off')
-        return [];
+    if (effective === 'off') {
+        // A real, measured zero — and deliberately NOT `declaredEmpty`.
+        //
+        // ADR-014 §3, amended 2026-09-05: a declaration is one a caller MADE over a
+        // live instrument, never one eess infers from a configuration.
+        // `overrides: { id: 'off' }` is an instruction, and it is byte-identical
+        // whether the author meant "I have scoped this out" or "I turned this off to
+        // stop a finding" — eess is not positioned to tell those apart, so by
+        // ADR-013's rule it must not decide. Marking it declared here would mint,
+        // on the author's behalf, exactly the declaration `declaredEmptyFindings`
+        // refuses to let them write ("'off' deleted the rule, so the declaration
+        // about it is dead").
+        //
+        // The consequence is deliberate: a preset with every rule off sums to zero
+        // examined with no declaration, and the emitter reports it (bug 0261).
+        return collectResult([], { examined: 0, notRun: true });
+    }
     const violations = builder.rule(meta).violations();
     if (effective === 'warn') {
         if (violations.length > 0) {
             writeStderr(formatViolations(violations));
         }
         // `bypassFilters` outranks a per-rule `overrides: { id: 'warn' }` — see
-        // `severityFor`. A config finding like `presetConstructsNothingViolation`
-        // is `UNSUPPRESSABLE` by its own text; silently dropping it here just
-        // because its OWN rule was downgraded is exactly the suppression path
-        // that text promises does not exist.
-        return violations.filter((v) => severityFor(v, 'warn') === 'error');
+        // `severityFor`. A config finding — a zero-examined rule, or a preset that
+        // constructed nothing — is `UNSUPPRESSABLE` by its own text; silently
+        // dropping it here just because its OWN rule was downgraded is exactly the
+        // suppression path that text promises does not exist.
+        return collectResult(violations.filter((v) => severityFor(v, 'warn') === 'error'), { examined: violations.examined });
     }
     return violations;
 }
@@ -37,7 +51,13 @@ export function dispatchRule(builder, rule, defaultSeverity, overrides) {
  * Validate override keys against known rule IDs. Warns for unrecognized keys
  * (likely typos).
  */
-export function validateOverrides(overrides, knownIds) {
+export function validateOverrides(
+// `Partial<Record<...>>` and `readonly`, widened from the narrower shapes this
+// signature had, so `eess-ts`'s byte-identical copy could be deleted rather
+// than kept for its types. Both are strictly more permissive: `Partial` admits
+// an explicit `undefined` value, `readonly` admits a frozen list. No caller
+// loses anything.
+overrides, knownIds) {
     if (!overrides)
         return;
     const knownSet = new Set(knownIds);
@@ -48,46 +68,4 @@ export function validateOverrides(overrides, knownIds) {
         }
     }
 }
-/**
- * A configuration finding for a preset call that constructed **zero** rules —
- * every optional capability was left off, or a required discovery pattern
- * (a folder glob, a repositories glob) matched nothing, so the call checked
- * nothing and would otherwise pass silently. The vacuity matrix
- * (`scripts/vacuity-matrix.mjs`) is what proves a preset needs this: it
- * probes every published preset at its minimal type-correct call, and a
- * preset reaching `fail-open` there is exactly this shape.
- *
- * Unsuppressable (ADR-010) for the same reason a zero-examined rule is: the
- * caller's mistake is in how the preset was configured, not in the code the
- * preset would have checked, and `.excluding()`/a baseline/`--changed` all
- * aim at the latter.
- *
- * @param presetName - The preset's own name, e.g. `'agentGuardrails'`.
- * @param optionsHint - The option names that would enable a rule, for the
- *   remedy — e.g. `'noGenericErrors, noStubs, noEmptyBodies'`.
- */
-export function presetConstructsNothingViolation(presetName, optionsHint) {
-    const message = `${presetName}(...) constructed zero rules at this call — no capability of this ` +
-        `preset was enabled, or a discovery pattern matched nothing, so it checks nothing ` +
-        `and passes silently. Enable at least one option (${optionsHint}), or remove the call.`;
-    return {
-        rule: presetName,
-        element: presetName,
-        file: '',
-        line: 0,
-        message,
-        suggestion: `${message} ${UNSUPPRESSABLE}`,
-        bypassFilters: true,
-    };
-}
-/**
- * Emit (stderr text) and throw a single `ArchRuleError` with all aggregated
- * violations, if any. Kept for backward compatibility; it is now `finishPreset`
- * in the default `throw` mode. New presets take `PresetReportOptions` and call
- * `finishPreset` so a caller can opt into `report: 'return'` / `--format json`
- * (plan 0070).
- */
-export function throwIfViolations(violations) {
-    finishPreset(violations, { report: 'throw' });
-}
 //# sourceMappingURL=preset-dispatch.js.map

package/dist/preset-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"preset-dispatch.js","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,YAAY,EAA4B,MAAM,aAAa,CAAA;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAuBpD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAqB,EACrB,IAA8C,EAC9C,eAA6B,EAC7B,SAAmD;IAEnD,8EAA8E;IAC9E,gFAAgF;IAChF,6EAA6E;IAC7E,2BAA2B;IAC3B,MAAM,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IAC3D,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,eAAe,CAAA;IACzD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,EAAE,CAAA;IAElC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAElD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,wEAAwE;QACxE,0EAA0E;QAC1E,sEAAsE;QACtE,sEAAsE;QACtE,qCAAqC;QACrC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,CAAA;IACrE,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAmD,EACnD,QAAkB;IAElB,IAAI,CAAC,SAAS;QAAE,OAAM;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,WAAW,CACT,wBAAwB,GAAG,4CAA4C;gBACrE,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5C,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gCAAgC,CAC9C,UAAkB,EAClB,WAAmB;IAEnB,MAAM,OAAO,GACX,GAAG,UAAU,oEAAoE;QACjF,mFAAmF;QACnF,oDAAoD,WAAW,wBAAwB,CAAA;IACzF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,UAAU;QACnB,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO;QACP,UAAU,EAAE,GAAG,OAAO,IAAI,cAAc,EAAE;QAC1C,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA2B;IAC3D,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;AAC/C,CAAC"}
+{"version":3,"file":"preset-dispatch.js","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAuBzC;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAqB,EACrB,IAA8C,EAC9C,eAA6B,EAC7B,SAAmD;IAEnD,8EAA8E;IAC9E,gFAAgF;IAChF,6EAA6E;IAC7E,2BAA2B;IAC3B,MAAM,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IAC3D,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,eAAe,CAAA;IACzD,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;QACxB,gEAAgE;QAChE,EAAE;QACF,4EAA4E;QAC5E,+DAA+D;QAC/D,yEAAyE;QACzE,6EAA6E;QAC7E,sEAAsE;QACtE,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,sBAAsB;QACtB,EAAE;QACF,2EAA2E;QAC3E,uEAAuE;QACvE,OAAO,aAAa,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAA;IAElD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,wEAAwE;QACxE,2EAA2E;QAC3E,sEAAsE;QACtE,2EAA2E;QAC3E,sDAAsD;QACtD,OAAO,aAAa,CAClB,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,EAC5D,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAClC,CAAA;IACH,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB;AAC/B,+EAA+E;AAC/E,4EAA4E;AAC5E,+EAA+E;AAC/E,4EAA4E;AAC5E,kBAAkB;AAClB,SAA4D,EAC5D,QAA2B;IAE3B,IAAI,CAAC,SAAS;QAAE,OAAM;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,WAAW,CACT,wBAAwB,GAAG,4CAA4C;gBACrE,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5C,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/report.d.ts

@@ -1,4 +1,4 @@
-import type { ArchViolation } from './violation.js';
+import { type CollectResult } from './collect-result.js';
 import type { OutputFormat } from './check-options.js';
 /**
  * How a preset delivers its violations (plan 0070, ADR-008):
@@ -18,6 +18,30 @@ export interface ReportOptions {
 export interface PresetReportOptions extends ReportOptions {
     /** Delivery mode. Default `throw`. */
     readonly report?: ReportMode;
+    /**
+     * Declare that this preset's subject legitimately does not exist here —
+     * [ADR-010](../../../adr/010-a-pass-is-constructed-from-evidence.md) §3.
+     *
+     * **On the shared options type, not on six preset interfaces**, because
+     * ADR-010 §3's second clause is about presets as a class: "A preset user does
+     * not hold the builder; if a preset option cannot carry the user's
+     * empty-declaration to the mint, their only reachable remedy is disabling the
+     * option — deleting coverage permanently (ADR-009 rule 1's trained-suppression
+     * dynamic, reproduced by this ADR's own gate if unaddressed)." A preset that
+     * examines nothing and cannot be told so leaves its user exactly one exit, and
+     * it is the wrong one.
+     *
+     * **It expires**, which is the only reason it is admissible at all: declare
+     * this and then examine something, and the emitter reports
+     * `emitter/expired-declaration`. A claim nothing can contradict is not an
+     * assertion — the property ADR-014 §3's 2026-09-05 amendment turns on when it
+     * refuses to infer a declaration from `overrides: 'off'`.
+     *
+     * Use it for a corpus with no ER diagrams, a suite with no exemptions, a
+     * project that genuinely has none of this preset's subject. Do not use it to
+     * quiet a preset whose glob is wrong: the day the glob is fixed, this reddens.
+     */
+    readonly expectEmpty?: boolean;
 }
 /**
  * How many violations this module has actually WRITTEN, ever.
@@ -32,13 +56,13 @@ export interface PresetReportOptions extends ReportOptions {
  * exactly that case. Count emissions, not silences.
  */
 export declare function violationsEmittedCount(): number;
-export declare function reportViolations(violations: ArchViolation[], options?: ReportOptions): void;
+export declare function reportViolations(violations: CollectResult, options?: ReportOptions): CollectResult;
 /**
  * Finish a preset: deliver its aggregated violations per the requested mode
- * (plan 0070). `throw` (default) emits then throws — backward-compatible with
- * `throwIfViolations`; `return` hands the violations back untouched (the caller
- * owns emission and control flow); `warn` emits without throwing. Always
- * returns the violations, so a caller can inspect them regardless of mode.
+ * (plan 0070). `throw` (default) emits then throws; `return` hands the
+ * violations back untouched (the caller owns emission and control flow);
+ * `warn` emits without throwing. Always returns the violations, so a caller can
+ * inspect them regardless of mode.
  */
-export declare function finishPreset(violations: ArchViolation[], options?: PresetReportOptions): ArchViolation[];
+export declare function finishPreset(violations: CollectResult, options?: PresetReportOptions): CollectResult;
 //# sourceMappingURL=report.d.ts.map

package/dist/report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAMtD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAA;AAEpD,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,sEAAsE;AACtE,MAAM,WAAW,mBAAoB,SAAQ,aAAa;IACxD,sCAAsC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAC7B;AAWD;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,IAAI,MAAM,CAE/C;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,aAAa,EAAE,EAAE,OAAO,GAAE,aAAkB,GAAG,IAAI,CAa/F;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,aAAa,EAAE,EAC3B,OAAO,GAAE,mBAAwB,GAChC,aAAa,EAAE,CAQjB"}
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAA8B,MAAM,qBAAqB,CAAA;AAUpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAMtD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAA;AAEpD,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,sEAAsE;AACtE,MAAM,WAAW,mBAAoB,SAAQ,aAAa;IACxD,sCAAsC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;IAE5B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;CAC/B;AAWD;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,IAAI,MAAM,CAE/C;AA6HD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,aAAa,EACzB,OAAO,GAAE,aAAkB,GAC1B,aAAa,CAqBf;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,aAAa,EACzB,OAAO,GAAE,mBAAwB,GAChC,aAAa,CAoCf"}

package/dist/report.js

@@ -1,3 +1,5 @@
+import { collectResult, hasEvidence } from './collect-result.js';
+import { isEmitterFinding, noReceiptViolation, sourceEmptyViolation, passWithoutEvidenceViolation, expiredDeclarationViolation, contradictoryEvidenceViolation, } from './emitter-findings.js';
 import { ArchRuleError } from './errors.js';
 import { formatViolations } from './format.js';
 import { formatViolationsJson } from './format-json.js';
@@ -25,38 +27,195 @@ let violationsEmitted = 0;
 export function violationsEmittedCount() {
     return violationsEmitted;
 }
+/**
+ * The evidence gate both emitters share — ADR-014 §1, §4.
+ *
+ * Produced BEFORE the delivery mode is chosen, so the finding is in the value
+ * returned under `return`, rides the throw under `throw`, and is in the text
+ * written under `warn`. A contract that binds only one door does not bind.
+ *
+ * A value that already carries a finding passes through untouched (§4): a
+ * terminal that examined nothing has already named its own cause, and "you
+ * constructed nothing" beside "your glob is dead" is a false second remedy.
+ */
+function withEvidenceGate(violations) {
+    // Deliberately looser than the exported signatures. The TYPE refuses a bare
+    // array (D1/D2); this guard is for the untyped JavaScript caller the type
+    // cannot reach — ADR-014's stated residual, and the field failure in
+    // proposal 009 was exactly that consumer.
+    if (!hasEvidence(violations)) {
+        return collectResult([...violations, noReceiptViolation()], { examined: 0 });
+    }
+    // Expiry FIRST, and before the `examined > 0` exit — ADR-014 §3. A declaration
+    // that cannot be contradicted is not an assertion, which is the whole reason
+    // §3's amendment refuses to infer one from a config. Checked even when real
+    // violations are present: the declaration is wrong independently of them.
+    if (violations.declaredEmpty === true && violations.examined > 0) {
+        return collectResult([...violations, expiredDeclarationViolation(violations.examined)], {
+            examined: violations.examined,
+            sourceEmpty: violations.sourceEmpty,
+        });
+    }
+    // The same check for the third state — ADR-014 §3, added after review found
+    // `notRun` shipped as a suppressor with no falsifier while `declaredEmpty` had
+    // one. A rule that never ran examined nothing and found nothing; either half
+    // present contradicts the flag, and BOTH are read because either alone would
+    // leave the other as an unchecked claim.
+    //
+    // Before the two exits below, deliberately: `examined > 0` is precisely the
+    // state that contradicts `notRun`, so checking after them would make the
+    // finding unreachable — the mistake this ADR's §2 warns about in its own
+    // implementation notes.
+    if (violations.notRun === true && (violations.examined > 0 || violations.length > 0)) {
+        return collectResult([...violations, contradictoryEvidenceViolation(violations.examined, violations.length)], { examined: violations.examined, sourceEmpty: violations.sourceEmpty });
+    }
+    // **`sourceEmpty` beside real evidence is a contradiction, like its siblings.**
+    // A source that loaded nothing cannot have yielded units to examine — the flag
+    // is set precisely when `examined === 0`. Checked before the two exits below,
+    // for the same reason the `notRun` check above is: after them it would be
+    // unreachable.
+    //
+    // Without this, `sourceEmpty` was the one flag in the vocabulary that could
+    // quiet a zero and never be contradicted — `notRun` beside evidence is
+    // `emitter/contradictory-evidence`, `declaredEmpty` beside evidence is
+    // `emitter/expired-declaration`, and `{ examined: 900, sourceEmpty: true }` was
+    // silent. That asymmetry is what ADR-014's "every flag that can quiet a zero
+    // can be contradicted" row exists to refuse, and promoting `sourceEmpty` to a
+    // verdict-changing flag with its own id is what put it in scope.
+    if (violations.sourceEmpty === true && violations.examined > 0) {
+        return collectResult([
+            ...violations,
+            contradictoryEvidenceViolation(violations.examined, violations.length, 'sourceEmpty'),
+        ], { examined: violations.examined });
+    }
+    if (violations.length > 0)
+        return violations;
+    if (violations.examined > 0)
+        return violations;
+    // **An empty source outranks any declaration, and names the source** — ADR-014
+    // §4, and ADR-010 §3's own `gated` row ("Zero loaded source files outranks any
+    // `.expectEmpty()` declaration") which the terminal has always honoured.
+    //
+    // This branch is checked BEFORE `declaredEmpty` and `notRun`, and that ordering
+    // is the whole point. The comment that used to sit here said `sourceEmpty` does
+    // not legitimise a zero — and the next line returned green on `declaredEmpty`
+    // without ever reading it. Measured:
+    // `finishPreset(collectResult([], { examined: 0, sourceEmpty: true, declaredEmpty: true }))`
+    // was GREEN. A hand-assembled receipt claiming an empty source and declaring it
+    // away is precisely the escape hatch that comment claimed this ADR had closed.
+    //
+    // A terminal that loaded nothing already carries `zeroLoadedSourceViolation` and
+    // exits at the `length > 0` line above, so this fires for the hand-assembled
+    // receipt — the population ADR-014's gate exists for.
+    if (violations.sourceEmpty === true) {
+        return collectResult([...violations, sourceEmptyViolation()], {
+            examined: violations.examined,
+            sourceEmpty: true,
+            // The input's own declarations are carried through, not dropped. They do
+            // not rescue the verdict — that is the precedence this branch enforces —
+            // but a downstream reader still needs to know they were made, and the
+            // sibling branches above preserve what they were handed for the same
+            // reason.
+            declaredEmpty: violations.declaredEmpty,
+            notRun: violations.notRun,
+            deadGlob: violations.deadGlob,
+        });
+    }
+    if (violations.declaredEmpty === true)
+        return violations;
+    // `notRun` legitimises a zero here for the same reason `declaredEmpty` does,
+    // and for the reason the MERGE already exempts it: a rule turned off examined
+    // nothing and found nothing, and reporting that as a vacuous pass is the
+    // "one disabled rule reddens a whole preset" failure `notRun` was added to
+    // prevent (measured on `adrEnforcement` with `adr/valid-tiers` off).
+    //
+    // **The two doors disagreed until this line.** `mergeCollectResults` exempts a
+    // `notRun` member from its dead filter; this gate had no such branch, so the
+    // per-builder doors judged an off rule alone and reddened it. Measured:
+    // `checkAll([healthy, off])` was GREEN while `eess-ts check` over the same two
+    // builders reported `1 of 2 rules failing`. Same receipts, opposite verdicts,
+    // decided by which door you walked through — and `check.ts` claimed per-builder
+    // gating was "strictly stronger, not weaker", which is how a false positive is
+    // manufactured.
+    //
+    // It is not a mute button: a `notRun` beside a non-zero `examined` or any
+    // violation is `emitter/contradictory-evidence`, checked above and reached
+    // before this line. And the all-off case still reports, because the merged
+    // receipt carries no `notRun` — so a preset whose every member is off sums to
+    // zero examined, undeclared, and reds exactly as ADR-014 §3 requires.
+    if (violations.notRun === true)
+        return violations;
+    return collectResult([passWithoutEvidenceViolation()], { examined: violations.examined });
+}
 export function reportViolations(violations, options = {}) {
-    if (violations.length === 0)
-        return;
-    violationsEmitted += violations.length;
+    const gated = withEvidenceGate(violations);
+    if (gated.length === 0)
+        return gated;
+    violationsEmitted += gated.length;
     const format = options.format ?? 'terminal';
     if (format === 'json') {
-        process.stdout.write(formatViolationsJson(violations, options.reason) + '\n');
+        process.stdout.write(formatViolationsJson(gated, options.reason) + '\n');
     }
     else if (format === 'github') {
-        process.stdout.write(formatViolationsGitHub(violations, 'error') + '\n');
+        process.stdout.write(formatViolationsGitHub(gated, 'error') + '\n');
     }
     else {
         // Rich text to stderr — test runners show the plain-text Error message,
         // while stderr carries the colorized Why/Fix/Docs output.
-        process.stderr.write(formatViolations(violations, options.reason) + '\n');
+        process.stderr.write(formatViolations(gated, options.reason) + '\n');
+    }
+    // ADR-014 §5: a bare `reportViolations` hands nothing back that a caller must
+    // act on, so a printed unsuppressable finding above a zero exit is the lie by
+    // another name. The gate's own finding escalates to a throw here.
+    if (gated.some((v) => v.bypassFilters === true && isEmitterFinding(v))) {
+        throw new ArchRuleError(gated, options.reason);
     }
+    return gated;
 }
 /**
  * Finish a preset: deliver its aggregated violations per the requested mode
- * (plan 0070). `throw` (default) emits then throws — backward-compatible with
- * `throwIfViolations`; `return` hands the violations back untouched (the caller
- * owns emission and control flow); `warn` emits without throwing. Always
- * returns the violations, so a caller can inspect them regardless of mode.
+ * (plan 0070). `throw` (default) emits then throws; `return` hands the
+ * violations back untouched (the caller owns emission and control flow);
+ * `warn` emits without throwing. Always returns the violations, so a caller can
+ * inspect them regardless of mode.
  */
 export function finishPreset(violations, options = {}) {
     const mode = options.report ?? 'throw';
+    // A caller's declaration reaches the gate ON the receipt (ADR-014 §3), never
+    // as a delivery option the gate reads separately — one boolean beside a sum
+    // cannot be weighed against that sum's parts.
+    const declared = options.expectEmpty === true && !violations.declaredEmpty
+        ? collectResult(violations, {
+            examined: violations.examined,
+            sourceEmpty: violations.sourceEmpty,
+            deadGlob: violations.deadGlob,
+            declaredEmpty: true,
+        })
+        : violations;
+    // The gate runs before the mode is read, so every door carries the finding.
+    const gated = withEvidenceGate(declared);
     if (mode === 'return')
-        return violations;
-    reportViolations(violations, options);
-    if (mode === 'throw' && violations.length > 0) {
-        throw new ArchRuleError(violations, options.reason);
+        return gated;
+    const emitterFinding = gated.some((v) => isEmitterFinding(v));
+    if (gated.length > 0) {
+        violationsEmitted += gated.length;
+        const format = options.format ?? 'terminal';
+        if (format === 'json') {
+            process.stdout.write(formatViolationsJson(gated, options.reason) + '\n');
+        }
+        else if (format === 'github') {
+            process.stdout.write(formatViolationsGitHub(gated, 'error') + '\n');
+        }
+        else {
+            process.stderr.write(formatViolations(gated, options.reason) + '\n');
+        }
+    }
+    // §5 again: `warn` prints without failing for ordinary violations, but an
+    // unsuppressable configuration finding printed above a zero exit is exactly
+    // the silent green this ADR closes.
+    if ((mode === 'throw' && gated.length > 0) || emitterFinding) {
+        throw new ArchRuleError(gated, options.reason);
     }
-    return violations;
+    return gated;
 }
 //# sourceMappingURL=report.js.map

package/dist/report.js.map

@@ -1 +1 @@
-{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAwB3D;;;;;;GAMG;AACH,IAAI,iBAAiB,GAAG,CAAC,CAAA;AAEzB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,iBAAiB,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAA2B,EAAE,UAAyB,EAAE;IACvF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IACnC,iBAAiB,IAAI,UAAU,CAAC,MAAM,CAAA;IACtC,MAAM,MAAM,GAAiB,OAAO,CAAC,MAAM,IAAI,UAAU,CAAA;IACzD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;IAC/E,CAAC;SAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAA;IAC1E,CAAC;SAAM,CAAC;QACN,wEAAwE;QACxE,0DAA0D;QAC1D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;IAC3E,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,UAA2B,EAC3B,UAA+B,EAAE;IAEjC,MAAM,IAAI,GAAe,OAAO,CAAC,MAAM,IAAI,OAAO,CAAA;IAClD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAA;IACxC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC"}
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,aAAa,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACpF,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,4BAA4B,EAC5B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,uBAAuB,CAAA;AAG9B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAiD3D;;;;;;GAMG;AACH,IAAI,iBAAiB,GAAG,CAAC,CAAA;AAEzB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,iBAAiB,CAAA;AAC1B,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,UAAoC;IAC5D,4EAA4E;IAC5E,0EAA0E;IAC1E,qEAAqE;IACrE,0CAA0C;IAC1C,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,kBAAkB,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,+EAA+E;IAC/E,6EAA6E;IAC7E,4EAA4E;IAC5E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI,IAAI,UAAU,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjE,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,2BAA2B,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE;YACtF,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,WAAW,EAAE,UAAU,CAAC,WAAW;SACpC,CAAC,CAAA;IACJ,CAAC;IACD,4EAA4E;IAC5E,+EAA+E;IAC/E,6EAA6E;IAC7E,6EAA6E;IAC7E,yCAAyC;IACzC,EAAE;IACF,4EAA4E;IAC5E,yEAAyE;IACzE,yEAAyE;IACzE,wBAAwB;IACxB,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,aAAa,CAClB,CAAC,GAAG,UAAU,EAAE,8BAA8B,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,EACvF,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,CACvE,CAAA;IACH,CAAC;IACD,gFAAgF;IAChF,+EAA+E;IAC/E,8EAA8E;IAC9E,0EAA0E;IAC1E,eAAe;IACf,EAAE;IACF,4EAA4E;IAC5E,uEAAuE;IACvE,uEAAuE;IACvE,gFAAgF;IAChF,6EAA6E;IAC7E,8EAA8E;IAC9E,iEAAiE;IACjE,IAAI,UAAU,CAAC,WAAW,KAAK,IAAI,IAAI,UAAU,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,aAAa,CAClB;YACE,GAAG,UAAU;YACb,8BAA8B,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC;SACtF,EACD,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAClC,CAAA;IACH,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,UAAU,CAAA;IAC5C,IAAI,UAAU,CAAC,QAAQ,GAAG,CAAC;QAAE,OAAO,UAAU,CAAA;IAC9C,+EAA+E;IAC/E,+EAA+E;IAC/E,yEAAyE;IACzE,EAAE;IACF,gFAAgF;IAChF,gFAAgF;IAChF,8EAA8E;IAC9E,qCAAqC;IACrC,6FAA6F;IAC7F,gFAAgF;IAChF,+EAA+E;IAC/E,EAAE;IACF,iFAAiF;IACjF,6EAA6E;IAC7E,sDAAsD;IACtD,IAAI,UAAU,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,oBAAoB,EAAE,CAAC,EAAE;YAC5D,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,WAAW,EAAE,IAAI;YACjB,yEAAyE;YACzE,yEAAyE;YACzE,sEAAsE;YACtE,qEAAqE;YACrE,UAAU;YACV,aAAa,EAAE,UAAU,CAAC,aAAa;YACvC,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,QAAQ,EAAE,UAAU,CAAC,QAAQ;SAC9B,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI;QAAE,OAAO,UAAU,CAAA;IACxD,6EAA6E;IAC7E,8EAA8E;IAC9E,yEAAyE;IACzE,2EAA2E;IAC3E,qEAAqE;IACrE,EAAE;IACF,+EAA+E;IAC/E,6EAA6E;IAC7E,wEAAwE;IACxE,+EAA+E;IAC/E,8EAA8E;IAC9E,gFAAgF;IAChF,+EAA+E;IAC/E,gBAAgB;IAChB,EAAE;IACF,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,8EAA8E;IAC9E,sEAAsE;IACtE,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,UAAU,CAAA;IACjD,OAAO,aAAa,CAAC,CAAC,4BAA4B,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAA;AAC3F,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAyB,EACzB,UAAyB,EAAE;IAE3B,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAA;IAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACpC,iBAAiB,IAAI,KAAK,CAAC,MAAM,CAAA;IACjC,MAAM,MAAM,GAAiB,OAAO,CAAC,MAAM,IAAI,UAAU,CAAA;IACzD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;IAC1E,CAAC;SAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAA;IACrE,CAAC;SAAM,CAAC;QACN,wEAAwE;QACxE,0DAA0D;QAC1D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,kEAAkE;IAClE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAyB,EACzB,UAA+B,EAAE;IAEjC,MAAM,IAAI,GAAe,OAAO,CAAC,MAAM,IAAI,OAAO,CAAA;IAClD,6EAA6E;IAC7E,4EAA4E;IAC5E,8CAA8C;IAC9C,MAAM,QAAQ,GACZ,OAAO,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa;QACvD,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE;YACxB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,aAAa,EAAE,IAAI;SACpB,CAAC;QACJ,CAAC,CAAC,UAAU,CAAA;IAChB,4EAA4E;IAC5E,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IACxC,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IACnC,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,iBAAiB,IAAI,KAAK,CAAC,MAAM,CAAA;QACjC,MAAM,MAAM,GAAiB,OAAO,CAAC,MAAM,IAAI,UAAU,CAAA;QACzD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;QAC1E,CAAC;aAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAA;QACrE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IACD,0EAA0E;IAC1E,4EAA4E;IAC5E,oCAAoC;IACpC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,cAAc,EAAE,CAAC;QAC7D,MAAM,IAAI,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/rule-builder-like.d.ts

@@ -1,11 +1,17 @@
-import type { ArchViolation } from './violation.js';
+import type { CollectResult } from './collect-result.js';
 /**
  * Minimal shape the CLI runner and presets collect violations from: anything
  * exposing a non-throwing, severity-stamped `.violations()`. Lives in core (not
  * `cli/`) so presets can return `RuleBuilderLike[]` without depending on CLI
  * infrastructure.
+ *
+ * **The single member carries the evidence** — plan 0235's D1. An accessor
+ * beside it could be walked around: a caller keeps calling `violations()`,
+ * never asks for the count, and the evidence is optional again by another
+ * route. One member, and it hands back the receipt, so a rule file that cannot
+ * say what it examined does not compile.
  */
 export interface RuleBuilderLike {
-    violations: () => ArchViolation[];
+    violations: () => CollectResult;
 }
 //# sourceMappingURL=rule-builder-like.d.ts.map

package/dist/rule-builder-like.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-builder-like.d.ts","sourceRoot":"","sources":["../src/rule-builder-like.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,aAAa,EAAE,CAAA;CAClC"}
+{"version":3,"file":"rule-builder-like.d.ts","sourceRoot":"","sources":["../src/rule-builder-like.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,aAAa,CAAA;CAChC"}

package/dist/rule-builder.d.ts

@@ -4,6 +4,21 @@ import type { RuleDescription } from './rule-description.js';
 import type { Selection, ElementInfo } from './correspondence.js';
 import type { GlobNode } from './glob-site.js';
 import { TerminalBuilder, type CollectResult } from './terminal-builder.js';
+/**
+ * The actual walk `RuleBuilder.globs()` delegates to — a free function
+ * rather than a method body, to keep the class itself under this repo's own
+ * 300-line class-length gate (`arch.internal.rules.ts`).
+ */
+/**
+ * The globs a rule declares, stamped with where each came from.
+ *
+ * Exported (as family plumbing) so `eess-ts` can call it instead of keeping its
+ * own copy — they were 94% similar, and the difference was not cosmetic: only
+ * the eess-ts copy honoured `originLabel`. The kernel's `Predicate` has carried
+ * that field all along and this function ignored it, so a preset's label was
+ * dropped for `eess-md`, `eess-mermaid` and `eess-gherkin`. Found by unifying.
+ */
+export declare function declaredGlobsOf<T>(predicates: readonly Predicate<T>[], conditions: readonly Condition<T>[]): GlobNode[];
 /**
  * Abstract base class for all rule builders.
  *

package/dist/rule-builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-builder.d.ts","sourceRoot":"","sources":["../src/rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjE,OAAO,KAAK,EAAgB,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAE5D,OAAO,EAAE,eAAe,EAAE,KAAK,aAAa,EAA0B,MAAM,uBAAuB,CAAA;AA6CnG;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,8BAAsB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,eAAe;IAc3D,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAbzC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAK;IAC1C,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAK;IAC1C,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAAc;IACzD,4EAA4E;IAC5E,SAAS,CAAC,cAAc,UAAQ;IAChC;;;;;OAKG;IACH,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,CAAK;gBAEJ,OAAO,EAAE,CAAC;IAMzC;;;;;OAKG;IACH,IAAI,IAAI,IAAI;IAMZ;;;OAGG;IACH,GAAG,IAAI,IAAI;IAIX;;;;OAIG;IACH,MAAM,IAAI,IAAI;IAOd;;;OAGG;IACH,SAAS,IAAI,IAAI;IAIjB;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAelD;;;;;;;OAOG;IACH,MAAM,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;KAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAOpF;;;OAGG;IACH,YAAY,IAAI,eAAe;IAW/B;;;;;;;;;;;;;;;;;;OAkBG;IACH;;;;;;;OAOG;IACH,SAAS,CAAC,gBAAgB,IAAI,OAAO;IAIrC,SAAS,CAAC,eAAe,IAAI,MAAM;cAQhB,kBAAkB,IAAI,OAAO;IAKhD;;;;;;;;;;OAUG;IACH,SAAS,CAAC,WAAW,IAAI,OAAO;IAIhC,4EAA4E;IAC5E,KAAK,IAAI,SAAS,QAAQ,EAAE;IAI5B,6EAA6E;IAC7E,UAAU,IAAI,CAAC;IAIf,6FAA6F;IAC7F,SAAS,CAAC,iBAAiB,IAAI,MAAM,GAAG,SAAS;IAMjD;;;OAGG;IACH,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAWrD;;;OAGG;IACH,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAMrD;;;OAGG;IACH,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,EAAE;IAErC;;;;;;;;;OASG;cACgB,IAAI,IAAI,IAAI;IAQ/B;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,IAAI,IAAI,IAAI;IAQtB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAS5B;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,iBAAiB,IAAI,aAAa;IAuC5C;;;;;;OAMG;IACH,SAAS,CAAC,qBAAqB,IAAI,gBAAgB;CASpD"}
+{"version":3,"file":"rule-builder.d.ts","sourceRoot":"","sources":["../src/rule-builder.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAG/C,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjE,OAAO,KAAK,EAAgB,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAE5D,OAAO,EAAE,eAAe,EAAE,KAAK,aAAa,EAA0B,MAAM,uBAAuB,CAAA;AAiBnG;;;;GAIG;AACH;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAG/B,UAAU,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,EACnC,UAAU,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,GAClC,QAAQ,EAAE,CAgCZ;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,8BAAsB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,CAAE,SAAQ,eAAe;IAc3D,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAbzC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAK;IAC1C,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAK;IAC1C,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAAc;IACzD,4EAA4E;IAC5E,SAAS,CAAC,cAAc,UAAQ;IAChC;;;;;OAKG;IACH,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,CAAK;gBAEJ,OAAO,EAAE,CAAC;IAMzC;;;;;OAKG;IACH,IAAI,IAAI,IAAI;IAMZ;;;OAGG;IACH,GAAG,IAAI,IAAI;IAIX;;;;OAIG;IACH,MAAM,IAAI,IAAI;IAOd;;;OAGG;IACH,SAAS,IAAI,IAAI;IAIjB;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAelD;;;;;;;OAOG;IACH,MAAM,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;KAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAIpF;;;OAGG;IACH,YAAY,IAAI,eAAe;IAQ/B;;;;;;;;;;;;;;;;;;OAkBG;IACH;;;;;;;OAOG;IACH,SAAS,CAAC,gBAAgB,IAAI,OAAO;IAIrC,SAAS,CAAC,eAAe,IAAI,MAAM;cAQhB,kBAAkB,IAAI,OAAO;IAKhD;;;;;;;;;;OAUG;IACH,SAAS,CAAC,WAAW,IAAI,OAAO;IAIhC,4EAA4E;IAC5E,KAAK,IAAI,SAAS,QAAQ,EAAE;IAI5B,6EAA6E;IAC7E,UAAU,IAAI,CAAC;IAIf,6FAA6F;IAC7F,SAAS,CAAC,iBAAiB,IAAI,MAAM,GAAG,SAAS;IAMjD;;;OAGG;IACH,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAMrD;;;OAGG;IACH,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAMrD;;;OAGG;IACH,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,EAAE;IAErC;;;;;;;;;OASG;cACgB,IAAI,IAAI,IAAI;IAQ/B;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,IAAI,IAAI,IAAI;IAQtB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAI5B;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,iBAAiB,IAAI,aAAa;IAqC5C;;;;;;OAMG;IACH,SAAS,CAAC,qBAAqB,IAAI,gBAAgB;CAOpD"}