@nielspeter/eess 0.4.0 → 0.5.0

package/dist/mask-non-comment.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Blank every span a directive must NOT be read from, preserving length and
+ * lines so reported positions are unchanged.
+ *
+ * Bug 0154: `parseExclusionComments` scanned raw source line by line with a bare
+ * regex, so text that merely LOOKED like `// eess-exclude …` — inside a string,
+ * a template literal, or a block comment describing the grammar — was parsed as
+ * a real waiver and silently suppressed a genuine finding on the next line. That
+ * is a suppression nobody wrote, which is the worst direction a suppression
+ * system can fail in.
+ *
+ * **Text-only, deliberately.** The kernel cannot import ts-morph (ADR-002/007
+ * confine it to `eess-ts`), so this is a hand-rolled single-pass scanner rather
+ * than an AST walk. The failure direction is what makes that acceptable: a
+ * mis-lex can only ever *hide* a directive — a waiver stops working, loudly, and
+ * the violation it was hiding comes back — never invent one.
+ *
+ * Line comments are deliberately NOT blanked: they are the thing being looked
+ * for. Everything else that can contain `//` is.
+ */
+/**
+ * Blank strings, template literals, regex literals and block comments.
+ *
+ * @param sourceText the raw file text
+ * @returns text of identical length and line structure, with those spans spaced out
+ */
+export declare function maskNonCommentSpans(sourceText: string): string;
+/**
+ * The markdown answer to the question `maskNonCommentSpans` asks of code.
+ *
+ * A `.md` file has no string or template literals, so running the JS/TS lexer
+ * over one is a category error — and a costly one, because markdown is
+ * backtick-dense: a single unbalanced backtick in prose opened a "template
+ * literal" that swallowed the rest of the file, silencing every real directive
+ * after it. Fail-closed, so no invented suppression, but a waiver that stops
+ * working for a reason nobody can see is its own defect.
+ *
+ * What markdown DOES have is code spans, and they mean the same thing a string
+ * literal means in code: this is an example of the grammar, not an instance of
+ * it. Fenced blocks (``` or ~~~) and inline spans are blanked; prose is left
+ * alone. Length- and line-preserving, so reported positions do not move.
+ *
+ * An unterminated fence blanks to end-of-file. That is the fail-closed
+ * direction: text under a fence that was opened and never closed is more likely
+ * an example than a waiver, and the cost is a directive that does not apply
+ * rather than one that applies where nobody asked.
+ */
+export declare function maskMarkdownCodeSpans(sourceText: string): string;
+//# sourceMappingURL=mask-non-comment.d.ts.map

package/dist/mask-non-comment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mask-non-comment.d.ts","sourceRoot":"","sources":["../src/mask-non-comment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAkCH;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAyF9D;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAyChE"}

package/dist/mask-non-comment.js

