@nielspeter/eess 0.4.0 → 0.5.1

package/dist/collect-result.d.ts

@@ -0,0 +1,94 @@
+import type { ArchViolation } from './violation.js';
+/**
+ * The receipt — [ADR-014](../../../adr/014-the-emitter-refuses-a-verdict-without-evidence.md).
+ *
+ * **An `ArchViolation[]` carrying its own evidence**, not an object wrapping
+ * one. That shape is load-bearing and the review measured why: a plain object
+ * turns every untyped consumer green, because `result.length` reads `undefined`
+ * and `undefined > 0` is `false`. An array keeps `.length`, iteration,
+ * `flatMap` and every existing `for…of` working and correct, so a JavaScript
+ * consumer who never reads `examined` still exits non-zero on violations.
+ * "`CollectResult`'s shape by name" is a tidiness argument and it loses to that.
+ *
+ * **The name stays `CollectResult`.** Plan 0235 calls it a "receipt" in prose;
+ * there is deliberately no second exported name for one concept.
+ *
+ * `JSON.stringify` drops an array's own properties, which is why
+ * `formatViolationsJson` carries `examined` across by hand — see the note there.
+ */
+export interface CollectResult extends Array<ArchViolation> {
+    /** Units this rule actually reached its assertion over. The denominator. */
+    readonly examined: number;
+    /** The source loaded nothing at all, before any selection ran. */
+    readonly sourceEmpty?: boolean;
+    /** A caller declared this set legitimately empty, and the claim can expire. */
+    readonly declaredEmpty?: boolean;
+    /**
+     * This rule was never run — explicitly disabled, not merely empty.
+     *
+     * A third state, and it has to be distinguishable from both. A rule that RAN
+     * and examined nothing is dead and the merge must say so. A rule turned off
+     * never ran, so it has no denominator to be suspicious about — and marking it
+     * `declaredEmpty` instead would mint the declaration ADR-014 §3's amendment
+     * refuses to infer from `overrides: { id: 'off' }`.
+     *
+     * **It is falsifiable, like every other declaration here.** A rule that never
+     * ran examined nothing and found nothing, so `notRun` beside a non-zero
+     * `examined` or a violation is `emitter/contradictory-evidence` — checked at
+     * the gate and in the merge. Without that check this would be the one
+     * suppressing flag in the vocabulary that nothing can contradict, which is the
+     * shape ADR-014 §3's amendment exists to refuse.
+     *
+     * The two are not interchangeable: without this, one disabled rule reddened a
+     * whole preset whose other rules examined plenty (measured — `adrEnforcement`
+     * with `adr/valid-tiers` off). With it, a preset where EVERY member is `notRun`
+     * still sums to zero examined with no declaration, so the all-off case reports
+     * exactly as §3 requires.
+     */
+    readonly notRun?: boolean;
+    /**
+     * A specific dead-glob explanation for a zero-examined rule, pre-formatted
+     * by the dialect that computed it (`RuleBuilder.deadGlobDiagnosis()`) — the
+     * kernel never touches picomatch or a project type to build this itself.
+     */
+    readonly deadGlob?: string;
+}
+/** Evidence a caller supplies alongside the violations. */
+export interface Evidence {
+    readonly examined: number;
+    readonly sourceEmpty?: boolean;
+    readonly declaredEmpty?: boolean;
+    readonly notRun?: boolean;
+    readonly deadGlob?: string;
+}
+/**
+ * The one constructor. Every terminal produces its receipt through this.
+ *
+ * **Stamps a FRESH array, deliberately.** `applyFilters` returns the *same
+ * reference* when no exclusion applies, so stamping `examined` onto what it
+ * hands back would mutate whatever a family memoized — a rule's evidence
+ * appearing on someone else's array, changing when it is re-read. The copy is
+ * the cost of not having that bug.
+ */
+export declare function collectResult(violations: readonly ArchViolation[], evidence: Evidence): CollectResult;
+/** Does this value carry evidence at all, or is it a bare array? */
+export declare function hasEvidence(value: readonly ArchViolation[]): value is CollectResult;
+/**
+ * The one merge — ADR-014 §7. Fail-closed, and each rule below is a rule a
+ * hand-rolled sum got wrong somewhere (bug 0205's class: four emitters
+ * restating one rule and disagreeing).
+ *
+ * - **`examined` sums.** Zero members sums to zero — an absent denominator is
+ *   not a large one.
+ * - **`declaredEmpty` requires EVERY zero-contributing member to declare.** A
+ *   `some()` here lets one declared part vouch for a hand-counted zero beside
+ *   it, which is the whole failure this merge exists to prevent.
+ * - **`sourceEmpty` on any member outranks every declaration.** ADR-010 §3's
+ *   precedence: a declaration asserts a fact about a loaded corpus, and over
+ *   an empty source it asserts nothing.
+ * - **A member with no evidence poisons the merge**, rather than being counted
+ *   as zero. A dead member must not be able to hide inside a healthy sum, so
+ *   the result carries no evidence either and the emitter says so.
+ */
+export declare function mergeCollectResults(parts: readonly (readonly ArchViolation[])[]): CollectResult;
+//# sourceMappingURL=collect-result.d.ts.map

