@qualety/typescript 0.1.0

package/dist/parse-flow.d.ts

@@ -0,0 +1,16 @@
+import { type ArrowFunction, type CallExpression, type ElementAccessExpression, type FunctionDeclaration, type FunctionExpression, type MethodDeclaration, Node, type ObjectBindingPattern, type PropertyAccessExpression } from "ts-morph";
+export type FunctionLike = FunctionDeclaration | FunctionExpression | ArrowFunction | MethodDeclaration;
+export declare const BOUNDARY_NAMES: Set<string>;
+export declare const BOUNDARY_PREFIX: RegExp;
+export declare function isFunctionLike(node: Node): node is FunctionLike;
+export declare function functionLikeName(node: FunctionLike): string | undefined;
+export declare function unknownParamNames(node: FunctionLike): string[];
+export declare function isPropertyParseCall(node: Node, names: ReadonlySet<string>, wantJson: boolean): node is CallExpression;
+export declare function isSchemaParseCall(node: Node): node is CallExpression;
+export declare function firstArgIdentifier(node: Node): string | undefined;
+export declare function aliasesOf(fn: FunctionLike, root: string): Set<string>;
+export declare function isPropertyUse(node: Node, names: ReadonlySet<string>): node is PropertyAccessExpression | ElementAccessExpression | ObjectBindingPattern;
+export declare function isTypeofObjectGuard(node: Node, names: ReadonlySet<string>): boolean;
+export declare function isHandGuardCall(node: Node, names: ReadonlySet<string>): boolean;
+export declare function typeofTarget(node: Node): string | undefined;
+//# sourceMappingURL=parse-flow.d.ts.map

package/dist/parse-flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-flow.d.ts","sourceRoot":"","sources":["../src/parse-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,uBAAuB,EAC5B,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,IAAI,EACJ,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC9B,MAAM,UAAU,CAAC;AAElB,MAAM,MAAM,YAAY,GACpB,mBAAmB,GACnB,kBAAkB,GAClB,aAAa,GACb,iBAAiB,CAAC;AAEtB,eAAO,MAAM,cAAc,aAKzB,CAAC;AACH,eAAO,MAAM,eAAe,QAAwB,CAAC;AAErD,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,YAAY,CAO/D;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,SAAS,CASvE;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,EAAE,CAY9D;AAID,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,QAAQ,EAAE,OAAO,GAChB,IAAI,IAAI,cAAc,CAWxB;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,cAAc,CAEpE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAMjE;AAED,wBAAgB,SAAS,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAmBrE;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GACzB,IAAI,IAAI,wBAAwB,GAAG,uBAAuB,GAAG,oBAAoB,CAanF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAanF;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAU/E;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAS3D"}

package/dist/parse-flow.js