@@ -0,0 +1,261 @@
+/**
+ * Blank every span a directive must NOT be read from, preserving length and
+ * lines so reported positions are unchanged.
+ *
+ * Bug 0154: `parseExclusionComments` scanned raw source line by line with a bare
+ * regex, so text that merely LOOKED like `// eess-exclude …` — inside a string,
+ * a template literal, or a block comment describing the grammar — was parsed as
+ * a real waiver and silently suppressed a genuine finding on the next line. That
+ * is a suppression nobody wrote, which is the worst direction a suppression
+ * system can fail in.
+ *
+ * **Text-only, deliberately.** The kernel cannot import ts-morph (ADR-002/007
+ * confine it to `eess-ts`), so this is a hand-rolled single-pass scanner rather
+ * than an AST walk. The failure direction is what makes that acceptable: a
+ * mis-lex can only ever *hide* a directive — a waiver stops working, loudly, and
+ * the violation it was hiding comes back — never invent one.
+ *
+ * Line comments are deliberately NOT blanked: they are the thing being looked
+ * for. Everything else that can contain `//` is.
+ */
+/** Replace a span with spaces, keeping newlines so line numbers do not move. */
+function blank(text, start, end) {
+    let out = '';
+    for (let i = start; i < end; i++) {
+        out += text[i] === '\n' ? '\n' : ' ';
+    }
+    return out;
+}
+/**
+ * A `/` here starts a regex literal rather than dividing.
+ *
+ * Decided by the previous significant character: after a value (identifier,
+ * literal, `)`, `]`) a `/` divides; after an operator, `(`, `,`, `=` or nothing
+ * it opens a regex. Getting this wrong is safe in one direction only — treating
+ * a division as a regex blanks source that could then hide a directive, so the
+ * bias is toward NOT opening a regex when unsure.
+ */
+function opensRegex(text, at) {
+    let i = at - 1;
+    while (i >= 0) {
+        const c = text[i];
+        if (c === undefined)
+            return true;
+        if (c === ' ' || c === '\t' || c === '\r' || c === '\n') {
+            i -= 1;
+            continue;
+        }
+        return !/[A-Za-z0-9_$)\]]/.test(c);
+    }
+    return true;
+}
+/**
+ * Blank strings, template literals, regex literals and block comments.
+ *
+ * @param sourceText the raw file text
+ * @returns text of identical length and line structure, with those spans spaced out
+ */
+export function maskNonCommentSpans(sourceText) {
+    let out = '';
+    let i = 0;
+    const n = sourceText.length;
+    while (i < n) {
+        const c = sourceText[i];
+        const next = sourceText[i + 1];
+        // Line comment — left intact; this is what the directive parser reads.
+        if (c === '/' && next === '/') {
+            const end = sourceText.indexOf('\n', i);
+            const stop = end === -1 ? n : end;
+            out += sourceText.slice(i, stop);
+            i = stop;
+            continue;
+        }
+        // Block comment — blanked. A grammar description inside JSDoc is prose.
+        if (c === '/' && next === '*') {
+            const close = sourceText.indexOf('*/', i + 2);
+            const stop = close === -1 ? n : close + 2;
+            out += blank(sourceText, i, stop);
+            i = stop;
+            continue;
+        }
+        // String or template literal — blanked whole, interpolations included. A
+        // `${…}` may itself contain a quote, so scanning it as code would need a
+        // nesting stack for no benefit: nothing inside a template is a directive.
+        if (c === '"' || c === "'" || c === '`') {
+            const quote = c;
+            let j = i + 1;
+            while (j < n) {
+                const d = sourceText[j];
+                if (d === '\\') {
+                    j += 2;
+                    continue;
+                }
+                if (d === quote) {
+                    j += 1;
+                    break;
+                }
+                // An unterminated single- or double-quoted string ends at the newline;
+                // a template legitimately spans lines.
+                if (d === '\n' && quote !== '`')
+                    break;
+                j += 1;
+            }
+            out += blank(sourceText, i, j);
+            i = j;
+            continue;
+        }
+        // Regex literal — blanked. `/…\/…/` can contain `//`.
+        if (c === '/' && opensRegex(sourceText, i)) {
+            let j = i + 1;
+            let inClass = false;
+            let closed = false;
+            while (j < n) {
+                const d = sourceText[j];
+                if (d === '\\') {
+                    j += 2;
+                    continue;
+                }
+                if (d === '\n')
+                    break;
+                if (d === '[')
+                    inClass = true;
+                else if (d === ']')
+                    inClass = false;
+                else if (d === '/' && !inClass) {
+                    j += 1;
+                    closed = true;
+                    break;
+                }
+                j += 1;
+            }
+            // Only blank when it really closed on the same line; an unterminated
+            // `/` was division after all, and blanking to end-of-line could hide a
+            // trailing directive.
+            if (closed) {
+                out += blank(sourceText, i, j);
+                i = j;
+                continue;
+            }
+        }
+        out += c;
+        i += 1;
+    }
+    return out;
+}
+/**
+ * The markdown answer to the question `maskNonCommentSpans` asks of code.
+ *
+ * A `.md` file has no string or template literals, so running the JS/TS lexer
+ * over one is a category error — and a costly one, because markdown is
+ * backtick-dense: a single unbalanced backtick in prose opened a "template
+ * literal" that swallowed the rest of the file, silencing every real directive
+ * after it. Fail-closed, so no invented suppression, but a waiver that stops
+ * working for a reason nobody can see is its own defect.
+ *
+ * What markdown DOES have is code spans, and they mean the same thing a string
+ * literal means in code: this is an example of the grammar, not an instance of
+ * it. Fenced blocks (``` or ~~~) and inline spans are blanked; prose is left
+ * alone. Length- and line-preserving, so reported positions do not move.
+ *
+ * An unterminated fence blanks to end-of-file. That is the fail-closed
+ * direction: text under a fence that was opened and never closed is more likely
+ * an example than a waiver, and the cost is a directive that does not apply
+ * rather than one that applies where nobody asked.
+ */
+export function maskMarkdownCodeSpans(sourceText) {
+    const lines = sourceText.split('\n');
+    const out = [];
+    let fenceChar;
+    let fenceLength = 0;
+    for (const line of lines) {
+        const opener = /^\s*(`{3,}|~{3,})/.exec(line);
+        const marker = opener === null ? undefined : opener[1];
+        if (fenceChar !== undefined) {
+            // Inside a fence: blank everything, the closing marker line included.
+            out.push(' '.repeat(line.length));
+            if (marker !== undefined && marker.charAt(0) === fenceChar && marker.length >= fenceLength) {
+                fenceChar = undefined;
+                fenceLength = 0;
+            }
+            continue;
+        }
+        if (marker !== undefined) {
+            fenceChar = marker.charAt(0);
+            fenceLength = marker.length;
+            out.push(' '.repeat(line.length));
+            continue;
+        }
+        // Markdown's THIRD code construct: a 4-space (or tab) indented block. Missed
+        // by the first version, which handled fences and inline spans only — so an
+        // indented example of a directive was read as a live waiver. Deliberately
+        // over-broad (a wrapped list item indents too): over-masking hides a
+        // directive, which is loud; under-masking invents one, which is silent.
+        if (/^(?: {4}|\t)/.test(line)) {
+            out.push(' '.repeat(line.length));
+            continue;
+        }
+        // Outside a fence: blank BALANCED inline spans only. An odd backtick is
+        // prose, and treating it as an opener is exactly the bug this replaces.
+        out.push(blankInlineCodeSpans(line));
+    }
+    return out.join('\n');
+}
+/**
+ * Blank code spans on one line, matching backtick RUNS the way CommonMark does:
+ * an opening run of N backticks is closed by the next run of exactly N.
+ *
+ * The first version paired backticks one at a time, which left the contents of
+ * any run of two or more exposed — so a directive inside ``…`` survived masking
+ * and was read as a live waiver. That is a suppression nobody wrote, the one
+ * direction this whole module exists to prevent (bug 0154), reintroduced by the
+ * fix for it. Multi-tick runs are not exotic here: they are the repo's own
+ * convention for code containing a backtick.
+ *
+ * An unclosed run is left as ordinary text, so a stray tick in prose still
+ * cannot swallow the rest of the line.
+ */
+function blankInlineCodeSpans(line) {
+    const runs = [];
+    let i = 0;
+    while (i < line.length) {
+        if (line.charAt(i) !== '`') {
+            i += 1;
+            continue;
+        }
+        const start = i;
+        while (i < line.length && line.charAt(i) === '`')
+            i += 1;
+        runs.push({ start, length: i - start });
+    }
+    if (runs.length < 2)
+        return line;
+    let out = line;
+    let openIndex = 0;
+    while (openIndex < runs.length) {
+        const open = runs[openIndex];
+        if (open === undefined)
+            break;
+        let closeIndex = -1;
+        for (let j = openIndex + 1; j < runs.length; j++) {
+            const candidate = runs[j];
+            if (candidate !== undefined && candidate.length === open.length) {
+                closeIndex = j;
+                break;
+            }
+        }
+        if (closeIndex === -1) {
+            // No matching close: this run is prose, not a delimiter.
+            openIndex += 1;
+            continue;
+        }
+        const close = runs[closeIndex];
+        if (close === undefined)
+            break;
+        const from = open.start;
+        const to = close.start + close.length;
+        out = out.slice(0, from) + ' '.repeat(to - from) + out.slice(to);
+        openIndex = closeIndex + 1;
+    }
+    return out;
+}
+//# sourceMappingURL=mask-non-comment.js.map