package/dist/collect-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-result.d.ts","sourceRoot":"","sources":["../src/collect-result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAQnD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,aAAc,SAAQ,KAAK,CAAC,aAAa,CAAC;IACzD,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,kEAAkE;IAClE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;IAChC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED,2DAA2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,QAAQ,EAAE,QAAQ,GACjB,aAAa,CAWf;AAED,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,KAAK,IAAI,aAAa,CAGnF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,GAAG,aAAa,CA0G/F"}

package/dist/collect-result.js

@@ -0,0 +1,142 @@
+import { noReceiptViolation, passWithoutEvidenceViolation, contradictoryEvidenceViolation, sourceEmptyViolation, } from './emitter-findings.js';
+/**
+ * The one constructor. Every terminal produces its receipt through this.
+ *
+ * **Stamps a FRESH array, deliberately.** `applyFilters` returns the *same
+ * reference* when no exclusion applies, so stamping `examined` onto what it
+ * hands back would mutate whatever a family memoized — a rule's evidence
+ * appearing on someone else's array, changing when it is re-read. The copy is
+ * the cost of not having that bug.
+ */
+export function collectResult(violations, evidence) {
+    // `Object.assign` returns the intersection type, so no assertion is needed —
+    // ADR-005. An earlier cut wrote `[...violations] as ArchViolation[] & {…}` and
+    // the repo's own `check:arch` reported it, in the module this plan adds.
+    return Object.assign([...violations], {
+        examined: evidence.examined,
+        ...(evidence.sourceEmpty === true ? { sourceEmpty: true } : {}),
+        ...(evidence.declaredEmpty === true ? { declaredEmpty: true } : {}),
+        ...(evidence.notRun === true ? { notRun: true } : {}),
+        ...(evidence.deadGlob === undefined ? {} : { deadGlob: evidence.deadGlob }),
+    });
+}
+/** Does this value carry evidence at all, or is it a bare array? */
+export function hasEvidence(value) {
+    // `in` narrows without an assertion — ADR-005.
+    return 'examined' in value && typeof value.examined === 'number';
+}
+/**
+ * The one merge — ADR-014 §7. Fail-closed, and each rule below is a rule a
+ * hand-rolled sum got wrong somewhere (bug 0205's class: four emitters
+ * restating one rule and disagreeing).
+ *
+ * - **`examined` sums.** Zero members sums to zero — an absent denominator is
+ *   not a large one.
+ * - **`declaredEmpty` requires EVERY zero-contributing member to declare.** A
+ *   `some()` here lets one declared part vouch for a hand-counted zero beside
+ *   it, which is the whole failure this merge exists to prevent.
+ * - **`sourceEmpty` on any member outranks every declaration.** ADR-010 §3's
+ *   precedence: a declaration asserts a fact about a loaded corpus, and over
+ *   an empty source it asserts nothing.
+ * - **A member with no evidence poisons the merge**, rather than being counted
+ *   as zero. A dead member must not be able to hide inside a healthy sum, so
+ *   the result carries no evidence either and the emitter says so.
+ */
+export function mergeCollectResults(parts) {
+    const violations = parts.flat();
+    if (!parts.every(hasEvidence)) {
+        // A member with no evidence at all. The merge REPORTS it rather than
+        // returning an evidence-free value for the emitter to notice later: the
+        // guarantee is this function's, and deferring it was also the last `as` in
+        // this file (an evidence-free value is not a `CollectResult`).
+        return collectResult([...violations, noReceiptViolation()], { examined: 0 });
+    }
+    // **ADR-014 §7's headline guarantee, and it needs its own pass.** Summing
+    // alone lets a dead member hide: measured, a check examining 0 merged with one
+    // examining 900 produced `examined: 900` and no finding — nine checks in
+    // `check-corpus.mjs`, one of them with a `continue` planted at the top of its
+    // loop, and the total still reads healthy. That is the plan's own top success
+    // criterion, and the field failure proposal 009 records, reproduced inside the
+    // primitive built to prevent it.
+    //
+    // A member is dead when it examined nothing, said nothing, and declared
+    // nothing. One that carries its own finding has spoken; one that declared
+    // empty has been accounted for.
+    // A member that never RAN is not a dead check — it is an absent one, with no
+    // denominator to be suspicious about. Excluding it is what keeps ONE disabled
+    // rule from reddening a preset whose others examined plenty (measured:
+    // `adrEnforcement` with `adr/valid-tiers` off). The all-off case still
+    // reports: every member is then `notRun`, the sum is zero and nobody
+    // declared, which the emitter's own gate catches downstream.
+    // A member whose `notRun` contradicts its own evidence, checked HERE and not
+    // only at the gate: the merged receipt carries no `notRun`, so a contradictory
+    // member is invisible downstream — it would slip through the one door that
+    // could see it. `notRun` is also the flag that exempts a member from the dead
+    // filter below, so an unchecked one is a suppressor with no falsifier (the
+    // asymmetry with `declaredEmpty` an enforcement review found in plan 0235).
+    const contradictory = parts.find((p) => p.notRun === true && (p.examined > 0 || p.length > 0));
+    if (contradictory !== undefined) {
+        return collectResult([...violations, contradictoryEvidenceViolation(contradictory.examined, contradictory.length)], { examined: parts.reduce((n, p) => n + p.examined, 0) });
+    }
+    // **An empty source is a member-level fault, checked HERE for the same reason
+    // the contradictory `notRun` above is** — ADR-014 §4: "an empty source
+    // outranks any declaration and names the source."
+    //
+    // The dead filter below EXEMPTS a `sourceEmpty` member, which is right for
+    // "did this member contribute nothing without saying why" — it said why. But
+    // §4 makes that answer a fault rather than an excuse, so the exemption alone
+    // left the merge disagreeing with the gate about the same receipt: measured,
+    // `finishPreset` reds a `{ examined: 0, sourceEmpty: true, declaredEmpty: true }`
+    // member while `mergeCollectResults([thatMember, aHealthyOne])` was GREEN,
+    // because the healthy sibling's `examined` carries the merged receipt past the
+    // gate's own check. That is the `notRun` asymmetry this ADR already fixed once,
+    // recreated for `sourceEmpty` by the change that fixed it at the gate.
+    const emptySource = parts.find((p) => p.sourceEmpty === true && p.examined === 0);
+    if (emptySource !== undefined) {
+        const summed = parts.reduce((n, p) => n + p.examined, 0);
+        return collectResult([...violations, sourceEmptyViolation()], {
+            examined: summed,
+            // **Only when it is true of the WHOLE.** Stamping it unconditionally
+            // minted a receipt saying "the source loaded nothing" beside a non-zero
+            // sum from healthy siblings — and the gate then contradicted it, blaming a
+            // flag nobody set. Four reviewers measured that on this branch's own
+            // headline scenario. The member-level fact is already carried by the
+            // finding above; the flag describes the merged whole, and of the whole it
+            // is only true when nothing was examined anywhere.
+            sourceEmpty: summed === 0 ? true : undefined,
+        });
+    }
+    const dead = parts.filter((p) => p.examined === 0 &&
+        p.length === 0 &&
+        p.notRun !== true &&
+        p.declaredEmpty !== true &&
+        p.sourceEmpty !== true);
+    if (dead.length > 0 && parts.length > 1) {
+        return collectResult([...violations, passWithoutEvidenceViolation()], {
+            examined: parts.reduce((n, p) => n + p.examined, 0),
+        });
+    }
+    const examined = parts.reduce((n, p) => n + p.examined, 0);
+    const anySourceEmpty = parts.some((p) => p.sourceEmpty === true);
+    return collectResult(violations, {
+        examined,
+        sourceEmpty: anySourceEmpty ? true : undefined,
+        // **Only when the WHOLE verdict examined nothing.** A member's declaration
+        // is about that member: `honestyAtClose` merges three rules and one of them
+        // legitimately declares itself empty while the other two examine plenty.
+        // Propagating that up marked the merged verdict declared-empty over a
+        // non-zero total, and the emitter's expiry then fired on it — correctly,
+        // which is how this was found. The member's own declaration is already
+        // satisfied by its own zero; the merge has nothing to add.
+        //
+        // `every`, not `some`: one declared part must never vouch for a
+        // hand-counted zero beside it.
+        declaredEmpty: !anySourceEmpty &&
+            examined === 0 &&
+            parts.length > 0 &&
+            parts.every((p) => p.declaredEmpty === true)
+            ? true
+            : undefined,
+    });
+}
+//# sourceMappingURL=collect-result.js.map