@@ -0,0 +1,136 @@
+import { Node, } from "ts-morph";
+export const BOUNDARY_NAMES = new Set([
+    "validateConfig",
+    "readConfigFile",
+    "loadConfig",
+    "loadPlugin",
+]);
+export const BOUNDARY_PREFIX = /^(read|load|parse)/i;
+export function isFunctionLike(node) {
+    return (Node.isFunctionDeclaration(node) ||
+        Node.isFunctionExpression(node) ||
+        Node.isArrowFunction(node) ||
+        Node.isMethodDeclaration(node));
+}
+export function functionLikeName(node) {
+    if (Node.isFunctionDeclaration(node) || Node.isMethodDeclaration(node)) {
+        return node.getName();
+    }
+    const parent = node.getParent();
+    if (Node.isVariableDeclaration(parent)) {
+        return parent.getName();
+    }
+    return undefined;
+}
+export function unknownParamNames(node) {
+    const names = [];
+    for (const param of node.getParameters()) {
+        const typeNode = param.getTypeNode();
+        if (typeNode !== undefined && typeNode.getText() === "unknown") {
+            const name = param.getName();
+            if (!name.startsWith("{") && !name.startsWith("[")) {
+                names.push(name);
+            }
+        }
+    }
+    return names;
+}
+const SCHEMA_PARSE_NAMES = new Set(["parse", "safeParse"]);
+export function isPropertyParseCall(node, names, wantJson) {
+    if (!Node.isCallExpression(node)) {
+        return false;
+    }
+    const expr = node.getExpression();
+    if (!Node.isPropertyAccessExpression(expr) || !names.has(expr.getName())) {
+        return false;
+    }
+    const obj = expr.getExpression();
+    const isJson = Node.isIdentifier(obj) && obj.getText() === "JSON";
+    return wantJson === isJson;
+}
+export function isSchemaParseCall(node) {
+    return isPropertyParseCall(node, SCHEMA_PARSE_NAMES, false);
+}
+export function firstArgIdentifier(node) {
+    if (!Node.isCallExpression(node)) {
+        return undefined;
+    }
+    const arg = node.getArguments()[0];
+    return arg !== undefined && Node.isIdentifier(arg) ? arg.getText() : undefined;
+}
+export function aliasesOf(fn, root) {
+    const names = new Set([root]);
+    let grew = true;
+    while (grew) {
+        grew = false;
+        fn.forEachDescendant((node) => {
+            if (!Node.isVariableDeclaration(node)) {
+                return;
+            }
+            const init = node.getInitializer();
+            if (init !== undefined && Node.isIdentifier(init) && names.has(init.getText())) {
+                if (!names.has(node.getName())) {
+                    names.add(node.getName());
+                    grew = true;
+                }
+            }
+        });
+    }
+    return names;
+}
+export function isPropertyUse(node, names) {
+    if (Node.isPropertyAccessExpression(node) || Node.isElementAccessExpression(node)) {
+        const expr = node.getExpression();
+        return Node.isIdentifier(expr) && names.has(expr.getText());
+    }
+    if (Node.isObjectBindingPattern(node)) {
+        const parent = node.getParent();
+        if (Node.isVariableDeclaration(parent)) {
+            const init = parent.getInitializer();
+            return init !== undefined && Node.isIdentifier(init) && names.has(init.getText());
+        }
+    }
+    return false;
+}
+export function isTypeofObjectGuard(node, names) {
+    if (!Node.isBinaryExpression(node)) {
+        return false;
+    }
+    const op = node.getOperatorToken().getText();
+    if (op !== "===" && op !== "==" && op !== "!==" && op !== "!=") {
+        return false;
+    }
+    const left = node.getLeft();
+    const right = node.getRight();
+    const typeofOperand = typeofTarget(left) ?? typeofTarget(right);
+    const literal = stringLiteral(left) ?? stringLiteral(right);
+    return typeofOperand !== undefined && names.has(typeofOperand) && literal === "object";
+}
+export function isHandGuardCall(node, names) {
+    if (!Node.isCallExpression(node)) {
+        return false;
+    }
+    const expr = node.getExpression();
+    if (!Node.isIdentifier(expr) || !/^is[A-Z]/.test(expr.getText())) {
+        return false;
+    }
+    const arg = node.getArguments()[0];
+    return arg !== undefined && Node.isIdentifier(arg) && names.has(arg.getText());
+}
+export function typeofTarget(node) {
+    if (!Node.isTypeOfExpression(node)) {
+        return undefined;
+    }
+    let expr = node.getExpression();
+    while (Node.isParenthesizedExpression(expr)) {
+        expr = expr.getExpression();
+    }
+    return Node.isIdentifier(expr) ? expr.getText() : undefined;
+}
+function stringLiteral(node) {
+    if (Node.isStringLiteral(node) || Node.isNoSubstitutionTemplateLiteral(node)) {
+        return node.getLiteralText();
+    }
+    return undefined;
+}
+//# sourceMappingURL=parse-flow.js.map

package/dist/parse-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-flow.js","sourceRoot":"","sources":["../src/parse-flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,IAAI,GAGL,MAAM,UAAU,CAAC;AAQlB,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IACpC,gBAAgB;IAChB,gBAAgB;IAChB,YAAY;IACZ,YAAY;CACb,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAErD,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,CACL,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC/B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAkB;IACjD,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAkB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,EAAE,KAAK,SAAS,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;AAE3D,MAAM,UAAU,mBAAmB,CACjC,IAAU,EACV,KAA0B,EAC1B,QAAiB;IAEjB,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,MAAM,CAAC;IAClE,OAAO,QAAQ,KAAK,MAAM,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAU;IAC1C,OAAO,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC3C,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAgB,EAAE,IAAY;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9B,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE,EAAE;YAC5B,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACnC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBAC/E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;oBAC/B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;oBAC1B,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAU,EACV,KAA0B;IAE1B,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;YACrC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAU,EAAE,KAA0B;IACxE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC;IAC7C,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAC/D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;IAC5D,OAAO,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,OAAO,KAAK,QAAQ,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAU,EAAE,KAA0B;IACpE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,GAAS,IAAI,CAAC,aAAa,EAAE,CAAC;IACtC,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9D,CAAC;AAED,SAAS,aAAa,CAAC,IAAU;IAC/B,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;IAC/B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/public-exports-tested.d.ts