package/dist/mask-non-comment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mask-non-comment.js","sourceRoot":"","sources":["../src/mask-non-comment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,gFAAgF;AAChF,SAAS,KAAK,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IACrD,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAA;IACtC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,EAAU;IAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACd,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACjB,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,IAAI,CAAA;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxD,CAAC,IAAI,CAAC,CAAA;YACN,SAAQ;QACV,CAAC;QACD,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACpD,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAA;IAE3B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;QACvB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAE9B,uEAAuE;QACvE,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;YACvC,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;YACjC,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YAChC,CAAC,GAAG,IAAI,CAAA;YACR,SAAQ;QACV,CAAC;QAED,wEAAwE;QACxE,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YAC7C,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA;YACzC,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;YACjC,CAAC,GAAG,IAAI,CAAA;YACR,SAAQ;QACV,CAAC;QAED,yEAAyE;QACzE,yEAAyE;QACzE,0EAA0E;QAC1E,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;gBACvB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACf,CAAC,IAAI,CAAC,CAAA;oBACN,SAAQ;gBACV,CAAC;gBACD,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;oBAChB,CAAC,IAAI,CAAC,CAAA;oBACN,MAAK;gBACP,CAAC;gBACD,uEAAuE;gBACvE,uCAAuC;gBACvC,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,KAAK,GAAG;oBAAE,MAAK;gBACtC,CAAC,IAAI,CAAC,CAAA;YACR,CAAC;YACD,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAC9B,CAAC,GAAG,CAAC,CAAA;YACL,SAAQ;QACV,CAAC;QAED,sDAAsD;QACtD,IAAI,CAAC,KAAK,GAAG,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,IAAI,OAAO,GAAG,KAAK,CAAA;YACnB,IAAI,MAAM,GAAG,KAAK,CAAA;YAClB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;gBACvB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACf,CAAC,IAAI,CAAC,CAAA;oBACN,SAAQ;gBACV,CAAC;gBACD,IAAI,CAAC,KAAK,IAAI;oBAAE,MAAK;gBACrB,IAAI,CAAC,KAAK,GAAG;oBAAE,OAAO,GAAG,IAAI,CAAA;qBACxB,IAAI,CAAC,KAAK,GAAG;oBAAE,OAAO,GAAG,KAAK,CAAA;qBAC9B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC/B,CAAC,IAAI,CAAC,CAAA;oBACN,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBACD,CAAC,IAAI,CAAC,CAAA;YACR,CAAC;YACD,qEAAqE;YACrE,uEAAuE;YACvE,sBAAsB;YACtB,IAAI,MAAM,EAAE,CAAC;gBACX,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC9B,CAAC,GAAG,CAAC,CAAA;gBACL,SAAQ;YACV,CAAC;QACH,CAAC;QAED,GAAG,IAAI,CAAC,CAAA;QACR,CAAC,IAAI,CAAC,CAAA;IACR,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACpC,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,IAAI,SAA6B,CAAA;IACjC,IAAI,WAAW,GAAG,CAAC,CAAA;IAEnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAEtD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,sEAAsE;YACtE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YACjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;gBAC3F,SAAS,GAAG,SAAS,CAAA;gBACrB,WAAW,GAAG,CAAC,CAAA;YACjB,CAAC;YACD,SAAQ;QACV,CAAC;QAED,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YAC5B,WAAW,GAAG,MAAM,CAAC,MAAM,CAAA;YAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YACjC,SAAQ;QACV,CAAC;QAED,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,qEAAqE;QACrE,wEAAwE;QACxE,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YACjC,SAAQ;QACV,CAAC;QACD,wEAAwE;QACxE,wEAAwE;QACxE,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,IAAI,GAA6C,EAAE,CAAA;IACzD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,CAAC,IAAI,CAAC,CAAA;YACN,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAA;QACf,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,CAAC,IAAI,CAAC,CAAA;QACxD,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAA;IACzC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAEhC,IAAI,GAAG,GAAG,IAAI,CAAA;IACd,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,OAAO,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;QAC5B,IAAI,IAAI,KAAK,SAAS;YAAE,MAAK;QAC7B,IAAI,UAAU,GAAG,CAAC,CAAC,CAAA;QACnB,KAAK,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChE,UAAU,GAAG,CAAC,CAAA;gBACd,MAAK;YACP,CAAC;QACH,CAAC;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACtB,yDAAyD;YACzD,SAAS,IAAI,CAAC,CAAA;YACd,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAA;QAC9B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAK;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAA;QACvB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAA;QACrC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAChE,SAAS,GAAG,UAAU,GAAG,CAAC,CAAA;IAC5B,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/owns-empty-discovery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"owns-empty-discovery.d.ts","sourceRoot":"","sources":["../src/owns-empty-discovery.ts"],"names":[],"mappings":"AA4DA,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAGxE;AAED,uEAAuE;AACvE,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D"}
+{"version":3,"file":"owns-empty-discovery.d.ts","sourceRoot":"","sources":["../src/owns-empty-discovery.ts"],"names":[],"mappings":"AAoEA,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAGxE;AAED,uEAAuE;AACvE,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D"}