package/dist/collect-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-result.js","sourceRoot":"","sources":["../src/collect-result.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,8BAA8B,EAC9B,oBAAoB,GACrB,MAAM,uBAAuB,CAAA;AAkE9B;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,UAAoC,EACpC,QAAkB;IAElB,6EAA6E;IAC7E,+EAA+E;IAC/E,yEAAyE;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE;QACpC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,CAAC,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,GAAG,CAAC,QAAQ,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;KAC5E,CAAC,CAAA;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAC,KAA+B;IACzD,+CAA+C;IAC/C,OAAO,UAAU,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA4C;IAC9E,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAA;IAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9B,qEAAqE;QACrE,wEAAwE;QACxE,2EAA2E;QAC3E,+DAA+D;QAC/D,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,kBAAkB,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC;IAED,0EAA0E;IAC1E,+EAA+E;IAC/E,yEAAyE;IACzE,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,iCAAiC;IACjC,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,gCAAgC;IAChC,6EAA6E;IAC7E,8EAA8E;IAC9E,uEAAuE;IACvE,uEAAuE;IACvE,qEAAqE;IACrE,6DAA6D;IAC7D,6EAA6E;IAC7E,+EAA+E;IAC/E,2EAA2E;IAC3E,8EAA8E;IAC9E,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAC9F,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,aAAa,CAClB,CAAC,GAAG,UAAU,EAAE,8BAA8B,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,EAC7F,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CACxD,CAAA;IACH,CAAC;IAED,8EAA8E;IAC9E,uEAAuE;IACvE,kDAAkD;IAClD,EAAE;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,kFAAkF;IAClF,2EAA2E;IAC3E,+EAA+E;IAC/E,gFAAgF;IAChF,uEAAuE;IACvE,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;IACjF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;QACxD,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,oBAAoB,EAAE,CAAC,EAAE;YAC5D,QAAQ,EAAE,MAAM;YAChB,qEAAqE;YACrE,wEAAwE;YACxE,2EAA2E;YAC3E,qEAAqE;YACrE,qEAAqE;YACrE,0EAA0E;YAC1E,mDAAmD;YACnD,WAAW,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;SAC7C,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,QAAQ,KAAK,CAAC;QAChB,CAAC,CAAC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,MAAM,KAAK,IAAI;QACjB,CAAC,CAAC,aAAa,KAAK,IAAI;QACxB,CAAC,CAAC,WAAW,KAAK,IAAI,CACzB,CAAA;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,4BAA4B,EAAE,CAAC,EAAE;YACpE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;SACpD,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC1D,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAA;IAChE,OAAO,aAAa,CAAC,UAAU,EAAE;QAC/B,QAAQ;QACR,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QAC9C,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,sEAAsE;QACtE,yEAAyE;QACzE,uEAAuE;QACvE,2DAA2D;QAC3D,EAAE;QACF,gEAAgE;QAChE,+BAA+B;QAC/B,aAAa,EACX,CAAC,cAAc;YACf,QAAQ,KAAK,CAAC;YACd,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC;YAC1C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,SAAS;KAChB,CAAC,CAAA;AACJ,CAAC"}

