eslint-plugin-redux-sparse-kit 0.0.0-stage → 0.1.1

package/LICENSE.md

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Aleksandr Khizhnyi
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,189 @@
-# Temporary Holding Version
+# eslint-plugin-redux-sparse-kit
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+[![npm version](https://img.shields.io/npm/v/eslint-plugin-redux-sparse-kit.svg?style=flat-square)](https://www.npmjs.com/package/eslint-plugin-redux-sparse-kit)
+[![license](https://img.shields.io/badge/license-MIT-blue.svg?style=flat-square)](LICENSE.md)
+
+ESLint rules for [redux-sparse-kit](https://github.com/veksa/redux-sparse-kit):
+mistakes with segments and scopes that types cannot see, caught in the editor
+instead of at runtime.
+
+## Installation
+
+```bash
+npm install --save-dev eslint-plugin-redux-sparse-kit
+# or
+yarn add --dev eslint-plugin-redux-sparse-kit
+```
+
+Requires ESLint 8.57 or later. `no-static-state-key` needs type information,
+which comes from `@typescript-eslint/parser` 8 and TypeScript 5.4 to 6.0.
+
+## Usage
+
+`eslint.config.js`:
+
+```js
+import { reduxSparseKitPlugin } from 'eslint-plugin-redux-sparse-kit';
+
+export default [
+  // ...
+  ...reduxSparseKitPlugin.configs.recommended,
+];
+```
+
+With type information, use `recommended-type-checked`, which adds the rules
+that need it:
+
+```js
+import tseslint from 'typescript-eslint';
+import { reduxSparseKitPlugin } from 'eslint-plugin-redux-sparse-kit';
+
+export default [
+  {
+    languageOptions: {
+      parser: tseslint.parser,
+      parserOptions: { projectService: true, tsconfigRootDir: import.meta.dirname },
+    },
+  },
+  ...reduxSparseKitPlugin.configs['recommended-type-checked'],
+];
+```
+
+| Config                     | Rules                                                                               |
+| -------------------------- | ----------------------------------------------------------------------------------- |
+| `recommended`              | `no-define-segment-in-render`, `no-duplicate-segments`, `release-acquired-segments` |
+| `recommended-type-checked` | the above and `no-static-state-key`                                                 |
+
+The configs are flat config arrays. Under eslintrc, add the plugin and list the
+rules:
+
+```json
+{
+  "plugins": ["redux-sparse-kit"],
+  "rules": {
+    "redux-sparse-kit/no-define-segment-in-render": "error",
+    "redux-sparse-kit/no-duplicate-segments": "error",
+    "redux-sparse-kit/release-acquired-segments": "error"
+  }
+}
+```
+
+### Settings
+
+The rules find redux-sparse-kit's API by its imports from `redux-sparse-kit`
+and `redux-sparse-kit/react`, renamed or not, through namespace imports, and
+through what `createSparseReact()` returns. When an application re-exports the
+API from a module of its own, name that module:
+
+```js
+{
+  settings: {
+    'redux-sparse-kit': { importSources: ['@app/state'] },
+  },
+}
+```
+
+## Rules
+
+### `no-define-segment-in-render`
+
+A segment is identified by the object `defineSegment` returns. Defined inside a
+component or a hook, it is a new segment on every render: scopes acquire it
+again, and the store refuses a second segment under a key that is still
+present.
+
+```tsx
+// ✗
+function OrdersPage() {
+  const orders = defineSegment({ key: 'orders', reducer });
+  return <SparseScope segments={[orders]} />;
+}
+
+// ✓
+const orders = defineSegment({ key: 'orders', reducer });
+
+function OrdersPage() {
+  return <SparseScope segments={[orders]} />;
+}
+```
+
+Functions that are neither components nor hooks are left alone, so a factory
+that defines segments at module scope is fine:
+
+```ts
+const createListSegment = (key: string) => defineSegment({ key, reducer: listReducer });
+
+export const orders = createListSegment('orders');
+```
+
+Components and hooks are told by their names: a function, or the variable or
+wrapper call it is assigned to, named in PascalCase or `useSomething`, and
+class `render` methods.
+
+### `no-duplicate-segments`
+
+Reports a segment listed twice in `deps`, in a `SparseScope`'s `segments`, in
+`useSparseSegments([...])` and in `store.sparse.acquire(...)`, and two
+segments defined with the same literal key in one file.
+
+```tsx
+// ✗
+defineSegment({ key: 'page', deps: [orders, prices, orders] });
+<SparseScope segments={[orders, orders]} />;
+
+export const a = defineSegment({ key: 'orders', reducer });
+export const b = defineSegment({ key: 'orders', reducer: otherReducer });
+```
+
+Segments are compared by their references, such as `orders` or
+`segments.orders`; keys built at runtime are not compared.
+
+### `release-acquired-segments`
+
+`store.sparse.acquire(...)` returns the function that releases what it
+acquired. Discarding it keeps the segments in the store for good.
+
+```ts
+// ✗
+store.sparse.acquire(orders);
+
+useEffect(() => {
+  store.sparse.acquire(orders);
+}, []);
+
+// ✓
+const release = store.sparse.acquire(orders);
+
+useEffect(() => store.sparse.acquire(orders), []);
+```
+
+Calls are recognised as `<something>.sparse.acquire(...)` and
+`sparse.acquire(...)`.
+
+### `no-static-state-key`
+
+_Needs type information._ A segment with a reducer cannot use a key of the
+static state: the store refuses to acquire it. The rule reads the segment's key
+and reducer from its type, and the static state from `StaticState` as the
+application registers it:
+
+```ts
+declare module 'redux-sparse-kit' {
+  interface StaticState {
+    router: RouterState;
+  }
+}
+
+// ✗
+export const routing = defineSegment({ key: 'router', reducer: routingReducer });
+
+// ✓ a segment without a reducer owns no slice
+export const routing = defineSegment({ key: 'router', epics: [routingEpic] });
+```
+
+Keys typed as a union of literals are checked one by one; keys typed as
+`string` are not known and not checked.
+
+## License
+
+[MIT](LICENSE.md)

package/lib/index.d.ts

@@ -0,0 +1,32 @@
+import type { TSESLint } from '@typescript-eslint/utils';
+declare const meta: {
+    name: string;
+};
+declare const rules: {
+    'no-define-segment-in-render': TSESLint.RuleModule<"define-segment-in-render", [], unknown, TSESLint.RuleListener>;
+    'no-duplicate-segments': TSESLint.RuleModule<"duplicate-segment" | "duplicate-key", [], unknown, TSESLint.RuleListener>;
+    'no-static-state-key': TSESLint.RuleModule<"static-state-key", [], unknown, TSESLint.RuleListener>;
+    'release-acquired-segments': TSESLint.RuleModule<"release-discarded", [], unknown, TSESLint.RuleListener>;
+};
+export declare const reduxSparseKitPlugin: {
+    meta: {
+        name: string;
+    };
+    rules: {
+        'no-define-segment-in-render': TSESLint.RuleModule<"define-segment-in-render", [], unknown, TSESLint.RuleListener>;
+        'no-duplicate-segments': TSESLint.RuleModule<"duplicate-segment" | "duplicate-key", [], unknown, TSESLint.RuleListener>;
+        'no-static-state-key': TSESLint.RuleModule<"static-state-key", [], unknown, TSESLint.RuleListener>;
+        'release-acquired-segments': TSESLint.RuleModule<"release-discarded", [], unknown, TSESLint.RuleListener>;
+    };
+    configs: {
+        recommended: TSESLint.FlatConfig.ConfigArray;
+        'recommended-type-checked': TSESLint.FlatConfig.ConfigArray;
+    };
+};
+/**
+ * The eslintrc engine loads a plugin by name and looks the rules up on the
+ * module itself, so `plugins: ['redux-sparse-kit']` needs them exported here.
+ * Its configs are flat config arrays, so under eslintrc list the rules
+ * directly instead of extending them.
+ */
+export { meta, rules };

package/lib/index.js

@@ -0,0 +1,52 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.rules = exports.meta = exports.reduxSparseKitPlugin = void 0;
+const noDefineSegmentInRender_1 = require("./rules/noDefineSegmentInRender");
+const noDuplicateSegments_1 = require("./rules/noDuplicateSegments");
+const noStaticStateKey_1 = require("./rules/noStaticStateKey");
+const releaseAcquiredSegments_1 = require("./rules/releaseAcquiredSegments");
+const meta = {
+    name: 'redux-sparse-kit',
+};
+exports.meta = meta;
+const rules = {
+    'no-define-segment-in-render': noDefineSegmentInRender_1.noDefineSegmentInRenderRule,
+    'no-duplicate-segments': noDuplicateSegments_1.noDuplicateSegmentsRule,
+    'no-static-state-key': noStaticStateKey_1.noStaticStateKeyRule,
+    'release-acquired-segments': releaseAcquiredSegments_1.releaseAcquiredSegmentsRule,
+};
+exports.rules = rules;
+const plugin = { meta, rules };
+/** The rules that need no type information. */
+const recommended = [
+    {
+        name: 'redux-sparse-kit/recommended',
+        plugins: {
+            'redux-sparse-kit': plugin,
+        },
+        rules: {
+            'redux-sparse-kit/no-define-segment-in-render': 'error',
+            'redux-sparse-kit/no-duplicate-segments': 'error',
+            'redux-sparse-kit/release-acquired-segments': 'error',
+        },
+    },
+];
+/** Every rule, for projects linted with type information. */
+const recommendedTypeChecked = [
+    ...recommended,
+    {
+        name: 'redux-sparse-kit/recommended-type-checked',
+        rules: {
+            'redux-sparse-kit/no-static-state-key': 'error',
+        },
+    },
+];
+exports.reduxSparseKitPlugin = {
+    meta,
+    rules,
+    configs: {
+        recommended,
+        'recommended-type-checked': recommendedTypeChecked,
+    },
+};
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AACA,6EAA8E;AAC9E,qEAAsE;AACtE,+DAAgE;AAChE,6EAA8E;AAE9E,MAAM,IAAI,GAAG;IACX,IAAI,EAAE,kBAAkB;CACzB,CAAC;AAoDO,oBAAI;AAlDb,MAAM,KAAK,GAAG;IACZ,6BAA6B,EAAE,qDAA2B;IAC1D,uBAAuB,EAAE,6CAAuB;IAChD,qBAAqB,EAAE,uCAAoB;IAC3C,2BAA2B,EAAE,qDAA2B;CACzD,CAAC;AA6Ca,sBAAK;AA3CpB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAE/B,+CAA+C;AAC/C,MAAM,WAAW,GAAoC;IACnD;QACE,IAAI,EAAE,8BAA8B;QACpC,OAAO,EAAE;YACP,kBAAkB,EAAE,MAAM;SAC3B;QACD,KAAK,EAAE;YACL,8CAA8C,EAAE,OAAO;YACvD,wCAAwC,EAAE,OAAO;YACjD,4CAA4C,EAAE,OAAO;SACtD;KACF;CACF,CAAC;AAEF,6DAA6D;AAC7D,MAAM,sBAAsB,GAAoC;IAC9D,GAAG,WAAW;IACd;QACE,IAAI,EAAE,2CAA2C;QACjD,KAAK,EAAE;YACL,sCAAsC,EAAE,OAAO;SAChD;KACF;CACF,CAAC;AAEW,QAAA,oBAAoB,GAAG;IAClC,IAAI;IACJ,KAAK;IACL,OAAO,EAAE;QACP,WAAW;QACX,0BAA0B,EAAE,sBAAsB;KACnD;CACF,CAAC"}

package/lib/rules/noDefineSegmentInRender.d.ts

@@ -0,0 +1,5 @@
+import { TSESLint } from '@typescript-eslint/utils';
+type MessageIds = 'define-segment-in-render';
+type Rule = TSESLint.RuleModule<MessageIds, []>;
+export declare const noDefineSegmentInRenderRule: Rule;
+export {};

package/lib/rules/noDefineSegmentInRender.js

@@ -0,0 +1,71 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.noDefineSegmentInRenderRule = void 0;
+const utils_1 = require("@typescript-eslint/utils");
+const sparseApi_1 = require("../utils/sparseApi");
+const componentName = /^[A-Z]/;
+const hookName = /^use[A-Z0-9]/;
+const isFunction = (node) => node.type === utils_1.AST_NODE_TYPES.ArrowFunctionExpression ||
+    node.type === utils_1.AST_NODE_TYPES.FunctionDeclaration ||
+    node.type === utils_1.AST_NODE_TYPES.FunctionExpression;
+/**
+ * The name a function is known by: its own, the variable or property it is
+ * assigned to, or the variable a wrapper such as `memo(...)` is assigned to.
+ */
+const getFunctionName = (node) => {
+    if (node.id) {
+        return node.id.name;
+    }
+    let parent = node.parent;
+    while (parent.type === utils_1.AST_NODE_TYPES.CallExpression) {
+        parent = parent.parent;
+    }
+    if (parent.type === utils_1.AST_NODE_TYPES.VariableDeclarator &&
+        parent.id.type === utils_1.AST_NODE_TYPES.Identifier) {
+        return parent.id.name;
+    }
+    if ((parent.type === utils_1.AST_NODE_TYPES.Property || parent.type === utils_1.AST_NODE_TYPES.MethodDefinition) &&
+        parent.key.type === utils_1.AST_NODE_TYPES.Identifier) {
+        return parent.key.name;
+    }
+    return undefined;
+};
+/** A component or hook: its body runs on every render. */
+const rendersOnEveryCall = (node) => {
+    if (isFunction(node)) {
+        const name = getFunctionName(node);
+        return name !== undefined && (componentName.test(name) || hookName.test(name));
+    }
+    return (node.type === utils_1.AST_NODE_TYPES.MethodDefinition &&
+        node.key.type === utils_1.AST_NODE_TYPES.Identifier &&
+        node.key.name === 'render');
+};
+const meta = {
+    docs: {
+        description: 'Disallow defining segments in components and hooks.',
+    },
+    messages: {
+        'define-segment-in-render': 'Define segments at module scope: a segment defined in a component or hook is a new segment on every render.',
+    },
+    schema: [],
+    type: 'problem',
+};
+const create = (context) => {
+    const api = (0, sparseApi_1.getSparseApi)(context);
+    return {
+        CallExpression(node) {
+            if (api.resolve(node.callee) !== 'defineSegment') {
+                return;
+            }
+            if (context.sourceCode.getAncestors(node).some(rendersOnEveryCall)) {
+                context.report({ messageId: 'define-segment-in-render', node });
+            }
+        },
+    };
+};
+exports.noDefineSegmentInRenderRule = {
+    defaultOptions: [],
+    meta,
+    create,
+};
+//# sourceMappingURL=noDefineSegmentInRender.js.map

package/lib/rules/noDefineSegmentInRender.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noDefineSegmentInRender.js","sourceRoot":"","sources":["../../src/rules/noDefineSegmentInRender.ts"],"names":[],"mappings":";;;AAAA,oDAA8E;AAC9E,kDAAkD;AAMlD,MAAM,aAAa,GAAG,QAAQ,CAAC;AAC/B,MAAM,QAAQ,GAAG,cAAc,CAAC;AAOhC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAwB,EAAE,CAC/D,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,uBAAuB;IACpD,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,mBAAmB;IAChD,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,kBAAkB,CAAC;AAElD;;;GAGG;AACH,MAAM,eAAe,GAAG,CAAC,IAAkB,EAAsB,EAAE;IACjE,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;IACtB,CAAC;IAED,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,OAAO,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,cAAc,EAAE,CAAC;QACrD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACzB,CAAC;IAED,IACE,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,kBAAkB;QACjD,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,EAC5C,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,gBAAgB,CAAC;QAC5F,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,EAC7C,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;IACzB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,0DAA0D;AAC1D,MAAM,kBAAkB,GAAG,CAAC,IAAmB,EAAW,EAAE;IAC1D,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,gBAAgB;QAC7C,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU;QAC3C,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAC3B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,IAAI,GAAiB;IACzB,IAAI,EAAE;QACJ,WAAW,EAAE,qDAAqD;KACnE;IACD,QAAQ,EAAE;QACR,0BAA0B,EACxB,6GAA6G;KAChH;IACD,MAAM,EAAE,EAAE;IACV,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,MAAM,MAAM,GAAmB,CAAC,OAAO,EAAE,EAAE;IACzC,MAAM,GAAG,GAAG,IAAA,wBAAY,EAAC,OAAO,CAAC,CAAC;IAElC,OAAO;QACL,cAAc,CAAC,IAAI;YACjB,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,eAAe,EAAE,CAAC;gBACjD,OAAO;YACT,CAAC;YAED,IAAI,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACnE,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,0BAA0B,EAAE,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAEW,QAAA,2BAA2B,GAAS;IAC/C,cAAc,EAAE,EAAE;IAClB,IAAI;IACJ,MAAM;CACP,CAAC"}

package/lib/rules/noDuplicateSegments.d.ts

@@ -0,0 +1,5 @@
+import { TSESLint } from '@typescript-eslint/utils';
+type MessageIds = 'duplicate-segment' | 'duplicate-key';
+type Rule = TSESLint.RuleModule<MessageIds, []>;
+export declare const noDuplicateSegmentsRule: Rule;
+export {};

package/lib/rules/noDuplicateSegments.js

@@ -0,0 +1,109 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.noDuplicateSegmentsRule = void 0;
+const utils_1 = require("@typescript-eslint/utils");
+const isAcquireCall_1 = require("../utils/isAcquireCall");
+const sparseApi_1 = require("../utils/sparseApi");
+/** A segment reference that can be compared by its text: `a` or `a.b.c`. */
+const isReference = (node) => node.type === utils_1.AST_NODE_TYPES.Identifier ||
+    (node.type === utils_1.AST_NODE_TYPES.MemberExpression && !node.computed && isReference(node.object));
+/** The value of a string literal or of a template literal without expressions. */
+const getStaticString = (node) => {
+    if (node.type === utils_1.AST_NODE_TYPES.Literal && typeof node.value === 'string') {
+        return node.value;
+    }
+    if (node.type === utils_1.AST_NODE_TYPES.TemplateLiteral && node.expressions.length === 0) {
+        // Only a tagged template can leave an escape uncooked.
+        return node.quasis[0].value.cooked;
+    }
+    return undefined;
+};
+const getProperty = (node, name) => {
+    if ((node === null || node === void 0 ? void 0 : node.type) !== utils_1.AST_NODE_TYPES.ObjectExpression) {
+        return undefined;
+    }
+    for (const property of node.properties) {
+        if (property.type === utils_1.AST_NODE_TYPES.Property &&
+            !property.computed &&
+            ((property.key.type === utils_1.AST_NODE_TYPES.Identifier && property.key.name === name) ||
+                getStaticString(property.key) === name)) {
+            return property.value;
+        }
+    }
+    return undefined;
+};
+const meta = {
+    docs: {
+        description: 'Disallow listing a segment twice, and defining two segments with the same key in a file.',
+    },
+    messages: {
+        'duplicate-segment': '`{{name}}` is already listed.',
+        'duplicate-key': 'A segment with the key "{{key}}" is already defined in this file.',
+    },
+    schema: [],
+    type: 'problem',
+};
+const create = (context) => {
+    const api = (0, sparseApi_1.getSparseApi)(context);
+    const definedKeys = new Set();
+    const checkList = (items) => {
+        const seen = new Set();
+        for (const item of items) {
+            if (item && isReference(item)) {
+                const name = context.sourceCode.getText(item);
+                if (seen.has(name)) {
+                    context.report({ messageId: 'duplicate-segment', node: item, data: { name } });
+                }
+                seen.add(name);
+            }
+        }
+    };
+    const checkArray = (node) => {
+        if ((node === null || node === void 0 ? void 0 : node.type) === utils_1.AST_NODE_TYPES.ArrayExpression) {
+            checkList(node.elements);
+        }
+    };
+    return {
+        CallExpression(node) {
+            if ((0, isAcquireCall_1.isAcquireCall)(node)) {
+                checkList(node.arguments);
+                return;
+            }
+            const name = api.resolve(node.callee);
+            if (name === 'useSparseSegments') {
+                checkArray(node.arguments[0]);
+            }
+            else if (name === 'defineSegment') {
+                const [options] = node.arguments;
+                checkArray(getProperty(options, 'deps'));
+                const keyNode = getProperty(options, 'key');
+                const key = keyNode && getStaticString(keyNode);
+                if (key !== undefined) {
+                    if (definedKeys.has(key)) {
+                        context.report({ messageId: 'duplicate-key', node: keyNode, data: { key } });
+                    }
+                    definedKeys.add(key);
+                }
+            }
+        },
+        JSXOpeningElement(node) {
+            var _a;
+            if (api.resolve(node.name) !== 'SparseScope') {
+                return;
+            }
+            for (const attribute of node.attributes) {
+                if (attribute.type === utils_1.AST_NODE_TYPES.JSXAttribute &&
+                    attribute.name.name === 'segments' &&
+                    ((_a = attribute.value) === null || _a === void 0 ? void 0 : _a.type) === utils_1.AST_NODE_TYPES.JSXExpressionContainer) {
+                    checkArray(attribute.value.expression);
+                }
+            }
+        },
+    };
+};
+exports.noDuplicateSegmentsRule = {
+    defaultOptions: [],
+    meta,
+    create,
+};
+//# sourceMappingURL=noDuplicateSegments.js.map

package/lib/rules/noDuplicateSegments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noDuplicateSegments.js","sourceRoot":"","sources":["../../src/rules/noDuplicateSegments.ts"],"names":[],"mappings":";;;AAAA,oDAA8E;AAC9E,0DAAuD;AACvD,kDAAkD;AAQlD,4EAA4E;AAC5E,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAW,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU;IACvC,CAAC,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAEhG,kFAAkF;AAClF,MAAM,eAAe,GAAG,CAAC,IAAmB,EAAsB,EAAE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,OAAO,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,eAAe,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClF,uDAAuD;QACvD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,MAAgB,CAAC;IAChD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAA+B,EAC/B,IAAY,EAC4B,EAAE;IAC1C,IAAI,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,IAAI,MAAK,sBAAc,CAAC,gBAAgB,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,IACE,QAAQ,CAAC,IAAI,KAAK,sBAAc,CAAC,QAAQ;YACzC,CAAC,QAAQ,CAAC,QAAQ;YAClB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;gBAC9E,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EACzC,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,IAAI,GAAiB;IACzB,IAAI,EAAE;QACJ,WAAW,EACT,0FAA0F;KAC7F;IACD,QAAQ,EAAE;QACR,mBAAmB,EAAE,+BAA+B;QACpD,eAAe,EAAE,mEAAmE;KACrF;IACD,MAAM,EAAE,EAAE;IACV,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,MAAM,MAAM,GAAmB,CAAC,OAAO,EAAE,EAAE;IACzC,MAAM,GAAG,GAAG,IAAA,wBAAY,EAAC,OAAO,CAAC,CAAC;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,MAAM,SAAS,GAAG,CAAC,KAA0B,EAAE,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnB,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjF,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,UAAU,GAAG,CAAC,IAA+B,EAAE,EAAE;QACrD,IAAI,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,IAAI,MAAK,sBAAc,CAAC,eAAe,EAAE,CAAC;YAClD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC;IAEF,OAAO;QACL,cAAc,CAAC,IAAI;YACjB,IAAI,IAAA,6BAAa,EAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1B,OAAO;YACT,CAAC;YAED,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAEtC,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACjC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;iBAAM,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;gBACpC,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,UAAU,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;gBAEzC,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;gBAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACzB,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,OAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAChF,CAAC;oBACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QAED,iBAAiB,CAAC,IAAI;;YACpB,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO;YACT,CAAC;YACD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,IACE,SAAS,CAAC,IAAI,KAAK,sBAAc,CAAC,YAAY;oBAC9C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;oBAClC,CAAA,MAAA,SAAS,CAAC,KAAK,0CAAE,IAAI,MAAK,sBAAc,CAAC,sBAAsB,EAC/D,CAAC;oBACD,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAEW,QAAA,uBAAuB,GAAS;IAC3C,cAAc,EAAE,EAAE;IAClB,IAAI;IACJ,MAAM;CACP,CAAC"}

package/lib/rules/noStaticStateKey.d.ts

@@ -0,0 +1,5 @@
+import { TSESLint } from '@typescript-eslint/utils';
+type MessageIds = 'static-state-key';
+type Rule = TSESLint.RuleModule<MessageIds, []>;
+export declare const noStaticStateKeyRule: Rule;
+export {};

package/lib/rules/noStaticStateKey.js

@@ -0,0 +1,76 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.noStaticStateKeyRule = void 0;
+const utils_1 = require("@typescript-eslint/utils");
+const typescript_1 = __importDefault(require("typescript"));
+const sparseApi_1 = require("../utils/sparseApi");
+/**
+ * The `StaticState` interface declared next to the type of the segment, with
+ * the augmentations the program adds to it. Read from the segment rather than
+ * from the function called, so that a function wrapping `defineSegment` is
+ * checked too.
+ */
+const getStaticState = (segment, checker) => {
+    // A type with a key and a reducer is declared somewhere.
+    const staticState = segment
+        .getSymbol()
+        .declarations[0].getSourceFile()
+        .statements.find((statement) => typescript_1.default.isInterfaceDeclaration(statement) && statement.name.text === 'StaticState');
+    return staticState && checker.getTypeAtLocation(staticState.name);
+};
+/** The string literal types a key type allows. */
+const getKeys = (type) => (type.isUnion() ? type.types : [type])
+    .filter((member) => member.isStringLiteral())
+    .map((member) => member.value);
+const meta = {
+    docs: {
+        description: 'Disallow segments with a reducer under a key of the static state.',
+    },
+    messages: {
+        'static-state-key': 'Segment key "{{key}}" is a key of the static state: acquiring a segment with a reducer under it throws.',
+    },
+    schema: [],
+    type: 'problem',
+};
+const create = (context) => {
+    const api = (0, sparseApi_1.getSparseApi)(context);
+    const { esTreeNodeToTSNodeMap, program } = utils_1.ESLintUtils.getParserServices(context);
+    const checker = program.getTypeChecker();
+    return {
+        CallExpression(node) {
+            if (api.resolve(node.callee) !== 'defineSegment') {
+                return;
+            }
+            const call = esTreeNodeToTSNodeMap.get(node);
+            const segment = checker.getTypeAtLocation(call);
+            const key = segment.getProperty('key');
+            const reducer = segment.getProperty('reducer');
+            if (!key || !reducer) {
+                return;
+            }
+            const reducerType = checker.getTypeOfSymbolAtLocation(reducer, call);
+            if (reducerType.flags & typescript_1.default.TypeFlags.Undefined) {
+                // A segment without a reducer owns no slice.
+                return;
+            }
+            const staticState = getStaticState(segment, checker);
+            if (!staticState) {
+                return;
+            }
+            for (const name of getKeys(checker.getTypeOfSymbolAtLocation(key, call))) {
+                if (staticState.getProperty(name)) {
+                    context.report({ messageId: 'static-state-key', node, data: { key: name } });
+                }
+            }
+        },
+    };
+};
+exports.noStaticStateKeyRule = {
+    defaultOptions: [],
+    meta,
+    create,
+};
+//# sourceMappingURL=noStaticStateKey.js.map

package/lib/rules/noStaticStateKey.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noStaticStateKey.js","sourceRoot":"","sources":["../../src/rules/noStaticStateKey.ts"],"names":[],"mappings":";;;;;;AAAA,oDAAiE;AACjE,4DAA4B;AAC5B,kDAAkD;AAMlD;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,OAAgB,EAAE,OAAuB,EAAuB,EAAE;IACxF,yDAAyD;IACzD,MAAM,WAAW,GAAG,OAAO;SACxB,SAAS,EAAG;SACZ,YAAa,CAAC,CAAC,CAAE,CAAC,aAAa,EAAE;SACjC,UAAU,CAAC,IAAI,CACd,CAAC,SAAS,EAAwC,EAAE,CAClD,oBAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,CAChF,CAAC;IAEJ,OAAO,WAAW,IAAI,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,kDAAkD;AAClD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAY,EAAE,CAC1C,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KACnC,MAAM,CAAC,CAAC,MAAM,EAAkC,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;KAC5E,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEnC,MAAM,IAAI,GAAiB;IACzB,IAAI,EAAE;QACJ,WAAW,EAAE,mEAAmE;KACjF;IACD,QAAQ,EAAE;QACR,kBAAkB,EAChB,yGAAyG;KAC5G;IACD,MAAM,EAAE,EAAE;IACV,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,MAAM,MAAM,GAAmB,CAAC,OAAO,EAAE,EAAE;IACzC,MAAM,GAAG,GAAG,IAAA,wBAAY,EAAC,OAAO,CAAC,CAAC;IAClC,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,GAAG,mBAAW,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,OAAO;QACL,cAAc,CAAC,IAAI;YACjB,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,eAAe,EAAE,CAAC;gBACjD,OAAO;YACT,CAAC;YAED,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACvC,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAE/C,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO;YACT,CAAC;YAED,MAAM,WAAW,GAAG,OAAO,CAAC,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACrE,IAAI,WAAW,CAAC,KAAK,GAAG,oBAAE,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC/C,6CAA6C;gBAC7C,OAAO;YACT,CAAC;YAED,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO;YACT,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;gBACzE,IAAI,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAEW,QAAA,oBAAoB,GAAS;IACxC,cAAc,EAAE,EAAE;IAClB,IAAI;IACJ,MAAM;CACP,CAAC"}

package/lib/rules/releaseAcquiredSegments.d.ts

@@ -0,0 +1,5 @@
+import { TSESLint } from '@typescript-eslint/utils';
+type MessageIds = 'release-discarded';
+type Rule = TSESLint.RuleModule<MessageIds, []>;
+export declare const releaseAcquiredSegmentsRule: Rule;
+export {};

package/lib/rules/releaseAcquiredSegments.js

@@ -0,0 +1,45 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.releaseAcquiredSegmentsRule = void 0;
+const utils_1 = require("@typescript-eslint/utils");
+const isAcquireCall_1 = require("../utils/isAcquireCall");
+/** Whether the value of `node` is thrown away. */
+const isDiscarded = (node) => {
+    // Never the program itself: a call or an expression around it.
+    const parent = node.parent;
+    switch (parent.type) {
+        case utils_1.AST_NODE_TYPES.ChainExpression:
+            return isDiscarded(parent);
+        case utils_1.AST_NODE_TYPES.ExpressionStatement:
+            return true;
+        case utils_1.AST_NODE_TYPES.UnaryExpression:
+            return parent.operator === 'void';
+        case utils_1.AST_NODE_TYPES.SequenceExpression:
+            return parent.expressions[parent.expressions.length - 1] !== node || isDiscarded(parent);
+        default:
+            return false;
+    }
+};
+const meta = {
+    docs: {
+        description: 'Require keeping the release function that acquire returns.',
+    },
+    messages: {
+        'release-discarded': 'The release function acquire returns is discarded, so the segments are held for good. Keep it and call it once they are no longer needed.',
+    },
+    schema: [],
+    type: 'problem',
+};
+const create = (context) => ({
+    CallExpression(node) {
+        if ((0, isAcquireCall_1.isAcquireCall)(node) && isDiscarded(node)) {
+            context.report({ messageId: 'release-discarded', node });
+        }
+    },
+});
+exports.releaseAcquiredSegmentsRule = {
+    defaultOptions: [],
+    meta,
+    create,
+};
+//# sourceMappingURL=releaseAcquiredSegments.js.map

package/lib/rules/releaseAcquiredSegments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"releaseAcquiredSegments.js","sourceRoot":"","sources":["../../src/rules/releaseAcquiredSegments.ts"],"names":[],"mappings":";;;AAAA,oDAA8E;AAC9E,0DAAuD;AAMvD,kDAAkD;AAClD,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAW,EAAE;IACnD,+DAA+D;IAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAO,CAAC;IAE5B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,sBAAc,CAAC,eAAe;YACjC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;QAC7B,KAAK,sBAAc,CAAC,mBAAmB;YACrC,OAAO,IAAI,CAAC;QACd,KAAK,sBAAc,CAAC,eAAe;YACjC,OAAO,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC;QACpC,KAAK,sBAAc,CAAC,kBAAkB;YACpC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;QAC3F;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,IAAI,GAAiB;IACzB,IAAI,EAAE;QACJ,WAAW,EAAE,4DAA4D;KAC1E;IACD,QAAQ,EAAE;QACR,mBAAmB,EACjB,2IAA2I;KAC9I;IACD,MAAM,EAAE,EAAE;IACV,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,MAAM,MAAM,GAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3C,cAAc,CAAC,IAAI;QACjB,IAAI,IAAA,6BAAa,EAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEU,QAAA,2BAA2B,GAAS;IAC/C,cAAc,EAAE,EAAE;IAClB,IAAI;IACJ,MAAM;CACP,CAAC"}

package/lib/utils/isAcquireCall.d.ts

@@ -0,0 +1,6 @@
+import { TSESTree } from '@typescript-eslint/utils';
+/**
+ * A call to the sparse controller's `acquire`: `store.sparse.acquire(...)`,
+ * or `sparse.acquire(...)` on a controller taken out of the store.
+ */
+export declare const isAcquireCall: (node: TSESTree.CallExpression) => boolean;

package/lib/utils/isAcquireCall.js

@@ -0,0 +1,24 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isAcquireCall = void 0;
+const utils_1 = require("@typescript-eslint/utils");
+const isNamed = (node, name) => node.type === utils_1.AST_NODE_TYPES.Identifier && node.name === name;
+/**
+ * A call to the sparse controller's `acquire`: `store.sparse.acquire(...)`,
+ * or `sparse.acquire(...)` on a controller taken out of the store.
+ */
+const isAcquireCall = (node) => {
+    const { callee } = node;
+    if (callee.type !== utils_1.AST_NODE_TYPES.MemberExpression ||
+        callee.computed ||
+        !isNamed(callee.property, 'acquire')) {
+        return false;
+    }
+    const { object } = callee;
+    return (isNamed(object, 'sparse') ||
+        (object.type === utils_1.AST_NODE_TYPES.MemberExpression &&
+            !object.computed &&
+            isNamed(object.property, 'sparse')));
+};
+exports.isAcquireCall = isAcquireCall;
+//# sourceMappingURL=isAcquireCall.js.map

package/lib/utils/isAcquireCall.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isAcquireCall.js","sourceRoot":"","sources":["../../src/utils/isAcquireCall.ts"],"names":[],"mappings":";;;AAAA,oDAAoE;AAEpE,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAE,IAAY,EAAW,EAAE,CAC7D,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;AAEhE;;;GAGG;AACI,MAAM,aAAa,GAAG,CAAC,IAA6B,EAAW,EAAE;IACtE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAExB,IACE,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,gBAAgB;QAC/C,MAAM,CAAC,QAAQ;QACf,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE1B,OAAO,CACL,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC;QACzB,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,gBAAgB;YAC9C,CAAC,MAAM,CAAC,QAAQ;YAChB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CACtC,CAAC;AACJ,CAAC,CAAC;AAnBW,QAAA,aAAa,iBAmBxB"}

package/lib/utils/sparseApi.d.ts

@@ -0,0 +1,23 @@
+import { TSESLint, TSESTree } from '@typescript-eslint/utils';
+/** The redux-sparse-kit exports the rules recognise. */
+export type SparseExport = 'defineSegment' | 'createSparseReact' | 'SparseScope' | 'useSparseSegments';
+/** The modules redux-sparse-kit's API is imported from by default. */
+export declare const defaultImportSources: readonly string[];
+/** Shared settings: `settings['redux-sparse-kit']` in an ESLint config. */
+export interface SparseSettings {
+    /**
+     * Further modules that re-export redux-sparse-kit's API, such as an
+     * application's own barrel module.
+     */
+    importSources?: string[];
+}
+export interface SparseApi {
+    /** Which export `node` refers to, if any. */
+    resolve(node: TSESTree.Node): SparseExport | undefined;
+}
+/**
+ * Finds the names a file binds to redux-sparse-kit's API: named imports, with
+ * or without an alias, namespace imports, and the members of the bindings
+ * `createSparseReact()` returns.
+ */
+export declare function getSparseApi(context: Readonly<TSESLint.RuleContext<string, unknown[]>>): SparseApi;

package/lib/utils/sparseApi.js

@@ -0,0 +1,115 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.defaultImportSources = void 0;
+exports.getSparseApi = getSparseApi;
+const utils_1 = require("@typescript-eslint/utils");
+/** The modules redux-sparse-kit's API is imported from by default. */
+exports.defaultImportSources = [
+    'redux-sparse-kit',
+    'redux-sparse-kit/react',
+];
+const sparseExports = new Set([
+    'defineSegment',
+    'createSparseReact',
+    'SparseScope',
+    'useSparseSegments',
+]);
+const isSparseExport = (name) => sparseExports.has(name);
+/** The members of `createSparseReact`'s result. */
+const reactMembers = new Set(['SparseScope', 'useSparseSegments']);
+/**
+ * Finds the names a file binds to redux-sparse-kit's API: named imports, with
+ * or without an alias, namespace imports, and the members of the bindings
+ * `createSparseReact()` returns.
+ */
+function getSparseApi(context) {
+    var _a;
+    const settings = context.settings['redux-sparse-kit'];
+    const sources = new Set([...exports.defaultImportSources, ...((_a = settings === null || settings === void 0 ? void 0 : settings.importSources) !== null && _a !== void 0 ? _a : [])]);
+    // Local names bound to an export.
+    const named = new Map();
+    // Local names bound to the whole module, or to a `createSparseReact()` result.
+    const namespaces = new Set();
+    const isReactFactoryCall = (node) => (node === null || node === void 0 ? void 0 : node.type) === utils_1.AST_NODE_TYPES.CallExpression && resolve(node.callee) === 'createSparseReact';
+    const resolve = (node) => {
+        if (node.type === utils_1.AST_NODE_TYPES.Identifier) {
+            return named.get(node.name);
+        }
+        if (node.type === utils_1.AST_NODE_TYPES.MemberExpression &&
+            !node.computed &&
+            node.property.type === utils_1.AST_NODE_TYPES.Identifier &&
+            isSparseExport(node.property.name)) {
+            const { object } = node;
+            if (object.type === utils_1.AST_NODE_TYPES.Identifier && namespaces.has(object.name)) {
+                return node.property.name;
+            }
+            if (isReactFactoryCall(object) && reactMembers.has(node.property.name)) {
+                return node.property.name;
+            }
+        }
+        if (node.type === utils_1.AST_NODE_TYPES.JSXMemberExpression &&
+            node.object.type === utils_1.AST_NODE_TYPES.JSXIdentifier &&
+            namespaces.has(node.object.name) &&
+            node.property.name === 'SparseScope') {
+            return 'SparseScope';
+        }
+        if (node.type === utils_1.AST_NODE_TYPES.JSXIdentifier) {
+            return named.get(node.name);
+        }
+        return undefined;
+    };
+    for (const statement of context.sourceCode.ast.body) {
+        if (statement.type !== utils_1.AST_NODE_TYPES.ImportDeclaration ||
+            !sources.has(statement.source.value)) {
+            continue;
+        }
+        for (const specifier of statement.specifiers) {
+            if (specifier.type === utils_1.AST_NODE_TYPES.ImportNamespaceSpecifier) {
+                namespaces.add(specifier.local.name);
+            }
+            else if (specifier.type === utils_1.AST_NODE_TYPES.ImportSpecifier) {
+                const imported = specifier.imported.type === utils_1.AST_NODE_TYPES.Identifier
+                    ? specifier.imported.name
+                    : specifier.imported.value;
+                if (isSparseExport(imported)) {
+                    named.set(specifier.local.name, imported);
+                }
+            }
+        }
+    }
+    // Bindings made from `createSparseReact()`: `const custom = ...` and
+    // `const { SparseScope, useSparseSegments: useSegments } = ...`.
+    const visit = (node) => {
+        if (node.type === utils_1.AST_NODE_TYPES.VariableDeclarator && isReactFactoryCall(node.init)) {
+            if (node.id.type === utils_1.AST_NODE_TYPES.Identifier) {
+                namespaces.add(node.id.name);
+            }
+            else if (node.id.type === utils_1.AST_NODE_TYPES.ObjectPattern) {
+                for (const property of node.id.properties) {
+                    if (property.type === utils_1.AST_NODE_TYPES.Property &&
+                        property.key.type === utils_1.AST_NODE_TYPES.Identifier &&
+                        reactMembers.has(property.key.name) &&
+                        property.value.type === utils_1.AST_NODE_TYPES.Identifier) {
+                        named.set(property.value.name, property.key.name);
+                    }
+                }
+            }
+        }
+        // The parser knows the keys of every node it produces; they lead to
+        // nodes, arrays of nodes, or nothing.
+        for (const key of context.sourceCode.visitorKeys[node.type]) {
+            const child = node[key];
+            for (const item of Array.isArray(child) ? child : [child]) {
+                if (item) {
+                    visit(item);
+                }
+            }
+        }
+    };
+    // Only worth a walk when the factory is in reach.
+    if ([...named.values()].includes('createSparseReact') || namespaces.size > 0) {
+        visit(context.sourceCode.ast);
+    }
+    return { resolve };
+}
+//# sourceMappingURL=sparseApi.js.map

package/lib/utils/sparseApi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sparseApi.js","sourceRoot":"","sources":["../../src/utils/sparseApi.ts"],"names":[],"mappings":";;;AA8CA,oCAiHC;AA/JD,oDAA8E;AAS9E,sEAAsE;AACzD,QAAA,oBAAoB,GAAsB;IACrD,kBAAkB;IAClB,wBAAwB;CACzB,CAAC;AAgBF,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAe;IAC/D,eAAe;IACf,mBAAmB;IACnB,aAAa;IACb,mBAAmB;CACpB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CAAC,IAAY,EAAwB,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEvF,mDAAmD;AACnD,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAExF;;;;GAIG;AACH,SAAgB,YAAY,CAC1B,OAA0D;;IAE1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAA+B,CAAC;IACpF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,4BAAoB,EAAE,GAAG,CAAC,MAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,aAAa,mCAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEvF,kCAAkC;IAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,+EAA+E;IAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,MAAM,kBAAkB,GAAG,CAAC,IAAsC,EAAW,EAAE,CAC7E,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,IAAI,MAAK,sBAAc,CAAC,cAAc,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,mBAAmB,CAAC;IAE/F,MAAM,OAAO,GAAG,CAAC,IAAmB,EAA4B,EAAE;QAChE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,EAAE,CAAC;YAC5C,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,gBAAgB;YAC7C,CAAC,IAAI,CAAC,QAAQ;YACd,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU;YAChD,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAClC,CAAC;YACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;YACxB,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7E,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5B,CAAC;YACD,IAAI,kBAAkB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,mBAAmB;YAChD,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAc,CAAC,aAAa;YACjD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,EACpC,CAAC;YACD,OAAO,aAAa,CAAC;QACvB,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,aAAa,EAAE,CAAC;YAC/C,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACpD,IACE,SAAS,CAAC,IAAI,KAAK,sBAAc,CAAC,iBAAiB;YACnD,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EACpC,CAAC;YACD,SAAS;QACX,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAc,CAAC,wBAAwB,EAAE,CAAC;gBAC/D,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAc,CAAC,eAAe,EAAE,CAAC;gBAC7D,MAAM,QAAQ,GACZ,SAAS,CAAC,QAAQ,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU;oBACnD,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI;oBACzB,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC/B,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC7B,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,iEAAiE;IACjE,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,EAAE;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAc,CAAC,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrF,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,EAAE,CAAC;gBAC/C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC/B,CAAC;iBAAM,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,sBAAc,CAAC,aAAa,EAAE,CAAC;gBACzD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;oBAC1C,IACE,QAAQ,CAAC,IAAI,KAAK,sBAAc,CAAC,QAAQ;wBACzC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU;wBAC/C,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;wBACnC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAc,CAAC,UAAU,EACjD,CAAC;wBACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAoB,CAAC,CAAC;oBACpE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,oEAAoE;QACpE,sCAAsC;QACtC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAE,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAI,IAA0E,CACvF,GAAG,CACJ,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,CAAC,IAAI,CAAC,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,kDAAkD;IAClD,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC7E,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC"}

package/package.json

@@ -1,6 +1,72 @@
 {
   "name": "eslint-plugin-redux-sparse-kit",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.1",
+  "description": "ESLint rules for redux-sparse-kit segments and scopes",
+  "keywords": [
+    "dynamic-reducers",
+    "eslint",
+    "eslintplugin",
+    "redux",
+    "redux-sparse-kit"
+  ],
+  "homepage": "https://github.com/veksa/redux-sparse-kit-eslint-plugin#readme",
+  "bugs": {
+    "url": "https://github.com/veksa/redux-sparse-kit-eslint-plugin/issues"
+  },
+  "license": "MIT",
+  "author": {
+    "name": "Aleksandr Khizhnyi",
+    "email": "mendler88@gmail.com"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/veksa/redux-sparse-kit-eslint-plugin.git"
+  },
+  "files": [
+    "lib/"
+  ],
+  "sideEffects": false,
+  "main": "./lib/index.js",
+  "types": "./lib/index.d.ts",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "types": "./lib/index.d.ts",
+      "default": "./lib/index.js"
+    }
+  },
+  "scripts": {
+    "compile": "tsc --noEmit",
+    "lint": "oxlint src/",
+    "fmt": "oxfmt",
+    "fmt:check": "oxfmt --check",
+    "test": "jest",
+    "test:coverage": "jest --coverage",
+    "build": "shx rm -rf lib && tsc --outDir lib -m node16 --moduleResolution node16 --declaration",
+    "prepack": "yarn build"
+  },
+  "dependencies": {
+    "@typescript-eslint/utils": "^8.66.0"
+  },
+  "devDependencies": {
+    "@types/jest": "^30.0.0",
+    "@types/node": "^24.0.3",
+    "@typescript-eslint/parser": "^8.66.0",
+    "@typescript-eslint/rule-tester": "^8.66.0",
+    "eslint": "^10.8.1",
+    "jest": "^30.4.2",
+    "oxfmt": "^0.63.0",
+    "oxlint": "^1.78.0",
+    "redux": "^5.0.1",
+    "redux-sparse-kit": "0.1.0",
+    "shx": "^0.4.0",
+    "ts-jest": "^29.4.12",
+    "typescript": "6.0.3"
+  },
+  "peerDependencies": {
+    "@typescript-eslint/parser": "^8.44.1",
+    "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0",
+    "typescript": ">=5.4 <6.1"
+  },
+  "packageManager": "yarn@4.18.0"
+}