package/dist/owns-empty-discovery.js

@@ -51,10 +51,18 @@
  * and a test asserts that constructor emits no own symbols. `PairCondition` has no
  * sanctioned constructor, so there is nothing to make the analogous guarantee.
  *
- * A module-level `WeakSet` has no such hole. Membership is not a property of the
- * object, so it cannot be read off one, copied, or forged — a caller would need
- * this module's binding, and it is not exported. `WeakSet` rather than `Set` so a
- * condition is not retained after its rule is discarded.
+ * A module-level `WeakSet` closes that hole for the KEY: membership is not a
+ * property of the object, so it cannot be read off one, copied, or forged.
+ *
+ * It does not close it for the CALL, and the clause that used to say so — "a
+ * caller would need this module's binding, and it is not exported" — was already
+ * false when it was written: `marksOwnEmptyDiscovery` was exported from the
+ * kernel root. It now sits behind `@nielspeter/eess/internal`, which is narrower
+ * and still reachable. See `cardinality.ts` for the same limitation stated in
+ * full; the two markers share it.
+ *
+ * `WeakSet` rather than `Set` so a condition is not retained after its rule is
+ * discarded.
  */
 const OWNERS = new WeakSet();
 /** Declare that this condition reports an empty discovery population itself. */

package/dist/owns-empty-discovery.js.map