package/dist/combinators.d.ts

@@ -22,6 +22,20 @@ export type Matcher<V> = (value: V) => boolean;
  */
 export declare function not<T>(input: Predicate<T>): Predicate<T>;
 export declare function not<V>(input: Matcher<V>): Matcher<V>;
+/**
+ * Every input to `and()`/`or()` must be the same kind.
+ *
+ * `eess-ts` carried a byte-identical copy — `no-copy-paste` reported it at
+ * 100%, with only the noun in the message differing — so the noun is now the
+ * parameter and the check has one owner.
+ *
+ * A `TypeError` and not a filtered result: mixing an object predicate with a
+ * matcher function silently drops one kind (the implementations below filter
+ * by `typeof`), so a rule composed that way would narrow by half of what its
+ * author wrote and pass on the rest. Refusing at composition time is the only
+ * point where the mistake is still visible.
+ */
+export declare function assertHomogeneous<T, V>(inputs: (Predicate<T> | Matcher<V>)[], matcherNoun?: string): void;
 /**
  * Combines predicates or matchers with AND logic.
  *

package/dist/combinators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"combinators.d.ts","sourceRoot":"","sources":["../src/combinators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/C;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;AAE9C;;;;;;;;;;;;GAYG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AACzD,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAmBrD;;;;;;;;;;;;GAYG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AACnE,wBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAe7D;;;;;;;;;;;;GAYG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAClE,wBAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"combinators.d.ts","sourceRoot":"","sources":["../src/combinators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAG/C;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;AAE9C;;;;;;;;;;;;GAYG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AACzD,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAiBrD;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,CAAC,EACpC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EACrC,WAAW,SAAY,GACtB,IAAI,CAMN;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AACnE,wBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAK7D;;;;;;;;;;;;GAYG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAClE,wBAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA"}

package/dist/combinators.js

@@ -1,3 +1,4 @@
+import { combineGlobs, negateGlobs } from './glob-site.js';
 export function not(input) {
     if (typeof input === 'function') {
         return (value) => !input(value);
@@ -5,39 +6,75 @@ export function not(input) {
     return {
         description: `not (${input.description})`,
         test: (element) => !input.test(element),
+        // Negation-normal-form push-down: `op` inverts as well as `polarity`.
+        // `not(unsatisfiable)` selects everything, so a negated site is
+        // over-selection rather than vacuity and can never be a fault — but a
+        // `not` nested inside the subtree flips it back, which is why this cannot
+        // just flip polarity. See `negateGlobs`.
+        globs: input.globs && negateGlobs(input.globs),
     };
 }
-function assertHomogeneous(inputs) {
+/**
+ * Every input to `and()`/`or()` must be the same kind.
+ *
+ * `eess-ts` carried a byte-identical copy — `no-copy-paste` reported it at
+ * 100%, with only the noun in the message differing — so the noun is now the
+ * parameter and the check has one owner.
+ *
+ * A `TypeError` and not a filtered result: mixing an object predicate with a
+ * matcher function silently drops one kind (the implementations below filter
+ * by `typeof`), so a rule composed that way would narrow by half of what its
+ * author wrote and pass on the rest. Refusing at composition time is the only
+ * point where the mistake is still visible.
+ */
+export function assertHomogeneous(inputs, matcherNoun = 'Matcher') {
     if (inputs.length === 0)
         return;
     const firstIsFunction = typeof inputs[0] === 'function';
     if (inputs.some((i) => (typeof i === 'function') !== firstIsFunction)) {
-        throw new TypeError('Cannot mix Predicate objects and Matcher functions in and()/or()');
+        throw new TypeError(`Cannot mix Predicate objects and ${matcherNoun} functions in and()/or()`);
     }
 }
 export function and(...inputs) {
-    assertHomogeneous(inputs);
-    if (typeof inputs[0] === 'function') {
-        const matchers = inputs.filter((input) => typeof input === 'function');
-        const fn = (value) => matchers.every((m) => m(value));
-        return fn;
-    }
-    const predicates = inputs.filter((input) => typeof input !== 'function');
-    return {
-        description: predicates.map((p) => p.description).join(' and '),
-        test: (element) => predicates.every((p) => p.test(element)),
-    };
+    return combine(inputs, 'all');
 }
 export function or(...inputs) {
+    return combine(inputs, 'any');
+}
+/**
+ * The body `and()` and `or()` share, with the quantifier as its one parameter.
+ *
+ * They were the same fifteen lines twice — `no-copy-paste` reported them at
+ * 98%, across both packages — but the reason to share them is that **three
+ * choices have to agree and nothing was making them**:
+ *
+ * | `op`    | quantifier | joined with | glob node |
+ * | ------- | ---------- | ----------- | --------- |
+ * | `'all'` | `every`    | `' and '`   | `'all'`   |
+ * | `'any'` | `some`     | `' or '`    | `'any'`   |
+ *
+ * A conjunction selects nothing as soon as ONE input does; a disjunction only
+ * when EVERY input does. Pairing `some` with a `'all'` glob node — one edit
+ * away, in two files, when they were written out separately — reports a live
+ * selector as dead, which is a configuration finding against a rule that is
+ * fine. Deriving all three from `op` is what makes that unreachable.
+ *
+ * Inputs that declare no globs become retained opaque children rather than
+ * being dropped: dropping them is what would red `or(deadGlob, byName)`.
+ */
+function combine(inputs, op) {
     assertHomogeneous(inputs);
+    const holds = (xs, f) => op === 'all' ? xs.every(f) : xs.some(f);
     if (typeof inputs[0] === 'function') {
         const matchers = inputs.filter((input) => typeof input === 'function');
-        return (value) => matchers.some((m) => m(value));
+        const fn = (value) => holds(matchers, (m) => m(value));
+        return fn;
     }
     const predicates = inputs.filter((input) => typeof input !== 'function');
     return {
-        description: predicates.map((p) => p.description).join(' or '),
-        test: (element) => predicates.some((p) => p.test(element)),
+        description: predicates.map((p) => p.description).join(op === 'all' ? ' and ' : ' or '),
+        test: (element) => holds(predicates, (p) => p.test(element)),
+        globs: combineGlobs(op, predicates.map((p) => p.globs)),
     };
 }
 //# sourceMappingURL=combinators.js.map

