@elaraai/east-diagnostics 1.0.13 → 1.0.15

package/dist/src/rules/no-module-scope-east-macro.js

@@ -0,0 +1,150 @@
+import { isEastExprType, isBlockBuilderType } from "../east-type.js";
+import { insideBlockScope } from "../block-scope.js";
+import { chainRootReceiver } from "../east-ir.js";
+import { importsEastPackage } from "../east-source.js";
+const NAME = "no-module-scope-east-macro";
+const CODE = 990011;
+const VALUE_CONSTRUCTORS = new Set(["variant", "some"]);
+function unparen(e, t) {
+    let cur = e;
+    while (t.isParenthesizedExpression(cur))
+        cur = cur.expression;
+    return cur;
+}
+function isJsx(node, t) {
+    return t.isJsxElement(node) || t.isJsxFragment(node) || t.isJsxSelfClosingElement(node) || (t.isParenthesizedExpression(node) && isJsx(node.expression, t));
+}
+// An untagged template literal with interpolation — `\`${o}|${l}\`` (a composite
+// string key); `East.str\`…\`` is a tagged template and is NOT matched.
+function isHostTemplate(e, t) {
+    return t.isTemplateExpression(unparen(e, t));
+}
+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";
+}
+function isEastBuilderCall(call, ctx) {
+    const t = ctx.ts;
+    const callee = call.expression;
+    if (t.isIdentifier(callee) && VALUE_CONSTRUCTORS.has(callee.text))
+        return true;
+    const root = chainRootReceiver(callee, ctx);
+    if (t.isIdentifier(root) && root.text === "East")
+        return true;
+    return isBlockBuilderType(ctx.checker.getTypeAtLocation(root));
+}
+function containsEastBuilder(expr, ctx) {
+    const t = ctx.ts;
+    let found = false;
+    const visit = (n) => {
+        if (found)
+            return;
+        if (t.isCallExpression(n) && isEastBuilderCall(n, ctx)) {
+            found = true;
+            return;
+        }
+        t.forEachChild(n, visit);
+    };
+    visit(expr);
+    return found;
+}
+function returnBuildsEast(r, ctx) {
+    const t = ctx.ts;
+    if (isJsx(r, t))
+        return false;
+    if (isEastValueConstructor(r, t))
+        return true;
+    if (isEastExprType(ctx.checker.getTypeAtLocation(r)))
+        return true;
+    const root = chainRootReceiver(r, ctx);
+    const rootType = ctx.checker.getTypeAtLocation(root);
+    if (isEastExprType(rootType) || isBlockBuilderType(rootType))
+        return true;
+    return containsEastBuilder(r, ctx);
+}
+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;
+}
+// A module-scope (outside any East block) TS helper whose every return builds East
+// IR (`variant`/`some`/`none`/`East.value`/an `Expr` chain) OR builds a composite
+// string key from a host template literal (`(o, l) => \`${o}|${l}\``) is an
+// authoring-time macro and the signature of a string-keyed / hand-built-IR data
+// model. It cannot be serialized/recursed and expands inline at each call. Make it
+// a real `East.function`, or model the data with typed keys / nested East
+// structures. (In-block TS closures are flagged by `no-host-in-east-block`; this
+// rule covers the module-scope helpers that the block-scoped rule cannot see.)
+export const noModuleScopeEastMacro = {
+    name: NAME,
+    code: CODE,
+    description: "Flag a module-scope TS helper that builds East values/IR or a composite string key — make it a real East.function or model typed/nested East data.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        // Only in East/e3 source — a plain string-key helper in ordinary TypeScript is
+        // not our concern (the East-IR arm already implies an `@elaraai/*` import; this
+        // gates the composite-key heuristic against non-East code).
+        if (!importsEastPackage(ctx.sourceFile, t))
+            return;
+        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;
+        // In-block closures are `no-host-in-east-block`'s job; this rule is for the
+        // module-scope macros it can't see.
+        if (insideBlockScope(fn, ctx))
+            return;
+        // East block callbacks (`($, x) => …`) are not TS helpers.
+        const first = fn.parameters[0];
+        if (first !== undefined && isBlockBuilderType(ctx.checker.getTypeAtLocation(first.name)))
+            return;
+        const rs = returnExpressions(fn, t);
+        if (rs.some((r) => isJsx(r, t)))
+            return; // UI-composition helper
+        if (rs.length === 0)
+            return;
+        const everyBuildsEast = rs.every((r) => returnBuildsEast(r, ctx));
+        const everyHostKey = rs.every((r) => isHostTemplate(r, t));
+        if (!everyBuildsEast && !everyHostKey)
+            return;
+        const sf = ctx.sourceFile;
+        const start = reportNode.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: reportNode.getEnd() - start,
+            messageText: everyHostKey
+                ? "This helper builds a composite string key from a host template literal — the signature of a string-keyed data model. Model the data with typed keys / nested East structures instead."
+                : "This module-scope TS helper builds East values/IR — an authoring-time macro that expands inline and can't be serialized. Make it a real `East.function`, or inline it.",
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=no-module-scope-east-macro.js.map

package/dist/src/rules/no-module-scope-east-macro.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-module-scope-east-macro.js","sourceRoot":"","sources":["../../../src/rules/no-module-scope-east-macro.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,IAAI,GAAG,4BAA4B,CAAC;AAC1C,MAAM,IAAI,GAAG,MAAM,CAAC;AAGpB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAExD,SAAS,OAAO,CAAC,CAAgB,EAAE,CAAW;IAC5C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC9D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,KAAK,CAAC,IAAa,EAAE,CAAW;IACvC,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9J,CAAC;AAED,iFAAiF;AACjF,wEAAwE;AACxE,SAAS,cAAc,CAAC,CAAgB,EAAE,CAAW;IACnD,OAAO,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,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,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAC/I,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAuB,EAAE,GAAgB;IAClE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,OAAO,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,GAAgB;IAChE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACvD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAgB,EAAE,GAAgB;IAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,sBAAsB,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,cAAc,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,OAAO,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAU,EAAE,CAAW;IAChD,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,mFAAmF;AACnF,kFAAkF;AAClF,4EAA4E;AAC5E,gFAAgF;AAChF,mFAAmF;AACnF,0EAA0E;AAC1E,iFAAiF;AACjF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,oJAAoJ;IACtJ,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,+EAA+E;QAC/E,gFAAgF;QAChF,4DAA4D;QAC5D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QAEnD,IAAI,EAAsB,CAAC;QAC3B,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,4EAA4E;QAC5E,oCAAoC;QACpC,IAAI,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC;YAAE,OAAO;QAEtC,2DAA2D;QAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEjG,MAAM,EAAE,GAAG,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACpC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,wBAAwB;QACjE,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAE5B,MAAM,eAAe,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,MAAM,YAAY,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,eAAe,IAAI,CAAC,YAAY;YAAE,OAAO;QAE9C,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,EAAE,YAAY;gBACvB,CAAC,CAAC,uLAAuL;gBACzL,CAAC,CAAC,wKAAwK;YAC5K,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-redundant-east-cast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-redundant-east-cast.d.ts","sourceRoot":"","sources":["../../../src/rules/no-redundant-east-cast.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAU5C,eAAO,MAAM,mBAAmB,EAAE,QAkCjC,CAAC"}
+{"version":3,"file":"no-redundant-east-cast.d.ts","sourceRoot":"","sources":["../../../src/rules/no-redundant-east-cast.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAyB,MAAM,aAAa,CAAC;AAuCnE,eAAO,MAAM,mBAAmB,EAAE,QAgEjC,CAAC"}

package/dist/src/rules/no-redundant-east-cast.js

@@ -1,44 +1,82 @@
 import { matchBlockBuilderCall } from "../block-builder.js";
 const NAME = "no-redundant-east-cast";
 const CODE = 990001;
+/** Is `expr` exactly an `East.value(...)` call (not `East.value(...).foo`)? */
+function isEastValueCall(expr, t) {
+    if (!t.isCallExpression(expr))
+        return false;
+    const callee = expr.expression;
+    return (t.isPropertyAccessExpression(callee) &&
+        t.isIdentifier(callee.expression) &&
+        callee.expression.text === "East" &&
+        callee.name.text === "value");
+}
+function report(ctx, target, messageText, fixDescription, newText) {
+    const sf = ctx.sourceFile;
+    const start = target.getStart(sf);
+    const length = target.getEnd() - start;
+    ctx.report({
+        ruleName: NAME,
+        code: CODE,
+        start,
+        length,
+        messageText,
+        category: "warning",
+        fix: { description: fixDescription, changes: [{ start, length, newText }] },
+    });
+}
 // `$.let` / `$.const` two-arg overload is `(<T>(expr: SubtypeExprOrValue<NoInfer<T>>, type: T) => ...)`:
-// `NoInfer<T>` makes the East type argument drive inference, so a TS cast on the
-// value is dead weight. (The one-arg overload infers from the value, where a
-// cast *would* matter — hence we only fire when the type argument is present.)
+// `NoInfer<T>` makes the East type argument drive inference, so any TS type info on
+// the value is dead weight — a cast (`as …`/`<…>`), a constructor's generic
+// arguments (`new Map<K, V>()`), or an `East.value(x, T)` wrapper (the East type
+// belongs on `$.let`/`$.const`, not duplicated inside). Each restates a type the
+// East argument already governs and can silently drift from it.
 export const noRedundantEastCast = {
     name: NAME,
     code: CODE,
-    description: "Disallow a TypeScript cast on the value argument of $.let/$.const when the East type argument is present (the type argument already drives inference).",
+    description: "Disallow TypeScript type info on the value of $.let/$.const that the East type argument already governs (a cast, `new Map<K,V>()` generics, or an `East.value(x,T)` wrapper).",
     check(node, ctx) {
         const match = matchBlockBuilderCall(node, ctx);
-        if (match === undefined || match.args.length < 2)
+        if (match === undefined)
             return;
         const t = ctx.ts;
         const value = match.args[0];
         if (value === undefined)
             return;
-        let inner;
+        const sf = ctx.sourceFile;
+        // Arm B — `East.value(x, T)` as the WHOLE first arg (not a sub-term like
+        // `East.value(1.0).divide(x)`): the East type belongs on `$.let`/`$.const`.
+        // Lift the value (and the type, from whichever of $.let / East.value carries
+        // it) up so the binding reads `$.let(x, T)`.
+        if (isEastValueCall(value, t)) {
+            const inner = value.arguments[0];
+            if (inner === undefined)
+                return;
+            const typeArg = match.args[1] ?? value.arguments[1];
+            const receiverText = match.call.expression.getText(sf);
+            const newText = `${receiverText}(${inner.getText(sf)}${typeArg !== undefined ? `, ${typeArg.getText(sf)}` : ""})`;
+            report(ctx, match.call, `Redundant \`East.value(...)\` inside \`$.${match.method}\`: pass the value (and its East type) to \`$.${match.method}\` directly.`, "Lift the value and type out of East.value(...)", newText);
+            return;
+        }
+        // The remaining arms need the explicit East type argument present (the one-arg
+        // overload infers from the value, where TS type info would matter).
+        if (match.args.length < 2)
+            return;
+        // Existing arm — a TS cast on the value.
+        let cast;
         if (t.isAsExpression(value))
-            inner = value.expression;
+            cast = value.expression;
         else if (t.isTypeAssertionExpression(value))
-            inner = value.expression;
-        if (inner === undefined)
+            cast = value.expression;
+        if (cast !== undefined) {
+            report(ctx, value, `Redundant cast: \`$.${match.method}\` infers the value type from the East type argument; drop the \`as …\` on the value.`, "Remove redundant cast", cast.getText(sf));
             return;
-        const sf = ctx.sourceFile;
-        const start = value.getStart(sf);
-        const length = value.getEnd() - start;
-        ctx.report({
-            ruleName: NAME,
-            code: CODE,
-            start,
-            length,
-            messageText: `Redundant cast: \`$.${match.method}\` infers the value type from the East type argument; drop the \`as …\` on the value.`,
-            category: "warning",
-            fix: {
-                description: "Remove redundant cast",
-                changes: [{ start, length, newText: inner.getText(sf) }],
-            },
-        });
+        }
+        // Arm A — redundant constructor generics, `new Map<K, V>()` / `new Set<T>()`.
+        if (t.isNewExpression(value) && value.typeArguments !== undefined && value.typeArguments.length > 0) {
+            const ctorArgs = (value.arguments ?? []).map((a) => a.getText(sf)).join(", ");
+            report(ctx, value, `Redundant type arguments: \`$.${match.method}\` infers the value type from the East type argument; drop the \`<…>\` on \`new ${value.expression.getText(sf)}\`.`, "Remove redundant constructor type arguments", `new ${value.expression.getText(sf)}(${ctorArgs})`);
+        }
     },
 };
 //# sourceMappingURL=no-redundant-east-cast.js.map

package/dist/src/rules/no-redundant-east-cast.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-redundant-east-cast.js","sourceRoot":"","sources":["../../../src/rules/no-redundant-east-cast.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,MAAM,IAAI,GAAG,wBAAwB,CAAC;AACtC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,yGAAyG;AACzG,iFAAiF;AACjF,6EAA6E;AAC7E,+EAA+E;AAC/E,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,wJAAwJ;IAC1J,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;QAEzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAEhC,IAAI,KAAgC,CAAC;QACrC,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;YAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;aACjD,IAAI,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;QACtE,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAEhC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC;QACtC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM;YACN,WAAW,EAAE,uBAAuB,KAAK,CAAC,MAAM,uFAAuF;YACvI,QAAQ,EAAE,SAAS;YACnB,GAAG,EAAE;gBACH,WAAW,EAAE,uBAAuB;gBACpC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;aACzD;SACF,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-redundant-east-cast.js","sourceRoot":"","sources":["../../../src/rules/no-redundant-east-cast.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,MAAM,IAAI,GAAG,wBAAwB,CAAC;AACtC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,+EAA+E;AAC/E,SAAS,eAAe,CAAC,IAAmB,EAAE,CAAW;IACvD,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,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAC7B,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,GAAgB,EAAE,MAAe,EAAE,WAAmB,EAAE,cAAsB,EAAE,OAAe;IAC7G,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC;IACvC,GAAG,CAAC,MAAM,CAAC;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,IAAI;QACV,KAAK;QACL,MAAM;QACN,WAAW;QACX,QAAQ,EAAE,SAAS;QACnB,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE;KAC5E,CAAC,CAAC;AACL,CAAC;AAED,yGAAyG;AACzG,oFAAoF;AACpF,4EAA4E;AAC5E,iFAAiF;AACjF,iFAAiF;AACjF,gEAAgE;AAChE,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,+KAA+K;IACjL,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAE1B,yEAAyE;QACzE,4EAA4E;QAC5E,6EAA6E;QAC7E,6CAA6C;QAC7C,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO;YAChC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACpD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,GAAG,YAAY,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAClH,MAAM,CACJ,GAAG,EACH,KAAK,CAAC,IAAI,EACV,4CAA4C,KAAK,CAAC,MAAM,iDAAiD,KAAK,CAAC,MAAM,cAAc,EACnI,gDAAgD,EAChD,OAAO,CACR,CAAC;YACF,OAAO;QACT,CAAC;QAED,+EAA+E;QAC/E,oEAAoE;QACpE,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;QAElC,yCAAyC;QACzC,IAAI,IAA+B,CAAC;QACpC,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;aAChD,IAAI,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;QACrE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,CACJ,GAAG,EACH,KAAK,EACL,uBAAuB,KAAK,CAAC,MAAM,uFAAuF,EAC1H,uBAAuB,EACvB,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CACjB,CAAC;YACF,OAAO;QACT,CAAC;QAED,8EAA8E;QAC9E,IAAI,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpG,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9E,MAAM,CACJ,GAAG,EACH,KAAK,EACL,iCAAiC,KAAK,CAAC,MAAM,mFAAmF,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EACjK,6CAA6C,EAC7C,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,QAAQ,GAAG,CACnD,CAAC;QACJ,CAAC;IACH,CAAC;CACF,CAAC"}

package/dist/src/rules/no-relative-src-import.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-relative-src-import.d.ts","sourceRoot":"","sources":["../../../src/rules/no-relative-src-import.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAW5C,eAAO,MAAM,mBAAmB,EAAE,QA6BjC,CAAC"}
+{"version":3,"file":"no-relative-src-import.d.ts","sourceRoot":"","sources":["../../../src/rules/no-relative-src-import.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAe5C,eAAO,MAAM,mBAAmB,EAAE,QA+BjC,CAAC"}

package/dist/src/rules/no-relative-src-import.js

@@ -1,10 +1,14 @@
+import { resolvesWithinOwnPackage } from "../east-source.js";
 const NAME = "no-relative-src-import";
 const CODE = 990007;
 const DEEP_PACKAGE_SRC = /^@elaraai\/[^/]+\/src(\/|$)/;
 const RELATIVE_SRC = /\/src(\/|$)/;
 // Tests and examples must import East packages by their published name
-// (`@elaraai/east`), not reach into a package's `src/` via a relative path or a
-// deep `/src` specifier — those bypass the package's public API surface.
+// (`@elaraai/east`), not reach into ANOTHER package's `src/` via a relative path or
+// a deep `/src` specifier — those bypass the package's public API surface. A
+// package importing its OWN `src` relatively (`../src/index.js` from its tests) is
+// the one legitimate case — it cannot import its own published name — so the
+// relative branch is exempt when the path stays inside the importing package.
 export const noRelativeSrcImport = {
     name: NAME,
     code: CODE,
@@ -25,6 +29,9 @@ export const noRelativeSrcImport = {
         const deepPackageSrc = DEEP_PACKAGE_SRC.test(text);
         if (!relativeIntoSrc && !deepPackageSrc)
             return;
+        // A package importing its OWN `src` relatively is the one legitimate case.
+        if (relativeIntoSrc && !deepPackageSrc && resolvesWithinOwnPackage(ctx.sourceFile.fileName, text))
+            return;
         const sf = ctx.sourceFile;
         const start = specifier.getStart(sf);
         ctx.report({

package/dist/src/rules/no-relative-src-import.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-relative-src-import.js","sourceRoot":"","sources":["../../../src/rules/no-relative-src-import.ts"],"names":[],"mappings":"AAOA,MAAM,IAAI,GAAG,wBAAwB,CAAC;AACtC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,gBAAgB,GAAG,6BAA6B,CAAC;AACvD,MAAM,YAAY,GAAG,aAAa,CAAC;AAEnC,uEAAuE;AACvE,gFAAgF;AAChF,yEAAyE;AACzE,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EAAE,6EAA6E;IAC1F,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,SAAoC,CAAC;QACzC,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC;aAC7D,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC;;YAClE,OAAO;QAEZ,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC;YAAE,OAAO;QACrE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;QAC5B,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,eAAe,IAAI,CAAC,cAAc;YAAE,OAAO;QAEhD,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,KAAK;YAClC,WAAW,EACT,gIAAgI;YAClI,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-relative-src-import.js","sourceRoot":"","sources":["../../../src/rules/no-relative-src-import.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,MAAM,IAAI,GAAG,wBAAwB,CAAC;AACtC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,gBAAgB,GAAG,6BAA6B,CAAC;AACvD,MAAM,YAAY,GAAG,aAAa,CAAC;AAEnC,uEAAuE;AACvE,oFAAoF;AACpF,6EAA6E;AAC7E,mFAAmF;AACnF,6EAA6E;AAC7E,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EAAE,6EAA6E;IAC1F,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,SAAoC,CAAC;QACzC,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC;aAC7D,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC;;YAClE,OAAO;QAEZ,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC;YAAE,OAAO;QACrE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;QAC5B,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,eAAe,IAAI,CAAC,cAAc;YAAE,OAAO;QAChD,2EAA2E;QAC3E,IAAI,eAAe,IAAI,CAAC,cAAc,IAAI,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC;YAAE,OAAO;QAE1G,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,KAAK;YAClC,WAAW,EACT,gIAAgI;YAClI,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-unexecuted-east-expression.d.ts

@@ -1,3 +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 noUnexecutedEastExpression: EastRule;
 //# sourceMappingURL=no-unexecuted-east-expression.d.ts.map

package/dist/src/rules/no-unexecuted-east-expression.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-unexecuted-east-expression.d.ts","sourceRoot":"","sources":["../../../src/rules/no-unexecuted-east-expression.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAY5C,eAAO,MAAM,0BAA0B,EAAE,QAuCxC,CAAC"}
+{"version":3,"file":"no-unexecuted-east-expression.d.ts","sourceRoot":"","sources":["../../../src/rules/no-unexecuted-east-expression.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAa5C,eAAO,MAAM,0BAA0B,EAAE,QA8BxC,CAAC"}

package/dist/src/rules/no-unexecuted-east-expression.js

@@ -1,4 +1,5 @@
 import { isEastExprType, isBlockBuilderType } from "../east-type.js";
+import { chainRootReceiver } from "../east-ir.js";
 const NAME = "no-unexecuted-east-expression";
 const CODE = 990009;
 // A bare expression statement whose value is an East `Expr` is dead: East
@@ -19,18 +20,7 @@ export const noUnexecutedEastExpression = {
         // Exclude any statement rooted in the block builder `$`: `$(...)`, `$.if(...)`,
         // chained `$.if(...).else(...)`, `$.try(...).catch(...)`, etc. Walk down the
         // call/member chain to its base receiver and check that.
-        let root = expr;
-        for (;;) {
-            if (t.isCallExpression(root)) {
-                root = root.expression;
-            }
-            else if (t.isPropertyAccessExpression(root) || t.isElementAccessExpression(root)) {
-                root = root.expression;
-            }
-            else {
-                break;
-            }
-        }
+        const root = chainRootReceiver(expr, ctx);
         if (isBlockBuilderType(ctx.checker.getTypeAtLocation(root)))
             return;
         if (!isEastExprType(ctx.checker.getTypeAtLocation(expr)))

package/dist/src/rules/no-unexecuted-east-expression.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-unexecuted-east-expression.js","sourceRoot":"","sources":["../../../src/rules/no-unexecuted-east-expression.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErE,MAAM,IAAI,GAAG,+BAA+B,CAAC;AAC7C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,0EAA0E;AAC1E,8EAA8E;AAC9E,0EAA0E;AAC1E,+EAA+E;AAC/E,0EAA0E;AAC1E,gEAAgE;AAChE,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,oGAAoG;IACtG,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAAE,OAAO;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAE7B,gFAAgF;QAChF,6EAA6E;QAC7E,yDAAyD;QACzD,IAAI,IAAI,GAAY,IAAI,CAAC;QACzB,SAAS,CAAC;YACR,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YACzB,CAAC;iBAAM,IAAI,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnF,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEpE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEjE,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,0JAA0J;YAC5J,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-unexecuted-east-expression.js","sourceRoot":"","sources":["../../../src/rules/no-unexecuted-east-expression.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,IAAI,GAAG,+BAA+B,CAAC;AAC7C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,0EAA0E;AAC1E,8EAA8E;AAC9E,0EAA0E;AAC1E,+EAA+E;AAC/E,0EAA0E;AAC1E,gEAAgE;AAChE,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,oGAAoG;IACtG,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAAE,OAAO;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAE7B,gFAAgF;QAChF,6EAA6E;QAC7E,yDAAyD;QACzD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEpE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEjE,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,0JAA0J;YAC5J,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/tsserver-plugin.d.ts

@@ -1,3 +1,7 @@
+/**
+ * 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 { TsModule } from "./types.js";
 /** Structural subset of `ts.server.PluginCreateInfo` — keeps the package free

package/dist/src/tsserver-plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tsserver-plugin.d.ts","sourceRoot":"","sources":["../../src/tsserver-plugin.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAW3C;2CAC2C;AAC3C,MAAM,WAAW,wBAAwB;IACvC,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC;IACpC,OAAO,EAAE;QAAE,mBAAmB,IAAI,MAAM,CAAA;KAAE,CAAC;IAC3C,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;CAC3C;AA8BD;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,OAAO,EAAE;IAAE,UAAU,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,MAAM,CAAC,IAAI,EAAE,wBAAwB,GAAG,EAAE,CAAC,eAAe,CAAA;CAAE,CAuDtH;AAED,eAAe,IAAI,CAAC"}
+{"version":3,"file":"tsserver-plugin.d.ts","sourceRoot":"","sources":["../../src/tsserver-plugin.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAW3C;2CAC2C;AAC3C,MAAM,WAAW,wBAAwB;IACvC,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC;IACpC,OAAO,EAAE;QAAE,mBAAmB,IAAI,MAAM,CAAA;KAAE,CAAC;IAC3C,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;CAC3C;AAQD;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,OAAO,EAAE;IAAE,UAAU,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,MAAM,CAAC,IAAI,EAAE,wBAAwB,GAAG,EAAE,CAAC,eAAe,CAAA;CAAE,CAyDtH;AAED,eAAe,IAAI,CAAC"}

package/dist/src/tsserver-plugin.js

@@ -1,9 +1,3 @@
-/**
- * Copyright (c) 2025 Elara AI Pty Ltd
- * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
- */
-import { existsSync, readFileSync } from "node:fs";
-import { dirname, join, resolve } from "node:path";
 import { runEastRules } from "./run.js";
 import { getEastModule } from "./east-module.js";
 import { ASSIGNABILITY_CODES, rewriteEastAssignability } from "./type-diff-rewrite.js";
@@ -12,29 +6,6 @@ const CATEGORY = {
     warning: "Warning",
     suggestion: "Suggestion",
 };
-// First-party @elaraai/* library src legitimately uses East-construction
-// patterns the rules flag (every component factory looks like the
-// data-builder antipattern) — same editor policy as the Claude plugin hook.
-function isElaraaiPackageSrc(filePath) {
-    const file = resolve(filePath);
-    let dir = dirname(file);
-    for (;;) {
-        const candidate = join(dir, "package.json");
-        if (existsSync(candidate)) {
-            try {
-                const name = JSON.parse(readFileSync(candidate, "utf-8")).name;
-                return typeof name === "string" && name.startsWith("@elaraai/") && file.startsWith(join(dir, "src") + "/");
-            }
-            catch {
-                return false;
-            }
-        }
-        const parent = dirname(dir);
-        if (parent === dir)
-            return false;
-        dir = parent;
-    }
-}
 /**
  * tsserver plugin factory. Loaded by the TypeScript server via a
  * `typescriptServerPlugins` contribution (VS Code) or a tsconfig
@@ -64,19 +35,21 @@ export function init(modules) {
                         const rewritten = rewriteEastAssignability(t, program, sourceFile, d, east);
                         return rewritten === undefined ? d : { ...d, messageText: rewritten };
                     });
-                    if (!isElaraaiPackageSrc(fileName)) {
-                        const ruleDiagnostics = runEastRules(t, program, sourceFile, program.getTypeChecker(), info.config?.disabled !== undefined ? { disabled: info.config.disabled } : {});
-                        for (const d of ruleDiagnostics) {
-                            diagnostics.push({
-                                file: sourceFile,
-                                start: d.start,
-                                length: d.length,
-                                messageText: `${d.messageText} (${d.ruleName})`,
-                                category: t.DiagnosticCategory[CATEGORY[d.category]],
-                                code: d.code,
-                                source: "east",
-                            });
-                        }
+                    // The rules self-gate on East-ness (an East type/block/e3 construct, or
+                    // an `@elaraai/*` import), so they only fire where there is actually East
+                    // code — no package-identity restriction. Per-project suppression is the
+                    // `disabled` config, like any linter.
+                    const ruleDiagnostics = runEastRules(t, program, sourceFile, program.getTypeChecker(), info.config?.disabled !== undefined ? { disabled: info.config.disabled } : {});
+                    for (const d of ruleDiagnostics) {
+                        diagnostics.push({
+                            file: sourceFile,
+                            start: d.start,
+                            length: d.length,
+                            messageText: `${d.messageText} (${d.ruleName})`,
+                            category: t.DiagnosticCategory[CATEGORY[d.category]],
+                            code: d.code,
+                            source: "east",
+                        });
                     }
                     return diagnostics;
                 }

package/dist/src/tsserver-plugin.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsserver-plugin.js","sourceRoot":"","sources":["../../src/tsserver-plugin.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAInD,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAevF,MAAM,QAAQ,GAAuE;IACnF,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,YAAY;CACzB,CAAC;AAEF,yEAAyE;AACzE,kEAAkE;AAClE,4EAA4E;AAC5E,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxB,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,IAAI,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAuB,CAAC,IAAI,CAAC;gBACtF,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;YAC7G,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QACjC,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAAC,OAAiC;IACpD,MAAM,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;IAC7B,OAAO;QACL,MAAM,CAAC,IAA8B;YACnC,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAuB,CAAC;YACxD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAiC,EAAE,CAAC;gBAClE,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAA+C,CAAC;gBACpE,KAA4C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAe,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACtG,CAAC;YAED,KAAK,CAAC,sBAAsB,GAAG,CAAC,QAAgB,EAAmB,EAAE;gBACnE,MAAM,KAAK,GAAG,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;gBAClD,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC;oBAChC,MAAM,UAAU,GAAG,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;oBACpD,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;wBAAE,OAAO,KAAK,CAAC;oBAEpE,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;oBAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;wBAClC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;4BAAE,OAAO,CAAC,CAAC;wBACrE,MAAM,SAAS,GAAG,wBAAwB,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;wBAC5E,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;oBACxE,CAAC,CAAC,CAAC;oBAEH,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACnC,MAAM,eAAe,GAAG,YAAY,CAClC,CAAC,EACD,OAAO,EACP,UAAU,EACV,OAAO,CAAC,cAAc,EAAE,EACxB,IAAI,CAAC,MAAM,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAC9E,CAAC;wBACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;4BAChC,WAAW,CAAC,IAAI,CAAC;gCACf,IAAI,EAAE,UAAU;gCAChB,KAAK,EAAE,CAAC,CAAC,KAAK;gCACd,MAAM,EAAE,CAAC,CAAC,MAAM;gCAChB,WAAW,EAAE,GAAG,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,QAAQ,GAAG;gCAC/C,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gCACpD,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,MAAM,EAAE,MAAM;6BACf,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;oBACD,OAAO,WAAW,CAAC;gBACrB,CAAC;gBAAC,MAAM,CAAC;oBACP,iDAAiD;oBACjD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC,CAAC;YAEF,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC;AAED,eAAe,IAAI,CAAC"}
+{"version":3,"file":"tsserver-plugin.js","sourceRoot":"","sources":["../../src/tsserver-plugin.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAevF,MAAM,QAAQ,GAAuE;IACnF,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,YAAY;CACzB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAAC,OAAiC;IACpD,MAAM,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;IAC7B,OAAO;QACL,MAAM,CAAC,IAA8B;YACnC,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAuB,CAAC;YACxD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAiC,EAAE,CAAC;gBAClE,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAA+C,CAAC;gBACpE,KAA4C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAe,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACtG,CAAC;YAED,KAAK,CAAC,sBAAsB,GAAG,CAAC,QAAgB,EAAmB,EAAE;gBACnE,MAAM,KAAK,GAAG,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;gBAClD,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC;oBAChC,MAAM,UAAU,GAAG,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;oBACpD,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;wBAAE,OAAO,KAAK,CAAC;oBAEpE,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;oBAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;wBAClC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;4BAAE,OAAO,CAAC,CAAC;wBACrE,MAAM,SAAS,GAAG,wBAAwB,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;wBAC5E,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;oBACxE,CAAC,CAAC,CAAC;oBAEH,wEAAwE;oBACxE,0EAA0E;oBAC1E,yEAAyE;oBACzE,sCAAsC;oBACtC,MAAM,eAAe,GAAG,YAAY,CAClC,CAAC,EACD,OAAO,EACP,UAAU,EACV,OAAO,CAAC,cAAc,EAAE,EACxB,IAAI,CAAC,MAAM,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAC9E,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;wBAChC,WAAW,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,UAAU;4BAChB,KAAK,EAAE,CAAC,CAAC,KAAK;4BACd,MAAM,EAAE,CAAC,CAAC,MAAM;4BAChB,WAAW,EAAE,GAAG,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,QAAQ,GAAG;4BAC/C,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;4BACpD,IAAI,EAAE,CAAC,CAAC,IAAI;4BACZ,MAAM,EAAE,MAAM;yBACf,CAAC,CAAC;oBACL,CAAC;oBACD,OAAO,WAAW,CAAC;gBACrB,CAAC;gBAAC,MAAM,CAAC;oBACP,iDAAiD;oBACjD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC,CAAC;YAEF,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC;AAED,eAAe,IAAI,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elaraai/east-diagnostics",
-  "version": "1.0.13",
+  "version": "1.0.15",
   "license": "AGPL-3.0-or-later",
   "type": "module",
   "description": "East-aware diagnostic rules over the TypeScript checker — one shared engine for the editor (tsserver plugin), the agent (headless daemon), and CI.",
@@ -44,7 +44,8 @@
   "devDependencies": {
     "@types/node": "^22.18.1",
     "typescript": "~5.9.2",
-    "@elaraai/east": "1.0.13"
+    "@elaraai/east": "1.0.15",
+    "@elaraai/e3": "1.0.15"
   },
   "scripts": {
     "build": "tsc",

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

@@ -1,3 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,90 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}