@elaraai/east-diagnostics 1.0.4 → 1.0.6

package/dist/src/service.js

@@ -6,7 +6,12 @@ import { createRequire } from "node:module";
 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";
 const MAX_MESSAGE_LENGTH = 300;
+// Rewritten East type diffs are already pruned/capped by renderTypeDiff; allow
+// them more room than raw native messages.
+const MAX_REWRITTEN_LENGTH = 600;
 function findNearestTsconfig(fromPath) {
     let dir = dirname(resolve(fromPath));
     for (;;) {
@@ -36,6 +41,10 @@ function toCategory(t, category) {
 }
 export function createDiagnosticsService(options = {}) {
     const projects = new Map();
+    // Keyed by resolved path, shared across projects. analyze() bumps the file's
+    // version on every call, so overlay changes are picked up by the next
+    // diagnose without separate invalidation.
+    const overlays = new Map();
     function getProject(tsconfigPath) {
         const existing = projects.get(tsconfigPath);
         if (existing !== undefined)
@@ -56,6 +65,9 @@ export function createDiagnosticsService(options = {}) {
             getScriptVersion: (f) => String(project.versions.get(resolve(f)) ?? 0),
             getScriptSnapshot: (f) => {
                 const path = resolve(f);
+                const overlay = overlays.get(path);
+                if (overlay !== undefined)
+                    return t.ScriptSnapshot.fromString(overlay);
                 if (!existsSync(path))
                     return undefined;
                 return t.ScriptSnapshot.fromString(readFileSync(path, "utf-8"));
@@ -63,7 +75,7 @@ export function createDiagnosticsService(options = {}) {
             getCurrentDirectory: () => projectDir,
             getCompilationSettings: () => parsed.options,
             getDefaultLibFileName: (o) => t.getDefaultLibFilePath(o),
-            fileExists: t.sys.fileExists,
+            fileExists: (f) => overlays.has(resolve(f)) || t.sys.fileExists(f),
             readFile: t.sys.readFile,
             readDirectory: t.sys.readDirectory,
             directoryExists: t.sys.directoryExists,
@@ -93,16 +105,28 @@ export function createDiagnosticsService(options = {}) {
             ...project.service.getSemanticDiagnostics(file),
             ...project.service.getSyntacticDiagnostics(file),
         ];
+        const projectDir = dirname(tsconfigPath);
         const nativeDiagnostics = native.flatMap((d) => {
             if (d.start === undefined || d.length === undefined)
                 return [];
-            const message = t.flattenDiagnosticMessageText(d.messageText, " ");
+            let message = t.flattenDiagnosticMessageText(d.messageText, " ");
+            let maxLength = MAX_MESSAGE_LENGTH;
+            if (ASSIGNABILITY_CODES.has(d.code)) {
+                const east = getEastModule(projectDir);
+                const rewritten = east !== undefined
+                    ? rewriteEastAssignability(t, program, sourceFile, d, east)
+                    : undefined;
+                if (rewritten !== undefined) {
+                    message = rewritten;
+                    maxLength = MAX_REWRITTEN_LENGTH;
+                }
+            }
             return [{
                     ruleName: "tsc",
                     code: d.code,
                     start: d.start,
                     length: d.length,
-                    messageText: message.length > MAX_MESSAGE_LENGTH ? `${message.slice(0, MAX_MESSAGE_LENGTH)}…` : message,
+                    messageText: message.length > maxLength ? `${message.slice(0, maxLength)}…` : message,
                     category: toCategory(t, d.category),
                 }];
         });
@@ -141,8 +165,15 @@ export function createDiagnosticsService(options = {}) {
                 project.service.getProgram();
             return true;
         },
+        setOverlay(filePath, content) {
+            overlays.set(resolve(filePath), content);
+        },
+        clearOverlay(filePath) {
+            overlays.delete(resolve(filePath));
+        },
         dispose() {
             projects.clear();
+            overlays.clear();
         },
     };
 }

package/dist/src/service.js.map

@@ -1 +1 @@
-{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/service.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGnD,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAExC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AA4B/B,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,IAAI,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrC,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAC7C,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,SAAS,CAAC;QACrC,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB;IACxC,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAa,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,YAAY,CAAa,CAAC;IAClE,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAW,EAAE,QAA+B;IAC9D,IAAI,QAAQ,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC;IAC5D,IAAI,QAAQ,KAAK,CAAC,CAAC,kBAAkB,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,UAAqC,EAAE;IAC9E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE5C,SAAS,UAAU,CAAC,YAAoB;QACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAE5C,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,UAAU,GAAG,CAAC,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,CAAC,CAAC,0BAA0B,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAExF,MAAM,OAAO,GAAY;YACvB,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,SAA0C;YACnD,aAAa,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;SACpB,CAAC;QAEF,MAAM,IAAI,GAA2B;YACnC,kBAAkB,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;YACtE,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtE,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE;gBACvB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACxB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,SAAS,CAAC;gBACxC,OAAO,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,mBAAmB,EAAE,GAAG,EAAE,CAAC,UAAU;YACrC,sBAAsB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO;YAC5C,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;YACxD,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU;YAC5B,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ;YACxB,aAAa,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa;YAClC,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe;YACtC,cAAc,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc;SACrC,CAAC;QACF,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;QAEjE,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC;QAC5E,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACpC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,SAAS,OAAO,CAAC,QAAgB;QAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAEjD,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;QAErB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9D,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAElE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAExE,MAAM,MAAM,GAAG;YACb,GAAG,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/C,GAAG,OAAO,CAAC,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC;SACjD,CAAC;QACF,MAAM,iBAAiB,GAAqB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/D,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACnE,OAAO,CAAC;oBACN,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,WAAW,EAAE,OAAO,CAAC,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO;oBACvG,QAAQ,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;iBACpC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,MAAM,eAAe,GAAG,YAAY,CAClC,CAAC,EACD,OAAO,EACP,UAAU,EACV,OAAO,CAAC,cAAc,EAAE,EACxB,OAAO,CAAC,YAAY,IAAI,EAAE,EAC1B,OAAO,CAAC,KAAK,CACd,CAAC;QAEF,MAAM,WAAW,GAAG,CAAC,GAAG,iBAAiB,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACjG,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;IACrC,CAAC;IAED,OAAO;QACL,QAAQ,CAAC,QAAQ;YACf,OAAO,OAAO,CAAC,QAAQ,CAAC,EAAE,WAAW,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,YAAY,CAAC,QAAQ;YACnB,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACvE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;YAC3C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC9E,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChE,OAAO,MAAM,CAAC,CAAC,QAAQ,KAAK,IAAI,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YACtF,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,oBAAoB,EAAE,6BAA6B,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,OAAO;YACV,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACzE,IAAI,YAAY,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;YACzC,2EAA2E;YAC3E,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC;YAC1C,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;;gBAC1E,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/service.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGnD,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,kBAAkB,GAAG,GAAG,CAAC;AAC/B,+EAA+E;AAC/E,2CAA2C;AAC3C,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAiCjC,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,IAAI,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrC,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAC7C,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,SAAS,CAAC;QACrC,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB;IACxC,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAa,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,YAAY,CAAa,CAAC;IAClE,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAW,EAAE,QAA+B;IAC9D,IAAI,QAAQ,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC;IAC5D,IAAI,QAAQ,KAAK,CAAC,CAAC,kBAAkB,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,UAAqC,EAAE;IAC9E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,6EAA6E;IAC7E,sEAAsE;IACtE,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,SAAS,UAAU,CAAC,YAAoB;QACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAE5C,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,UAAU,GAAG,CAAC,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,CAAC,CAAC,0BAA0B,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAExF,MAAM,OAAO,GAAY;YACvB,EAAE,EAAE,CAAC;YACL,OAAO,EAAE,SAA0C;YACnD,aAAa,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;SACpB,CAAC;QAEF,MAAM,IAAI,GAA2B;YACnC,kBAAkB,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;YACtE,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtE,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE;gBACvB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnC,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;gBACvE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,SAAS,CAAC;gBACxC,OAAO,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,mBAAmB,EAAE,GAAG,EAAE,CAAC,UAAU;YACrC,sBAAsB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO;YAC5C,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;YACxD,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;YAClE,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ;YACxB,aAAa,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa;YAClC,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe;YACtC,cAAc,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc;SACrC,CAAC;QACF,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;QAEjE,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC;QAC5E,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACpC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,SAAS,OAAO,CAAC,QAAgB;QAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAEjD,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;QAErB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9D,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAElE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAExE,MAAM,MAAM,GAAG;YACb,GAAG,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/C,GAAG,OAAO,CAAC,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC;SACjD,CAAC;QACF,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,iBAAiB,GAAqB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/D,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC;YAC/D,IAAI,OAAO,GAAG,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACjE,IAAI,SAAS,GAAG,kBAAkB,CAAC;YACnC,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;gBACvC,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS;oBAClC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC;oBAC3D,CAAC,CAAC,SAAS,CAAC;gBACd,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,OAAO,GAAG,SAAS,CAAC;oBACpB,SAAS,GAAG,oBAAoB,CAAC;gBACnC,CAAC;YACH,CAAC;YACD,OAAO,CAAC;oBACN,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,WAAW,EAAE,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO;oBACrF,QAAQ,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;iBACpC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,MAAM,eAAe,GAAG,YAAY,CAClC,CAAC,EACD,OAAO,EACP,UAAU,EACV,OAAO,CAAC,cAAc,EAAE,EACxB,OAAO,CAAC,YAAY,IAAI,EAAE,EAC1B,OAAO,CAAC,KAAK,CACd,CAAC;QAEF,MAAM,WAAW,GAAG,CAAC,GAAG,iBAAiB,EAAE,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACjG,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;IACrC,CAAC;IAED,OAAO;QACL,QAAQ,CAAC,QAAQ;YACf,OAAO,OAAO,CAAC,QAAQ,CAAC,EAAE,WAAW,IAAI,EAAE,CAAC;QAC9C,CAAC;QACD,YAAY,CAAC,QAAQ;YACnB,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACvE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;YAC3C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC9E,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChE,OAAO,MAAM,CAAC,CAAC,QAAQ,KAAK,IAAI,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YACtF,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,oBAAoB,EAAE,6BAA6B,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,OAAO;YACV,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACzE,IAAI,YAAY,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;YACzC,2EAA2E;YAC3E,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC;YAC1C,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;;gBAC1E,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,CAAC,QAAQ,EAAE,OAAO;YAC1B,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,YAAY,CAAC,QAAQ;YACnB,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,OAAO;YACL,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjB,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,25 @@
+import type * as ts from "typescript";
+import type { TsModule } from "./types.js";
+/** Structural subset of `ts.server.PluginCreateInfo` — keeps the package free
+ * of a tsserverlibrary type dependency. */
+export interface TsserverPluginCreateInfo {
+    languageService: ts.LanguageService;
+    project: {
+        getCurrentDirectory(): string;
+    };
+    config?: {
+        disabled?: readonly string[];
+    };
+}
+/**
+ * tsserver plugin factory. Loaded by the TypeScript server via a
+ * `typescriptServerPlugins` contribution (VS Code) or a tsconfig
+ * `compilerOptions.plugins` entry; the host's `typescript` is injected.
+ */
+export declare function init(modules: {
+    typescript: TsModule;
+}): {
+    create(info: TsserverPluginCreateInfo): ts.LanguageService;
+};
+export default init;
+//# sourceMappingURL=tsserver-plugin.d.ts.map

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

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

package/dist/src/tsserver-plugin.js

@@ -0,0 +1,93 @@
+/**
+ * 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";
+const CATEGORY = {
+    error: "Error",
+    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
+ * `compilerOptions.plugins` entry; the host's `typescript` is injected.
+ */
+export function init(modules) {
+    const t = modules.typescript;
+    return {
+        create(info) {
+            const ls = info.languageService;
+            const proxy = Object.create(null);
+            for (const key of Object.keys(ls)) {
+                const member = ls[key];
+                proxy[key] = (...args) => member.apply(ls, args);
+            }
+            proxy.getSemanticDiagnostics = (fileName) => {
+                const prior = ls.getSemanticDiagnostics(fileName);
+                try {
+                    const program = ls.getProgram();
+                    const sourceFile = program?.getSourceFile(fileName);
+                    if (program === undefined || sourceFile === undefined)
+                        return prior;
+                    const east = getEastModule(info.project.getCurrentDirectory());
+                    const diagnostics = prior.map((d) => {
+                        if (east === undefined || !ASSIGNABILITY_CODES.has(d.code))
+                            return d;
+                        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",
+                            });
+                        }
+                    }
+                    return diagnostics;
+                }
+                catch {
+                    // Never take down the editor's language service.
+                    return prior;
+                }
+            };
+            return proxy;
+        },
+    };
+}
+export default init;
+//# sourceMappingURL=tsserver-plugin.js.map

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

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

package/dist/src/type-diff-rewrite.d.ts

@@ -0,0 +1,20 @@
+/**
+ * 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";
+import type { EastModule } from "./east-module.js";
+/** TS assignability error codes worth attempting an East type-diff rewrite on. */
+export declare const ASSIGNABILITY_CODES: ReadonlySet<number>;
+/**
+ * Attempt to replace a native TS assignability diagnostic with a localized
+ * East type diff. East types are recursive and deeply generic, so the native
+ * message restates whole types and is unreadably long; `diffTypes` prunes
+ * everything compatible and reports only the offending subtrees.
+ *
+ * @returns The replacement message, or `undefined` when the diagnostic is not
+ * an East type mismatch this can improve (callers keep the native message).
+ */
+export declare function rewriteEastAssignability(t: TsModule, program: ts.Program, sourceFile: ts.SourceFile, diagnostic: ts.Diagnostic, east: EastModule): string | undefined;
+//# sourceMappingURL=type-diff-rewrite.d.ts.map

package/dist/src/type-diff-rewrite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-diff-rewrite.d.ts","sourceRoot":"","sources":["../../src/type-diff-rewrite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAGnD,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAUlD,CAAC;AA2CH;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,CAAC,EAAE,QAAQ,EACX,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,IAAI,EAAE,UAAU,GACf,MAAM,GAAG,SAAS,CA6BpB"}

package/dist/src/type-diff-rewrite.js

@@ -0,0 +1,94 @@
+import { reifyEastType } from "./type-reify.js";
+/** TS assignability error codes worth attempting an East type-diff rewrite on. */
+export const ASSIGNABILITY_CODES = new Set([
+    2322, // Type 'X' is not assignable to type 'Y'.
+    2345, // Argument of type 'X' is not assignable to parameter of type 'Y'.
+    2375, // Type 'X' is not assignable to type 'Y' with exactOptionalPropertyTypes.
+    2379, // Getter/setter assignability variant of 2322.
+    2412, // Property assignability with exactOptionalPropertyTypes.
+    2719, // Type 'X' is not assignable to type 'Y'. Two different types with this name exist.
+    2739, // Type 'X' is missing the following properties from type 'Y'.
+    2740, // Type 'X' is missing the following properties from type 'Y' (array forms).
+    2741, // Property 'p' is missing in type 'X' but required in type 'Y'.
+]);
+function innermostNodeAt(t, sourceFile, position) {
+    function find(node) {
+        if (position < node.getStart(sourceFile) || position >= node.getEnd())
+            return undefined;
+        return t.forEachChild(node, find) ?? node;
+    }
+    return find(sourceFile);
+}
+// Walk outward from the diagnostic's node to the construct that pins down the
+// (actual, expected) pair: an annotated declaration, a property assignment, or
+// any expression with a contextual type.
+function resolveTypePair(t, checker, node) {
+    let current = node;
+    for (let hops = 0; current !== undefined && hops < 6; current = current.parent, hops++) {
+        if (t.isVariableDeclaration(current) && current.type !== undefined && current.initializer !== undefined) {
+            return {
+                actual: checker.getTypeAtLocation(current.initializer),
+                expected: checker.getTypeFromTypeNode(current.type),
+            };
+        }
+        if (t.isPropertyAssignment(current)) {
+            const expected = checker.getContextualType(current.initializer);
+            if (expected !== undefined) {
+                return { actual: checker.getTypeAtLocation(current.initializer), expected };
+            }
+        }
+        if (t.isExpression(current)) {
+            const expected = checker.getContextualType(current);
+            if (expected !== undefined) {
+                return { actual: checker.getTypeAtLocation(current), expected };
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Attempt to replace a native TS assignability diagnostic with a localized
+ * East type diff. East types are recursive and deeply generic, so the native
+ * message restates whole types and is unreadably long; `diffTypes` prunes
+ * everything compatible and reports only the offending subtrees.
+ *
+ * @returns The replacement message, or `undefined` when the diagnostic is not
+ * an East type mismatch this can improve (callers keep the native message).
+ */
+export function rewriteEastAssignability(t, program, sourceFile, diagnostic, east) {
+    if (diagnostic.start === undefined || !ASSIGNABILITY_CODES.has(diagnostic.code))
+        return undefined;
+    const checker = program.getTypeChecker();
+    const node = innermostNodeAt(t, sourceFile, diagnostic.start);
+    if (node === undefined)
+        return undefined;
+    const pair = resolveTypePair(t, checker, node);
+    if (pair === undefined)
+        return undefined;
+    const actual = reifyEastType(t, checker, pair.actual, east);
+    const expected = reifyEastType(t, checker, pair.expected, east);
+    if (actual === undefined || expected === undefined)
+        return undefined;
+    // A mismatch between plain JS values is TypeScript's business, not East's.
+    if (!actual.eastShaped && !expected.eastShaped)
+        return undefined;
+    // An expected side of `.Never` means the parameter's East type is an
+    // unresolved generic (inference already failed upstream) — a diff against
+    // Never is noise, so keep the native message, which names the real cause.
+    if (expected.type === east.NeverType && actual.type !== east.NeverType)
+        return undefined;
+    let rendered;
+    try {
+        const diffs = east.diffTypes(actual.type, expected.type);
+        if (!Array.isArray(diffs) || diffs.length === 0)
+            return undefined;
+        rendered = east.renderTypeDiff(diffs);
+    }
+    catch {
+        return undefined;
+    }
+    if (rendered.length === 0)
+        return undefined;
+    return `East type mismatch: ${rendered.split("\n").join("; ")}`;
+}
+//# sourceMappingURL=type-diff-rewrite.js.map

package/dist/src/type-diff-rewrite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-diff-rewrite.js","sourceRoot":"","sources":["../../src/type-diff-rewrite.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IAC9D,IAAI,EAAE,0CAA0C;IAChD,IAAI,EAAE,mEAAmE;IACzE,IAAI,EAAE,0EAA0E;IAChF,IAAI,EAAE,+CAA+C;IACrD,IAAI,EAAE,0DAA0D;IAChE,IAAI,EAAE,oFAAoF;IAC1F,IAAI,EAAE,8DAA8D;IACpE,IAAI,EAAE,4EAA4E;IAClF,IAAI,EAAE,gEAAgE;CACvE,CAAC,CAAC;AAEH,SAAS,eAAe,CAAC,CAAW,EAAE,UAAyB,EAAE,QAAgB;IAC/E,SAAS,IAAI,CAAC,IAAa;QACzB,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE;YAAE,OAAO,SAAS,CAAC;QACxF,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC;AAC1B,CAAC;AAOD,8EAA8E;AAC9E,+EAA+E;AAC/E,yCAAyC;AACzC,SAAS,eAAe,CAAC,CAAW,EAAE,OAAuB,EAAE,IAAa;IAC1E,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,OAAO,KAAK,SAAS,IAAI,IAAI,GAAG,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACvF,IAAI,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACxG,OAAO;gBACL,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC;gBACtD,QAAQ,EAAE,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC;aACpD,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAChE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC;YAC9E,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,CAAW,EACX,OAAmB,EACnB,UAAyB,EACzB,UAAyB,EACzB,IAAgB;IAEhB,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAElG,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChE,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrE,2EAA2E;IAC3E,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACjE,qEAAqE;IACrE,0EAA0E;IAC1E,0EAA0E;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEzF,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAClE,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,uBAAuB,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAClE,CAAC"}

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

@@ -0,0 +1,25 @@
+/**
+ * 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";
+import type { EastModule } from "./east-module.js";
+export interface ReifiedType {
+    /** The `EastType`, built with the project's own constructors. */
+    type: unknown;
+    /** Whether an East-specific shape was traversed; a reification built purely
+     * from raw JS values (e.g. `const s: string = 1`) is not East-related and
+     * must not trigger a rewrite. */
+    eastShaped: boolean;
+}
+/**
+ * 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 declare function reifyEastType(t: TsModule, checker: ts.TypeChecker, type: ts.Type, east: EastModule): ReifiedType | undefined;
+//# sourceMappingURL=type-reify.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-reify.d.ts","sourceRoot":"","sources":["../../src/type-reify.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAiRnD,MAAM,WAAW,WAAW;IAC1B,iEAAiE;IACjE,IAAI,EAAE,OAAO,CAAC;IACd;;qCAEiC;IACjC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS,CAU5H"}