@@ -0,0 +1,8 @@
+import { type RuleContext } from "qualety";
+export declare const publicExportsTested: {
+    meta: import("qualety").RuleMeta & {
+        requires?: readonly ["typescript"] | undefined;
+    };
+    create(context: RuleContext<readonly ["typescript"]>): void | import("qualety").RuleListener;
+};
+//# sourceMappingURL=public-exports-tested.d.ts.map

package/dist/public-exports-tested.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-exports-tested.d.ts","sourceRoot":"","sources":["../src/public-exports-tested.ts"],"names":[],"mappings":"AACA,OAAO,EAA0B,KAAK,WAAW,EAAE,MAAM,SAAS,CAAC;AAcnE,eAAO,MAAM,mBAAmB;;;;;CA2C9B,CAAC"}

package/dist/public-exports-tested.js

@@ -0,0 +1,170 @@
+import { dirname, extname, join, resolve } from "node:path";
+import { defineRule } from "qualety";
+import { Node, SourceFile, SyntaxKind } from "ts-morph";
+const TS_EXTS = [".ts", ".tsx", ".mts", ".cts"];
+const SWAP_EXTS = new Set([".js", ".jsx", ".mjs", ".cjs", ...TS_EXTS]);
+export const publicExportsTested = defineRule({
+    meta: {
+        requires: ["typescript"],
+        docs: {
+            description: "Every public value export in included non-test sources must be referenced from a test path.",
+        },
+    },
+    create(context) {
+        const sources = context.getArtifact("typescript").sources;
+        const displayByAbs = mapDisplayPaths(context, sources);
+        const referenced = new Set();
+        const exported = [];
+        for (const [abs, unit] of sources) {
+            if (/\.d\.(?:ts|mts|cts)$/.test(posix(abs)) || !(unit instanceof SourceFile)) {
+                continue;
+            }
+            const normalized = posix(abs);
+            const base = normalized.slice(normalized.lastIndexOf("/") + 1);
+            if (/\.(?:test|spec)\./.test(base) || normalized.split("/").includes("__tests__")) {
+                collectReferences(unit, abs, sources, referenced);
+            }
+            else {
+                const display = displayByAbs.get(abs) ?? posix(abs);
+                exported.push(...collectPublicExports(unit, abs, display));
+            }
+        }
+        const seen = new Set();
+        for (const item of exported) {
+            if (seen.has(item.key) || referenced.has(item.key)) {
+                continue;
+            }
+            seen.add(item.key);
+            context.report({
+                severity: "error",
+                file: item.file,
+                range: item.range,
+                message: `Public export "${item.name}" in ${item.display} is not referenced from a test file.`,
+                suggestion: `Import "${item.name}" from a test path (*.test.*, *.spec.*, or a __tests__/ directory).`,
+            });
+        }
+    },
+});
+function mapDisplayPaths(context, sources) {
+    const cwd = context.getCwd();
+    const displayByAbs = new Map();
+    for (const name of context.getFiles()) {
+        const abs = resolve(cwd, name);
+        if (sources.has(abs)) {
+            displayByAbs.set(abs, name);
+        }
+    }
+    return displayByAbs;
+}
+function collectPublicExports(sf, abs, display) {
+    const result = [];
+    const push = (name, node) => {
+        const start = sf.getLineAndColumnAtPos(node.getStart());
+        const end = sf.getLineAndColumnAtPos(node.getEnd());
+        result.push({
+            key: `${abs}#${name}`,
+            name,
+            file: abs,
+            display,
+            range: {
+                start: { line: start.line, column: start.column },
+                end: { line: end.line, column: end.column },
+            },
+        });
+    };
+    for (const stmt of sf.getStatements()) {
+        collectStatementExport(stmt, push);
+    }
+    return result;
+}
+function collectStatementExport(stmt, push) {
+    if (Node.isExportDeclaration(stmt)) {
+        collectExportDeclaration(stmt, push);
+        return;
+    }
+    if (Node.isExportAssignment(stmt)) {
+        if (!stmt.isExportEquals()) {
+            push("default", defaultKeyword(stmt) ?? stmt);
+        }
+        return;
+    }
+    if (collectNamedValueExport(stmt, push)) {
+        return;
+    }
+    if (Node.isVariableStatement(stmt) && stmt.hasExportKeyword()) {
+        for (const decl of stmt.getDeclarations()) {
+            push(decl.getName(), decl.getNameNode() ?? decl);
+        }
+    }
+}
+function collectNamedValueExport(stmt, push) {
+    if (!Node.isFunctionDeclaration(stmt) &&
+        !Node.isClassDeclaration(stmt) &&
+        !Node.isEnumDeclaration(stmt)) {
+        return false;
+    }
+    if (!stmt.hasExportKeyword()) {
+        return true;
+    }
+    if (stmt.isDefaultExport()) {
+        push("default", defaultKeyword(stmt) ?? stmt.getNameNode() ?? stmt);
+        return true;
+    }
+    const nameNode = stmt.getNameNode();
+    const name = stmt.getName();
+    if (name !== undefined && nameNode !== undefined) {
+        push(name, nameNode);
+    }
+    return true;
+}
+function collectExportDeclaration(stmt, push) {
+    if (stmt.isTypeOnly() || stmt.isNamespaceExport()) {
+        return;
+    }
+    for (const spec of stmt.getNamedExports()) {
+        if (spec.isTypeOnly()) {
+            continue;
+        }
+        push(spec.compilerNode.name.text, spec.getNameNode());
+    }
+}
+function collectReferences(sf, fromFile, sources, referenced) {
+    for (const decl of sf.getImportDeclarations()) {
+        const specifier = decl.getModuleSpecifierValue();
+        const target = resolveImportTarget(fromFile, specifier, sources);
+        if (target === undefined) {
+            continue;
+        }
+        if (decl.getDefaultImport() !== undefined) {
+            referenced.add(`${target}#default`);
+        }
+        for (const named of decl.getNamedImports()) {
+            referenced.add(`${target}#${named.getName()}`);
+        }
+    }
+}
+function resolveImportTarget(fromFile, specifier, sources) {
+    if (!specifier.startsWith(".")) {
+        return undefined;
+    }
+    const resolved = resolve(dirname(fromFile), specifier);
+    const ext = extname(resolved);
+    const stem = SWAP_EXTS.has(ext) ? resolved.slice(0, -ext.length) : resolved;
+    const paths = [resolved];
+    TS_EXTS.forEach((tsExt) => {
+        paths.push(stem + tsExt);
+        paths.push(join(resolved, `index${tsExt}`));
+    });
+    const found = paths.find((path) => sources.has(path) || sources.has(resolve(path)));
+    if (found === undefined) {
+        return undefined;
+    }
+    return sources.has(found) ? found : resolve(found);
+}
+function defaultKeyword(node) {
+    return node.getFirstChildByKind(SyntaxKind.DefaultKeyword);
+}
+function posix(filePath) {
+    return filePath.split("\\").join("/");
+}
+//# sourceMappingURL=public-exports-tested.js.map

