@elaraai/east-diagnostics 1.0.4 → 1.0.5

package/dist/src/type-reify.js

@@ -0,0 +1,299 @@
+// East's TS-level encoding tags `{ type: "Struct", fields: … }` etc. Each tag
+// maps to the companion property the encoding carries (see east's types.ts).
+const PRIMITIVE_TAGS = new Set(["Never", "Null", "Boolean", "Integer", "Float", "String", "DateTime", "Blob"]);
+const MAX_DEPTH = 32;
+class Bail extends Error {
+}
+function bail() {
+    throw new Bail();
+}
+function propType(ctx, type, name) {
+    const symbol = ctx.checker.getPropertyOfType(type, name);
+    if (symbol === undefined)
+        return undefined;
+    return ctx.checker.getTypeOfSymbol(symbol);
+}
+function literalString(type) {
+    return type !== undefined && type.isStringLiteral() ? type.value : undefined;
+}
+function typeArguments(ctx, type) {
+    const { t, checker } = ctx;
+    if ((type.flags & t.TypeFlags.Object) === 0)
+        return [];
+    if ((type.objectFlags & t.ObjectFlags.Reference) === 0)
+        return [];
+    return checker.getTypeArguments(type);
+}
+// Strip `undefined`/`null`-flag members (optional properties) from a union
+// before reifying — East types have no undefined.
+function stripAbsent(ctx, type) {
+    const members = type.isUnion() ? type.types : [type];
+    return members.filter((m) => (m.flags & (ctx.t.TypeFlags.Undefined | ctx.t.TypeFlags.Void)) === 0);
+}
+function reifyUnion(ctx, members) {
+    const reified = [];
+    for (const m of members) {
+        try {
+            reified.push(walk(ctx, m));
+        }
+        catch (e) {
+            if (!(e instanceof Bail))
+                throw e;
+            // Unreifiable member (e.g. the callback form in SubtypeExprOrValue) — skip.
+        }
+    }
+    if (reified.length === 0)
+        bail();
+    // East constructors intern, so structurally identical members are identical.
+    const distinct = [...new Set(reified)];
+    // SubtypeExprOrValue unions always admit Expr<NeverType>; the bottom type is
+    // never the informative member when anything else reified.
+    const nonNever = distinct.filter((r) => r !== ctx.east.NeverType);
+    const candidates = nonNever.length > 0 ? nonNever : distinct;
+    if (candidates.length === 1)
+        return candidates[0];
+    // Several distinct members (e.g. the per-case variant forms alongside
+    // Expr<VariantType<…>>): fold to the least upper bound when one exists.
+    try {
+        return candidates.reduce((a, b) => ctx.east.TypeUnion(a, b));
+    }
+    catch {
+        bail();
+    }
+}
+function structFromProperties(ctx, type) {
+    const fields = {};
+    for (const prop of ctx.checker.getPropertiesOfType(type)) {
+        const name = prop.getName();
+        if (name.startsWith("__@"))
+            continue; // unique-symbol members (type ids etc.)
+        fields[name] = walk(ctx, ctx.checker.getTypeOfSymbol(prop));
+    }
+    return ctx.east.StructType(fields);
+}
+function reifyEncoding(ctx, type, tag) {
+    const { east, checker } = ctx;
+    if (PRIMITIVE_TAGS.has(tag))
+        return east[`${tag}Type`];
+    switch (tag) {
+        case "Ref": {
+            const v = propType(ctx, type, "value") ?? bail();
+            return east.RefType(walk(ctx, v));
+        }
+        case "Array": {
+            const v = propType(ctx, type, "value") ?? bail();
+            return east.ArrayType(walk(ctx, v));
+        }
+        case "Set": {
+            const k = propType(ctx, type, "key") ?? bail();
+            return east.SetType(walk(ctx, k));
+        }
+        case "Dict": {
+            const k = propType(ctx, type, "key") ?? bail();
+            const v = propType(ctx, type, "value") ?? bail();
+            return east.DictType(walk(ctx, k), walk(ctx, v));
+        }
+        case "Vector": {
+            const e = propType(ctx, type, "element") ?? bail();
+            return east.VectorType(walk(ctx, e));
+        }
+        case "Matrix": {
+            const e = propType(ctx, type, "element") ?? bail();
+            return east.MatrixType(walk(ctx, e));
+        }
+        case "Struct": {
+            const fieldsType = propType(ctx, type, "fields") ?? bail();
+            const fields = {};
+            for (const prop of checker.getPropertiesOfType(fieldsType)) {
+                const name = prop.getName();
+                if (name.startsWith("__@"))
+                    continue;
+                fields[name] = reifyUnion(ctx, stripAbsent(ctx, checker.getTypeOfSymbol(prop)));
+            }
+            return east.StructType(fields);
+        }
+        case "Variant": {
+            const casesType = propType(ctx, type, "cases") ?? bail();
+            const cases = {};
+            for (const prop of checker.getPropertiesOfType(casesType)) {
+                const name = prop.getName();
+                if (name.startsWith("__@"))
+                    continue;
+                cases[name] = reifyUnion(ctx, stripAbsent(ctx, checker.getTypeOfSymbol(prop)));
+            }
+            return east.VariantType(cases);
+        }
+        case "Function":
+        case "AsyncFunction": {
+            const inputsType = propType(ctx, type, "inputs") ?? bail();
+            if (!checker.isTupleType(inputsType))
+                bail();
+            const inputs = typeArguments(ctx, inputsType).map((i) => walk(ctx, i));
+            const output = walk(ctx, propType(ctx, type, "output") ?? bail());
+            return tag === "Function" ? east.FunctionType(inputs, output) : east.AsyncFunctionType(inputs, output);
+        }
+        case "Recursive": {
+            const node = propType(ctx, type, "node");
+            // The bare marker `{ type: "Recursive" }` is a self-reference to the
+            // innermost RecursiveType scope being built.
+            if (node === undefined) {
+                if (ctx.selves.length === 0)
+                    bail();
+                return ctx.selves[ctx.selves.length - 1];
+            }
+            return ctx.east.RecursiveType((self) => {
+                ctx.selves.push(self);
+                try {
+                    return walk(ctx, node);
+                }
+                finally {
+                    ctx.selves.pop();
+                }
+            });
+        }
+        default:
+            bail();
+    }
+}
+// Plain JS values are accepted wherever SubtypeExprOrValue admits them — map
+// the common ones the way east's TypeOf<> does.
+function reifyRawValue(ctx, type) {
+    const { t, east, checker } = ctx;
+    const f = type.flags;
+    if (f & (t.TypeFlags.BigInt | t.TypeFlags.BigIntLiteral))
+        return east.IntegerType;
+    if (f & (t.TypeFlags.Number | t.TypeFlags.NumberLiteral))
+        return east.FloatType;
+    if (f & (t.TypeFlags.String | t.TypeFlags.StringLiteral | t.TypeFlags.TemplateLiteral))
+        return east.StringType;
+    if (f & (t.TypeFlags.Boolean | t.TypeFlags.BooleanLiteral))
+        return east.BooleanType;
+    if (f & t.TypeFlags.Null)
+        return east.NullType;
+    if ((f & t.TypeFlags.Object) === 0)
+        bail();
+    const name = type.getSymbol()?.getName();
+    switch (name) {
+        case "Date": return east.DateTimeType;
+        case "Uint8Array": return east.BlobType;
+        case "Float64Array": return east.VectorType(east.FloatType);
+        case "BigInt64Array": return east.VectorType(east.IntegerType);
+        case "Uint8ClampedArray": return east.VectorType(east.BooleanType);
+        case "Array":
+        case "ReadonlyArray": {
+            const [el] = typeArguments(ctx, type);
+            if (el === undefined)
+                bail();
+            return east.ArrayType(reifyUnion(ctx, stripAbsent(ctx, el)));
+        }
+        case "Set":
+        case "ReadonlySet": {
+            const [el] = typeArguments(ctx, type);
+            if (el === undefined)
+                bail();
+            return east.SetType(reifyUnion(ctx, stripAbsent(ctx, el)));
+        }
+        case "Map":
+        case "ReadonlyMap": {
+            const [k, v] = typeArguments(ctx, type);
+            if (k === undefined || v === undefined)
+                bail();
+            return east.DictType(reifyUnion(ctx, stripAbsent(ctx, k)), reifyUnion(ctx, stripAbsent(ctx, v)));
+        }
+        default: break;
+    }
+    if (checker.isTupleType(type)) {
+        const elements = typeArguments(ctx, type).map((e) => reifyUnion(ctx, stripAbsent(ctx, e)));
+        const distinct = new Set(elements);
+        if (distinct.size !== 1)
+            bail();
+        return east.ArrayType(elements[0]);
+    }
+    // A plain object literal is a struct value. Anything callable/indexed isn't.
+    if (type.getCallSignatures().length > 0 || type.getConstructSignatures().length > 0)
+        bail();
+    if (checker.getIndexInfosOfType(type).length > 0)
+        bail();
+    const props = checker.getPropertiesOfType(type);
+    if (props.length === 0)
+        bail();
+    const fields = {};
+    for (const prop of props) {
+        const propName = prop.getName();
+        if (propName.startsWith("__@"))
+            continue;
+        fields[propName] = reifyUnion(ctx, stripAbsent(ctx, checker.getTypeOfSymbol(prop)));
+    }
+    return east.StructType(fields);
+}
+function walk(ctx, type) {
+    if (++ctx.depth > MAX_DEPTH)
+        bail();
+    try {
+        if (type.isUnion())
+            return reifyUnion(ctx, stripAbsent(ctx, type));
+        // Expr<T> and every subclass carry their East type as the unique-symbol
+        // property [TypeSymbol] — instantiated by the checker, so reading it
+        // handles IntegerExpr, StructExpr<…>, BlockBuilder lets, all of them.
+        const properties = type.getProperties();
+        const exprTypeProp = properties.find((p) => p.getName().startsWith("__@TypeSymbol"));
+        if (exprTypeProp !== undefined) {
+            ctx.sawEastShape = true;
+            return walk(ctx, ctx.checker.getTypeOfSymbol(exprTypeProp));
+        }
+        // The branded value containers. variant must be recognised before the
+        // encoding-tag check: its `type` property is the *case name*, and e.g.
+        // variant("Array", …) would otherwise be misread as an ArrayType encoding.
+        if (properties.some((p) => p.getName().startsWith("__@variant_symbol"))) {
+            const caseName = literalString(propType(ctx, type, "type")) ?? bail();
+            const payload = propType(ctx, type, "value") ?? bail();
+            ctx.sawEastShape = true;
+            return ctx.east.VariantType({ [caseName]: reifyUnion(ctx, stripAbsent(ctx, payload)) });
+        }
+        if (properties.some((p) => p.getName().startsWith("__@ref_symbol"))) {
+            const v = propType(ctx, type, "value") ?? bail();
+            ctx.sawEastShape = true;
+            return ctx.east.RefType(reifyUnion(ctx, stripAbsent(ctx, v)));
+        }
+        const tag = literalString(propType(ctx, type, "type"));
+        if (tag !== undefined) {
+            try {
+                const result = reifyEncoding(ctx, type, tag);
+                ctx.sawEastShape = true;
+                return result;
+            }
+            catch (e) {
+                if (!(e instanceof Bail))
+                    throw e;
+                // Not actually an encoding (e.g. a struct *value* with a `type` field)
+                // — fall through to the raw-value mapping.
+            }
+        }
+        return reifyRawValue(ctx, type);
+    }
+    finally {
+        ctx.depth--;
+    }
+}
+/**
+ * Reify the TypeScript type of an East-related expression into an `EastType`
+ * built with the project's own `@elaraai/east` constructors (so it is interned
+ * and directly usable with `diffTypes`). Handles `Expr<T>` and subclasses (via
+ * the `[TypeSymbol]` property), the `{ type: "…" }` type encodings including
+ * recursive types, the raw-value forms `SubtypeExprOrValue` admits, and unions
+ * of those. Returns `undefined` for anything it cannot map faithfully.
+ */
+export function reifyEastType(t, checker, type, east) {
+    const ctx = { t, checker, east, depth: 0, selves: [], sawEastShape: false };
+    try {
+        return { type: walk(ctx, type), eastShaped: ctx.sawEastShape };
+    }
+    catch (e) {
+        if (e instanceof Bail)
+            return undefined;
+        // Constructor invariants (e.g. RecursiveType SCC checks) can throw on
+        // shapes the checker permits — treat as unreifiable, never crash a host.
+        return undefined;
+    }
+}
+//# sourceMappingURL=type-reify.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-reify.js","sourceRoot":"","sources":["../../src/type-reify.ts"],"names":[],"mappings":"AAQA,8EAA8E;AAC9E,6EAA6E;AAC7E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;AAE/G,MAAM,SAAS,GAAG,EAAE,CAAC;AAErB,MAAM,IAAK,SAAQ,KAAK;CAAG;AAc3B,SAAS,IAAI;IACX,MAAM,IAAI,IAAI,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,GAAQ,EAAE,IAAa,EAAE,IAAY;IACrD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,aAAa,CAAC,IAAyB;IAC9C,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/E,CAAC;AAED,SAAS,aAAa,CAAC,GAAQ,EAAE,IAAa;IAC5C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvD,IAAI,CAAE,IAAsB,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrF,OAAO,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC;AAC5D,CAAC;AAED,2EAA2E;AAC3E,kDAAkD;AAClD,SAAS,WAAW,CAAC,GAAQ,EAAE,IAAa;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,UAAU,CAAC,GAAQ,EAAE,OAA2B;IACvD,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC;gBAAE,MAAM,CAAC,CAAC;YAClC,4EAA4E;QAC9E,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,EAAE,CAAC;IACjC,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACvC,6EAA6E;IAC7E,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAClD,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC;IACT,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAQ,EAAE,IAAa;IACnD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,SAAS,CAAC,wCAAwC;QAC9E,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,aAAa,CAAC,GAAQ,EAAE,IAAa,EAAE,GAAW;IACzD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IAC9B,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,GAAG,MAAqB,CAAC,CAAC;IACtE,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;YAC3D,MAAM,MAAM,GAA4B,EAAE,CAAC;YAC3C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACrC,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACzD,MAAM,KAAK,GAA4B,EAAE,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACrC,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;YAC3D,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC;gBAAE,IAAI,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAClE,OAAO,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzG,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACzC,qEAAqE;YACrE,6CAA6C;YAC7C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;oBAAE,IAAI,EAAE,CAAC;gBACpC,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE;gBACrC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,IAAI,CAAC;oBACH,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACzB,CAAC;wBAAS,CAAC;oBACT,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;gBACnB,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QACD;YACE,IAAI,EAAE,CAAC;IACX,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,gDAAgD;AAChD,SAAS,aAAa,CAAC,GAAQ,EAAE,IAAa;IAC5C,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IAClF,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC;IAChF,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC;IAC/G,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IACpF,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;IAC/C,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,IAAI,EAAE,CAAC;IAE3C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC;IACzC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC;QACtC,KAAK,YAAY,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC;QACxC,KAAK,cAAc,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5D,KAAK,eAAe,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/D,KAAK,mBAAmB,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnE,KAAK,OAAO,CAAC;QAAC,KAAK,eAAe,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,IAAI,EAAE,KAAK,SAAS;gBAAE,IAAI,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,KAAK,CAAC;QAAC,KAAK,aAAa,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,IAAI,EAAE,KAAK,SAAS;gBAAE,IAAI,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,KAAK,KAAK,CAAC;QAAC,KAAK,aAAa,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,IAAI,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnG,CAAC;QACD,OAAO,CAAC,CAAC,MAAM;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;YAAE,IAAI,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,6EAA6E;IAC7E,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,EAAE,CAAC;IAC5F,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,EAAE,CAAC;IAC/B,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,SAAS;QACzC,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,IAAI,CAAC,GAAQ,EAAE,IAAa;IACnC,IAAI,EAAE,GAAG,CAAC,KAAK,GAAG,SAAS;QAAE,IAAI,EAAE,CAAC;IACpC,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,OAAO,EAAE;YAAE,OAAO,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAEnE,wEAAwE;QACxE,qEAAqE;QACrE,sEAAsE;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;QACrF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;YACxB,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED,sEAAsE;QACtE,uEAAuE;QACvE,2EAA2E;QAC3E,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC;YACxE,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;YACtE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACvD,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;YACxB,OAAO,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACjD,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;YACxB,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;QAED,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC7C,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;gBACxB,OAAO,MAAM,CAAC;YAChB,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC;oBAAE,MAAM,CAAC,CAAC;gBAClC,uEAAuE;gBACvE,2CAA2C;YAC7C,CAAC;QACH,CAAC;QAED,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;YAAS,CAAC;QACT,GAAG,CAAC,KAAK,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAWD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,CAAW,EAAE,OAAuB,EAAE,IAAa,EAAE,IAAgB;IACjG,MAAM,GAAG,GAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACjF,IAAI,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;IACjE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,IAAI;YAAE,OAAO,SAAS,CAAC;QACxC,sEAAsE;QACtE,yEAAyE;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elaraai/east-diagnostics",
-  "version": "1.0.4",
+  "version": "1.0.5",
   "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.",
