@elaraai/east-diagnostics 1.0.4

package/LICENSE.md

@@ -0,0 +1,31 @@
+Copyright (c) 2025 Elara AI Pty Ltd
+
+# Dual License — AGPL-3.0 / Commercial
+
+This software is available under two licenses. You may choose which license applies to your use:
+
+## Option 1: AGPL-3.0 (Open Source)
+
+You may use, modify, and distribute this software under the terms of the GNU Affero General Public License v3.0.
+
+This requires that if you use this software in a network service, you must make your complete source code available under AGPL-3.0.
+
+Full text: https://www.gnu.org/licenses/agpl-3.0.html
+
+## Option 2: Commercial License
+
+If you wish to use this software without the source code disclosure requirements of AGPL-3.0, you must obtain a commercial license from Elara AI Pty Ltd.
+
+Contact: support@elara.ai
+
+## Contributions
+
+Contributions are welcome. By submitting a pull request, you agree to license your contribution under both AGPL-3.0 and our commercial license terms.
+
+## Governing Law
+
+This license is governed by the laws of New South Wales, Australia.
+
+---
+
+*Elara AI Pty Ltd*

package/README.md

@@ -0,0 +1,74 @@
+# East Diagnostics
+
+> East-aware diagnostic rules over the TypeScript checker
+
+[![License](https://img.shields.io/badge/license-AGPL--3.0-blue.svg)](LICENSE.md)
+[![Node Version](https://img.shields.io/badge/node-%3E%3D22.0.0-brightgreen.svg)](https://nodejs.org)
+
+**East Diagnostics** is the shared rule engine that catches East-specific
+mistakes which plain TypeScript can't — the same checks surfaced to the agent at
+write-time (the Claude plugin daemon) and to developers in the editor and CI
+([`@elaraai/eslint-plugin-east`](../eslint-plugin-east)). The rules run against a
+real `ts.Program`, so they are type-aware, not regex heuristics.
+
+## Features
+
+- **Shared rule set** - One engine, `runEastRules(ts, program, sourceFile, checker)`, reused across every surface.
+- **Type-aware** - Rules consult the TypeScript checker (e.g. resolving `BlockBuilder`, variant contextual types).
+- **No bundled compiler** - `typescript` is a peer dependency; the host's version is injected.
+- **Diagnostics service** - `createDiagnosticsService()` resolves the nearest tsconfig, holds a warm `LanguageService`, and merges native type errors with the East rules for a file.
+
+## Rules
+
+- **`no-redundant-east-cast`** - A TypeScript cast on the value of `$.let`/`$.const` when the East type argument is present.
+- **`prefer-explicit-east-type`** - One-arg `$.let`/`$.const` on an under-determined value (`[]`, `{}`, `new Map()`).
+- **`prefer-some-none`** - `variant("some"/"none", …)` instead of `some()` / `none`.
+- **`no-handrolled-variant`** - A plain object literal where an East variant/option is expected.
+- **`no-east-namespaced-type`** - `East.IntegerType` etc. instead of a bare import.
+- **`prefer-let-const-over-east-value`** - `East.value(…)` declared or returned inside an `East.function` block.
+- **`no-relative-src-import`** - Importing `../src/…` instead of the published package name.
+- **`no-let-const-in-expression`** - Using `$.let`/`$.const` inline in an expression instead of binding to a `const`.
+- **`no-unexecuted-east-expression`** - A bare East expression statement that is never executed with `$( … )` or bound.
+- **`no-reinlined-east-binding`** - An East `Expr` bound to a JS `const`/`let` and reused inside a block is re-inlined per use — bind it once with `$.let`/`$.const`.
+- **`no-east-data-builder-helper`** - A TS helper whose only job is to return a hand-built East value — inline it or make it a real `East.function`.
+- **`prefer-jsx-over-factory-call`** - In a `.tsx` file, a factory's `Foo.Root(...)` whose result is a JSX element — author it with the `<Foo>` tag instead.
+
+## Usage
+
+```typescript
+import * as ts from "typescript";
+import { runEastRules, createDiagnosticsService } from "@elaraai/east-diagnostics";
+
+// Pure: run the rules over one source file you already have a program + checker for.
+const diagnostics = runEastRules(ts, program, sourceFile, checker, { disabled: ["prefer-some-none"] });
+
+// Or let the service resolve the project and merge native + rule diagnostics.
+const service = createDiagnosticsService();
+const text = service.diagnoseText("/path/to/file.ts"); // "" when clean
+```
+
+## Claude Code plugin
+
+The East ecosystem also ships a [Claude Code](https://claude.com/claude-code) plugin — East language skills, example search, and preemptive diagnostics for East code — installed separately from the `elaraai` marketplace:
+
+```text
+# Inside Claude Code
+/plugin marketplace add elaraai/east-workspace
+/plugin install east@elaraai
+```
+
+```bash
+# From a terminal
+claude plugin marketplace add elaraai/east-workspace
+claude plugin install east@elaraai
+```
+
+## License
+
+Dual-licensed:
+- **Open Source**: [AGPL-3.0](LICENSE.md) - Free for open source use
+- **Commercial**: Available for proprietary use - contact support@elara.ai
+
+---
+
+*Developed by [Elara AI Pty Ltd](https://elaraai.com/)*

package/dist/src/block-builder.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type * as ts from "typescript";
+import type { RuleContext } from "./types.js";
+export interface BlockBuilderCall {
+    call: ts.CallExpression;
+    method: "let" | "const";
+    args: ts.NodeArray<ts.Expression>;
+}
+/** Match `<expr>.let(...)` / `<expr>.const(...)` where `<expr>` is an East
+ * `BlockBuilder`. Confirmed through the checker, so an unrelated `.let` /
+ * `.const` (lodash, a Map wrapper, …) never matches. */
+export declare function matchBlockBuilderCall(node: ts.Node, ctx: RuleContext): BlockBuilderCall | undefined;
+//# sourceMappingURL=block-builder.d.ts.map

package/dist/src/block-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-builder.d.ts","sourceRoot":"","sources":["../../src/block-builder.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,MAAM,EAAE,KAAK,GAAG,OAAO,CAAC;IACxB,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;CACnC;AAED;;wDAEwD;AACxD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,GAAG,EAAE,WAAW,GACf,gBAAgB,GAAG,SAAS,CAW9B"}

package/dist/src/block-builder.js

@@ -0,0 +1,19 @@
+import { isBlockBuilderType } from "./east-type.js";
+/** Match `<expr>.let(...)` / `<expr>.const(...)` where `<expr>` is an East
+ * `BlockBuilder`. Confirmed through the checker, so an unrelated `.let` /
+ * `.const` (lodash, a Map wrapper, …) never matches. */
+export function matchBlockBuilderCall(node, ctx) {
+    const t = ctx.ts;
+    if (!t.isCallExpression(node))
+        return undefined;
+    const callee = node.expression;
+    if (!t.isPropertyAccessExpression(callee))
+        return undefined;
+    const method = callee.name.text;
+    if (method !== "let" && method !== "const")
+        return undefined;
+    if (!isBlockBuilderType(ctx.checker.getTypeAtLocation(callee.expression)))
+        return undefined;
+    return { call: node, method, args: node.arguments };
+}
+//# sourceMappingURL=block-builder.js.map

package/dist/src/block-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-builder.js","sourceRoot":"","sources":["../../src/block-builder.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAQpD;;wDAEwD;AACxD,MAAM,UAAU,qBAAqB,CACnC,IAAa,EACb,GAAgB;IAEhB,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAE7D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5F,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;AACtD,CAAC"}

package/dist/src/block-scope.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type * as ts from "typescript";
+import type { RuleContext } from "./types.js";
+/** True for an arrow/function whose first parameter is an East `BlockBuilder` —
+ * the shape of every East block callback: `East.function`'s `$ => …`, the JSX
+ * `<Reactive>{$ => …}}`, `ui(…, $ => …)`, a `.map(($, x) => …)` body. Keying on
+ * the parameter type (not the wrapping function's name) makes the check work for
+ * JSX authoring forms that have no `East.function` wrapper at all. */
+export declare function isBlockBuilderCallback(node: ts.Node, ctx: RuleContext): boolean;
+/**
+ * The outermost enclosing East block scope of `node` — an `East.function` call
+ * or a `BlockBuilder`-parameter callback — or `undefined` if there is none.
+ *
+ * Block-scoped rules used to look only for an enclosing `East.function`; East UI
+ * authored as `<Reactive>{$ => …}}` or `ui(…)` has a `BlockBuilder` `$` with no
+ * such wrapper, so those rules went silent inside it. Rooting on the BlockBuilder
+ * callback restores coverage while still bucketing `East.function`-wrapped code
+ * at the `East.function` call (it is the outermost scope, so the bucket key is
+ * unchanged for existing code).
+ */
+export declare function enclosingBlockScope(node: ts.Node, ctx: RuleContext): ts.Node | undefined;
+/** Is `node` inside an East block scope (`East.function` body or BlockBuilder callback)? */
+export declare function insideBlockScope(node: ts.Node, ctx: RuleContext): boolean;
+//# sourceMappingURL=block-scope.d.ts.map

package/dist/src/block-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-scope.d.ts","sourceRoot":"","sources":["../../src/block-scope.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,WAAW,EAAY,MAAM,YAAY,CAAC;AAexD;;;;sEAIsE;AACtE,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAM/E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,EAAE,CAAC,IAAI,GAAG,SAAS,CAWxF;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAEzE"}

package/dist/src/block-scope.js

@@ -0,0 +1,53 @@
+import { isBlockBuilderType } from "./east-type.js";
+/** `East.function(...)` / `East.asyncFunction(...)` — the classic East block root. */
+function isEastFunctionCall(node, t) {
+    if (!t.isCallExpression(node))
+        return false;
+    const callee = node.expression;
+    return (t.isPropertyAccessExpression(callee) &&
+        t.isIdentifier(callee.expression) &&
+        callee.expression.text === "East" &&
+        (callee.name.text === "function" || callee.name.text === "asyncFunction"));
+}
+/** True for an arrow/function whose first parameter is an East `BlockBuilder` —
+ * the shape of every East block callback: `East.function`'s `$ => …`, the JSX
+ * `<Reactive>{$ => …}}`, `ui(…, $ => …)`, a `.map(($, x) => …)` body. Keying on
+ * the parameter type (not the wrapping function's name) makes the check work for
+ * JSX authoring forms that have no `East.function` wrapper at all. */
+export function isBlockBuilderCallback(node, ctx) {
+    const t = ctx.ts;
+    if (!t.isArrowFunction(node) && !t.isFunctionExpression(node))
+        return false;
+    const first = node.parameters[0];
+    if (first === undefined)
+        return false;
+    return isBlockBuilderType(ctx.checker.getTypeAtLocation(first.name));
+}
+/**
+ * The outermost enclosing East block scope of `node` — an `East.function` call
+ * or a `BlockBuilder`-parameter callback — or `undefined` if there is none.
+ *
+ * Block-scoped rules used to look only for an enclosing `East.function`; East UI
+ * authored as `<Reactive>{$ => …}}` or `ui(…)` has a `BlockBuilder` `$` with no
+ * such wrapper, so those rules went silent inside it. Rooting on the BlockBuilder
+ * callback restores coverage while still bucketing `East.function`-wrapped code
+ * at the `East.function` call (it is the outermost scope, so the bucket key is
+ * unchanged for existing code).
+ */
+export function enclosingBlockScope(node, ctx) {
+    const t = ctx.ts;
+    let outermost;
+    let current = node.parent;
+    while (current !== undefined) {
+        if (isEastFunctionCall(current, t) || isBlockBuilderCallback(current, ctx)) {
+            outermost = current;
+        }
+        current = current.parent;
+    }
+    return outermost;
+}
+/** Is `node` inside an East block scope (`East.function` body or BlockBuilder callback)? */
+export function insideBlockScope(node, ctx) {
+    return enclosingBlockScope(node, ctx) !== undefined;
+}
+//# sourceMappingURL=block-scope.js.map

package/dist/src/block-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-scope.js","sourceRoot":"","sources":["../../src/block-scope.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAEpD,sFAAsF;AACtF,SAAS,kBAAkB,CAAC,IAAa,EAAE,CAAW;IACpD,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,CACL,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACpC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QACjC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;QACjC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED;;;;sEAIsE;AACtE,MAAM,UAAU,sBAAsB,CAAC,IAAa,EAAE,GAAgB;IACpE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,GAAgB;IACjE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,SAA8B,CAAC;IACnC,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC/C,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,kBAAkB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;YAC3E,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAAC,IAAa,EAAE,GAAgB;IAC9D,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,SAAS,CAAC;AACtD,CAAC"}

package/dist/src/east-type.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type * as ts from "typescript";
+export declare function isEastExprType(type: ts.Type): boolean;
+export declare function isBlockBuilderType(type: ts.Type): boolean;
+//# sourceMappingURL=east-type.d.ts.map

package/dist/src/east-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"east-type.d.ts","sourceRoot":"","sources":["../../src/east-type.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAMtC,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAgBrD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAGzD"}

package/dist/src/east-type.js

@@ -0,0 +1,28 @@
+// East expression classes all extend `Expr` and are named `<Kind>Expr`
+// (IntegerExpr, VariantExpr, NullExpr, …); `ExprType<T>` resolves to one of
+// them. Walk union/intersection members and base types so subclasses and
+// aliases are caught.
+export function isEastExprType(type) {
+    const seen = new Set();
+    const stack = [type];
+    while (stack.length > 0) {
+        const current = stack.pop();
+        if (current === undefined || seen.has(current))
+            continue;
+        seen.add(current);
+        const name = current.aliasSymbol?.name ?? current.symbol?.name;
+        if (name !== undefined && (name === "Expr" || name.endsWith("Expr")))
+            return true;
+        if (current.isUnionOrIntersection())
+            stack.push(...current.types);
+        const bases = current.getBaseTypes?.();
+        if (bases !== undefined)
+            stack.push(...bases);
+    }
+    return false;
+}
+export function isBlockBuilderType(type) {
+    const name = type.aliasSymbol?.name ?? type.symbol?.name;
+    return name === "BlockBuilder";
+}
+//# sourceMappingURL=east-type.js.map

package/dist/src/east-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"east-type.js","sourceRoot":"","sources":["../../src/east-type.ts"],"names":[],"mappings":"AAMA,uEAAuE;AACvE,4EAA4E;AAC5E,yEAAyE;AACzE,sBAAsB;AACtB,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;IAChC,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACzD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAElB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAElF,IAAI,OAAO,CAAC,qBAAqB,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;IACzD,OAAO,IAAI,KAAK,cAAc,CAAC;AACjC,CAAC"}

package/dist/src/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export type * from "./types.js";
+export * from "./rules/index.js";
+export { runEastRules } from "./run.js";
+export { createDiagnosticsService } from "./service.js";
+export type { DiagnosticsService, DiagnosticsServiceOptions } from "./service.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,mBAAmB,YAAY,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,YAAY,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,4 @@
+export * from "./rules/index.js";
+export { runEastRules } from "./run.js";
+export { createDiagnosticsService } from "./service.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAKA,cAAc,kBAAkB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/rules/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { EastRule } from "../types.js";
+export { noRedundantEastCast } from "./no-redundant-east-cast.js";
+export { preferExplicitEastType } from "./prefer-explicit-east-type.js";
+export { preferSomeNone } from "./prefer-some-none.js";
+export { noHandrolledVariant } from "./no-handrolled-variant.js";
+export { noEastNamespacedType } from "./no-east-namespaced-type.js";
+export { preferLetConstOverEastValue } from "./prefer-let-const-over-east-value.js";
+export { noRelativeSrcImport } from "./no-relative-src-import.js";
+export { noLetConstInExpression } from "./no-let-const-in-expression.js";
+export { noUnexecutedEastExpression } from "./no-unexecuted-east-expression.js";
+export { noReinlinedEastBinding } from "./no-reinlined-east-binding.js";
+export { noEastDataBuilderHelper } from "./no-east-data-builder-helper.js";
+export { preferJsxOverFactoryCall } from "./prefer-jsx-over-factory-call.js";
+export declare const allRules: readonly EastRule[];
+//# sourceMappingURL=index.d.ts.map

package/dist/src/rules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAc5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,eAAO,MAAM,QAAQ,EAAE,SAAS,QAAQ,EAavC,CAAC"}

package/dist/src/rules/index.js

@@ -0,0 +1,39 @@
+import { noRedundantEastCast } from "./no-redundant-east-cast.js";
+import { preferExplicitEastType } from "./prefer-explicit-east-type.js";
+import { preferSomeNone } from "./prefer-some-none.js";
+import { noHandrolledVariant } from "./no-handrolled-variant.js";
+import { noEastNamespacedType } from "./no-east-namespaced-type.js";
+import { preferLetConstOverEastValue } from "./prefer-let-const-over-east-value.js";
+import { noRelativeSrcImport } from "./no-relative-src-import.js";
+import { noLetConstInExpression } from "./no-let-const-in-expression.js";
+import { noUnexecutedEastExpression } from "./no-unexecuted-east-expression.js";
+import { noReinlinedEastBinding } from "./no-reinlined-east-binding.js";
+import { noEastDataBuilderHelper } from "./no-east-data-builder-helper.js";
+import { preferJsxOverFactoryCall } from "./prefer-jsx-over-factory-call.js";
+export { noRedundantEastCast } from "./no-redundant-east-cast.js";
+export { preferExplicitEastType } from "./prefer-explicit-east-type.js";
+export { preferSomeNone } from "./prefer-some-none.js";
+export { noHandrolledVariant } from "./no-handrolled-variant.js";
+export { noEastNamespacedType } from "./no-east-namespaced-type.js";
+export { preferLetConstOverEastValue } from "./prefer-let-const-over-east-value.js";
+export { noRelativeSrcImport } from "./no-relative-src-import.js";
+export { noLetConstInExpression } from "./no-let-const-in-expression.js";
+export { noUnexecutedEastExpression } from "./no-unexecuted-east-expression.js";
+export { noReinlinedEastBinding } from "./no-reinlined-east-binding.js";
+export { noEastDataBuilderHelper } from "./no-east-data-builder-helper.js";
+export { preferJsxOverFactoryCall } from "./prefer-jsx-over-factory-call.js";
+export const allRules = [
+    noRedundantEastCast,
+    preferExplicitEastType,
+    preferSomeNone,
+    noHandrolledVariant,
+    noEastNamespacedType,
+    preferLetConstOverEastValue,
+    noRelativeSrcImport,
+    noLetConstInExpression,
+    noUnexecutedEastExpression,
+    noReinlinedEastBinding,
+    noEastDataBuilderHelper,
+    preferJsxOverFactoryCall,
+];
+//# sourceMappingURL=index.js.map

package/dist/src/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,MAAM,CAAC,MAAM,QAAQ,GAAwB;IAC3C,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,2BAA2B;IAC3B,mBAAmB;IACnB,sBAAsB;IACtB,0BAA0B;IAC1B,sBAAsB;IACtB,uBAAuB;IACvB,wBAAwB;CACzB,CAAC"}

package/dist/src/rules/no-east-data-builder-helper.d.ts

@@ -0,0 +1,3 @@
+import type { EastRule } from "../types.js";
+export declare const noEastDataBuilderHelper: EastRule;
+//# sourceMappingURL=no-east-data-builder-helper.d.ts.map

package/dist/src/rules/no-east-data-builder-helper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-east-data-builder-helper.d.ts","sourceRoot":"","sources":["../../../src/rules/no-east-data-builder-helper.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAyB,MAAM,aAAa,CAAC;AAiEnE,eAAO,MAAM,uBAAuB,EAAE,QAqCrC,CAAC"}

package/dist/src/rules/no-east-data-builder-helper.js

@@ -0,0 +1,90 @@
+import { isBlockBuilderType } from "../east-type.js";
+const NAME = "no-east-data-builder-helper";
+const CODE = 990011;
+const VALUE_CONSTRUCTORS = new Set(["variant", "some"]);
+// Is `expr` a hand-built East value constructor — `variant(...)`, `some(...)`,
+// `none`, or `East.value(...)`? These produce East data at TS evaluation time.
+function isEastValueConstructor(expr, t) {
+    if (t.isCallExpression(expr)) {
+        const callee = expr.expression;
+        if (t.isIdentifier(callee) && VALUE_CONSTRUCTORS.has(callee.text))
+            return true;
+        return (t.isPropertyAccessExpression(callee) &&
+            t.isIdentifier(callee.expression) &&
+            callee.expression.text === "East" &&
+            callee.name.text === "value");
+    }
+    return t.isIdentifier(expr) && expr.text === "none";
+}
+// The expressions a function/arrow returns, not descending into nested functions
+// (a concise arrow body counts as its single return).
+function returnExpressions(fn, t) {
+    if (fn.body === undefined)
+        return [];
+    if (!t.isBlock(fn.body))
+        return [fn.body];
+    const out = [];
+    const visit = (n) => {
+        if (t.isFunctionDeclaration(n) || t.isFunctionExpression(n) || t.isArrowFunction(n))
+            return;
+        if (t.isReturnStatement(n) && n.expression !== undefined)
+            out.push(n.expression);
+        t.forEachChild(n, visit);
+    };
+    t.forEachChild(fn.body, visit);
+    return out;
+}
+function isBuilderFunction(fn, ctx) {
+    const t = ctx.ts;
+    // East block callbacks (`($, x) => …`) take a BlockBuilder first; they are East
+    // callbacks, not TS-level data helpers — exclude them.
+    const first = fn.parameters[0];
+    if (first !== undefined && isBlockBuilderType(ctx.checker.getTypeAtLocation(first.name))) {
+        return false;
+    }
+    const returns = returnExpressions(fn, t);
+    return returns.length > 0 && returns.every((r) => isEastValueConstructor(r, t));
+}
+// A TS function/arrow whose whole job is to return a hand-built East value
+// (`variant`/`some`/`none`/`East.value`) is an authoring-time macro: it expands
+// inline at each call, it is not a real `East.function` (it cannot be serialized,
+// recursed, or sent to the engine), and it hides the East value's shape behind a
+// JS call. Inline the constructor at each call site (repetition is welcome) or,
+// when reuse is genuine, make it a real `East.function`. UI-composition helpers
+// returning JSX (`(l) => <Badge>{l}</Badge>`) and `East.function(…)` bindings are
+// structurally distinct (their bodies are not value constructors) and never match.
+export const noEastDataBuilderHelper = {
+    name: NAME,
+    code: CODE,
+    description: "Flag a TS helper whose only job is to return a hand-built East value (variant/some/none/East.value) — inline it or make it a real East.function.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        let fn;
+        let reportNode;
+        if (t.isFunctionDeclaration(node) && node.body !== undefined) {
+            fn = node;
+            reportNode = node.name ?? node;
+        }
+        else if (t.isVariableDeclaration(node) &&
+            node.initializer !== undefined &&
+            (t.isArrowFunction(node.initializer) || t.isFunctionExpression(node.initializer))) {
+            fn = node.initializer;
+            reportNode = node.name;
+        }
+        if (fn === undefined || reportNode === undefined)
+            return;
+        if (!isBuilderFunction(fn, ctx))
+            return;
+        const sf = ctx.sourceFile;
+        const start = reportNode.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: reportNode.getEnd() - start,
+            messageText: "This helper just returns a hand-built East value (`variant`/`some`/`none`/`East.value`), so it is an authoring-time macro, not a real East function. Inline the constructor at each call site (repetition is welcome), or make it a real `East.function` if you need a reusable East computation.",
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=no-east-data-builder-helper.js.map

package/dist/src/rules/no-east-data-builder-helper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-east-data-builder-helper.js","sourceRoot":"","sources":["../../../src/rules/no-east-data-builder-helper.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,IAAI,GAAG,6BAA6B,CAAC;AAC3C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAExD,+EAA+E;AAC/E,+EAA+E;AAC/E,SAAS,sBAAsB,CAAC,IAAmB,EAAE,CAAW;IAC9D,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/E,OAAO,CACL,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;YACpC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;YACjC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;YACjC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAC7B,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,sDAAsD;AACtD,SAAS,iBAAiB,CACxB,EAAqE,EACrE,CAAW;IAEX,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;YAAE,OAAO;QAC5F,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACjF,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAqE,EACrE,GAAgB;IAEhB,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,gFAAgF;IAChF,uDAAuD;IACvD,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACzF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACzC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,2EAA2E;AAC3E,gFAAgF;AAChF,kFAAkF;AAClF,iFAAiF;AACjF,gFAAgF;AAChF,gFAAgF;AAChF,kFAAkF;AAClF,mFAAmF;AACnF,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,kJAAkJ;IACpJ,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QAEjB,IAAI,EAAiF,CAAC;QACtF,IAAI,UAA+B,CAAC;QACpC,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7D,EAAE,GAAG,IAAI,CAAC;YACV,UAAU,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC;QACjC,CAAC;aAAM,IACL,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,IAAI,CAAC,WAAW,KAAK,SAAS;YAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EACjF,CAAC;YACD,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;YACtB,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,CAAC;QACD,IAAI,EAAE,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO;QAEzD,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,GAAG,CAAC;YAAE,OAAO;QAExC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,GAAG,KAAK;YACnC,WAAW,EACT,mSAAmS;YACrS,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-east-namespaced-type.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { EastRule } from "../types.js";
+export declare const noEastNamespacedType: EastRule;
+//# sourceMappingURL=no-east-namespaced-type.d.ts.map

package/dist/src/rules/no-east-namespaced-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-east-namespaced-type.d.ts","sourceRoot":"","sources":["../../../src/rules/no-east-namespaced-type.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAS5C,eAAO,MAAM,oBAAoB,EAAE,QAsBlC,CAAC"}

package/dist/src/rules/no-east-namespaced-type.js

@@ -0,0 +1,32 @@
+const NAME = "no-east-namespaced-type";
+const CODE = 990005;
+// East type constructors (IntegerType, ArrayType, …) are top-level exports, not
+// members of the `East` namespace object. `East.IntegerType` is already a type
+// error, but the native message dumps the entire `East` type; this gives a
+// clear, actionable one.
+export const noEastNamespacedType = {
+    name: NAME,
+    code: CODE,
+    description: "Disallow East.<X>Type member access; import the type directly from @elaraai/east.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        if (!t.isPropertyAccessExpression(node))
+            return;
+        if (!t.isIdentifier(node.expression) || node.expression.text !== "East")
+            return;
+        const name = node.name.text;
+        if (!name.endsWith("Type"))
+            return;
+        const sf = ctx.sourceFile;
+        const start = node.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: node.getEnd() - start,
+            messageText: `\`East.${name}\` is not a member of the East namespace — import \`${name}\` directly from @elaraai/east.`,
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=no-east-namespaced-type.js.map

package/dist/src/rules/no-east-namespaced-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-east-namespaced-type.js","sourceRoot":"","sources":["../../../src/rules/no-east-namespaced-type.ts"],"names":[],"mappings":"AAMA,MAAM,IAAI,GAAG,yBAAyB,CAAC;AACvC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,gFAAgF;AAChF,+EAA+E;AAC/E,2EAA2E;AAC3E,yBAAyB;AACzB,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EAAE,mFAAmF;IAChG,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC;YAAE,OAAO;QAChD,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAChF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO;QAEnC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EAAE,UAAU,IAAI,uDAAuD,IAAI,iCAAiC;YACvH,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-handrolled-variant.d.ts

@@ -0,0 +1,3 @@
+import type { EastRule } from "../types.js";
+export declare const noHandrolledVariant: EastRule;
+//# sourceMappingURL=no-handrolled-variant.d.ts.map

package/dist/src/rules/no-handrolled-variant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-handrolled-variant.d.ts","sourceRoot":"","sources":["../../../src/rules/no-handrolled-variant.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,aAAa,CAAC;AAuBzD,eAAO,MAAM,mBAAmB,EAAE,QAwBjC,CAAC"}

package/dist/src/rules/no-handrolled-variant.js

@@ -0,0 +1,45 @@
+const NAME = "no-handrolled-variant";
+const CODE = 990004;
+const VARIANT_TYPE_NAMES = new Set(["variant", "some", "none", "option", "VariantExpr"]);
+// Does `type` (or, for unions/intersections, any constituent) name an East
+// variant / option type? A hand-rolled `{ type, value }` lacks the brand symbol
+// East variants carry, so it drifts silently — flag it wherever a variant is
+// contextually expected.
+function expectsVariant(type) {
+    const stack = [type];
+    while (stack.length > 0) {
+        const current = stack.pop();
+        if (current === undefined)
+            continue;
+        const name = current.aliasSymbol?.name ?? current.symbol?.name;
+        if (name !== undefined && VARIANT_TYPE_NAMES.has(name))
+            return true;
+        if (current.isUnionOrIntersection())
+            stack.push(...current.types);
+    }
+    return false;
+}
+export const noHandrolledVariant = {
+    name: NAME,
+    code: CODE,
+    description: "Disallow plain object literals where an East variant/option is expected; use variant()/some()/none.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        if (!t.isObjectLiteralExpression(node))
+            return;
+        const contextualType = ctx.checker.getContextualType(node);
+        if (contextualType === undefined || !expectsVariant(contextualType))
+            return;
+        const sf = ctx.sourceFile;
+        const start = node.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: node.getEnd() - start,
+            messageText: 'Hand-rolled variant: build with `variant("Tag", value)`, `some(value)`, or `none` from @elaraai/east — never a plain `{ type, value }` object literal.',
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=no-handrolled-variant.js.map

package/dist/src/rules/no-handrolled-variant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-handrolled-variant.js","sourceRoot":"","sources":["../../../src/rules/no-handrolled-variant.ts"],"names":[],"mappings":"AAOA,MAAM,IAAI,GAAG,uBAAuB,CAAC;AACrC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAEzF,2EAA2E;AAC3E,gFAAgF;AAChF,6EAA6E;AAC7E,yBAAyB;AACzB,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,OAAO,CAAC,qBAAqB,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,qGAAqG;IACvG,KAAK,CAAC,IAAa,EAAE,GAAgB;QACnC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO;QAE/C,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC;YAAE,OAAO;QAE5E,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EACT,wJAAwJ;YAC1J,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-let-const-in-expression.d.ts

@@ -0,0 +1,3 @@
+import type { EastRule } from "../types.js";
+export declare const noLetConstInExpression: EastRule;
+//# sourceMappingURL=no-let-const-in-expression.d.ts.map

package/dist/src/rules/no-let-const-in-expression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-let-const-in-expression.d.ts","sourceRoot":"","sources":["../../../src/rules/no-let-const-in-expression.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAW5C,eAAO,MAAM,sBAAsB,EAAE,QA4CpC,CAAC"}