package/dist/public-exports-tested.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-exports-tested.js","sourceRoot":"","sources":["../src/public-exports-tested.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAgC,MAAM,SAAS,CAAC;AACnE,OAAO,EAA0B,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEhF,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AACzD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;AAUvE,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC5C,IAAI,EAAE;QACJ,QAAQ,EAAE,CAAC,YAAY,CAAC;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,6FAA6F;SAChG;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;QAC1D,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QAEpC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,UAAU,CAAC,EAAE,CAAC;gBAC7E,SAAS;YACX,CAAC;YACD,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/D,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAClF,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;YACpD,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,OAAO,CAAC,MAAM,CAAC;gBACb,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,OAAO,EAAE,kBAAkB,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,OAAO,sCAAsC;gBAC9F,UAAU,EAAE,WAAW,IAAI,CAAC,IAAI,qEAAqE;aACtG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,eAAe,CACtB,OAAiD,EACjD,OAAqC;IAErC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAc,EAAE,GAAW,EAAE,OAAe;IACxE,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAU,EAAE,EAAE;QACxC,MAAM,KAAK,GAAG,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE;YACrB,IAAI;YACJ,IAAI,EAAE,GAAG;YACT,OAAO;YACP,KAAK,EAAE;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;gBACjD,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;aAC5C;SACF,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,aAAa,EAAE,EAAE,CAAC;QACtC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAU,EAAE,IAAwC;IAClF,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;QAChD,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC9D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAU,EAAE,IAAwC;IACnF,IACE,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QACjC,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC9B,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5B,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjD,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAuB,EACvB,IAAwC;IAExC,IAAI,IAAI,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC;QAClD,OAAO;IACT,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAc,EACd,QAAgB,EAChB,OAAqC,EACrC,UAAuB;IAEvB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,gBAAgB,EAAE,KAAK,SAAS,EAAE,CAAC;YAC1C,UAAU,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;YAC3C,UAAU,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAgB,EAChB,SAAiB,EACjB,OAAqC;IAErC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5E,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzB,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACxB,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,cAAc,CAAC,IAAU;IAChC,OAAO,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,KAAK,CAAC,QAAgB;IAC7B,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxC,CAAC"}