@@ -1 +1 @@
-{"version":3,"file":"owns-empty-discovery.js","sourceRoot":"","sources":["../src/owns-empty-discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,MAAM,MAAM,GAAG,IAAI,OAAO,EAAU,CAAA;AAEpC,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAmB,SAAY;IACnE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACrB,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG"}
+{"version":3,"file":"owns-empty-discovery.js","sourceRoot":"","sources":["../src/owns-empty-discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,MAAM,MAAM,GAAG,IAAI,OAAO,EAAU,CAAA;AAEpC,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAmB,SAAY;IACnE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACrB,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG"}

package/dist/path-suffix.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Resolve a cited path against a set of repo-relative paths.
+ *
+ * Two dialects had written this independently — `eess-md`'s `uniqueSuffix()`
+ * for `path:line` code pointers, and `eess-crossvalidate`'s `resolveFeature`
+ * for `.feature` citations. Same algorithm, same three-way answer, and after
+ * bug 0254 the same remedy text; bug 0257 is that duplication.
+ *
+ * **Why the kernel.** It is pure string work over a list of paths: no
+ * `ArchProject`, no ts-morph, nothing dialect-shaped. That is exactly
+ * `path-universe.ts`'s argument for living here, and
+ * [ADR-013](../../../adr/013-the-kernel-takes-the-fact-not-the-project.md)'s
+ * test is satisfied — the kernel takes the *fact* (a list of paths), not the
+ * project that produced it. It is family plumbing rather than public API, so it
+ * is exported from `internal.ts` (ADR-011).
+ *
+ * **What it deliberately does not decide.** Whether a `none` is broken, whether
+ * an `ambiguous` fails or warns, whether to consult external roots, what the
+ * message says — all of that is the caller's policy and differs between the two
+ * dialects for good reasons. This answers one question: *which path did they
+ * mean?*
+ */
+/** How a cited path resolves against a set of repo-relative paths. */
+export type PathSuffixMatch = 
+/** The citation IS a repo-relative path. Wins outright, even if the same tail also matches elsewhere. */
+{
+    readonly kind: 'exact';
+    readonly file: string;
+}
+/** Exactly one path ends with the citation on a `/` boundary. */
+ | {
+    readonly kind: 'unique';
+    readonly file: string;
+}
+/** Several do, so the citation names none of them. Candidates in index order. */
+ | {
+    readonly kind: 'ambiguous';
+    readonly files: readonly string[];
+}
+/** Nothing matches. */
+ | {
+    readonly kind: 'none';
+};
+/** A prepared path set. Build once, resolve many. Duplicate inputs collapse. */
+export interface PathSuffixIndex {
+    resolve(wanted: string): PathSuffixMatch;
+}
+/**
+ * Prepare a path set for repeated suffix lookups.
+ *
+ * Indexed by last segment, because the corpora this runs over resolve hundreds
+ * of citations against thousands of paths and a linear scan per citation was
+ * measurable in `eess-md`. The index is the reason this takes the whole set up
+ * front rather than being a plain two-argument function.
+ */
+export declare function pathSuffixIndex(paths: Iterable<string>): PathSuffixIndex;
+//# sourceMappingURL=path-suffix.d.ts.map

package/dist/path-suffix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-suffix.d.ts","sourceRoot":"","sources":["../src/path-suffix.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,MAAM,MAAM,eAAe;AACzB,yGAAyG;AACvG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AACnD,iEAAiE;GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AACpD,iFAAiF;GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AACnE,uBAAuB;GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7B,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe,CAAA;CACzC;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,eAAe,CAsCxE"}

package/dist/path-suffix.js

@@ -0,0 +1,73 @@
+/**
+ * Resolve a cited path against a set of repo-relative paths.
+ *
+ * Two dialects had written this independently — `eess-md`'s `uniqueSuffix()`
+ * for `path:line` code pointers, and `eess-crossvalidate`'s `resolveFeature`
+ * for `.feature` citations. Same algorithm, same three-way answer, and after
+ * bug 0254 the same remedy text; bug 0257 is that duplication.
+ *
+ * **Why the kernel.** It is pure string work over a list of paths: no
+ * `ArchProject`, no ts-morph, nothing dialect-shaped. That is exactly
+ * `path-universe.ts`'s argument for living here, and
+ * [ADR-013](../../../adr/013-the-kernel-takes-the-fact-not-the-project.md)'s
+ * test is satisfied — the kernel takes the *fact* (a list of paths), not the
+ * project that produced it. It is family plumbing rather than public API, so it
+ * is exported from `internal.ts` (ADR-011).
+ *
+ * **What it deliberately does not decide.** Whether a `none` is broken, whether
+ * an `ambiguous` fails or warns, whether to consult external roots, what the
+ * message says — all of that is the caller's policy and differs between the two
+ * dialects for good reasons. This answers one question: *which path did they
+ * mean?*
+ */
+/**
+ * Prepare a path set for repeated suffix lookups.
+ *
+ * Indexed by last segment, because the corpora this runs over resolve hundreds
+ * of citations against thousands of paths and a linear scan per citation was
+ * measurable in `eess-md`. The index is the reason this takes the whole set up
+ * front rather than being a plain two-argument function.
+ */
+export function pathSuffixIndex(paths) {
+    // Deduplicated on entry, not assumed deduplicated. `all` was always a `Set`,
+    // but the per-segment lists used to push every element of the iterable — so a
+    // path appearing twice came back as `{ kind: 'ambiguous', files: [x, x] }`:
+    // one file reported as ambiguous with itself. Unreachable through today's two
+    // callers (both hand it a set or a filesystem walk), which is exactly why it
+    // would have waited for the third — the parameter is an `Iterable<string>`
+    // and nothing in the type says the caller must have deduplicated. Found by
+    // differential fuzzing across 20,000 cases; it was the only class of
+    // disagreement with the implementations this replaced.
+    const all = new Set(paths);
+    const byLastSegment = new Map();
+    for (const rel of all) {
+        const seg = rel.slice(rel.lastIndexOf('/') + 1);
+        const list = byLastSegment.get(seg);
+        if (list)
+            list.push(rel);
+        else
+            byLastSegment.set(seg, [rel]);
+    }
+    return {
+        resolve(wanted) {
+            // Exact first, and it wins outright. A citation that IS a real path is not
+            // ambiguous just because some longer path happens to end the same way —
+            // both dialects had this precedence already, and getting it backwards
+            // would turn correct citations into findings.
+            if (all.has(wanted))
+                return { kind: 'exact', file: wanted };
+            const seg = wanted.slice(wanted.lastIndexOf('/') + 1);
+            // Narrow by last segment, then confirm the FULL suffix on a `/` boundary:
+            // `x.ts` must not match `prefix-x.ts`, and `a/x.ts` must not match
+            // `b/aa/x.ts`.
+            const matches = (byLastSegment.get(seg) ?? []).filter((f) => f.endsWith('/' + wanted));
+            const only = matches[0];
+            if (matches.length === 1 && only !== undefined)
+                return { kind: 'unique', file: only };
+            if (matches.length > 1)
+                return { kind: 'ambiguous', files: matches };
+            return { kind: 'none' };
+        },
+    };
+}
+//# sourceMappingURL=path-suffix.js.map

package/dist/path-suffix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-suffix.js","sourceRoot":"","sources":["../src/path-suffix.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAkBH;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,KAAuB;IACrD,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,8EAA8E;IAC9E,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,qEAAqE;IACrE,uDAAuD;IACvD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,CAAA;IAClC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAA;IACjD,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;;YACnB,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;IACpC,CAAC;IAED,OAAO;QACL,OAAO,CAAC,MAAc;YACpB,2EAA2E;YAC3E,wEAAwE;YACxE,sEAAsE;YACtE,8CAA8C;YAC9C,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;YAE3D,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YACrD,0EAA0E;YAC1E,mEAAmE;YACnE,eAAe;YACf,MAAM,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAA;YACtF,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;YACvB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;YACrF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;YACpE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QACzB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/predicate.d.ts

@@ -41,4 +41,16 @@ export interface Predicate<T> {
      */
     readonly originLabel?: string;
 }
+/**
+ * Record a predicate on a builder, noting it if it arrived after `.should()`.
+ *
+ * A free function for the same reason as `recordExclusions` and
+ * `selectMatching`: the two builders sit in incompatible hierarchies, so there
+ * is no common base to hold a method. The copies were 94% similar and differed
+ * only in comment wording and braces — no behaviour.
+ *
+ * `phase` is read, never written: recording a misplaced predicate is a
+ * diagnosis, not a state change.
+ */
+export declare function recordPredicate<T>(predicate: Predicate<T>, predicates: Predicate<T>[], misplaced: string[], phase: string): void;
 //# sourceMappingURL=predicate.d.ts.map

package/dist/predicate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,0DAA0D;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAA;IACzB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;IAE9B;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B"}
+{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,0DAA0D;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAA;IACzB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;IAE9B;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAC/B,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,EACvB,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAC1B,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,GACZ,IAAI,CAON"}

package/dist/predicate.js

@@ -1,2 +1,21 @@
-export {};
+/**
+ * Record a predicate on a builder, noting it if it arrived after `.should()`.
+ *
+ * A free function for the same reason as `recordExclusions` and
+ * `selectMatching`: the two builders sit in incompatible hierarchies, so there
+ * is no common base to hold a method. The copies were 94% similar and differed
+ * only in comment wording and braces — no behaviour.
+ *
+ * `phase` is read, never written: recording a misplaced predicate is a
+ * diagnosis, not a state change.
+ */
+export function recordPredicate(predicate, predicates, misplaced, phase) {
+    predicates.push(predicate);
+    // Bug 0155 state 2: a predicate-only method used after `.should()`. Dual-use
+    // methods dispatch to conditions in that phase and never reach here, so this is
+    // a filter written where an assertion was meant — the one state whose fix is
+    // "move it before .should()", not "add a condition".
+    if (phase === 'condition')
+        misplaced.push(predicate.description);
+}
 //# sourceMappingURL=predicate.js.map

package/dist/predicate.js.map

@@ -1 +1 @@
-{"version":3,"file":"predicate.js","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":""}
+{"version":3,"file":"predicate.js","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AA8CA;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAuB,EACvB,UAA0B,EAC1B,SAAmB,EACnB,KAAa;IAEb,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC1B,6EAA6E;IAC7E,gFAAgF;IAChF,6EAA6E;IAC7E,qDAAqD;IACrD,IAAI,KAAK,KAAK,WAAW;QAAE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;AAClE,CAAC"}

package/dist/preset-dispatch.d.ts

@@ -1,4 +1,4 @@
-import type { ArchViolation } from './violation.js';
+import { type CollectResult } from './collect-result.js';
 import type { RuleMetadata } from './rule-metadata.js';
 import { type PresetReportOptions } from './report.js';
 /** Per-rule severity within a preset. */
@@ -15,11 +15,11 @@ export interface PresetBaseOptions extends PresetReportOptions {
  * Anything with `.rule()` and `.violations()` — works with both
  * `RuleBuilder<T, P>` and `TerminalBuilder` hierarchies, across all dialects.
  */
-interface Dispatchable {
+export interface Dispatchable {
     rule(m: RuleMetadata): {
-        violations(): ArchViolation[];
+        violations(): CollectResult;
     };
-    violations(): ArchViolation[];
+    violations(): CollectResult;
 }
 /**
  * Dispatch a single rule within a preset.
@@ -30,38 +30,10 @@ interface Dispatchable {
  */
 export declare function dispatchRule(builder: Dispatchable, rule: string | (RuleMetadata & {
     id: string;
-}), defaultSeverity: RuleSeverity, overrides: Record<string, RuleSeverity> | undefined): ArchViolation[];
+}), defaultSeverity: RuleSeverity, overrides: Record<string, RuleSeverity> | undefined): CollectResult;
 /**
  * Validate override keys against known rule IDs. Warns for unrecognized keys
  * (likely typos).
  */
-export declare function validateOverrides(overrides: Record<string, RuleSeverity> | undefined, knownIds: string[]): void;
-/**
- * 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 declare function presetConstructsNothingViolation(presetName: string, optionsHint: string): ArchViolation;
-/**
- * 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 declare function throwIfViolations(violations: ArchViolation[]): void;
-export {};
+export declare function validateOverrides(overrides: Partial<Record<string, RuleSeverity>> | undefined, knownIds: readonly string[]): void;
 //# sourceMappingURL=preset-dispatch.d.ts.map

package/dist/preset-dispatch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"preset-dispatch.d.ts","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAIpE,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAA;AAEnD;;;;GAIG;AACH,MAAM,WAAW,iBAAkB,SAAQ,mBAAmB;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACzC;AAED;;;GAGG;AACH,UAAU,YAAY;IACpB,IAAI,CAAC,CAAC,EAAE,YAAY,GAAG;QAAE,UAAU,IAAI,aAAa,EAAE,CAAA;KAAE,CAAA;IACxD,UAAU,IAAI,aAAa,EAAE,CAAA;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,CAAC,YAAY,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,EAC9C,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,GAClD,aAAa,EAAE,CAwBjB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,EACnD,QAAQ,EAAE,MAAM,EAAE,GACjB,IAAI,CAWN;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gCAAgC,CAC9C,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GAClB,aAAa,CAcf;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,CAEnE"}
+{"version":3,"file":"preset-dispatch.d.ts","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAiB,MAAM,qBAAqB,CAAA;AAEvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAGtD,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAA;AAEnD;;;;GAIG;AACH,MAAM,WAAW,iBAAkB,SAAQ,mBAAmB;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,CAAC,CAAC,EAAE,YAAY,GAAG;QAAE,UAAU,IAAI,aAAa,CAAA;KAAE,CAAA;IACtD,UAAU,IAAI,aAAa,CAAA;CAC5B;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,CAAC,YAAY,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,EAC9C,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,GAClD,aAAa,CA2Cf;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAM/B,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GAAG,SAAS,EAC5D,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC1B,IAAI,CAWN"}