package/dist/combinators.js.map

@@ -1 +1 @@
-{"version":3,"file":"combinators.js","sourceRoot":"","sources":["../src/combinators.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,GAAG,CAAO,KAAgC;IACxD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CAAC,KAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACpC,CAAC;IACD,OAAO;QACL,WAAW,EAAE,QAAQ,KAAK,CAAC,WAAW,GAAG;QACzC,IAAI,EAAE,CAAC,OAAU,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;KAC3C,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAO,MAAqC;IACpE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAC/B,MAAM,eAAe,GAAG,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,CAAA;IACvD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,UAAU,CAAC,KAAK,eAAe,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,SAAS,CAAC,kEAAkE,CAAC,CAAA;IACzF,CAAC;AACH,CAAC;AAiBD,MAAM,UAAU,GAAG,CAAO,GAAG,MAAqC;IAChE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACzB,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAA;QAC3F,MAAM,EAAE,GAAe,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;QACjE,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAyB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAA;IAC/F,OAAO;QACL,WAAW,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/D,IAAI,EAAE,CAAC,OAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;KAC/D,CAAA;AACH,CAAC;AAiBD,MAAM,UAAU,EAAE,CAAO,GAAG,MAAqC;IAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACzB,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAA;QAC3F,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAyB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAA;IAC/F,OAAO;QACL,WAAW,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9D,IAAI,EAAE,CAAC,OAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;KAC9D,CAAA;AACH,CAAC"}
+{"version":3,"file":"combinators.js","sourceRoot":"","sources":["../src/combinators.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AA0B1D,MAAM,UAAU,GAAG,CAAO,KAAgC;IACxD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CAAC,KAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACpC,CAAC;IACD,OAAO;QACL,WAAW,EAAE,QAAQ,KAAK,CAAC,WAAW,GAAG;QACzC,IAAI,EAAE,CAAC,OAAU,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1C,sEAAsE;QACtE,gEAAgE;QAChE,sEAAsE;QACtE,0EAA0E;QAC1E,yCAAyC;QACzC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;KAC/C,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAqC,EACrC,WAAW,GAAG,SAAS;IAEvB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAC/B,MAAM,eAAe,GAAG,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,CAAA;IACvD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,UAAU,CAAC,KAAK,eAAe,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,SAAS,CAAC,oCAAoC,WAAW,0BAA0B,CAAC,CAAA;IAChG,CAAC;AACH,CAAC;AAiBD,MAAM,UAAU,GAAG,CAAO,GAAG,MAAqC;IAChE,OAAO,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAC/B,CAAC;AAiBD,MAAM,UAAU,EAAE,CAAO,GAAG,MAAqC;IAC/D,OAAO,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,OAAO,CACd,MAAqC,EACrC,EAAiB;IAEjB,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACzB,MAAM,KAAK,GAAG,CAAI,EAAgB,EAAE,CAAoB,EAAW,EAAE,CACnE,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAEzC,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAA;QAC3F,MAAM,EAAE,GAAe,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;QAClE,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAyB,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAA;IAC/F,OAAO;QACL,WAAW,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QACvF,IAAI,EAAE,CAAC,OAAU,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/D,KAAK,EAAE,YAAY,CACjB,EAAE,EACF,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAC/B;KACF,CAAA;AACH,CAAC"}

package/dist/condition.d.ts

@@ -1,5 +1,7 @@
 import type { ArchViolation } from './violation.js';
+import { type CollectResult } from './collect-result.js';
 import type { DeclaredGlobs } from './glob-site.js';
+import type { RuleMetadata } from './rule-metadata.js';
 /**
  * Context passed to conditions during evaluation.
  *
@@ -33,6 +35,25 @@ export interface ConditionContext {
      */
     identifyByArgument?: number;
 }
+/**
+ * The context a condition receives, projected from what the rule declared.
+ *
+ * Four of the five fields are read off `RuleMetadata` identically everywhere;
+ * only `rule` — the assembled English sentence — differs, because the kernel's
+ * `RuleBuilder` builds it from its own lists and `eess-ts`'s builds it from a
+ * `DeclaredRule`. The two bodies were 93% similar with that as the sole varying
+ * axis.
+ *
+ * Worth one owner beyond the duplicate count: this context is what a violation
+ * message is written from, so a field silently absent on one side of the family
+ * produces findings that name their rule in one dialect and not the other —
+ * exactly the "a violation must be actionable" clause of ADR-009.
+ */
+export declare function conditionContextFrom(opts: {
+    metadata: RuleMetadata | undefined;
+    reason: string | undefined;
+    rule: string;
+}): ConditionContext;
 /**
  * A condition that evaluates filtered elements and returns violations.
  *
@@ -59,4 +80,20 @@ export interface Condition<T> {
      */
     readonly globs?: DeclaredGlobs;
 }