package/dist/ts-source.d.ts

@@ -0,0 +1,5 @@
+import type { RuleContext } from "qualety";
+import { type Node, SourceFile } from "ts-morph";
+export declare function walkTsSources(sources: ReadonlyMap<string, unknown>, visit: (sourceFile: SourceFile, file: string) => void): void;
+export declare function reportAt(context: Pick<RuleContext, "report">, file: string, node: Node, message: string, suggestion: string): void;
+//# sourceMappingURL=ts-source.d.ts.map

package/dist/ts-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-source.d.ts","sourceRoot":"","sources":["../src/ts-source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,KAAK,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEjD,wBAAgB,aAAa,CAC3B,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,GACpD,IAAI,CAcN;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GACjB,IAAI,CAYN"}

package/dist/ts-source.js

@@ -0,0 +1,28 @@
+import { SourceFile } from "ts-morph";
+export function walkTsSources(sources, visit) {
+    for (const [abs, unit] of sources) {
+        const path = abs.split("\\").join("/");
+        const base = path.slice(path.lastIndexOf("/") + 1);
+        if (!(unit instanceof SourceFile) ||
+            /\.d\.(?:ts|mts|cts)$/.test(base) ||
+            /\.(?:test|spec)\./.test(base) ||
+            path.split("/").includes("__tests__")) {
+            continue;
+        }
+        visit(unit, abs);
+    }
+}
+export function reportAt(context, file, node, message, suggestion) {
+    const sourceFile = node.getSourceFile();
+    context.report({
+        severity: "error",
+        file,
+        range: {
+            start: sourceFile.getLineAndColumnAtPos(node.getStart()),
+            end: sourceFile.getLineAndColumnAtPos(node.getEnd()),
+        },
+        message,
+        suggestion,
+    });
+}
+//# sourceMappingURL=ts-source.js.map

package/dist/ts-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-source.js","sourceRoot":"","sources":["../src/ts-source.ts"],"names":[],"mappings":"AACA,OAAO,EAAa,UAAU,EAAE,MAAM,UAAU,CAAC;AAEjD,MAAM,UAAU,aAAa,CAC3B,OAAqC,EACrC,KAAqD;IAErD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IACE,CAAC,CAAC,IAAI,YAAY,UAAU,CAAC;YAC7B,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EACrC,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,OAAoC,EACpC,IAAY,EACZ,IAAU,EACV,OAAe,EACf,UAAkB;IAElB,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,OAAO,CAAC,MAAM,CAAC;QACb,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,KAAK,EAAE;YACL,KAAK,EAAE,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxD,GAAG,EAAE,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;SACrD;QACD,OAAO;QACP,UAAU;KACX,CAAC,CAAC;AACL,CAAC"}

package/dist/type-narrowing-checks.d.ts