@@ -10,6 +10,10 @@
     ".": {
       "types": "./dist/src/index.d.ts",
       "default": "./dist/src/index.js"
+    },
+    "./tsserver-plugin": {
+      "types": "./dist/src/tsserver-plugin.d.ts",
+      "default": "./dist/src/tsserver-plugin.js"
     }
   },
   "files": [
@@ -40,7 +44,7 @@
   "devDependencies": {
     "@types/node": "^22.18.1",
     "typescript": "~5.9.2",
-    "@elaraai/east": "1.0.4"
+    "@elaraai/east": "1.0.5"
   },
   "scripts": {
     "build": "tsc",

package/dist/src/rules/no-ts-helpers-in-east.d.ts

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

package/dist/src/rules/no-ts-helpers-in-east.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-ts-helpers-in-east.d.ts","sourceRoot":"","sources":["../../../src/rules/no-ts-helpers-in-east.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAiB5C,eAAO,MAAM,iBAAiB,EAAE,QAsC/B,CAAC"}

package/dist/src/rules/no-ts-helpers-in-east.js

@@ -1,50 +0,0 @@
-import { isEastExprType } from "../east-type.js";
-const NAME = "no-ts-helpers-in-east";
-const CODE = 990010;
-// A TypeScript helper that constructs East values — a `function`/`const` whose
-// return type is an East `Expr` — should be inlined at each call site;
-// repetition is preferred over a `node()`/`link()`-style builder.
-//
-// Keyed on *declarations* (function declarations and `const fn = (…) => …`),
-// which excludes every inline callback (East.function bodies, `.map`, event
-// handlers are bare arrow *arguments*, never declarations). Note: a component
-// factory (`createButton(): ExprType<UIComponentType>`) is structurally
-// identical, so this rule is APPLICATION-SCOPED — the daemon must not run it on
-// East library-factory packages. Hence it is exported separately, not in the
-// default `allRules`.
-export const noTsHelpersInEast = {
-    name: NAME,
-    code: CODE,
-    description: "Disallow TypeScript helpers that build East values (functions returning an East expression); inline at the call site.",
-    check(node, ctx) {
-        const t = ctx.ts;
-        let fnLike;
-        let reportNode;
-        if (t.isFunctionDeclaration(node) && node.body !== undefined && node.name !== undefined) {
-            fnLike = node;
-            reportNode = node.name;
-        }
-        else if (t.isVariableDeclaration(node) &&
-            node.initializer !== undefined &&
-            (t.isArrowFunction(node.initializer) || t.isFunctionExpression(node.initializer))) {
-            fnLike = node.initializer;
-            reportNode = node.name;
-        }
-        if (fnLike === undefined || reportNode === undefined)
-            return;
-        const signature = ctx.checker.getSignatureFromDeclaration(fnLike);
-        if (signature === undefined || !isEastExprType(signature.getReturnType()))
-            return;
-        const sf = ctx.sourceFile;
-        const start = reportNode.getStart(sf);
-        ctx.report({
-            ruleName: NAME,
-            code: CODE,
-            start,
-            length: reportNode.getEnd() - start,
-            messageText: "This TypeScript helper builds an East value (it returns an East expression). Inline the construction at each call site instead of factoring it into a helper — repetition is preferred.",
-            category: "warning",
-        });
-    },
-};
-//# sourceMappingURL=no-ts-helpers-in-east.js.map

package/dist/src/rules/no-ts-helpers-in-east.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-ts-helpers-in-east.js","sourceRoot":"","sources":["../../../src/rules/no-ts-helpers-in-east.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,IAAI,GAAG,uBAAuB,CAAC;AACrC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,+EAA+E;AAC/E,uEAAuE;AACvE,kEAAkE;AAClE,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,8EAA8E;AAC9E,wEAAwE;AACxE,gFAAgF;AAChF,6EAA6E;AAC7E,sBAAsB;AACtB,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,uHAAuH;IACzH,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QAEjB,IAAI,MAA2C,CAAC;QAChD,IAAI,UAA+B,CAAC;QACpC,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACxF,MAAM,GAAG,IAAI,CAAC;YACd,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,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,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC;YAC1B,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO;QAE7D,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;YAAE,OAAO;QAElF,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,yLAAyL;YAC3L,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}