@venizia/dev-configs 0.4.6 → 0.4.7-1

package/dist/linters/house/common.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.nodeType = exports.readField = exports.HOUSE_PLUGIN_NAMESPACE = exports.AstNodeTypes = void 0;
+exports.AstNode = exports.HOUSE_PLUGIN_NAMESPACE = exports.AstNodeTypes = void 0;
 /** The estree node types the house rules visit - computed visitor keys, so the names stay PascalCase as ESLint needs them. */
 class AstNodeTypes {
     static { this.NEW_EXPRESSION = 'NewExpression'; }
@@ -10,22 +10,27 @@ class AstNodeTypes {
     static { this.ARROW_FUNCTION_EXPRESSION = 'ArrowFunctionExpression'; }
     static { this.EXPORT_NAMED_DECLARATION = 'ExportNamedDeclaration'; }
     static { this.UNION_TYPE = 'TSUnionType'; }
+    static { this.AWAIT_EXPRESSION = 'AwaitExpression'; }
+    static { this.RETURN_STATEMENT = 'ReturnStatement'; }
+    static { this.CATCH_CLAUSE = 'CatchClause'; }
 }
 exports.AstNodeTypes = AstNodeTypes;
 /** The ESLint namespace the house rules live under: `venizia/<rule>`. */
 exports.HOUSE_PLUGIN_NAMESPACE = 'venizia';
-/** A field of an AST node, read without trusting its type: TypeScript nodes carry fields estree does not declare. */
-const readField = (opts) => {
-    const { node, key } = opts;
-    return typeof node === 'object' && node !== null && key in node
-        ? Reflect.get(node, key)
-        : undefined;
-};
-exports.readField = readField;
-/** The node's `type`, or `undefined` for anything that is not an AST node. */
-const nodeType = (opts) => {
-    const type = (0, exports.readField)({ node: opts.node, key: 'type' });
-    return typeof type === 'string' ? type : undefined;
-};
-exports.nodeType = nodeType;
+/** Reads an AST node without trusting its type: TypeScript nodes carry fields estree does not declare. */
+class AstNode {
+    /** A field of an AST node. */
+    static readField(opts) {
+        const { node, key } = opts;
+        return typeof node === 'object' && node !== null && key in node
+            ? Reflect.get(node, key)
+            : undefined;
+    }
+    /** The node's `type`, or `undefined` for anything that is not an AST node. */
+    static getType(opts) {
+        const type = AstNode.readField({ node: opts.node, key: 'type' });
+        return typeof type === 'string' ? type : undefined;
+    }
+}
+exports.AstNode = AstNode;
 //# sourceMappingURL=common.js.map

package/dist/linters/house/common.js.map

@@ -1 +1 @@
-{"version":3,"file":"common.js","sourceRoot":"","sources":["../../../src/linters/house/common.ts"],"names":[],"mappings":";;;AAAA,8HAA8H;AAC9H,MAAa,YAAY;aACP,mBAAc,GAAG,eAAe,CAAC;aACjC,oBAAe,GAAG,gBAAgB,CAAC;aACnC,yBAAoB,GAAG,qBAAqB,CAAC;aAC7C,wBAAmB,GAAG,oBAAoB,CAAC;aAC3C,8BAAyB,GAAG,yBAAyB,CAAC;aACtD,6BAAwB,GAAG,wBAAwB,CAAC;aACpD,eAAU,GAAG,aAAa,CAAC;;AAP7C,oCAQC;AAED,yEAAyE;AAC5D,QAAA,sBAAsB,GAAG,SAAS,CAAC;AAEhD,qHAAqH;AAC9G,MAAM,SAAS,GAAG,CAAC,IAAoC,EAAW,EAAE;IACzE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IAC3B,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,GAAG,IAAI,IAAI;QAC7D,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;QACxB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AALW,QAAA,SAAS,aAKpB;AAEF,8EAA8E;AACvE,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAsB,EAAE;IACtE,MAAM,IAAI,GAAG,IAAA,iBAAS,EAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;IACzD,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC,CAAC;AAHW,QAAA,QAAQ,YAGnB","sourcesContent":["/** The estree node types the house rules visit - computed visitor keys, so the names stay PascalCase as ESLint needs them. */\nexport class AstNodeTypes {\n  static readonly NEW_EXPRESSION = 'NewExpression';\n  static readonly CALL_EXPRESSION = 'CallExpression';\n  static readonly FUNCTION_DECLARATION = 'FunctionDeclaration';\n  static readonly FUNCTION_EXPRESSION = 'FunctionExpression';\n  static readonly ARROW_FUNCTION_EXPRESSION = 'ArrowFunctionExpression';\n  static readonly EXPORT_NAMED_DECLARATION = 'ExportNamedDeclaration';\n  static readonly UNION_TYPE = 'TSUnionType';\n}\n\n/** The ESLint namespace the house rules live under: `venizia/<rule>`. */\nexport const HOUSE_PLUGIN_NAMESPACE = 'venizia';\n\n/** A field of an AST node, read without trusting its type: TypeScript nodes carry fields estree does not declare. */\nexport const readField = (opts: { node: unknown; key: string }): unknown => {\n  const { node, key } = opts;\n  return typeof node === 'object' && node !== null && key in node\n    ? Reflect.get(node, key)\n    : undefined;\n};\n\n/** The node's `type`, or `undefined` for anything that is not an AST node. */\nexport const nodeType = (opts: { node: unknown }): string | undefined => {\n  const type = readField({ node: opts.node, key: 'type' });\n  return typeof type === 'string' ? type : undefined;\n};\n"]}
+{"version":3,"file":"common.js","sourceRoot":"","sources":["../../../src/linters/house/common.ts"],"names":[],"mappings":";;;AAAA,8HAA8H;AAC9H,MAAa,YAAY;aACP,mBAAc,GAAG,eAAe,CAAC;aACjC,oBAAe,GAAG,gBAAgB,CAAC;aACnC,yBAAoB,GAAG,qBAAqB,CAAC;aAC7C,wBAAmB,GAAG,oBAAoB,CAAC;aAC3C,8BAAyB,GAAG,yBAAyB,CAAC;aACtD,6BAAwB,GAAG,wBAAwB,CAAC;aACpD,eAAU,GAAG,aAAa,CAAC;aAC3B,qBAAgB,GAAG,iBAAiB,CAAC;aACrC,qBAAgB,GAAG,iBAAiB,CAAC;aACrC,iBAAY,GAAG,aAAa,CAAC;;AAV/C,oCAWC;AAED,yEAAyE;AAC5D,QAAA,sBAAsB,GAAG,SAAS,CAAC;AAEhD,0GAA0G;AAC1G,MAAa,OAAO;IAClB,8BAA8B;IAC9B,MAAM,CAAC,SAAS,CAAC,IAAoC;QACnD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;QAC3B,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,GAAG,IAAI,IAAI;YAC7D,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;YACxB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,OAAO,CAAC,IAAuB;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACrD,CAAC;CACF;AAdD,0BAcC","sourcesContent":["/** The estree node types the house rules visit - computed visitor keys, so the names stay PascalCase as ESLint needs them. */\nexport class AstNodeTypes {\n  static readonly NEW_EXPRESSION = 'NewExpression';\n  static readonly CALL_EXPRESSION = 'CallExpression';\n  static readonly FUNCTION_DECLARATION = 'FunctionDeclaration';\n  static readonly FUNCTION_EXPRESSION = 'FunctionExpression';\n  static readonly ARROW_FUNCTION_EXPRESSION = 'ArrowFunctionExpression';\n  static readonly EXPORT_NAMED_DECLARATION = 'ExportNamedDeclaration';\n  static readonly UNION_TYPE = 'TSUnionType';\n  static readonly AWAIT_EXPRESSION = 'AwaitExpression';\n  static readonly RETURN_STATEMENT = 'ReturnStatement';\n  static readonly CATCH_CLAUSE = 'CatchClause';\n}\n\n/** The ESLint namespace the house rules live under: `venizia/<rule>`. */\nexport const HOUSE_PLUGIN_NAMESPACE = 'venizia';\n\n/** Reads an AST node without trusting its type: TypeScript nodes carry fields estree does not declare. */\nexport class AstNode {\n  /** A field of an AST node. */\n  static readField(opts: { node: unknown; key: string }): unknown {\n    const { node, key } = opts;\n    return typeof node === 'object' && node !== null && key in node\n      ? Reflect.get(node, key)\n      : undefined;\n  }\n\n  /** The node's `type`, or `undefined` for anything that is not an AST node. */\n  static getType(opts: { node: unknown }): string | undefined {\n    const type = AstNode.readField({ node: opts.node, key: 'type' });\n    return typeof type === 'string' ? type : undefined;\n  }\n}\n"]}

package/dist/linters/house/configs.d.ts

@@ -13,4 +13,30 @@ import type { Linter } from 'eslint';
 export declare const houseConfigs: Linter.Config[];
 /** `houseConfigs` for a React project: `reactNamingConventionConfigs`, the house rules and `no-leaked-render`. */
 export declare const reactHouseConfigs: Linter.Config[];
+/**
+ * The async style rules, opt-in until every Venizia repository has been swept (the owner's rollout: the option in
+ * one release, the default in the next). Spread it next to `houseConfigs`:
+ *
+ * ```js
+ * export default [...houseConfigs, ...asyncStyleConfigs];
+ * ```
+ *
+ * `await` stands alone as a statement or as the whole initializer of a declaration (`no-inline-await`), a
+ * function returns the promise instead of `return await` (`no-return-await`), an `await` never takes a promise
+ * chain (`no-await-promise-chain`), and a caught error leaves a trace (`no-silent-catch`). They apply to test
+ * files too.
+ */
+export declare const asyncStyleConfigs: Linter.Config[];
+/**
+ * The hook async rules, opt-in like `asyncStyleConfigs`. Spread it next to `reactHouseConfigs`:
+ *
+ * ```js
+ * export default [...reactHouseConfigs, ...reactAsyncStyleConfigs];
+ * ```
+ *
+ * A hook never gets an async function (`no-async-hook-callback`), and an effect callback returns a cleanup on every
+ * path or on none (`effect-cleanup-consistency`). Hooks live in `.ts` files too, so it covers all source files.
+ * It also carries `no-await-promise-chain` and `no-silent-catch`: a hook body is where a promise chain lives.
+ */
+export declare const reactAsyncStyleConfigs: Linter.Config[];
 //# sourceMappingURL=configs.d.ts.map

package/dist/linters/house/configs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../../src/linters/house/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAkDrC;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAsD,CAAC;AAc/F,kHAAkH;AAClH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAI5C,CAAC"}
+{"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../../src/linters/house/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAwDrC;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAsD,CAAC;AAc/F,kHAAkH;AAClH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAI5C,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAW5C,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAWjD,CAAC"}

package/dist/linters/house/configs.js

@@ -1,14 +1,20 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.reactHouseConfigs = exports.houseConfigs = void 0;
+exports.reactAsyncStyleConfigs = exports.asyncStyleConfigs = exports.reactHouseConfigs = exports.houseConfigs = void 0;
 const eslint_1 = require("../eslint");
 const jsx_files_1 = require("../jsx-files");
 const react_eslint_1 = require("../react-eslint");
 const common_1 = require("./common");
 const const_class_values_rule_1 = require("./const-class-values.rule");
+const effect_cleanup_consistency_rule_1 = require("./effect-cleanup-consistency.rule");
 const max_params_own_rule_1 = require("./max-params-own.rule");
+const no_async_hook_callback_rule_1 = require("./no-async-hook-callback.rule");
+const no_await_promise_chain_rule_1 = require("./no-await-promise-chain.rule");
+const no_inline_await_rule_1 = require("./no-inline-await.rule");
 const no_leaked_render_rule_1 = require("./no-leaked-render.rule");
 const no_new_error_rule_1 = require("./no-new-error.rule");
+const no_return_await_rule_1 = require("./no-return-await.rule");
+const no_silent_catch_rule_1 = require("./no-silent-catch.rule");
 const plugin_1 = require("./plugin");
 const SOURCE_FILES = ['**/*.{ts,tsx,mts,cts}'];
 const TEST_FILES = ['**/__tests__/**', '**/*.test.{ts,tsx}', '**/*.spec.{ts,tsx}'];
@@ -75,4 +81,52 @@ exports.reactHouseConfigs = [
     ...houseRuleConfigs,
     ...reactRuleConfigs,
 ];
+/**
+ * The async style rules, opt-in until every Venizia repository has been swept (the owner's rollout: the option in
+ * one release, the default in the next). Spread it next to `houseConfigs`:
+ *
+ * ```js
+ * export default [...houseConfigs, ...asyncStyleConfigs];
+ * ```
+ *
+ * `await` stands alone as a statement or as the whole initializer of a declaration (`no-inline-await`), a
+ * function returns the promise instead of `return await` (`no-return-await`), an `await` never takes a promise
+ * chain (`no-await-promise-chain`), and a caught error leaves a trace (`no-silent-catch`). They apply to test
+ * files too.
+ */
+exports.asyncStyleConfigs = [
+    {
+        files: SOURCE_FILES,
+        plugins: { [common_1.HOUSE_PLUGIN_NAMESPACE]: plugin_1.houseEslintPlugin },
+        rules: {
+            [no_inline_await_rule_1.NoInlineAwaitRule.NAME]: no_inline_await_rule_1.NoInlineAwaitRule.build(),
+            [no_return_await_rule_1.NoReturnAwaitRule.NAME]: no_return_await_rule_1.NoReturnAwaitRule.build(),
+            [no_await_promise_chain_rule_1.NoAwaitPromiseChainRule.NAME]: no_await_promise_chain_rule_1.NoAwaitPromiseChainRule.build(),
+            [no_silent_catch_rule_1.NoSilentCatchRule.NAME]: no_silent_catch_rule_1.NoSilentCatchRule.build(),
+        },
+    },
+];
+/**
+ * The hook async rules, opt-in like `asyncStyleConfigs`. Spread it next to `reactHouseConfigs`:
+ *
+ * ```js
+ * export default [...reactHouseConfigs, ...reactAsyncStyleConfigs];
+ * ```
+ *
+ * A hook never gets an async function (`no-async-hook-callback`), and an effect callback returns a cleanup on every
+ * path or on none (`effect-cleanup-consistency`). Hooks live in `.ts` files too, so it covers all source files.
+ * It also carries `no-await-promise-chain` and `no-silent-catch`: a hook body is where a promise chain lives.
+ */
+exports.reactAsyncStyleConfigs = [
+    {
+        files: SOURCE_FILES,
+        plugins: { [common_1.HOUSE_PLUGIN_NAMESPACE]: plugin_1.houseEslintPlugin },
+        rules: {
+            [no_async_hook_callback_rule_1.NoAsyncHookCallbackRule.NAME]: no_async_hook_callback_rule_1.NoAsyncHookCallbackRule.build(),
+            [effect_cleanup_consistency_rule_1.EffectCleanupConsistencyRule.NAME]: effect_cleanup_consistency_rule_1.EffectCleanupConsistencyRule.build(),
+            [no_await_promise_chain_rule_1.NoAwaitPromiseChainRule.NAME]: no_await_promise_chain_rule_1.NoAwaitPromiseChainRule.build(),
+            [no_silent_catch_rule_1.NoSilentCatchRule.NAME]: no_silent_catch_rule_1.NoSilentCatchRule.build(),
+        },
+    },
+];
 //# sourceMappingURL=configs.js.map

package/dist/linters/house/configs.js.map

@@ -1 +1 @@
-{"version":3,"file":"configs.js","sourceRoot":"","sources":["../../../src/linters/house/configs.ts"],"names":[],"mappings":";;;AACA,sCAAoD;AACpD,4CAAyC;AACzC,kDAA+D;AAC/D,qCAAkD;AAClD,uEAAiE;AACjE,+DAAyD;AACzD,mEAA6D;AAC7D,2DAAqD;AACrD,qCAA6C;AAE7C,MAAM,YAAY,GAAG,CAAC,uBAAuB,CAAC,CAAC;AAC/C,MAAM,UAAU,GAAG,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;AAEnF;;;GAGG;AACH,MAAM,YAAY,GAAG,+CAA+C,CAAC;AAErE;;;;;;;;GAQG;AACH,MAAM,gBAAgB,GAAoB;IACxC;QACE,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE,EAAE,CAAC,+BAAsB,CAAC,EAAE,0BAAiB,EAAE;QACxD,KAAK,EAAE;YACL,CAAC,sCAAgB,CAAC,IAAI,CAAC,EAAE,sCAAgB,CAAC,KAAK,EAAE;YACjD,CAAC,kCAAc,CAAC,IAAI,CAAC,EAAE,kCAAc,CAAC,KAAK,EAAE;YAC7C,CAAC,8CAAoB,CAAC,IAAI,CAAC,EAAE,8CAAoB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;YAC7E,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;SACtD;KACF;IACD;QACE,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE;YACL,CAAC,kCAAc,CAAC,IAAI,CAAC,EAAE,KAAK;YAC5B,CAAC,8CAAoB,CAAC,IAAI,CAAC,EAAE,KAAK;YAClC,CAAC,YAAY,CAAC,EAAE,KAAK;SACtB;KACF;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACU,QAAA,YAAY,GAAoB,CAAC,GAAG,gCAAuB,EAAE,GAAG,gBAAgB,CAAC,CAAC;AAE/F;;;GAGG;AACH,MAAM,gBAAgB,GAAoB;IACxC;QACE,KAAK,EAAE,qBAAS;QAChB,OAAO,EAAE,EAAE,CAAC,+BAAsB,CAAC,EAAE,0BAAiB,EAAE;QACxD,KAAK,EAAE,EAAE,CAAC,0CAAkB,CAAC,IAAI,CAAC,EAAE,0CAAkB,CAAC,KAAK,EAAE,EAAE;KACjE;CACF,CAAC;AAEF,kHAAkH;AACrG,QAAA,iBAAiB,GAAoB;IAChD,GAAG,2CAA4B;IAC/B,GAAG,gBAAgB;IACnB,GAAG,gBAAgB;CACpB,CAAC","sourcesContent":["import type { Linter } from 'eslint';\nimport { namingConventionConfigs } from '../eslint';\nimport { JSX_FILES } from '../jsx-files';\nimport { reactNamingConventionConfigs } from '../react-eslint';\nimport { HOUSE_PLUGIN_NAMESPACE } from './common';\nimport { ConstClassValuesRule } from './const-class-values.rule';\nimport { MaxParamsOwnRule } from './max-params-own.rule';\nimport { NoLeakedRenderRule } from './no-leaked-render.rule';\nimport { NoNewErrorRule } from './no-new-error.rule';\nimport { houseEslintPlugin } from './plugin';\n\nconst SOURCE_FILES = ['**/*.{ts,tsx,mts,cts}'];\nconst TEST_FILES = ['**/__tests__/**', '**/*.test.{ts,tsx}', '**/*.spec.{ts,tsx}'];\n\n/**\n * V-C-10: no explicit cast. `as const` is always allowed; `satisfies`, a generic or a narrower type\n * replaces the rest.\n */\nconst NO_CAST_RULE = '@typescript-eslint/consistent-type-assertions';\n\n/**\n * The house rules: at most 5 positional parameters on a function we write, and errors thrown through\n * `getError` only. Tests are exempt from `no-new-error`: a test throws a plain `Error` on purpose, to\n * stand in for what a driver or a third-party library throws.\n *\n * Two rules only warn, so a project adopts them without failing its lint: `const-class-values` (V-C-08, a\n * string-literal union in an exported declaration) and `consistent-type-assertions` (V-C-10, an `as X`\n * cast). Tests are exempt from both: a test stubs what it does not build.\n */\nconst houseRuleConfigs: Linter.Config[] = [\n  {\n    files: SOURCE_FILES,\n    plugins: { [HOUSE_PLUGIN_NAMESPACE]: houseEslintPlugin },\n    rules: {\n      [MaxParamsOwnRule.NAME]: MaxParamsOwnRule.build(),\n      [NoNewErrorRule.NAME]: NoNewErrorRule.build(),\n      [ConstClassValuesRule.NAME]: ConstClassValuesRule.build({ severity: 'warn' }),\n      [NO_CAST_RULE]: ['warn', { assertionStyle: 'never' }],\n    },\n  },\n  {\n    files: TEST_FILES,\n    rules: {\n      [NoNewErrorRule.NAME]: 'off',\n      [ConstClassValuesRule.NAME]: 'off',\n      [NO_CAST_RULE]: 'off',\n    },\n  },\n];\n\n/**\n * The ESLint side of a project that lints with oxlint: the naming convention plus the house rules -\n * everything oxlint cannot express. Run it next to `oxlintConfigs`.\n *\n * ```js\n * // .configs/lints/eslint.config.mjs\n * import { houseConfigs } from '@venizia/dev-configs/linters';\n *\n * export default houseConfigs;\n * ```\n */\nexport const houseConfigs: Linter.Config[] = [...namingConventionConfigs, ...houseRuleConfigs];\n\n/**\n * The React house rule: a JSX child is drawn with `cond ? <X /> : null`, never `cond && <X />`, which\n * draws `0` when `cond` is `0`.\n */\nconst reactRuleConfigs: Linter.Config[] = [\n  {\n    files: JSX_FILES,\n    plugins: { [HOUSE_PLUGIN_NAMESPACE]: houseEslintPlugin },\n    rules: { [NoLeakedRenderRule.NAME]: NoLeakedRenderRule.build() },\n  },\n];\n\n/** `houseConfigs` for a React project: `reactNamingConventionConfigs`, the house rules and `no-leaked-render`. */\nexport const reactHouseConfigs: Linter.Config[] = [\n  ...reactNamingConventionConfigs,\n  ...houseRuleConfigs,\n  ...reactRuleConfigs,\n];\n"]}
+{"version":3,"file":"configs.js","sourceRoot":"","sources":["../../../src/linters/house/configs.ts"],"names":[],"mappings":";;;AACA,sCAAoD;AACpD,4CAAyC;AACzC,kDAA+D;AAC/D,qCAAkD;AAClD,uEAAiE;AACjE,uFAAiF;AACjF,+DAAyD;AACzD,+EAAwE;AACxE,+EAAwE;AACxE,iEAA2D;AAC3D,mEAA6D;AAC7D,2DAAqD;AACrD,iEAA2D;AAC3D,iEAA2D;AAC3D,qCAA6C;AAE7C,MAAM,YAAY,GAAG,CAAC,uBAAuB,CAAC,CAAC;AAC/C,MAAM,UAAU,GAAG,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;AAEnF;;;GAGG;AACH,MAAM,YAAY,GAAG,+CAA+C,CAAC;AAErE;;;;;;;;GAQG;AACH,MAAM,gBAAgB,GAAoB;IACxC;QACE,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE,EAAE,CAAC,+BAAsB,CAAC,EAAE,0BAAiB,EAAE;QACxD,KAAK,EAAE;YACL,CAAC,sCAAgB,CAAC,IAAI,CAAC,EAAE,sCAAgB,CAAC,KAAK,EAAE;YACjD,CAAC,kCAAc,CAAC,IAAI,CAAC,EAAE,kCAAc,CAAC,KAAK,EAAE;YAC7C,CAAC,8CAAoB,CAAC,IAAI,CAAC,EAAE,8CAAoB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;YAC7E,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;SACtD;KACF;IACD;QACE,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE;YACL,CAAC,kCAAc,CAAC,IAAI,CAAC,EAAE,KAAK;YAC5B,CAAC,8CAAoB,CAAC,IAAI,CAAC,EAAE,KAAK;YAClC,CAAC,YAAY,CAAC,EAAE,KAAK;SACtB;KACF;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACU,QAAA,YAAY,GAAoB,CAAC,GAAG,gCAAuB,EAAE,GAAG,gBAAgB,CAAC,CAAC;AAE/F;;;GAGG;AACH,MAAM,gBAAgB,GAAoB;IACxC;QACE,KAAK,EAAE,qBAAS;QAChB,OAAO,EAAE,EAAE,CAAC,+BAAsB,CAAC,EAAE,0BAAiB,EAAE;QACxD,KAAK,EAAE,EAAE,CAAC,0CAAkB,CAAC,IAAI,CAAC,EAAE,0CAAkB,CAAC,KAAK,EAAE,EAAE;KACjE;CACF,CAAC;AAEF,kHAAkH;AACrG,QAAA,iBAAiB,GAAoB;IAChD,GAAG,2CAA4B;IAC/B,GAAG,gBAAgB;IACnB,GAAG,gBAAgB;CACpB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACU,QAAA,iBAAiB,GAAoB;IAChD;QACE,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE,EAAE,CAAC,+BAAsB,CAAC,EAAE,0BAAiB,EAAE;QACxD,KAAK,EAAE;YACL,CAAC,wCAAiB,CAAC,IAAI,CAAC,EAAE,wCAAiB,CAAC,KAAK,EAAE;YACnD,CAAC,wCAAiB,CAAC,IAAI,CAAC,EAAE,wCAAiB,CAAC,KAAK,EAAE;YACnD,CAAC,qDAAuB,CAAC,IAAI,CAAC,EAAE,qDAAuB,CAAC,KAAK,EAAE;YAC/D,CAAC,wCAAiB,CAAC,IAAI,CAAC,EAAE,wCAAiB,CAAC,KAAK,EAAE;SACpD;KACF;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACU,QAAA,sBAAsB,GAAoB;IACrD;QACE,KAAK,EAAE,YAAY;QACnB,OAAO,EAAE,EAAE,CAAC,+BAAsB,CAAC,EAAE,0BAAiB,EAAE;QACxD,KAAK,EAAE;YACL,CAAC,qDAAuB,CAAC,IAAI,CAAC,EAAE,qDAAuB,CAAC,KAAK,EAAE;YAC/D,CAAC,8DAA4B,CAAC,IAAI,CAAC,EAAE,8DAA4B,CAAC,KAAK,EAAE;YACzE,CAAC,qDAAuB,CAAC,IAAI,CAAC,EAAE,qDAAuB,CAAC,KAAK,EAAE;YAC/D,CAAC,wCAAiB,CAAC,IAAI,CAAC,EAAE,wCAAiB,CAAC,KAAK,EAAE;SACpD;KACF;CACF,CAAC","sourcesContent":["import type { Linter } from 'eslint';\nimport { namingConventionConfigs } from '../eslint';\nimport { JSX_FILES } from '../jsx-files';\nimport { reactNamingConventionConfigs } from '../react-eslint';\nimport { HOUSE_PLUGIN_NAMESPACE } from './common';\nimport { ConstClassValuesRule } from './const-class-values.rule';\nimport { EffectCleanupConsistencyRule } from './effect-cleanup-consistency.rule';\nimport { MaxParamsOwnRule } from './max-params-own.rule';\nimport { NoAsyncHookCallbackRule } from './no-async-hook-callback.rule';\nimport { NoAwaitPromiseChainRule } from './no-await-promise-chain.rule';\nimport { NoInlineAwaitRule } from './no-inline-await.rule';\nimport { NoLeakedRenderRule } from './no-leaked-render.rule';\nimport { NoNewErrorRule } from './no-new-error.rule';\nimport { NoReturnAwaitRule } from './no-return-await.rule';\nimport { NoSilentCatchRule } from './no-silent-catch.rule';\nimport { houseEslintPlugin } from './plugin';\n\nconst SOURCE_FILES = ['**/*.{ts,tsx,mts,cts}'];\nconst TEST_FILES = ['**/__tests__/**', '**/*.test.{ts,tsx}', '**/*.spec.{ts,tsx}'];\n\n/**\n * V-C-10: no explicit cast. `as const` is always allowed; `satisfies`, a generic or a narrower type\n * replaces the rest.\n */\nconst NO_CAST_RULE = '@typescript-eslint/consistent-type-assertions';\n\n/**\n * The house rules: at most 5 positional parameters on a function we write, and errors thrown through\n * `getError` only. Tests are exempt from `no-new-error`: a test throws a plain `Error` on purpose, to\n * stand in for what a driver or a third-party library throws.\n *\n * Two rules only warn, so a project adopts them without failing its lint: `const-class-values` (V-C-08, a\n * string-literal union in an exported declaration) and `consistent-type-assertions` (V-C-10, an `as X`\n * cast). Tests are exempt from both: a test stubs what it does not build.\n */\nconst houseRuleConfigs: Linter.Config[] = [\n  {\n    files: SOURCE_FILES,\n    plugins: { [HOUSE_PLUGIN_NAMESPACE]: houseEslintPlugin },\n    rules: {\n      [MaxParamsOwnRule.NAME]: MaxParamsOwnRule.build(),\n      [NoNewErrorRule.NAME]: NoNewErrorRule.build(),\n      [ConstClassValuesRule.NAME]: ConstClassValuesRule.build({ severity: 'warn' }),\n      [NO_CAST_RULE]: ['warn', { assertionStyle: 'never' }],\n    },\n  },\n  {\n    files: TEST_FILES,\n    rules: {\n      [NoNewErrorRule.NAME]: 'off',\n      [ConstClassValuesRule.NAME]: 'off',\n      [NO_CAST_RULE]: 'off',\n    },\n  },\n];\n\n/**\n * The ESLint side of a project that lints with oxlint: the naming convention plus the house rules -\n * everything oxlint cannot express. Run it next to `oxlintConfigs`.\n *\n * ```js\n * // .configs/lints/eslint.config.mjs\n * import { houseConfigs } from '@venizia/dev-configs/linters';\n *\n * export default houseConfigs;\n * ```\n */\nexport const houseConfigs: Linter.Config[] = [...namingConventionConfigs, ...houseRuleConfigs];\n\n/**\n * The React house rule: a JSX child is drawn with `cond ? <X /> : null`, never `cond && <X />`, which\n * draws `0` when `cond` is `0`.\n */\nconst reactRuleConfigs: Linter.Config[] = [\n  {\n    files: JSX_FILES,\n    plugins: { [HOUSE_PLUGIN_NAMESPACE]: houseEslintPlugin },\n    rules: { [NoLeakedRenderRule.NAME]: NoLeakedRenderRule.build() },\n  },\n];\n\n/** `houseConfigs` for a React project: `reactNamingConventionConfigs`, the house rules and `no-leaked-render`. */\nexport const reactHouseConfigs: Linter.Config[] = [\n  ...reactNamingConventionConfigs,\n  ...houseRuleConfigs,\n  ...reactRuleConfigs,\n];\n\n/**\n * The async style rules, opt-in until every Venizia repository has been swept (the owner's rollout: the option in\n * one release, the default in the next). Spread it next to `houseConfigs`:\n *\n * ```js\n * export default [...houseConfigs, ...asyncStyleConfigs];\n * ```\n *\n * `await` stands alone as a statement or as the whole initializer of a declaration (`no-inline-await`), a\n * function returns the promise instead of `return await` (`no-return-await`), an `await` never takes a promise\n * chain (`no-await-promise-chain`), and a caught error leaves a trace (`no-silent-catch`). They apply to test\n * files too.\n */\nexport const asyncStyleConfigs: Linter.Config[] = [\n  {\n    files: SOURCE_FILES,\n    plugins: { [HOUSE_PLUGIN_NAMESPACE]: houseEslintPlugin },\n    rules: {\n      [NoInlineAwaitRule.NAME]: NoInlineAwaitRule.build(),\n      [NoReturnAwaitRule.NAME]: NoReturnAwaitRule.build(),\n      [NoAwaitPromiseChainRule.NAME]: NoAwaitPromiseChainRule.build(),\n      [NoSilentCatchRule.NAME]: NoSilentCatchRule.build(),\n    },\n  },\n];\n\n/**\n * The hook async rules, opt-in like `asyncStyleConfigs`. Spread it next to `reactHouseConfigs`:\n *\n * ```js\n * export default [...reactHouseConfigs, ...reactAsyncStyleConfigs];\n * ```\n *\n * A hook never gets an async function (`no-async-hook-callback`), and an effect callback returns a cleanup on every\n * path or on none (`effect-cleanup-consistency`). Hooks live in `.ts` files too, so it covers all source files.\n * It also carries `no-await-promise-chain` and `no-silent-catch`: a hook body is where a promise chain lives.\n */\nexport const reactAsyncStyleConfigs: Linter.Config[] = [\n  {\n    files: SOURCE_FILES,\n    plugins: { [HOUSE_PLUGIN_NAMESPACE]: houseEslintPlugin },\n    rules: {\n      [NoAsyncHookCallbackRule.NAME]: NoAsyncHookCallbackRule.build(),\n      [EffectCleanupConsistencyRule.NAME]: EffectCleanupConsistencyRule.build(),\n      [NoAwaitPromiseChainRule.NAME]: NoAwaitPromiseChainRule.build(),\n      [NoSilentCatchRule.NAME]: NoSilentCatchRule.build(),\n    },\n  },\n];\n"]}

package/dist/linters/house/const-class-values.rule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"const-class-values.rule.d.ts","sourceRoot":"","sources":["../../../src/linters/house/const-class-values.rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAoDrD;;;;;;;;;GASG;AACH,qBAAa,oBAAoB;IAC/B,MAAM,CAAC,QAAQ,CAAC,IAAI,gCAAkD;IAEtE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAsDnC;IAEF,MAAM,CAAC,KAAK,CAAC,IAAI,GAAE;QAAE,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,MAAM,CAAC,SAAS;CAI9F"}
+{"version":3,"file":"const-class-values.rule.d.ts","sourceRoot":"","sources":["../../../src/linters/house/const-class-values.rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AA2DrD;;;;;;;;;GASG;AACH,qBAAa,oBAAoB;IAC/B,MAAM,CAAC,QAAQ,CAAC,IAAI,gCAAkD;IAEtE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAyDnC;IAEF,MAAM,CAAC,KAAK,CAAC,IAAI,GAAE;QAAE,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,MAAM,CAAC,SAAS;CAI9F"}

package/dist/linters/house/const-class-values.rule.js

@@ -6,23 +6,26 @@ const common_1 = require("./common");
 const KEY_SET_TYPES = new Set(['Pick', 'Omit', 'Extract', 'Exclude', 'Record']);
 /** The union is a type argument of a key-set utility type, or the key range of a mapped type. */
 const isKeySet = (opts) => {
-    const parent = (0, common_1.readField)({ node: opts.node, key: 'parent' });
-    if ((0, common_1.nodeType)({ node: parent }) === 'TSMappedType') {
+    const parent = common_1.AstNode.readField({ node: opts.node, key: 'parent' });
+    if (common_1.AstNode.getType({ node: parent }) === 'TSMappedType') {
         return true;
     }
-    if ((0, common_1.nodeType)({ node: parent }) !== 'TSTypeParameterInstantiation') {
+    if (common_1.AstNode.getType({ node: parent }) !== 'TSTypeParameterInstantiation') {
         return false;
     }
-    const reference = (0, common_1.readField)({ node: parent, key: 'parent' });
-    const name = (0, common_1.readField)({ node: (0, common_1.readField)({ node: reference, key: 'typeName' }), key: 'name' });
-    return (0, common_1.nodeType)({ node: reference }) === 'TSTypeReference' && KEY_SET_TYPES.has(String(name));
+    const reference = common_1.AstNode.readField({ node: parent, key: 'parent' });
+    const name = common_1.AstNode.readField({
+        node: common_1.AstNode.readField({ node: reference, key: 'typeName' }),
+        key: 'name',
+    });
+    return (common_1.AstNode.getType({ node: reference }) === 'TSTypeReference' && KEY_SET_TYPES.has(String(name)));
 };
 /** The statement of the module that holds the node: the node's last ancestor before `Program`. */
 const topLevelStatement = (opts) => {
     let current = opts.node;
     while (current) {
-        const parent = (0, common_1.readField)({ node: current, key: 'parent' });
-        if ((0, common_1.nodeType)({ node: parent }) === 'Program') {
+        const parent = common_1.AstNode.readField({ node: current, key: 'parent' });
+        if (common_1.AstNode.getType({ node: parent }) === 'Program') {
             return current;
         }
         current = parent;
@@ -31,12 +34,14 @@ const topLevelStatement = (opts) => {
 };
 const isStringLiteral = (opts) => {
     const { member } = opts;
-    return ((0, common_1.nodeType)({ node: member }) === 'TSLiteralType' &&
-        typeof (0, common_1.readField)({ node: (0, common_1.readField)({ node: member, key: 'literal' }), key: 'value' }) ===
-            'string');
+    return (common_1.AstNode.getType({ node: member }) === 'TSLiteralType' &&
+        typeof common_1.AstNode.readField({
+            node: common_1.AstNode.readField({ node: member, key: 'literal' }),
+            key: 'value',
+        }) === 'string');
 };
 const isNullish = (opts) => {
-    const type = (0, common_1.nodeType)({ node: opts.member });
+    const type = common_1.AstNode.getType({ node: opts.member });
     return type === 'TSNullKeyword' || type === 'TSUndefinedKeyword';
 };
 /**
@@ -61,21 +66,24 @@ class ConstClassValuesRule {
         },
         create: (context) => {
             const options = context.options[0];
-            const configured = (0, common_1.readField)({ node: options, key: 'namePattern' });
+            const configured = common_1.AstNode.readField({ node: options, key: 'namePattern' });
             const namePattern = typeof configured === 'string' ? new RegExp(configured) : undefined;
             const isNamed = (opts) => {
                 const { statement, node } = opts;
-                const declaration = (0, common_1.readField)({ node: statement, key: 'declaration' });
-                const name = (0, common_1.readField)({ node: (0, common_1.readField)({ node: declaration, key: 'id' }), key: 'name' });
+                const declaration = common_1.AstNode.readField({ node: statement, key: 'declaration' });
+                const name = common_1.AstNode.readField({
+                    node: common_1.AstNode.readField({ node: declaration, key: 'id' }),
+                    key: 'name',
+                });
                 return (namePattern === undefined ||
-                    ((0, common_1.nodeType)({ node: declaration }) === 'TSTypeAliasDeclaration' &&
-                        (0, common_1.readField)({ node: declaration, key: 'typeAnnotation' }) === node &&
+                    (common_1.AstNode.getType({ node: declaration }) === 'TSTypeAliasDeclaration' &&
+                        common_1.AstNode.readField({ node: declaration, key: 'typeAnnotation' }) === node &&
                         typeof name === 'string' &&
                         namePattern.test(name)));
             };
             return {
                 [common_1.AstNodeTypes.UNION_TYPE]: (node) => {
-                    const members = (0, common_1.readField)({ node, key: 'types' });
+                    const members = common_1.AstNode.readField({ node, key: 'types' });
                     if (!Array.isArray(members)) {
                         return;
                     }
@@ -84,7 +92,7 @@ class ConstClassValuesRule {
                         return;
                     }
                     const statement = topLevelStatement({ node });
-                    const statementType = (0, common_1.nodeType)({ node: statement });
+                    const statementType = common_1.AstNode.getType({ node: statement });
                     const isExported = statementType === common_1.AstNodeTypes.EXPORT_NAMED_DECLARATION ||
                         statementType === 'ExportDefaultDeclaration';
                     if (!isExported || isKeySet({ node }) || !isNamed({ statement, node })) {

package/dist/linters/house/const-class-values.rule.js.map

@@ -1 +1 @@
-{"version":3,"file":"const-class-values.rule.js","sourceRoot":"","sources":["../../../src/linters/house/const-class-values.rule.ts"],"names":[],"mappings":";;;AAEA,qCAAqF;AAErF,yGAAyG;AACzG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEhF,iGAAiG;AACjG,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAW,EAAE;IACpD,MAAM,MAAM,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IAE7D,IAAI,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,cAAc,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,8BAA8B,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/F,OAAO,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,KAAK,iBAAiB,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAChG,CAAC,CAAC;AAEF,kGAAkG;AAClG,MAAM,iBAAiB,GAAG,CAAC,IAAuB,EAAW,EAAE;IAC7D,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;IAExB,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3D,IAAI,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAyB,EAAW,EAAE;IAC7D,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,eAAe;QAC9C,OAAO,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;YACnF,QAAQ,CACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,IAAyB,EAAW,EAAE;IACvD,MAAM,IAAI,GAAG,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C,OAAO,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,oBAAoB,CAAC;AACnE,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAa,oBAAoB;aACf,SAAI,GAAG,GAAG,+BAAsB,qBAAqB,CAAC;aAEtD,SAAI,GAAoB;QACtC,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YAC7E,QAAQ,EAAE;gBACR,UAAU,EACR,mGAAmG;aACtG;SACF;QACD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;YAClB,MAAM,OAAO,GAAY,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;YACpE,MAAM,WAAW,GAAG,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAExF,MAAM,OAAO,GAAG,CAAC,IAA2C,EAAE,EAAE;gBAC9D,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;gBACjC,MAAM,WAAW,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;gBACvE,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;gBAE3F,OAAO,CACL,WAAW,KAAK,SAAS;oBACzB,CAAC,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,KAAK,wBAAwB;wBAC3D,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,KAAK,IAAI;wBAChE,OAAO,IAAI,KAAK,QAAQ;wBACxB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC1B,CAAC;YACJ,CAAC,CAAC;YAEF,OAAO;gBACL,CAAC,qBAAY,CAAC,UAAU,CAAC,EAAE,CAAC,IAAe,EAAE,EAAE;oBAC7C,MAAM,OAAO,GAAG,IAAA,kBAAS,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;oBAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC5B,OAAO;oBACT,CAAC;oBAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;oBAClE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;wBAChF,OAAO;oBACT,CAAC;oBAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC9C,MAAM,aAAa,GAAG,IAAA,iBAAQ,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;oBACpD,MAAM,UAAU,GACd,aAAa,KAAK,qBAAY,CAAC,wBAAwB;wBACvD,aAAa,KAAK,0BAA0B,CAAC;oBAE/C,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;wBACvE,OAAO;oBACT,CAAC;oBAED,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;gBACpD,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,MAAM,CAAC,KAAK,CAAC,OAA2D,EAAE;QACxE,MAAM,EAAE,QAAQ,GAAG,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;QACjD,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;IAC9E,CAAC;;AA9DH,oDA+DC","sourcesContent":["import type { Linter, Rule } from 'eslint';\nimport type { TRuleSeverity } from '../rules/common';\nimport { AstNodeTypes, HOUSE_PLUGIN_NAMESPACE, nodeType, readField } from './common';\n\n/** Utility types whose type argument is a set of keys, not an enumerable value: `Pick<T, 'a' | 'b'>`. */\nconst KEY_SET_TYPES = new Set(['Pick', 'Omit', 'Extract', 'Exclude', 'Record']);\n\n/** The union is a type argument of a key-set utility type, or the key range of a mapped type. */\nconst isKeySet = (opts: { node: unknown }): boolean => {\n  const parent = readField({ node: opts.node, key: 'parent' });\n\n  if (nodeType({ node: parent }) === 'TSMappedType') {\n    return true;\n  }\n\n  if (nodeType({ node: parent }) !== 'TSTypeParameterInstantiation') {\n    return false;\n  }\n\n  const reference = readField({ node: parent, key: 'parent' });\n  const name = readField({ node: readField({ node: reference, key: 'typeName' }), key: 'name' });\n  return nodeType({ node: reference }) === 'TSTypeReference' && KEY_SET_TYPES.has(String(name));\n};\n\n/** The statement of the module that holds the node: the node's last ancestor before `Program`. */\nconst topLevelStatement = (opts: { node: unknown }): unknown => {\n  let current = opts.node;\n\n  while (current) {\n    const parent = readField({ node: current, key: 'parent' });\n    if (nodeType({ node: parent }) === 'Program') {\n      return current;\n    }\n    current = parent;\n  }\n\n  return undefined;\n};\n\nconst isStringLiteral = (opts: { member: unknown }): boolean => {\n  const { member } = opts;\n  return (\n    nodeType({ node: member }) === 'TSLiteralType' &&\n    typeof readField({ node: readField({ node: member, key: 'literal' }), key: 'value' }) ===\n      'string'\n  );\n};\n\nconst isNullish = (opts: { member: unknown }): boolean => {\n  const type = nodeType({ node: opts.member });\n  return type === 'TSNullKeyword' || type === 'TSUndefinedKeyword';\n};\n\n/**\n * `venizia/const-class-values`. An enumerable string is a const class plus `TConstValue<typeof X>`,\n * never a union of string literals in an exported declaration: a type alias, an interface member, a\n * generic constraint, a parameter or a return type of an exported function or class.\n *\n * Not counted: a union that is not all string literals (a `null` or `undefined` member is ignored),\n * a key set (`Pick`, `Omit`, `Extract`, `Exclude`, `Record` arguments and mapped-type keys), and a\n * declaration that is not exported. `namePattern` narrows the rule to exported type aliases whose name\n * matches it (`(State|Status)$`), for a project that adopts the rule one name at a time.\n */\nexport class ConstClassValuesRule {\n  static readonly NAME = `${HOUSE_PLUGIN_NAMESPACE}/const-class-values`;\n\n  static readonly RULE: Rule.RuleModule = {\n    meta: {\n      type: 'suggestion',\n      schema: [{ type: 'object', properties: { namePattern: { type: 'string' } } }],\n      messages: {\n        constClass:\n          'An enumerable string is a const class plus TConstValue<typeof X>, not a union of string literals.',\n      },\n    },\n    create: (context) => {\n      const options: unknown = context.options[0];\n      const configured = readField({ node: options, key: 'namePattern' });\n      const namePattern = typeof configured === 'string' ? new RegExp(configured) : undefined;\n\n      const isNamed = (opts: { statement: unknown; node: unknown }) => {\n        const { statement, node } = opts;\n        const declaration = readField({ node: statement, key: 'declaration' });\n        const name = readField({ node: readField({ node: declaration, key: 'id' }), key: 'name' });\n\n        return (\n          namePattern === undefined ||\n          (nodeType({ node: declaration }) === 'TSTypeAliasDeclaration' &&\n            readField({ node: declaration, key: 'typeAnnotation' }) === node &&\n            typeof name === 'string' &&\n            namePattern.test(name))\n        );\n      };\n\n      return {\n        [AstNodeTypes.UNION_TYPE]: (node: Rule.Node) => {\n          const members = readField({ node, key: 'types' });\n          if (!Array.isArray(members)) {\n            return;\n          }\n\n          const values = members.filter((member) => !isNullish({ member }));\n          if (values.length < 2 || !values.every((member) => isStringLiteral({ member }))) {\n            return;\n          }\n\n          const statement = topLevelStatement({ node });\n          const statementType = nodeType({ node: statement });\n          const isExported =\n            statementType === AstNodeTypes.EXPORT_NAMED_DECLARATION ||\n            statementType === 'ExportDefaultDeclaration';\n\n          if (!isExported || isKeySet({ node }) || !isNamed({ statement, node })) {\n            return;\n          }\n\n          context.report({ node, messageId: 'constClass' });\n        },\n      };\n    },\n  };\n\n  static build(opts: { severity?: TRuleSeverity; namePattern?: string } = {}): Linter.RuleEntry {\n    const { severity = 'error', namePattern } = opts;\n    return namePattern === undefined ? [severity] : [severity, { namePattern }];\n  }\n}\n"]}
+{"version":3,"file":"const-class-values.rule.js","sourceRoot":"","sources":["../../../src/linters/house/const-class-values.rule.ts"],"names":[],"mappings":";;;AAEA,qCAAyE;AAEzE,yGAAyG;AACzG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEhF,iGAAiG;AACjG,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAW,EAAE;IACpD,MAAM,MAAM,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IAErE,IAAI,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,cAAc,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,8BAA8B,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,gBAAO,CAAC,SAAS,CAAC;QAC7B,IAAI,EAAE,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;QAC7D,GAAG,EAAE,MAAM;KACZ,CAAC,CAAC;IACH,OAAO,CACL,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,KAAK,iBAAiB,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAC9F,CAAC;AACJ,CAAC,CAAC;AAEF,kGAAkG;AAClG,MAAM,iBAAiB,GAAG,CAAC,IAAuB,EAAW,EAAE;IAC7D,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;IAExB,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;YACpD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAyB,EAAW,EAAE;IAC7D,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,OAAO,CACL,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,eAAe;QACrD,OAAO,gBAAO,CAAC,SAAS,CAAC;YACvB,IAAI,EAAE,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;YACzD,GAAG,EAAE,OAAO;SACb,CAAC,KAAK,QAAQ,CAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,IAAyB,EAAW,EAAE;IACvD,MAAM,IAAI,GAAG,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD,OAAO,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,oBAAoB,CAAC;AACnE,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAa,oBAAoB;aACf,SAAI,GAAG,GAAG,+BAAsB,qBAAqB,CAAC;aAEtD,SAAI,GAAoB;QACtC,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YAC7E,QAAQ,EAAE;gBACR,UAAU,EACR,mGAAmG;aACtG;SACF;QACD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;YAClB,MAAM,OAAO,GAAY,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,MAAM,WAAW,GAAG,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAExF,MAAM,OAAO,GAAG,CAAC,IAA2C,EAAE,EAAE;gBAC9D,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;gBACjC,MAAM,WAAW,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;gBAC/E,MAAM,IAAI,GAAG,gBAAO,CAAC,SAAS,CAAC;oBAC7B,IAAI,EAAE,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;oBACzD,GAAG,EAAE,MAAM;iBACZ,CAAC,CAAC;gBAEH,OAAO,CACL,WAAW,KAAK,SAAS;oBACzB,CAAC,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,KAAK,wBAAwB;wBAClE,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,KAAK,IAAI;wBACxE,OAAO,IAAI,KAAK,QAAQ;wBACxB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC1B,CAAC;YACJ,CAAC,CAAC;YAEF,OAAO;gBACL,CAAC,qBAAY,CAAC,UAAU,CAAC,EAAE,CAAC,IAAe,EAAE,EAAE;oBAC7C,MAAM,OAAO,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;oBAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC5B,OAAO;oBACT,CAAC;oBAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;oBAClE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;wBAChF,OAAO;oBACT,CAAC;oBAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC9C,MAAM,aAAa,GAAG,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;oBAC3D,MAAM,UAAU,GACd,aAAa,KAAK,qBAAY,CAAC,wBAAwB;wBACvD,aAAa,KAAK,0BAA0B,CAAC;oBAE/C,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;wBACvE,OAAO;oBACT,CAAC;oBAED,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;gBACpD,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,MAAM,CAAC,KAAK,CAAC,OAA2D,EAAE;QACxE,MAAM,EAAE,QAAQ,GAAG,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;QACjD,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;IAC9E,CAAC;;AAjEH,oDAkEC","sourcesContent":["import type { Linter, Rule } from 'eslint';\nimport type { TRuleSeverity } from '../rules/common';\nimport { AstNode, AstNodeTypes, HOUSE_PLUGIN_NAMESPACE } from './common';\n\n/** Utility types whose type argument is a set of keys, not an enumerable value: `Pick<T, 'a' | 'b'>`. */\nconst KEY_SET_TYPES = new Set(['Pick', 'Omit', 'Extract', 'Exclude', 'Record']);\n\n/** The union is a type argument of a key-set utility type, or the key range of a mapped type. */\nconst isKeySet = (opts: { node: unknown }): boolean => {\n  const parent = AstNode.readField({ node: opts.node, key: 'parent' });\n\n  if (AstNode.getType({ node: parent }) === 'TSMappedType') {\n    return true;\n  }\n\n  if (AstNode.getType({ node: parent }) !== 'TSTypeParameterInstantiation') {\n    return false;\n  }\n\n  const reference = AstNode.readField({ node: parent, key: 'parent' });\n  const name = AstNode.readField({\n    node: AstNode.readField({ node: reference, key: 'typeName' }),\n    key: 'name',\n  });\n  return (\n    AstNode.getType({ node: reference }) === 'TSTypeReference' && KEY_SET_TYPES.has(String(name))\n  );\n};\n\n/** The statement of the module that holds the node: the node's last ancestor before `Program`. */\nconst topLevelStatement = (opts: { node: unknown }): unknown => {\n  let current = opts.node;\n\n  while (current) {\n    const parent = AstNode.readField({ node: current, key: 'parent' });\n    if (AstNode.getType({ node: parent }) === 'Program') {\n      return current;\n    }\n    current = parent;\n  }\n\n  return undefined;\n};\n\nconst isStringLiteral = (opts: { member: unknown }): boolean => {\n  const { member } = opts;\n  return (\n    AstNode.getType({ node: member }) === 'TSLiteralType' &&\n    typeof AstNode.readField({\n      node: AstNode.readField({ node: member, key: 'literal' }),\n      key: 'value',\n    }) === 'string'\n  );\n};\n\nconst isNullish = (opts: { member: unknown }): boolean => {\n  const type = AstNode.getType({ node: opts.member });\n  return type === 'TSNullKeyword' || type === 'TSUndefinedKeyword';\n};\n\n/**\n * `venizia/const-class-values`. An enumerable string is a const class plus `TConstValue<typeof X>`,\n * never a union of string literals in an exported declaration: a type alias, an interface member, a\n * generic constraint, a parameter or a return type of an exported function or class.\n *\n * Not counted: a union that is not all string literals (a `null` or `undefined` member is ignored),\n * a key set (`Pick`, `Omit`, `Extract`, `Exclude`, `Record` arguments and mapped-type keys), and a\n * declaration that is not exported. `namePattern` narrows the rule to exported type aliases whose name\n * matches it (`(State|Status)$`), for a project that adopts the rule one name at a time.\n */\nexport class ConstClassValuesRule {\n  static readonly NAME = `${HOUSE_PLUGIN_NAMESPACE}/const-class-values`;\n\n  static readonly RULE: Rule.RuleModule = {\n    meta: {\n      type: 'suggestion',\n      schema: [{ type: 'object', properties: { namePattern: { type: 'string' } } }],\n      messages: {\n        constClass:\n          'An enumerable string is a const class plus TConstValue<typeof X>, not a union of string literals.',\n      },\n    },\n    create: (context) => {\n      const options: unknown = context.options[0];\n      const configured = AstNode.readField({ node: options, key: 'namePattern' });\n      const namePattern = typeof configured === 'string' ? new RegExp(configured) : undefined;\n\n      const isNamed = (opts: { statement: unknown; node: unknown }) => {\n        const { statement, node } = opts;\n        const declaration = AstNode.readField({ node: statement, key: 'declaration' });\n        const name = AstNode.readField({\n          node: AstNode.readField({ node: declaration, key: 'id' }),\n          key: 'name',\n        });\n\n        return (\n          namePattern === undefined ||\n          (AstNode.getType({ node: declaration }) === 'TSTypeAliasDeclaration' &&\n            AstNode.readField({ node: declaration, key: 'typeAnnotation' }) === node &&\n            typeof name === 'string' &&\n            namePattern.test(name))\n        );\n      };\n\n      return {\n        [AstNodeTypes.UNION_TYPE]: (node: Rule.Node) => {\n          const members = AstNode.readField({ node, key: 'types' });\n          if (!Array.isArray(members)) {\n            return;\n          }\n\n          const values = members.filter((member) => !isNullish({ member }));\n          if (values.length < 2 || !values.every((member) => isStringLiteral({ member }))) {\n            return;\n          }\n\n          const statement = topLevelStatement({ node });\n          const statementType = AstNode.getType({ node: statement });\n          const isExported =\n            statementType === AstNodeTypes.EXPORT_NAMED_DECLARATION ||\n            statementType === 'ExportDefaultDeclaration';\n\n          if (!isExported || isKeySet({ node }) || !isNamed({ statement, node })) {\n            return;\n          }\n\n          context.report({ node, messageId: 'constClass' });\n        },\n      };\n    },\n  };\n\n  static build(opts: { severity?: TRuleSeverity; namePattern?: string } = {}): Linter.RuleEntry {\n    const { severity = 'error', namePattern } = opts;\n    return namePattern === undefined ? [severity] : [severity, { namePattern }];\n  }\n}\n"]}

package/dist/linters/house/effect-cleanup-consistency.rule.d.ts

@@ -0,0 +1,17 @@
+import type { Rule } from 'eslint';
+import type { TRuleSeverity } from '../rules/common';
+/**
+ * `venizia/effect-cleanup-consistency`. The callback of `useEffect`, `useLayoutEffect` and `useInsertionEffect`
+ * returns a cleanup on every path or on none. An early `return;` beside a later `return () => {}` leaves React
+ * with a cleanup on some runs only; the early exit returns a no-op instead. A bare `return;` and falling off the
+ * end both mean "no value". It uses ESLint's code path analysis the way `consistent-return` does, so an
+ * unreachable end of the function is not a path. A nested function's own `return` is not counted.
+ */
+export declare class EffectCleanupConsistencyRule {
+    static readonly NAME = "venizia/effect-cleanup-consistency";
+    static readonly RULE: Rule.RuleModule;
+    static build(opts?: {
+        severity?: TRuleSeverity;
+    }): TRuleSeverity;
+}
+//# sourceMappingURL=effect-cleanup-consistency.rule.d.ts.map

package/dist/linters/house/effect-cleanup-consistency.rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-cleanup-consistency.rule.d.ts","sourceRoot":"","sources":["../../../src/linters/house/effect-cleanup-consistency.rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACnC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAarD;;;;;;GAMG;AACH,qBAAa,4BAA4B;IACvC,MAAM,CAAC,QAAQ,CAAC,IAAI,wCAA0D;IAE9E,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CA2EnC;IAEF,MAAM,CAAC,KAAK,CAAC,IAAI,GAAE;QAAE,QAAQ,CAAC,EAAE,aAAa,CAAA;KAAO,GAAG,aAAa;CAGrE"}

package/dist/linters/house/effect-cleanup-consistency.rule.js

@@ -0,0 +1,87 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EffectCleanupConsistencyRule = void 0;
+const common_1 = require("./common");
+const hook_support_1 = require("./hook-support");
+/**
+ * `venizia/effect-cleanup-consistency`. The callback of `useEffect`, `useLayoutEffect` and `useInsertionEffect`
+ * returns a cleanup on every path or on none. An early `return;` beside a later `return () => {}` leaves React
+ * with a cleanup on some runs only; the early exit returns a no-op instead. A bare `return;` and falling off the
+ * end both mean "no value". It uses ESLint's code path analysis the way `consistent-return` does, so an
+ * unreachable end of the function is not a path. A nested function's own `return` is not counted.
+ */
+class EffectCleanupConsistencyRule {
+    static { this.NAME = `${common_1.HOUSE_PLUGIN_NAMESPACE}/effect-cleanup-consistency`; }
+    static { this.RULE = {
+        meta: {
+            type: 'problem',
+            schema: [],
+            messages: {
+                inconsistent: 'The callback of `{{hook}}` returns a cleanup on some paths only; return one on every path (a no-op `() => {}` for an early exit) or on none.',
+            },
+        },
+        create: (context) => {
+            const targets = new Map();
+            let frame;
+            const checkExit = (node) => {
+                const current = frame;
+                if (!current?.hook ||
+                    common_1.AstNode.getType({ node: common_1.AstNode.readField({ node, key: 'body' }) }) !== 'BlockStatement') {
+                    return;
+                }
+                const endIsReachable = [...current.segments].some((segment) => segment.reachable);
+                if (current.returnsValue && (current.returnsNothing || endIsReachable)) {
+                    context.report({ node, messageId: 'inconsistent', data: { hook: current.hook } });
+                }
+            };
+            return {
+                [common_1.AstNodeTypes.CALL_EXPRESSION]: (node) => {
+                    const hook = hook_support_1.HookSupport.calleeName({ call: node });
+                    const args = common_1.AstNode.readField({ node, key: 'arguments' });
+                    if (!hook_support_1.HookSupport.isEffectHook({ name: hook }) ||
+                        hook === undefined ||
+                        !Array.isArray(args)) {
+                        return;
+                    }
+                    if (hook_support_1.HookSupport.isCallback({ node: args[0] })) {
+                        targets.set(args[0], hook);
+                    }
+                },
+                onCodePathStart: (_codePath, node) => {
+                    frame = {
+                        upper: frame,
+                        hook: targets.get(node),
+                        returnsValue: false,
+                        returnsNothing: false,
+                        segments: new Set(),
+                    };
+                },
+                onCodePathEnd: () => {
+                    frame = frame?.upper;
+                },
+                onCodePathSegmentStart: (segment) => frame?.segments.add(segment),
+                onCodePathSegmentEnd: (segment) => frame?.segments.delete(segment),
+                onUnreachableCodePathSegmentStart: (segment) => frame?.segments.add(segment),
+                onUnreachableCodePathSegmentEnd: (segment) => frame?.segments.delete(segment),
+                [common_1.AstNodeTypes.RETURN_STATEMENT]: (node) => {
+                    if (!frame) {
+                        return;
+                    }
+                    if (common_1.AstNode.readField({ node, key: 'argument' })) {
+                        frame.returnsValue = true;
+                    }
+                    else {
+                        frame.returnsNothing = true;
+                    }
+                },
+                'FunctionExpression:exit': checkExit,
+                'ArrowFunctionExpression:exit': checkExit,
+            };
+        },
+    }; }
+    static build(opts = {}) {
+        return opts.severity ?? 'error';
+    }
+}
+exports.EffectCleanupConsistencyRule = EffectCleanupConsistencyRule;
+//# sourceMappingURL=effect-cleanup-consistency.rule.js.map

package/dist/linters/house/effect-cleanup-consistency.rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-cleanup-consistency.rule.js","sourceRoot":"","sources":["../../../src/linters/house/effect-cleanup-consistency.rule.ts"],"names":[],"mappings":";;;AAEA,qCAAyE;AACzE,iDAA6C;AAW7C;;;;;;GAMG;AACH,MAAa,4BAA4B;aACvB,SAAI,GAAG,GAAG,+BAAsB,6BAA6B,CAAC;aAE9D,SAAI,GAAoB;QACtC,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,YAAY,EACV,8IAA8I;aACjJ;SACF;QACD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;YAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;YAC3C,IAAI,KAAiC,CAAC;YAEtC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,EAAE;gBACpC,MAAM,OAAO,GAAG,KAAK,CAAC;gBACtB,IACE,CAAC,OAAO,EAAE,IAAI;oBACd,gBAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,gBAAgB,EACxF,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,cAAc,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAClF,IAAI,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,cAAc,CAAC,EAAE,CAAC;oBACvE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC,CAAC;YAEF,OAAO;gBACL,CAAC,qBAAY,CAAC,eAAe,CAAC,EAAE,CAAC,IAAe,EAAE,EAAE;oBAClD,MAAM,IAAI,GAAG,0BAAW,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBACpD,MAAM,IAAI,GAAG,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;oBAC3D,IACE,CAAC,0BAAW,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;wBACzC,IAAI,KAAK,SAAS;wBAClB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,CAAC;wBACD,OAAO;oBACT,CAAC;oBAED,IAAI,0BAAW,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC9C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;gBACD,eAAe,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE;oBACnC,KAAK,GAAG;wBACN,KAAK,EAAE,KAAK;wBACZ,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;wBACvB,YAAY,EAAE,KAAK;wBACnB,cAAc,EAAE,KAAK;wBACrB,QAAQ,EAAE,IAAI,GAAG,EAAE;qBACpB,CAAC;gBACJ,CAAC;gBACD,aAAa,EAAE,GAAG,EAAE;oBAClB,KAAK,GAAG,KAAK,EAAE,KAAK,CAAC;gBACvB,CAAC;gBACD,sBAAsB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;gBACjE,oBAAoB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;gBAClE,iCAAiC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;gBAC5E,+BAA+B,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;gBAC7E,CAAC,qBAAY,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAe,EAAE,EAAE;oBACnD,IAAI,CAAC,KAAK,EAAE,CAAC;wBACX,OAAO;oBACT,CAAC;oBAED,IAAI,gBAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;wBACjD,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC5B,CAAC;yBAAM,CAAC;wBACN,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC;oBAC9B,CAAC;gBACH,CAAC;gBACD,yBAAyB,EAAE,SAAS;gBACpC,8BAA8B,EAAE,SAAS;aAC1C,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,MAAM,CAAC,KAAK,CAAC,OAAqC,EAAE;QAClD,OAAO,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC;IAClC,CAAC;;AAlFH,oEAmFC","sourcesContent":["import type { Rule } from 'eslint';\nimport type { TRuleSeverity } from '../rules/common';\nimport { AstNode, AstNodeTypes, HOUSE_PLUGIN_NAMESPACE } from './common';\nimport { HookSupport } from './hook-support';\n\n/** What the rule knows about the function whose code path is open; one per function, so a nested function is its own. */\ninterface IFunctionFrame {\n  upper: IFunctionFrame | undefined;\n  hook: string | undefined;\n  returnsValue: boolean;\n  returnsNothing: boolean;\n  segments: Set<{ reachable: boolean }>;\n}\n\n/**\n * `venizia/effect-cleanup-consistency`. The callback of `useEffect`, `useLayoutEffect` and `useInsertionEffect`\n * returns a cleanup on every path or on none. An early `return;` beside a later `return () => {}` leaves React\n * with a cleanup on some runs only; the early exit returns a no-op instead. A bare `return;` and falling off the\n * end both mean \"no value\". It uses ESLint's code path analysis the way `consistent-return` does, so an\n * unreachable end of the function is not a path. A nested function's own `return` is not counted.\n */\nexport class EffectCleanupConsistencyRule {\n  static readonly NAME = `${HOUSE_PLUGIN_NAMESPACE}/effect-cleanup-consistency`;\n\n  static readonly RULE: Rule.RuleModule = {\n    meta: {\n      type: 'problem',\n      schema: [],\n      messages: {\n        inconsistent:\n          'The callback of `{{hook}}` returns a cleanup on some paths only; return one on every path (a no-op `() => {}` for an early exit) or on none.',\n      },\n    },\n    create: (context) => {\n      const targets = new Map<unknown, string>();\n      let frame: IFunctionFrame | undefined;\n\n      const checkExit = (node: Rule.Node) => {\n        const current = frame;\n        if (\n          !current?.hook ||\n          AstNode.getType({ node: AstNode.readField({ node, key: 'body' }) }) !== 'BlockStatement'\n        ) {\n          return;\n        }\n\n        const endIsReachable = [...current.segments].some((segment) => segment.reachable);\n        if (current.returnsValue && (current.returnsNothing || endIsReachable)) {\n          context.report({ node, messageId: 'inconsistent', data: { hook: current.hook } });\n        }\n      };\n\n      return {\n        [AstNodeTypes.CALL_EXPRESSION]: (node: Rule.Node) => {\n          const hook = HookSupport.calleeName({ call: node });\n          const args = AstNode.readField({ node, key: 'arguments' });\n          if (\n            !HookSupport.isEffectHook({ name: hook }) ||\n            hook === undefined ||\n            !Array.isArray(args)\n          ) {\n            return;\n          }\n\n          if (HookSupport.isCallback({ node: args[0] })) {\n            targets.set(args[0], hook);\n          }\n        },\n        onCodePathStart: (_codePath, node) => {\n          frame = {\n            upper: frame,\n            hook: targets.get(node),\n            returnsValue: false,\n            returnsNothing: false,\n            segments: new Set(),\n          };\n        },\n        onCodePathEnd: () => {\n          frame = frame?.upper;\n        },\n        onCodePathSegmentStart: (segment) => frame?.segments.add(segment),\n        onCodePathSegmentEnd: (segment) => frame?.segments.delete(segment),\n        onUnreachableCodePathSegmentStart: (segment) => frame?.segments.add(segment),\n        onUnreachableCodePathSegmentEnd: (segment) => frame?.segments.delete(segment),\n        [AstNodeTypes.RETURN_STATEMENT]: (node: Rule.Node) => {\n          if (!frame) {\n            return;\n          }\n\n          if (AstNode.readField({ node, key: 'argument' })) {\n            frame.returnsValue = true;\n          } else {\n            frame.returnsNothing = true;\n          }\n        },\n        'FunctionExpression:exit': checkExit,\n        'ArrowFunctionExpression:exit': checkExit,\n      };\n    },\n  };\n\n  static build(opts: { severity?: TRuleSeverity } = {}): TRuleSeverity {\n    return opts.severity ?? 'error';\n  }\n}\n"]}

package/dist/linters/house/hook-support.d.ts

@@ -0,0 +1,29 @@
+/** The shared parts of the two hook rules: which call is a hook, and which argument is a function. */
+export declare class HookSupport {
+    /** `useX(...)` and `React.useX(...)`: the name the call is made through, or `undefined` when it is not a plain name. */
+    static calleeName(opts: {
+        call: unknown;
+    }): string | undefined;
+    static isHook(opts: {
+        name: string | undefined;
+    }): boolean;
+    static isEffectHook(opts: {
+        name: string | undefined;
+    }): boolean;
+    /** An arrow or a function expression: the two forms a hook callback is written in. */
+    static isCallback(opts: {
+        node: unknown;
+    }): boolean;
+    static isAsync(opts: {
+        node: unknown;
+    }): boolean;
+    /**
+     * The async functions an argument hands over: the argument itself, a property value of an object literal
+     * (`useMutation({ mutationFn: async () => {} })`, an async method too) and an element of an array literal, at any
+     * depth of literals. It does not look inside a function: what a sync callback builds is not an argument.
+     */
+    static asyncFunctionsIn(opts: {
+        node: unknown;
+    }): unknown[];
+}
+//# sourceMappingURL=hook-support.d.ts.map

package/dist/linters/house/hook-support.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-support.d.ts","sourceRoot":"","sources":["../../../src/linters/house/hook-support.ts"],"names":[],"mappings":"AAMA,sGAAsG;AACtG,qBAAa,WAAW;IACtB,wHAAwH;IACxH,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,GAAG,MAAM,GAAG,SAAS;IAuB9D,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,GAAG,OAAO;IAI1D,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,GAAG,OAAO;IAIhE,sFAAsF;IACtF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO;IAInD,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO;IAMhD;;;;OAIG;IACH,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,EAAE;CAgC5D"}

package/dist/linters/house/hook-support.js

@@ -0,0 +1,72 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HookSupport = void 0;
+const common_1 = require("./common");
+const HOOK_NAME = /^use[A-Z]/;
+const EFFECT_HOOKS = new Set(['useEffect', 'useLayoutEffect', 'useInsertionEffect']);
+const CALLBACK_TYPES = new Set(['ArrowFunctionExpression', 'FunctionExpression']);
+/** The shared parts of the two hook rules: which call is a hook, and which argument is a function. */
+class HookSupport {
+    /** `useX(...)` and `React.useX(...)`: the name the call is made through, or `undefined` when it is not a plain name. */
+    static calleeName(opts) {
+        const callee = common_1.AstNode.readField({ node: opts.call, key: 'callee' });
+        const type = common_1.AstNode.getType({ node: callee });
+        if (type === 'Identifier') {
+            const name = common_1.AstNode.readField({ node: callee, key: 'name' });
+            return typeof name === 'string' ? name : undefined;
+        }
+        if (type === 'MemberExpression' &&
+            common_1.AstNode.readField({ node: callee, key: 'computed' }) === false) {
+            const property = common_1.AstNode.readField({ node: callee, key: 'property' });
+            const name = common_1.AstNode.readField({ node: property, key: 'name' });
+            return common_1.AstNode.getType({ node: property }) === 'Identifier' && typeof name === 'string'
+                ? name
+                : undefined;
+        }
+        return undefined;
+    }
+    static isHook(opts) {
+        return opts.name !== undefined && HOOK_NAME.test(opts.name);
+    }
+    static isEffectHook(opts) {
+        return opts.name !== undefined && EFFECT_HOOKS.has(opts.name);
+    }
+    /** An arrow or a function expression: the two forms a hook callback is written in. */
+    static isCallback(opts) {
+        return CALLBACK_TYPES.has(common_1.AstNode.getType({ node: opts.node }) ?? '');
+    }
+    static isAsync(opts) {
+        return (HookSupport.isCallback(opts) && common_1.AstNode.readField({ node: opts.node, key: 'async' }) === true);
+    }
+    /**
+     * The async functions an argument hands over: the argument itself, a property value of an object literal
+     * (`useMutation({ mutationFn: async () => {} })`, an async method too) and an element of an array literal, at any
+     * depth of literals. It does not look inside a function: what a sync callback builds is not an argument.
+     */
+    static asyncFunctionsIn(opts) {
+        const { node } = opts;
+        const type = common_1.AstNode.getType({ node });
+        if (HookSupport.isAsync({ node })) {
+            return [node];
+        }
+        if (type === 'ObjectExpression') {
+            const properties = common_1.AstNode.readField({ node, key: 'properties' });
+            return Array.isArray(properties)
+                ? properties.flatMap((property) => common_1.AstNode.getType({ node: property }) === 'Property'
+                    ? HookSupport.asyncFunctionsIn({
+                        node: common_1.AstNode.readField({ node: property, key: 'value' }),
+                    })
+                    : [])
+                : [];
+        }
+        if (type === 'ArrayExpression') {
+            const elements = common_1.AstNode.readField({ node, key: 'elements' });
+            return Array.isArray(elements)
+                ? elements.flatMap((element) => HookSupport.asyncFunctionsIn({ node: element }))
+                : [];
+        }
+        return [];
+    }
+}
+exports.HookSupport = HookSupport;
+//# sourceMappingURL=hook-support.js.map