@@ -0,0 +1,8 @@
+import { type RuleContext } from "qualety";
+export declare const typeNarrowingChecks: {
+    meta: import("qualety").RuleMeta & {
+        requires?: readonly string[] | undefined;
+    };
+    create(context: RuleContext<readonly string[]>): void | import("qualety").RuleListener;
+};
+//# sourceMappingURL=type-narrowing-checks.d.ts.map

package/dist/type-narrowing-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-narrowing-checks.d.ts","sourceRoot":"","sources":["../src/type-narrowing-checks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,WAAW,EAAE,MAAM,SAAS,CAAC;AAoBvD,eAAO,MAAM,mBAAmB;;;;;CAS9B,CAAC"}

package/dist/type-narrowing-checks.js

@@ -0,0 +1,99 @@
+import { defineRule } from "qualety";
+import { Node } from "ts-morph";
+import { bindFunctionScan, conditionLeaves, conditionNodes, diagnoseConstant, hasPriorParse, isStrictRefinement, shouldReportUnchanged, subjectIdentIn, truePathRoot, } from "./narrowing.js";
+import { firstArgIdentifier, isPropertyUse, isSchemaParseCall } from "./parse-flow.js";
+const SUGGESTION = "Delete the check, or use a type predicate / asserts / non-empty predicate / schema .data / a narrowed binding.";
+export const typeNarrowingChecks = defineRule({
+    meta: {
+        requires: ["typescript"],
+        docs: {
+            description: "A runtime check on a value is legitimate only if TypeScript sees a strict refinement on the true path.",
+        },
+    },
+    create: bindFunctionScan(scanFunction),
+});
+function scanFunction(fn, file, sourceFile, context, reported) {
+    for (const cond of conditionNodes(fn)) {
+        if (diagnoseConstant(fn, cond, sourceFile) !== undefined) {
+            continue;
+        }
+        const pathRoot = truePathRoot(cond);
+        if (pathRoot === undefined) {
+            continue;
+        }
+        for (const cand of conditionLeaves(fn, cond)) {
+            considerLeaf(cand, cond, pathRoot, file, context, reported);
+        }
+    }
+    fn.forEachDescendant((node) => {
+        considerRawAfterParse(fn, node, file, sourceFile, context, reported);
+    });
+}
+function considerLeaf(cand, cond, pathRoot, file, context, reported) {
+    if (cand.kind === "schema-parse") {
+        return;
+    }
+    const beforeNode = subjectIdentIn(cand.node, cand.subject);
+    const afterNode = subjectIdentIn(pathRoot, cand.subject);
+    if (beforeNode === undefined || afterNode === undefined) {
+        return;
+    }
+    const before = beforeNode.getType();
+    const after = afterNode.getType();
+    if (isStrictRefinement(before, after) || !shouldReportUnchanged(cand, before, after)) {
+        return;
+    }
+    emitA(context, file, cond, cand.subject, reported);
+}
+function considerRawAfterParse(fn, node, file, sourceFile, context, reported) {
+    if (!isSchemaParseCall(node)) {
+        return;
+    }
+    const subject = firstArgIdentifier(node);
+    if (subject === undefined || hasPriorParse(fn, subject, node.getStart())) {
+        return;
+    }
+    if (diagnoseConstant(fn, node, sourceFile) !== undefined) {
+        return;
+    }
+    let rawUse;
+    fn.forEachDescendant((child) => {
+        if (child.getStart() > node.getStart() && isPropertyUse(child, new Set([subject]))) {
+            rawUse = rawUse ?? child;
+        }
+    });
+    if (rawUse === undefined || refinedAfterParse(node, rawUse, subject)) {
+        return;
+    }
+    emitA(context, file, node, subject, reported);
+}
+function refinedAfterParse(parseNode, rawUse, subject) {
+    const beforeNode = subjectIdentIn(parseNode, subject);
+    const afterNode = Node.isPropertyAccessExpression(rawUse) || Node.isElementAccessExpression(rawUse)
+        ? rawUse.getExpression()
+        : subjectIdentIn(rawUse, subject);
+    if (beforeNode === undefined || afterNode === undefined) {
+        return true;
+    }
+    return isStrictRefinement(beforeNode.getType(), afterNode.getType());
+}
+function emitA(context, file, node, subject, reported) {
+    const sourceFile = node.getSourceFile();
+    const range = {
+        start: sourceFile.getLineAndColumnAtPos(node.getStart()),
+        end: sourceFile.getLineAndColumnAtPos(node.getEnd()),
+    };
+    const key = `${file}:${range.start.line}:${range.start.column}`;
+    if (reported.has(key)) {
+        return;
+    }
+    reported.add(key);
+    context.report({
+        severity: "error",
+        file,
+        range,
+        message: `Check on "${subject}" does not narrow its type.`,
+        suggestion: SUGGESTION,
+    });
+}
+//# sourceMappingURL=type-narrowing-checks.js.map