+/**
+ * Run every condition over the selected elements, carrying the evidence.
+ *
+ * `examined` is the count the conditions were actually HANDED — not the
+ * pre-predicate population — and that distinction is the reason this is shared
+ * rather than written per builder. `graphql/resolver-rule-builder.ts` records
+ * what happened when two sibling builders derived it separately: one counted
+ * pre-predicate and the other post, and a chain whose `.that()` selected nothing
+ * reported 14 units examined, handed its conditions 0, and passed green with
+ * `diagnose()` silent. That is the fail-open cell ADR-009 exists to close.
+ *
+ * The zero-element early exit is stated rather than implied by an empty
+ * violation list (plan 0098): a receipt with `examined: 0` is the
+ * zero-evidence case, and ADR-010 wants it said out loud.
+ */
+export declare function evaluateConditions<T>(elements: T[], conditions: readonly Condition<T>[], context: ConditionContext): CollectResult;
 //# sourceMappingURL=condition.d.ts.map

package/dist/condition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,iDAAiD;IACjD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;;;;;;;;;;;OAaG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,GAAG,aAAa,EAAE,CAAA;IAEnE;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;CAC/B"}
+{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,KAAK,aAAa,EAAiB,MAAM,qBAAqB,CAAA;AACvE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,iDAAiD;IACjD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;;;;;;;;;;;OAaG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE;IACzC,QAAQ,EAAE,YAAY,GAAG,SAAS,CAAA;IAClC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IAC1B,IAAI,EAAE,MAAM,CAAA;CACb,GAAG,gBAAgB,CAQnB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,GAAG,aAAa,EAAE,CAAA;IAEnE;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;CAC/B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAClC,QAAQ,EAAE,CAAC,EAAE,EACb,UAAU,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,EACnC,OAAO,EAAE,gBAAgB,GACxB,aAAa,CAOf"}

package/dist/condition.js

@@ -1,2 +1,49 @@
-export {};
+import { collectResult } from './collect-result.js';
+/**
+ * The context a condition receives, projected from what the rule declared.
+ *
+ * Four of the five fields are read off `RuleMetadata` identically everywhere;
+ * only `rule` — the assembled English sentence — differs, because the kernel's
+ * `RuleBuilder` builds it from its own lists and `eess-ts`'s builds it from a
+ * `DeclaredRule`. The two bodies were 93% similar with that as the sole varying
+ * axis.
+ *
+ * Worth one owner beyond the duplicate count: this context is what a violation
+ * message is written from, so a field silently absent on one side of the family
+ * produces findings that name their rule in one dialect and not the other —
+ * exactly the "a violation must be actionable" clause of ADR-009.
+ */
+export function conditionContextFrom(opts) {
+    return {
+        rule: opts.rule,
+        because: opts.reason,
+        ruleId: opts.metadata?.id,
+        suggestion: opts.metadata?.suggestion,
+        docs: opts.metadata?.docs,
+    };
+}
+/**
+ * Run every condition over the selected elements, carrying the evidence.
+ *
+ * `examined` is the count the conditions were actually HANDED — not the
+ * pre-predicate population — and that distinction is the reason this is shared
+ * rather than written per builder. `graphql/resolver-rule-builder.ts` records
+ * what happened when two sibling builders derived it separately: one counted
+ * pre-predicate and the other post, and a chain whose `.that()` selected nothing
+ * reported 14 units examined, handed its conditions 0, and passed green with
+ * `diagnose()` silent. That is the fail-open cell ADR-009 exists to close.
+ *
+ * The zero-element early exit is stated rather than implied by an empty
+ * violation list (plan 0098): a receipt with `examined: 0` is the
+ * zero-evidence case, and ADR-010 wants it said out loud.
+ */
+export function evaluateConditions(elements, conditions, context) {
+    if (elements.length === 0)
+        return collectResult([], { examined: 0 });
+    const violations = [];
+    for (const condition of conditions) {
+        violations.push(...condition.evaluate(elements, context));
+    }
+    return collectResult(violations, { examined: elements.length });
+}
 //# sourceMappingURL=condition.js.map

package/dist/condition.js.map

@@ -1 +1 @@
-{"version":3,"file":"condition.js","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":""}
+{"version":3,"file":"condition.js","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAsCvE;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAIpC;IACC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,MAAM;QACpB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE;QACzB,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU;QACrC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI;KAC1B,CAAA;AACH,CAAC;AA+BD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAa,EACb,UAAmC,EACnC,OAAyB;IAEzB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAA;IACpE,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,aAAa,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;AACjE,CAAC"}

package/dist/correspondence.d.ts

@@ -1,3 +1,4 @@
+import type { Predicate } from './predicate.js';
 import { TerminalBuilder, type CollectResult } from './terminal-builder.js';
 /** How to identify an element for a two-sided violation message. */
 export interface ElementInfo {
@@ -97,4 +98,33 @@ export declare class CorrespondenceBuilder<L, R> extends TerminalBuilder {
 }
 /** Bind two selections into a correspondence. */
 export declare function correspondence<L, R>(opts: CorrespondenceOptions<L, R>): CorrespondenceBuilder<L, R>;
+/**
+ * The elements a rule's predicates admit, as a `Selection`.
+ *
+ * A free function over the elements and the predicates rather than a method,
+ * for the same reason as `recordExclusions`: the two builders that need it sit
+ * in incompatible hierarchies — `eess-ts` has three levels where the kernel has
+ * two — so there is no common base to hold it. The two copies were
+ * byte-identical.
+ */
+export declare function selectMatching<T>(elements: readonly T[], predicates: readonly Predicate<T>[], opts: {
+    label: string;
+    identify: (element: T) => ElementInfo;
+}): Selection<T>;
+/**
+ * The elements every predicate admits.
+ *
+ * The same conjunction as `selectMatching`, without a `Selection` around it —
+ * split out because `eess-ts`'s two GraphQL builders want the ARRAY, to memoise
+ * it as the one set both `check()` and `diagnose()` read (plan 0096). They each
+ * carried this filter inline, byte for byte, which `no-copy-paste` reported at
+ * 100%; folding them onto `selectMatching` was not open, since a `Selection`
+ * carries a label and an `identify` neither of them has at that point.
+ *
+ * Sharing it with `selectMatching` matters beyond the duplicate count: "the
+ * elements a rule selected" must be ONE answer, or a builder's `.select()` side
+ * and its condition side can disagree about which elements the predicates
+ * admitted — the divergence ADR-010 exists to make impossible.
+ */
+export declare function matchingElements<T>(elements: readonly T[], predicates: readonly Predicate<T>[]): T[];
 //# sourceMappingURL=correspondence.d.ts.map

package/dist/correspondence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"correspondence.d.ts","sourceRoot":"","sources":["../src/correspondence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAO3E,oEAAoE;AACpE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;CAC/C;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,eAAe,GAAG,MAAM,CAAA;AAElE,2EAA2E;AAC3E,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAC/B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAClB,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAA;CAAE,CAAA;AAEzE,MAAM,WAAW,qBAAqB,CAAC,CAAC,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;IACjD,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;QAClE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;KACnE,CAAA;CACF;AAgBD;;;;;;GAMG;AACH,qBAAa,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,eAAe;IAGlD,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;gBAEf,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;IAI9D,2DAA2D;IAC3D,MAAM,IAAI,IAAI;IAId,gDAAgD;IAChD,SAAS,IAAI,IAAI;IAIjB;;;;OAIG;IACH,UAAU,CAAC,IAAI,GAAE;QAAE,SAAS,CAAC,EAAE,SAAS,CAAA;KAAO,GAAG,IAAI;IAStD;;;;OAIG;IACH,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IASjD,SAAS,CAAC,iBAAiB,IAAI,aAAa;IAW5C;;;;;;;;;;;;;OAaG;cACgB,kBAAkB,IAAI,OAAO;CAIjD;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EACjC,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAE7B"}
+{"version":3,"file":"correspondence.d.ts","sourceRoot":"","sources":["../src/correspondence.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAO3E,oEAAoE;AACpE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;CAC/C;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,eAAe,GAAG,MAAM,CAAA;AAElE,2EAA2E;AAC3E,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAC/B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAClB,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAA;CAAE,CAAA;AAEzE,MAAM,WAAW,qBAAqB,CAAC,CAAC,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;IACjD,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;QAClE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;KACnE,CAAA;CACF;AAgBD;;;;;;GAMG;AACH,qBAAa,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,eAAe;IAGlD,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;gBAEf,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;IAI9D,2DAA2D;IAC3D,MAAM,IAAI,IAAI;IAId,gDAAgD;IAChD,SAAS,IAAI,IAAI;IAIjB;;;;OAIG;IACH,UAAU,CAAC,IAAI,GAAE;QAAE,SAAS,CAAC,EAAE,SAAS,CAAA;KAAO,GAAG,IAAI;IAStD;;;;OAIG;IACH,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IASjD,SAAS,CAAC,iBAAiB,IAAI,aAAa;IAW5C;;;;;;;;;;;;;OAaG;cACgB,kBAAkB,IAAI,OAAO;CAIjD;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EACjC,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAE7B;AA6GD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAC9B,QAAQ,EAAE,SAAS,CAAC,EAAE,EACtB,UAAU,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,EACnC,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;CAAE,GAC7D,SAAS,CAAC,CAAC,CAAC,CAMd;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAChC,QAAQ,EAAE,SAAS,CAAC,EAAE,EACtB,UAAU,EAAE,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,GAClC,CAAC,EAAE,CAEL"}

package/dist/correspondence.js

@@ -1,3 +1,4 @@
+import { collectResult } from './collect-result.js';
 import { TerminalBuilder } from './terminal-builder.js';
 import { matchSelections } from './matching.js';
 import { marksAssertsCardinality, assertsCardinality as checkAssertsCardinality, } from './cardinality.js';
@@ -60,7 +61,7 @@ export class CorrespondenceBuilder extends TerminalBuilder {
         // many checks were chained; one side alone being empty is still real
         // examination of the other.
         const examined = this.opts.left.elements.length + this.opts.right.elements.length;
-        return { violations, examined };
+        return collectResult(violations, { examined });
     }
     /**
      * ADR-010: mirrors `RuleBuilder.assertsCardinality()` — per-check, not a
@@ -158,4 +159,38 @@ function relations(o, spec, ruleId) {
     }
     return out;
 }
+/**
+ * The elements a rule's predicates admit, as a `Selection`.
+ *
+ * A free function over the elements and the predicates rather than a method,
+ * for the same reason as `recordExclusions`: the two builders that need it sit
+ * in incompatible hierarchies — `eess-ts` has three levels where the kernel has
+ * two — so there is no common base to hold it. The two copies were
+ * byte-identical.
+ */
+export function selectMatching(elements, predicates, opts) {
+    return {
+        elements: matchingElements(elements, predicates),
+        label: opts.label,
+        identify: opts.identify,
+    };
+}
+/**
+ * The elements every predicate admits.
+ *
+ * The same conjunction as `selectMatching`, without a `Selection` around it —
+ * split out because `eess-ts`'s two GraphQL builders want the ARRAY, to memoise
+ * it as the one set both `check()` and `diagnose()` read (plan 0096). They each
+ * carried this filter inline, byte for byte, which `no-copy-paste` reported at
+ * 100%; folding them onto `selectMatching` was not open, since a `Selection`
+ * carries a label and an `identify` neither of them has at that point.
+ *
+ * Sharing it with `selectMatching` matters beyond the duplicate count: "the
+ * elements a rule selected" must be ONE answer, or a builder's `.select()` side
+ * and its condition side can disagree about which elements the predicates
+ * admitted — the divergence ADR-010 exists to make impossible.
+ */
+export function matchingElements(elements, predicates) {
+    return elements.filter((element) => predicates.every((predicate) => predicate.test(element)));
+}
 //# sourceMappingURL=correspondence.js.map