ddd-ts-kit 0.0.0-stage → 0.1.0

package/dist/check/exports/file-exports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-exports.d.ts","sourceRoot":"","sources":["../../../src/check/exports/file-exports.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAK1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AA6B9C,qHAAqH;AACrH,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,EAAE,CA4BxD"}

package/dist/check/exports/file-exports.js

@@ -0,0 +1,106 @@
+import { braceDepthAt } from '../text/brace-depth-at.js';
+import { endAtDepthZero } from '../text/end-at-depth-zero.js';
+import { escapeRegExp } from '../text/escape-reg-exp.js';
+import { matchingBracket } from '../text/matching-bracket.js';
+const DECLARED = /(?<![\w$.])export\s+(?:default\s+)?(?:declare\s+)?(?:abstract\s+)?(?:async\s+)?(class|function|interface|const\s+enum|const|let|var|type|enum)\b\s*\*?\s*([A-Za-z_$][\w$]*)/g;
+const ANONYMOUS_DEFAULT = /(?<![\w$.])export\s+default\s+(?:abstract\s+)?(?:async\s+)?(class|function)\s*\*?\s*[({<]/g;
+const LOCAL_LIST = /(?<![\w$.])export\s*\{([^}]*)\}(?!\s*from\b)/g;
+const KINDS = {
+    class: 'class',
+    function: 'function',
+    interface: 'interface',
+    const: 'const',
+    let: 'const',
+    var: 'const',
+    type: 'type',
+    enum: 'enum',
+};
+/** What a source exports from its own declarations, in source order; re-exports (`export .. from`) are not in it. */
+export function fileExports(file) {
+    const { code } = file.scan;
+    const declared = [...code.matchAll(DECLARED)]
+        .filter((match) => braceDepthAt(code, match.index) === 0)
+        .map((match) => declaredAt(file, {
+        at: match.index,
+        afterName: match.index + match[0].length,
+        keyword: match[1] ?? '',
+        name: match[2] ?? '',
+    }));
+    const anonymous = [...code.matchAll(ANONYMOUS_DEFAULT)].map((match) => declaredAt(file, {
+        at: match.index,
+        afterName: match.index + match[0].length - 1,
+        keyword: match[1] ?? '',
+        name: 'default',
+    }));
+    const listed = [...code.matchAll(LOCAL_LIST)].flatMap((match) => listedExports(file, match));
+    return [...declared, ...anonymous, ...listed]
+        .sort((left, right) => left.at - right.at)
+        .map(({ name, kind, line, text, signature }) => ({ name, kind, line, text, signature }));
+}
+function declaredAt(file, { at, afterName, keyword, name }) {
+    const { code } = file.scan;
+    const kind = KINDS[keyword.replace(/^const\s+enum$/, 'enum')] ?? 'const';
+    const { end, body } = extentOf(code, afterName, kind);
+    return {
+        at,
+        name,
+        kind,
+        line: file.scan.lineAt(at),
+        text: code.slice(at, end),
+        signature: code.slice(at, kind === 'function' ? (body ?? end) : end),
+    };
+}
+/** Where a declaration ends, and for a function where its body opens. */
+function extentOf(code, afterName, kind) {
+    if (kind === 'const' || kind === 'type') {
+        return { end: endAtDepthZero(code, afterName, ';') };
+    }
+    if (kind !== 'function') {
+        return { end: matchingBracket(code, endAtDepthZero(code, afterName, '{')) + 1 };
+    }
+    const closeParenthesis = matchingBracket(code, code.indexOf('(', afterName));
+    const body = bodyAfter(code, closeParenthesis);
+    return body === undefined
+        ? { end: endAtDepthZero(code, closeParenthesis + 1, ';') }
+        : { end: matchingBracket(code, body) + 1, body };
+}
+/** The brace opening the body of a function whose parameter list closes at `closeParenthesis`; undefined for an overload. */
+function bodyAfter(code, closeParenthesis) {
+    const rest = /^\)[^;{]*?(?:\{[^;{}]*\}[^;{]*?)*\{/.exec(code.slice(closeParenthesis));
+    const semicolon = code.indexOf(';', closeParenthesis);
+    if (rest === null) {
+        return undefined;
+    }
+    const brace = closeParenthesis + rest[0].length - 1;
+    return semicolon !== -1 && semicolon < brace ? undefined : brace;
+}
+/** `export { A, B as C }`: each name with the kind of the local declaration it points to. */
+function listedExports(file, match) {
+    const { code } = file.scan;
+    const names = (match[1] ?? '')
+        .split(',')
+        .map((part) => part.trim().replace(/^type\s+/, ''))
+        .filter((part) => part !== '');
+    return names.map((part) => {
+        const [local = '', alias] = part.split(/\s+as\s+/);
+        const declaration = new RegExp(`(?<![\\w$.])(?:abstract\\s+)?(?:async\\s+)?(class|function|interface|type|enum)\\s*\\*?\\s*${escapeRegExp(local)}(?![\\w$])`).exec(code);
+        if (declaration === null) {
+            return {
+                at: match.index,
+                name: alias ?? local,
+                kind: 'const',
+                line: file.scan.lineAt(match.index),
+                text: '',
+                signature: '',
+            };
+        }
+        const found = {
+            at: declaration.index,
+            afterName: declaration.index + declaration[0].length,
+            keyword: declaration[1] ?? '',
+            name: alias ?? local,
+        };
+        return { ...declaredAt(file, found), at: match.index, line: file.scan.lineAt(match.index) };
+    });
+}
+//# sourceMappingURL=file-exports.js.map

package/dist/check/exports/file-exports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-exports.js","sourceRoot":"","sources":["../../../src/check/exports/file-exports.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAG9D,MAAM,QAAQ,GACZ,8KAA8K,CAAC;AAEjL,MAAM,iBAAiB,GAAG,4FAA4F,CAAC;AACvH,MAAM,UAAU,GAAG,+CAA+C,CAAC;AAEnE,MAAM,KAAK,GAA+C;IACxD,KAAK,EAAE,OAAO;IACd,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,WAAW;IACtB,KAAK,EAAE,OAAO;IACd,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;CACb,CAAC;AAYF,qHAAqH;AACrH,MAAM,UAAU,WAAW,CAAC,IAAgB;IAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;IAE3B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;SAC1C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACb,UAAU,CAAC,IAAI,EAAE;QACf,EAAE,EAAE,KAAK,CAAC,KAAK;QACf,SAAS,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM;QACxC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;KACrB,CAAC,CACH,CAAC;IAEJ,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpE,UAAU,CAAC,IAAI,EAAE;QACf,EAAE,EAAE,KAAK,CAAC,KAAK;QACf,SAAS,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;QAC5C,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,SAAS;KAChB,CAAC,CACH,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAE7F,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC;SAC1C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;SACzC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAS;IAC3E,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,IAAI,OAAO,CAAC;IACzE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAEtD,OAAO;QACL,EAAE;QACF,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC;QACzB,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,QAAQ,CAAC,IAAY,EAAE,SAAiB,EAAE,IAAsB;IACvE,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACxC,OAAO,EAAE,GAAG,EAAE,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,EAAE,GAAG,EAAE,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAClF,CAAC;IAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAE/C,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,EAAE,GAAG,EAAE,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE;QAC1D,CAAC,CAAC,EAAE,GAAG,EAAE,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;AACrD,CAAC;AAED,6HAA6H;AAC7H,SAAS,SAAS,CAAC,IAAY,EAAE,gBAAwB;IACvD,MAAM,IAAI,GAAG,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;IAEtD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAEpD,OAAO,SAAS,KAAK,CAAC,CAAC,IAAI,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AACnE,CAAC;AAED,6FAA6F;AAC7F,SAAS,aAAa,CAAC,IAAgB,EAAE,KAAsB;IAC7D,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;IAE3B,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAC3B,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;IAEjC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAEnD,MAAM,WAAW,GAAG,IAAI,MAAM,CAC5B,8FAA8F,YAAY,CAAC,KAAK,CAAC,YAAY,CAC9H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO;gBACL,EAAE,EAAE,KAAK,CAAC,KAAK;gBACf,IAAI,EAAE,KAAK,IAAI,KAAK;gBACpB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBACnC,IAAI,EAAE,EAAE;gBACR,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG;YACZ,EAAE,EAAE,WAAW,CAAC,KAAK;YACrB,SAAS,EAAE,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM;YACpD,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE;YAC7B,IAAI,EAAE,KAAK,IAAI,KAAK;SACrB,CAAC;QAEF,OAAO,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9F,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/check/exports/judge-exports.d.ts

@@ -0,0 +1,9 @@
+import type { SourceFile } from '../model/source-file.js';
+import type { ExportVerdict } from './export-verdict.js';
+/**
+ * Counts the exported classes, interfaces and functions of a file, once per name, and applies the
+ * allowances that need no per-file entry. Read as text: an approximation of what ESLint reads on
+ * the syntax tree, which is authoritative.
+ */
+export declare function judgeExports(file: SourceFile): ExportVerdict;
+//# sourceMappingURL=judge-exports.d.ts.map

package/dist/check/exports/judge-exports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"judge-exports.d.ts","sourceRoot":"","sources":["../../../src/check/exports/judge-exports.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AASzD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa,CAuB5D"}

package/dist/check/exports/judge-exports.js

@@ -0,0 +1,34 @@
+import { explainedMains } from './explained-mains.js';
+import { fileExports } from './file-exports.js';
+import { localTypes } from './local-types.js';
+import { sharesState } from './shares-state.js';
+import { typeFamily } from './type-family.js';
+const COUNTED = ['class', 'function', 'interface'];
+/**
+ * Counts the exported classes, interfaces and functions of a file, once per name, and applies the
+ * allowances that need no per-file entry. Read as text: an approximation of what ESLint reads on
+ * the syntax tree, which is authoritative.
+ */
+export function judgeExports(file) {
+    const { code } = file.scan;
+    const exported = fileExports(file);
+    const firsts = exported.filter((candidate, index) => COUNTED.includes(candidate.kind) &&
+        exported.findIndex((other) => COUNTED.includes(other.kind) && other.name === candidate.name) === index);
+    const counted = firsts.map((first) => ({ ...implementationOf(exported, first), line: first.line }));
+    if (counted.length === 0) {
+        return { counted, explained: true, mains: [] };
+    }
+    const types = localTypes(code);
+    const mains = explainedMains(exported, counted, types);
+    const family = typeFamily({ exported, counted, types, imported: file.imports.flatMap(({ names }) => names) });
+    const named = [...mains, ...(family?.declaredBy === undefined ? [] : [family.declaredBy])];
+    const explained = named.length > 0 || family !== undefined || sharesState(counted, code, types);
+    return { counted, explained, mains: explained ? named : counted };
+}
+/** Overloads are several declarations of one function: the one with the body is what the function does. */
+function implementationOf(exported, first) {
+    const sameName = exported.filter((candidate) => candidate.name === first.name && candidate.kind === first.kind);
+    return (sameName.find((candidate) => candidate.kind === 'function' && candidate.text.length > candidate.signature.length) ??
+        first);
+}
+//# sourceMappingURL=judge-exports.js.map

package/dist/check/exports/judge-exports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"judge-exports.js","sourceRoot":"","sources":["../../../src/check/exports/judge-exports.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAGtD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,OAAO,GAAgC,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;AAEhF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAC5B,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACnB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAChC,QAAQ,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,CACzG,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEpG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9G,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAEhG,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACpE,CAAC;AAED,2GAA2G;AAC3G,SAAS,gBAAgB,CAAC,QAA6B,EAAE,KAAe;IACtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;IAEhH,OAAO,CACL,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC;QACjH,KAAK,CACN,CAAC;AACJ,CAAC"}

package/dist/check/exports/kebab-case-of.d.ts

@@ -0,0 +1,8 @@
+/**
+ * The kebab-case of a name: a hyphen before an upper-case letter that follows a lower-case letter
+ * or a digit, and before an upper-case letter followed by a lower-case one when it follows an
+ * upper-case one; underscores read as hyphens; everything lower-cased. `RabbitMqEventBus` is
+ * `rabbit-mq-event-bus`, `HTTPServer` is `http-server`, `RULE_DOCS` is `rule-docs`.
+ */
+export declare function kebabCaseOf(name: string): string;
+//# sourceMappingURL=kebab-case-of.d.ts.map

package/dist/check/exports/kebab-case-of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kebab-case-of.d.ts","sourceRoot":"","sources":["../../../src/check/exports/kebab-case-of.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMhD"}

package/dist/check/exports/kebab-case-of.js

@@ -0,0 +1,14 @@
+/**
+ * The kebab-case of a name: a hyphen before an upper-case letter that follows a lower-case letter
+ * or a digit, and before an upper-case letter followed by a lower-case one when it follows an
+ * upper-case one; underscores read as hyphens; everything lower-cased. `RabbitMqEventBus` is
+ * `rabbit-mq-event-bus`, `HTTPServer` is `http-server`, `RULE_DOCS` is `rule-docs`.
+ */
+export function kebabCaseOf(name) {
+    return name
+        .replace(/([a-z0-9])([A-Z])/g, '$1-$2')
+        .replace(/([A-Z])([A-Z][a-z])/g, '$1-$2')
+        .replace(/_+/g, '-')
+        .toLowerCase();
+}
+//# sourceMappingURL=kebab-case-of.js.map

package/dist/check/exports/kebab-case-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kebab-case-of.js","sourceRoot":"","sources":["../../../src/check/exports/kebab-case-of.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,IAAI;SACR,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,sBAAsB,EAAE,OAAO,CAAC;SACxC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,WAAW,EAAE,CAAC;AACnB,CAAC"}

package/dist/check/exports/local-types.d.ts

@@ -0,0 +1,9 @@
+/** An interface or a type alias declared at the top level of a file, exported or not. */
+export interface LocalType {
+    readonly name: string;
+    readonly text: string;
+    /** The names a union type alias joins directly: `Ok` and `Err` for `type Result = Ok | Err`. */
+    readonly members: readonly string[];
+}
+export declare function localTypes(code: string): LocalType[];
+//# sourceMappingURL=local-types.d.ts.map

package/dist/check/exports/local-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-types.d.ts","sourceRoot":"","sources":["../../../src/check/exports/local-types.ts"],"names":[],"mappings":"AAKA,yFAAyF;AACzF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gGAAgG;IAChG,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAKD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,CAgBpD"}

package/dist/check/exports/local-types.js

@@ -0,0 +1,26 @@
+import { afterTypeParameters } from '../text/after-type-parameters.js';
+import { braceDepthAt } from '../text/brace-depth-at.js';
+import { endAtDepthZero } from '../text/end-at-depth-zero.js';
+import { matchingBracket } from '../text/matching-bracket.js';
+const TYPE = /(?<![\w$.])(interface|type)\s+([A-Za-z_$][\w$]*)/g;
+const OPENING = /^\s*(?:[={]|extends\b)/;
+export function localTypes(code) {
+    return [...code.matchAll(TYPE)].flatMap((match) => {
+        const opening = afterTypeParameters(code, match.index + match[0].length);
+        if (braceDepthAt(code, match.index) !== 0 || !OPENING.test(code.slice(opening, opening + 200))) {
+            return [];
+        }
+        const isAlias = match[1] === 'type';
+        const end = isAlias ? endAtDepthZero(code, opening, ';') : matchingBracket(code, code.indexOf('{', opening)) + 1;
+        const aliased = code.slice(code.indexOf('=', opening) + 1, end);
+        return [
+            { name: match[2] ?? '', text: code.slice(match.index, end), members: isAlias ? unionMembers(aliased) : [] },
+        ];
+    });
+}
+/** `Ok` and `Err` for `Ok | Err`, type arguments aside: `Ok<T> | Err<E>` joins the same two names. */
+function unionMembers(aliased) {
+    const parts = aliased.split('|').flatMap((part) => (part.trim() === '' ? [] : [part.trim()]));
+    return parts.length < 2 ? [] : parts.flatMap((part) => /^([A-Za-z_$][\w$]*)\s*(?:<[\s\S]*>)?$/.exec(part)?.[1] ?? []);
+}
+//# sourceMappingURL=local-types.js.map

package/dist/check/exports/local-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-types.js","sourceRoot":"","sources":["../../../src/check/exports/local-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAU9D,MAAM,IAAI,GAAG,mDAAmD,CAAC;AACjE,MAAM,OAAO,GAAG,wBAAwB,CAAC;AAEzC,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEzE,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/F,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;QACjH,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAEhE,OAAO;YACL,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE;SAC5G,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sGAAsG;AACtG,SAAS,YAAY,CAAC,OAAe;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAE9F,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACxH,CAAC"}

package/dist/check/exports/matches-glob.d.ts

@@ -0,0 +1,3 @@
+/** True when `file` matches `glob`: `*` matches inside one path segment, `**` across segments. */
+export declare function matchesGlob(glob: string, file: string): boolean;
+//# sourceMappingURL=matches-glob.d.ts.map

package/dist/check/exports/matches-glob.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matches-glob.d.ts","sourceRoot":"","sources":["../../../src/check/exports/matches-glob.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAiB/D"}

package/dist/check/exports/matches-glob.js

@@ -0,0 +1,17 @@
+/** True when `file` matches `glob`: `*` matches inside one path segment, `**` across segments. */
+export function matchesGlob(glob, file) {
+    const pattern = glob
+        .split(/(\*\*\/|\*\*|\*)/)
+        .map((part) => {
+        if (part === '**/') {
+            return '(?:.*/)?';
+        }
+        if (part === '**') {
+            return '.*';
+        }
+        return part === '*' ? '[^/]*' : part.replace(/[.+?^${}()|[\]\\]/g, '\\$&');
+    })
+        .join('');
+    return new RegExp(`^${pattern}$`).test(file);
+}
+//# sourceMappingURL=matches-glob.js.map

package/dist/check/exports/matches-glob.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matches-glob.js","sourceRoot":"","sources":["../../../src/check/exports/matches-glob.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,IAAY;IACpD,MAAM,OAAO,GAAG,IAAI;SACjB,KAAK,CAAC,kBAAkB,CAAC;SACzB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;IAC7E,CAAC,CAAC;SACD,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,OAAO,IAAI,MAAM,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC"}

package/dist/check/exports/named-after.d.ts

@@ -0,0 +1,7 @@
+/**
+ * True when a file whose base name, extension aside, is `stem` is named after `name`: the stem with
+ * every dot read as a hyphen is its kebab-case; or, in a role file, the part before the first dot
+ * is, unless the name already ends with the role (`invoice.aggregate` for `Invoice`).
+ */
+export declare function namedAfter(stem: string, name: string): boolean;
+//# sourceMappingURL=named-after.d.ts.map

package/dist/check/exports/named-after.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"named-after.d.ts","sourceRoot":"","sources":["../../../src/check/exports/named-after.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAU9D"}

package/dist/check/exports/named-after.js

@@ -0,0 +1,15 @@
+import { kebabCaseOf } from './kebab-case-of.js';
+/**
+ * True when a file whose base name, extension aside, is `stem` is named after `name`: the stem with
+ * every dot read as a hyphen is its kebab-case; or, in a role file, the part before the first dot
+ * is, unless the name already ends with the role (`invoice.aggregate` for `Invoice`).
+ */
+export function namedAfter(stem, name) {
+    const kebab = kebabCaseOf(name);
+    if (stem.replaceAll('.', '-') === kebab) {
+        return true;
+    }
+    const parts = stem.split('.');
+    return parts.length > 1 && parts[0] === kebab && !kebab.endsWith(`-${parts.at(-1) ?? ''}`);
+}
+//# sourceMappingURL=named-after.js.map

package/dist/check/exports/named-after.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"named-after.js","sourceRoot":"","sources":["../../../src/check/exports/named-after.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,IAAY;IACnD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAEhC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAE9B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAC7F,CAAC"}

package/dist/check/exports/shares-state.d.ts

@@ -0,0 +1,9 @@
+import type { Exported } from './exported.js';
+import type { LocalType } from './local-types.js';
+/**
+ * Allowance 4b: at least two exported functions, each one using a module-private state (a `let`,
+ * or a `const` holding a `new ..`), all linked through the state they share; what else is counted
+ * is of their signatures.
+ */
+export declare function sharesState(counted: readonly Exported[], code: string, types: readonly LocalType[]): boolean;
+//# sourceMappingURL=shares-state.d.ts.map

package/dist/check/exports/shares-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shares-state.d.ts","sourceRoot":"","sources":["../../../src/check/exports/shares-state.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAMlD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,OAAO,CAqB5G"}

package/dist/check/exports/shares-state.js

@@ -0,0 +1,37 @@
+import { braceDepthAt } from '../text/brace-depth-at.js';
+import { identifier } from '../text/identifier.js';
+import { typeClosure } from './type-closure.js';
+const STATE = /(?<![\w$.])(?<!export\s+)(?:(?:let|var)\s+([A-Za-z_$][\w$]*)|const\s+([A-Za-z_$][\w$]*)\s*(?::[^=;]+)?=\s*new\s)/g;
+/**
+ * Allowance 4b: at least two exported functions, each one using a module-private state (a `let`,
+ * or a `const` holding a `new ..`), all linked through the state they share; what else is counted
+ * is of their signatures.
+ */
+export function sharesState(counted, code, types) {
+    const functions = counted.filter((candidate) => candidate.kind === 'function');
+    const state = [...code.matchAll(STATE)]
+        .filter((match) => braceDepthAt(code, match.index) === 0)
+        .flatMap((match) => match[1] ?? match[2] ?? []);
+    const used = functions.map((accessor) => state.filter((name) => identifier(name).test(accessor.text.slice(accessor.signature.length))));
+    if (functions.length < 2 || used.some((names) => names.length === 0) || !isOneGroup(used)) {
+        return false;
+    }
+    const closure = typeClosure(functions.map((accessor) => accessor.signature), types);
+    return counted.every((other) => other.kind === 'function' || (other.kind === 'interface' && closure.has(other.name)));
+}
+/** True when the functions form one group, two of them being linked when they use a same state. */
+function isOneGroup(used) {
+    const reached = new Set(used[0] ?? []);
+    let pending = used.slice(1);
+    for (;;) {
+        const linked = pending.filter((names) => names.some((name) => reached.has(name)));
+        if (linked.length === 0) {
+            return pending.length === 0;
+        }
+        for (const name of linked.flat()) {
+            reached.add(name);
+        }
+        pending = pending.filter((names) => !linked.includes(names));
+    }
+}
+//# sourceMappingURL=shares-state.js.map

package/dist/check/exports/shares-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shares-state.js","sourceRoot":"","sources":["../../../src/check/exports/shares-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,KAAK,GACT,mHAAmH,CAAC;AAEtH;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAA4B,EAAE,IAAY,EAAE,KAA2B;IACjG,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAE/E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SACpC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;SACxD,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAElD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACtC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAC9F,CAAC;IAEF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1F,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CACzB,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC/C,KAAK,CACN,CAAC;IAEF,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxH,CAAC;AAED,mGAAmG;AACnG,SAAS,UAAU,CAAC,IAAoC;IACtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,IAAI,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE5B,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;QAC9B,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAED,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC"}

package/dist/check/exports/type-closure.d.ts

@@ -0,0 +1,7 @@
+import type { LocalType } from './local-types.js';
+/**
+ * The types of a file reached from the texts given: the ones they name, then the ones those name.
+ * A text approximation of "the types of a signature": a name counts wherever it occurs.
+ */
+export declare function typeClosure(texts: readonly string[], types: readonly LocalType[]): ReadonlySet<string>;
+//# sourceMappingURL=type-closure.d.ts.map

package/dist/check/exports/type-closure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-closure.d.ts","sourceRoot":"","sources":["../../../src/check/exports/type-closure.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAkBtG"}

package/dist/check/exports/type-closure.js

@@ -0,0 +1,21 @@
+import { identifier } from '../text/identifier.js';
+/**
+ * The types of a file reached from the texts given: the ones they name, then the ones those name.
+ * A text approximation of "the types of a signature": a name counts wherever it occurs.
+ */
+export function typeClosure(texts, types) {
+    const reached = new Set();
+    const pending = [...texts];
+    for (let at = 0; at < pending.length; at += 1) {
+        const text = pending[at] ?? '';
+        for (const type of types) {
+            if (reached.has(type.name) || !identifier(type.name).test(text)) {
+                continue;
+            }
+            reached.add(type.name);
+            pending.push(type.text);
+        }
+    }
+    return reached;
+}
+//# sourceMappingURL=type-closure.js.map

package/dist/check/exports/type-closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-closure.js","sourceRoot":"","sources":["../../../src/check/exports/type-closure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,KAAwB,EAAE,KAA2B;IAC/E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAE3B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAE/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,SAAS;YACX,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/check/exports/type-family.d.ts

@@ -0,0 +1,21 @@
+import type { Exported } from './exported.js';
+import type { LocalType } from './local-types.js';
+/** The type a family of exported functions all return, and the export that declares it when the file does. */
+export interface TypeFamily {
+    readonly type: string;
+    readonly declaredBy: Exported | undefined;
+}
+interface FileShapes {
+    readonly exported: readonly Exported[];
+    readonly counted: readonly Exported[];
+    readonly types: readonly LocalType[];
+    /** The names the file imports. */
+    readonly imported: readonly string[];
+}
+/**
+ * Allowance 4a: every exported function returns one type, a class, an interface or a type alias the
+ * file exports or imports, or a direct member of that union; what else is counted is of their signatures.
+ */
+export declare function typeFamily(shapes: FileShapes): TypeFamily | undefined;
+export {};
+//# sourceMappingURL=type-family.d.ts.map

package/dist/check/exports/type-family.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-family.d.ts","sourceRoot":"","sources":["../../../src/check/exports/type-family.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAGlD,8GAA8G;AAC9G,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAC;CAC3C;AAED,UAAU,UAAU;IAClB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,kCAAkC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,CAwCrE"}

package/dist/check/exports/type-family.js

@@ -0,0 +1,36 @@
+import { typeClosure } from './type-closure.js';
+/**
+ * Allowance 4a: every exported function returns one type, a class, an interface or a type alias the
+ * file exports or imports, or a direct member of that union; what else is counted is of their signatures.
+ */
+export function typeFamily(shapes) {
+    const functions = shapes.counted.filter((candidate) => candidate.kind === 'function');
+    const returned = functions.map(returnedType);
+    const [first] = returned;
+    if (first === undefined) {
+        return undefined;
+    }
+    const declaring = shapes.exported.filter((candidate) => candidate.kind === 'class' || candidate.kind === 'interface' || candidate.kind === 'type');
+    const candidates = [
+        ...declaring.map((candidate) => candidate.name),
+        ...(shapes.imported.includes(first) ? [first] : []),
+    ];
+    const type = candidates.find((name) => {
+        const accepted = [name, ...(shapes.types.find((candidate) => candidate.name === name)?.members ?? [])];
+        return returned.every((reference) => reference !== undefined && accepted.includes(reference));
+    });
+    if (type === undefined) {
+        return undefined;
+    }
+    const declaredBy = declaring.find((candidate) => candidate.name === type);
+    const closure = typeClosure([...(declaredBy === undefined ? [] : [declaredBy.signature]), ...functions.map((made) => made.signature)], shapes.types);
+    const others = shapes.counted.filter((candidate) => candidate.kind !== 'function' && candidate.name !== type);
+    return others.every((other) => other.kind === 'interface' && closure.has(other.name))
+        ? { type, declaredBy }
+        : undefined;
+}
+/** The name the return type annotation of a function refers to: `T` for `T` and for `T<..>`. */
+function returnedType(made) {
+    return /\)\s*:\s*([A-Za-z_$][\w$]*)\s*(?:<[^;{]*>)?\s*$/.exec(made.signature)?.[1];
+}
+//# sourceMappingURL=type-family.js.map

package/dist/check/exports/type-family.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-family.js","sourceRoot":"","sources":["../../../src/check/exports/type-family.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAgBhD;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,MAAkB;IAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IAEzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CACzG,CAAC;IAEF,MAAM,UAAU,GAAG;QACjB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;QAC/C,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC;IAEF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACpC,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAEvG,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAE1E,MAAM,OAAO,GAAG,WAAW,CACzB,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EACzG,MAAM,CAAC,KAAK,CACb,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAE9G,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnF,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;QACtB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,IAAc;IAClC,OAAO,iDAAiD,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC"}

package/dist/check/fixtures/aggregate.d.ts

@@ -0,0 +1,4 @@
+import type { FixtureFiles } from './fixture-files.js';
+/** The invoice aggregate with the spec and the builder the other rules ask for. */
+export declare function aggregate(body: string): FixtureFiles;
+//# sourceMappingURL=aggregate.d.ts.map

package/dist/check/fixtures/aggregate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIvD,mFAAmF;AACnF,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAMpD"}

package/dist/check/fixtures/aggregate.js

@@ -0,0 +1,11 @@
+import { PATHS } from './paths.js';
+import { SAMPLES } from './samples.js';
+/** The invoice aggregate with the spec and the builder the other rules ask for. */
+export function aggregate(body) {
+    return {
+        [PATHS.AGGREGATE]: body,
+        [PATHS.AGGREGATE_SPEC]: SAMPLES.SPEC,
+        [PATHS.BUILDER]: 'export const anInvoice = 1;\n',
+    };
+}
+//# sourceMappingURL=aggregate.js.map

package/dist/check/fixtures/aggregate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate.js","sourceRoot":"","sources":["../../../src/check/fixtures/aggregate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,mFAAmF;AACnF,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO;QACL,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI;QACvB,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC,IAAI;QACpC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,+BAA+B;KACjD,CAAC;AACJ,CAAC"}

package/dist/check/fixtures/alias-declarations.d.ts

@@ -0,0 +1,4 @@
+import type { FixtureFiles } from './fixture-files.js';
+/** What `init` writes to declare the alias and point every tool at it, with what a fixture changes over it. */
+export declare function aliasDeclarations(overrides?: FixtureFiles): FixtureFiles;
+//# sourceMappingURL=alias-declarations.d.ts.map

package/dist/check/fixtures/alias-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-declarations.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/alias-declarations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AA2BvD,+GAA+G;AAC/G,wBAAgB,iBAAiB,CAAC,SAAS,GAAE,YAAiB,GAAG,YAAY,CAgB5E"}

package/dist/check/fixtures/alias-declarations.js

@@ -0,0 +1,43 @@
+import { CONFIG_FILE } from '../../config/index.js';
+import { config } from './config.js';
+import { project } from './project.js';
+/** Written out, not derived: the fixtures do not prove the rule with its own code. */
+const MANIFEST = {
+    name: 'fixture',
+    type: 'module',
+    scripts: {
+        build: 'node node_modules/@typescript/native/bin/tsc -p tsconfig.build.json && ddd-ts-kit build-aliases',
+        typecheck: 'node node_modules/@typescript/native/bin/tsc -p tsconfig.json --noEmit',
+        start: 'node dist/src/main.js',
+        dev: 'tsx watch --env-file-if-exists=.env src/main.ts',
+    },
+    dependencies: { '@ddd-ts-kit/kernel': '^0.1.0' },
+};
+const TSCONFIG = {
+    // A comment and a trailing comma are read, as the compiler reads them.
+    compilerOptions: {
+        module: 'NodeNext',
+        rootDir: '.',
+        paths: { '@/*': ['./src/*'], '$test/*': ['./test/*'], '$scripts/*': ['./scripts/*'] },
+        outDir: 'dist',
+    },
+    include: ['src', 'scripts', 'test'],
+};
+/** What `init` writes to declare the alias and point every tool at it, with what a fixture changes over it. */
+export function aliasDeclarations(overrides = {}) {
+    return project({}, {
+        [CONFIG_FILE]: config({ importAlias: '@/' }),
+        'package.json': json(MANIFEST),
+        'tsconfig.json': `// The type check.\n${json(TSCONFIG).replace('"dist"\n', '"dist",\n')}`,
+        'tsconfig.build.json': json({ extends: './tsconfig.json', exclude: ['test'] }),
+        'vitest.config.ts': "export default { resolve: { tsconfigPaths: true }, test: { coverage: governedCoverage('') } };\n",
+        'vitest.e2e.config.ts': "export { default } from './vitest.config.js';\n",
+        '.dependency-cruiser.cjs': "module.exports = { options: { tsConfig: { fileName: 'tsconfig.json' } } };\n",
+        'knip.json': json({ entry: ['src/main.ts'] }),
+        ...overrides,
+    });
+}
+function json(value) {
+    return `${JSON.stringify(value, null, 2)}\n`;
+}
+//# sourceMappingURL=alias-declarations.js.map

package/dist/check/fixtures/alias-declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-declarations.js","sourceRoot":"","sources":["../../../src/check/fixtures/alias-declarations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,sFAAsF;AACtF,MAAM,QAAQ,GAAG;IACf,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE;QACP,KAAK,EAAE,iGAAiG;QACxG,SAAS,EAAE,wEAAwE;QACnF,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,iDAAiD;KACvD;IACD,YAAY,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE;CACjD,CAAC;AAEF,MAAM,QAAQ,GAAG;IACf,uEAAuE;IACvE,eAAe,EAAE;QACf,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,GAAG;QACZ,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC,aAAa,CAAC,EAAE;QACrF,MAAM,EAAE,MAAM;KACf;IACD,OAAO,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF,+GAA+G;AAC/G,MAAM,UAAU,iBAAiB,CAAC,SAAS,GAAiB,EAAE;IAC5D,OAAO,OAAO,CACZ,EAAE,EACF;QACE,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAC5C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC9B,eAAe,EAAE,uBAAuB,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE;QACzF,qBAAqB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,kBAAkB,EAChB,kGAAkG;QACpG,sBAAsB,EAAE,iDAAiD;QACzE,yBAAyB,EAAE,8EAA8E;QACzG,WAAW,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7C,GAAG,SAAS;KACb,CACF,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC"}

package/dist/check/fixtures/alias-declared-fixtures.d.ts

@@ -0,0 +1,3 @@
+import type { Fixture } from './fixture.js';
+export declare const ALIAS_DECLARED_FIXTURES: readonly Fixture[];
+//# sourceMappingURL=alias-declared-fixtures.d.ts.map

package/dist/check/fixtures/alias-declared-fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-declared-fixtures.d.ts","sourceRoot":"","sources":["../../../src/check/fixtures/alias-declared-fixtures.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAQ5C,eAAO,MAAM,uBAAuB,EAAE,SAAS,OAAO,EAoErD,CAAC"}