package/dist/type-narrowing-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-narrowing-checks.js","sourceRoot":"","sources":["../src/type-narrowing-checks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAoB,MAAM,SAAS,CAAC;AACvD,OAAO,EAAE,IAAI,EAAmB,MAAM,UAAU,CAAC;AACjD,OAAO,EACL,gBAAgB,EAEhB,eAAe,EACf,cAAc,EACd,gBAAgB,EAEhB,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACrB,cAAc,EACd,YAAY,GACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEvF,MAAM,UAAU,GACd,gHAAgH,CAAC;AAEnH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC5C,IAAI,EAAE;QACJ,QAAQ,EAAE,CAAC,YAAY,CAAC;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,wGAAwG;SAC3G;KACF;IACD,MAAM,EAAE,gBAAgB,CAAC,YAAY,CAAC;CACvC,CAAC,CAAC;AAEH,SAAS,YAAY,CACnB,EAAgB,EAChB,IAAY,EACZ,UAAsB,EACtB,OAAoC,EACpC,QAAqB;IAErB,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,IAAI,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;YACzD,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5B,qBAAqB,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,IAAoB,EACpB,IAAU,EACV,QAAc,EACd,IAAY,EACZ,OAAoC,EACpC,QAAqB;IAErB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,UAAU,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACxD,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IAClC,IAAI,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACrF,OAAO;IACT,CAAC;IACD,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,qBAAqB,CAC5B,EAAgB,EAChB,IAAU,EACV,IAAY,EACZ,UAAsB,EACtB,OAAoC,EACpC,QAAqB;IAErB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS,IAAI,aAAa,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzE,OAAO;IACT,CAAC;IACD,IAAI,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO;IACT,CAAC;IACD,IAAI,MAAwB,CAAC;IAC7B,EAAE,CAAC,iBAAiB,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7B,IAAI,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,aAAa,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM,GAAG,MAAM,IAAI,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACrE,OAAO;IACT,CAAC;IACD,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAe,EAAE,MAAY,EAAE,OAAe;IACvE,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,MAAM,SAAS,GACb,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAC/E,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE;QACxB,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,IAAI,UAAU,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,KAAK,CACZ,OAAoC,EACpC,IAAY,EACZ,IAAU,EACV,OAAe,EACf,QAAqB;IAErB,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG;QACZ,KAAK,EAAE,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACxD,GAAG,EAAE,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACrD,CAAC;IACF,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IAChE,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,OAAO,CAAC,MAAM,CAAC;QACb,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,KAAK;QACL,OAAO,EAAE,aAAa,OAAO,6BAA6B;QAC1D,UAAU,EAAE,UAAU;KACvB,CAAC,CAAC;AACL,CAAC"}

package/dist/zod-boundary.d.ts

@@ -0,0 +1,8 @@
+import { type RuleContext } from "qualety";
+export declare const zodBoundary: {
+    meta: import("qualety").RuleMeta & {
+        requires?: readonly ["typescript"] | undefined;
+    };
+    create(context: RuleContext<readonly ["typescript"]>): void | import("qualety").RuleListener;
+};
+//# sourceMappingURL=zod-boundary.d.ts.map

package/dist/zod-boundary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod-boundary.d.ts","sourceRoot":"","sources":["../src/zod-boundary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,WAAW,EAAE,MAAM,SAAS,CAAC;AAqBvD,eAAO,MAAM,WAAW;;;;;CAwBtB,CAAC"}

package/dist/zod-boundary.js

@@ -0,0 +1,110 @@
+import { defineRule } from "qualety";
+import { Node, SourceFile } from "ts-morph";
+import { enclosingFunction } from "./narrowing.js";
+import { aliasesOf, BOUNDARY_NAMES, BOUNDARY_PREFIX, firstArgIdentifier, functionLikeName, isFunctionLike, isPropertyParseCall, isPropertyUse, isSchemaParseCall, unknownParamNames, } from "./parse-flow.js";
+const PARSE_SUGGESTION = "Call schema.safeParse(...) or schema.parse(...) on this value before reading its properties.";
+const JSON_PARSE_NAMES = new Set(["parse"]);
+export const zodBoundary = defineRule({
+    meta: {
+        requires: ["typescript"],
+        docs: {
+            description: "Load/parse boundaries typed unknown and JSON.parse results must be schema-parsed before property access.",
+        },
+    },
+    create(context) {
+        const sources = context.getArtifact("typescript").sources;
+        for (const [abs, unit] of sources) {
+            if (!(unit instanceof SourceFile)) {
+                continue;
+            }
+            unit.forEachDescendant((node) => {
+                if (isFunctionLike(node)) {
+                    scanBoundary(node, abs, context);
+                }
+                if (isPropertyParseCall(node, JSON_PARSE_NAMES, true)) {
+                    scanJsonParse(node, abs, context);
+                }
+            });
+        }
+    },
+});
+function scanBoundary(fn, file, context) {
+    const name = functionLikeName(fn);
+    if (name === undefined || !(BOUNDARY_NAMES.has(name) || BOUNDARY_PREFIX.test(name))) {
+        return;
+    }
+    for (const param of unknownParamNames(fn)) {
+        reportUsesBeforeParse(fn, aliasesOf(fn, param), file, context, `Load/parse function "${name}" uses untrusted parameter "${param}" before schema.parse/safeParse.`);
+    }
+}
+function scanJsonParse(node, file, context) {
+    const parseParent = node.getParent();
+    if (parseParent !== undefined &&
+        isSchemaParseCall(parseParent) &&
+        parseParent.getArguments().includes(node)) {
+        return;
+    }
+    const parent = node.getParent();
+    if (parent !== undefined &&
+        (Node.isPropertyAccessExpression(parent) || Node.isElementAccessExpression(parent))) {
+        context.report({
+            severity: "error",
+            file,
+            range: {
+                start: parent.getSourceFile().getLineAndColumnAtPos(parent.getStart()),
+                end: parent.getSourceFile().getLineAndColumnAtPos(parent.getEnd()),
+            },
+            message: "JSON.parse result is used before schema.parse/safeParse.",
+            suggestion: PARSE_SUGGESTION,
+        });
+        return;
+    }
+    if (!Node.isVariableDeclaration(parent) || !Node.isCallExpression(node)) {
+        return;
+    }
+    const binding = parent.getName();
+    const fn = enclosingFunction(node);
+    if (fn === undefined) {
+        return;
+    }
+    reportUsesBeforeParse(fn, aliasesOf(fn, binding), file, context, "JSON.parse result is used before schema.parse/safeParse.");
+}
+function reportUsesBeforeParse(fn, names, file, context, message) {
+    const parseAt = firstParsePos(fn, names);
+    for (const node of fn.getDescendants()) {
+        if (!isPropertyUse(node, names)) {
+            continue;
+        }
+        if (parseAt !== undefined && node.getStart() > parseAt) {
+            continue;
+        }
+        context.report({
+            severity: "error",
+            file,
+            range: {
+                start: node.getSourceFile().getLineAndColumnAtPos(node.getStart()),
+                end: node.getSourceFile().getLineAndColumnAtPos(node.getEnd()),
+            },
+            message,
+            suggestion: PARSE_SUGGESTION,
+        });
+    }
+}
+function firstParsePos(fn, names) {
+    let pos;
+    for (const node of fn.getDescendants()) {
+        if (!isSchemaParseCall(node)) {
+            continue;
+        }
+        const arg = firstArgIdentifier(node);
+        if (arg === undefined || !names.has(arg)) {
+            continue;
+        }
+        const start = node.getStart();
+        if (pos === undefined || start < pos) {
+            pos = start;
+        }
+    }
+    return pos;
+}
+//# sourceMappingURL=zod-boundary.js.map