@elaraai/east-diagnostics 1.0.28 → 1.0.29

package/dist/src/rules/require-runner-platforms.js

@@ -0,0 +1,99 @@
+import { isEastPlatformDefinitionType } from "../east-type.js";
+import { importDeclarationOf } from "../east-source.js";
+const NAME = "require-runner-platforms";
+const CODE = 990022;
+/** Is `node` a call `<e3>.task(...)` where `<e3>` is the DEFAULT import of `@elaraai/e3`? */
+function isE3TaskCall(node, ctx) {
+    const t = ctx.ts;
+    const callee = node.expression;
+    if (!t.isPropertyAccessExpression(callee) || callee.name.text !== "task")
+        return false;
+    if (!t.isIdentifier(callee.expression))
+        return false;
+    const imp = importDeclarationOf(ctx.checker.getSymbolAtLocation(callee.expression), t);
+    return imp !== undefined && t.isStringLiteral(imp.moduleSpecifier) && imp.moduleSpecifier.text === "@elaraai/e3";
+}
+/** The names of PROJECT-declared platform functions called anywhere in `fnArg` —
+ * callees typed as platform definitions whose declaration is project source (a
+ * `.ts`/`.tsx` file, not a package `.d.ts`). `@elaraai`-shipped platform fns are
+ * provided by the runtimes and never need a custom platforms entry. */
+function projectPlatformCalls(fnArg, ctx) {
+    const t = ctx.ts;
+    const names = [];
+    const visit = (n) => {
+        if (t.isCallExpression(n) && isEastPlatformDefinitionType(ctx.checker.getTypeAtLocation(n.expression))) {
+            const callee = n.expression;
+            const id = t.isIdentifier(callee) ? callee : t.isPropertyAccessExpression(callee) ? callee.name : undefined;
+            const sym = id !== undefined ? ctx.checker.getSymbolAtLocation(id) : undefined;
+            // Follow the import alias to the defining const — the declaration file is
+            // what distinguishes a project stub from a packaged platform fn.
+            const resolved = sym !== undefined && (sym.flags & t.SymbolFlags.Alias) !== 0 ? ctx.checker.getAliasedSymbol(sym) : sym;
+            const declaredInProject = (resolved?.declarations ?? []).some((d) => !d.getSourceFile().isDeclarationFile);
+            if (declaredInProject && id !== undefined)
+                names.push(id.text);
+        }
+        t.forEachChild(n, visit);
+    };
+    visit(fnArg);
+    return names;
+}
+/** Does the (visible) options literal declare a `runner.platforms` entry with a
+ * `custom` module? Returns undefined when the options are not statically
+ * inspectable (identifier / spread) — then we stay silent. */
+function hasCustomPlatformsEntry(options, t) {
+    if (options === undefined)
+        return false; // no options at all — definitely no platforms
+    if (!t.isObjectLiteralExpression(options))
+        return undefined;
+    const runnerProp = options.properties.find((p) => t.isPropertyAssignment(p) && t.isIdentifier(p.name) && p.name.text === "runner");
+    if (runnerProp === undefined || !t.isPropertyAssignment(runnerProp))
+        return false;
+    if (!t.isObjectLiteralExpression(runnerProp.initializer))
+        return undefined;
+    const platformsProp = runnerProp.initializer.properties.find((p) => t.isPropertyAssignment(p) && t.isIdentifier(p.name) && p.name.text === "platforms");
+    if (platformsProp === undefined || !t.isPropertyAssignment(platformsProp))
+        return false;
+    if (!t.isArrayLiteralExpression(platformsProp.initializer))
+        return undefined;
+    return platformsProp.initializer.elements.some((el) => t.isObjectLiteralExpression(el) &&
+        el.properties.some((p) => t.isPropertyAssignment(p) && t.isIdentifier(p.name) && p.name.text === "custom"));
+}
+// An `e3.task` whose East function calls a PROJECT-declared platform function
+// (an `East.platform("proj.x", …)` stub mirrored by the project's own platform
+// module) needs `runner.platforms` to load that module — without a `{ custom:
+// "…" }` entry the task deploys fine and fails at dataflow runtime with
+// "Platform function 'proj.x' is not available".
+export const requireRunnerPlatforms = {
+    name: NAME,
+    code: CODE,
+    description: "An e3.task calling project-declared platform functions must declare a runner.platforms custom module — otherwise it fails only at dataflow runtime.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        if (!t.isCallExpression(node) || !isE3TaskCall(node, ctx))
+            return;
+        const fnArg = node.arguments[2];
+        if (fnArg === undefined)
+            return;
+        const calls = projectPlatformCalls(fnArg, ctx);
+        if (calls.length === 0)
+            return;
+        const ok = hasCustomPlatformsEntry(node.arguments[3], t);
+        if (ok === true || ok === undefined)
+            return; // present, or not statically visible
+        const nameArg = node.arguments[0];
+        const taskName = nameArg !== undefined && t.isStringLiteralLike(nameArg) ? nameArg.text : "…";
+        const unique = [...new Set(calls)].join(", ");
+        const sf = ctx.sourceFile;
+        const target = node.arguments[3] ?? node.expression;
+        const start = target.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: target.getEnd() - start,
+            messageText: `Task "${taskName}" calls project platform function(s) ${unique} but its runner declares no custom platform module — it will fail at dataflow runtime with "Platform function … is not available". Add the module to the runner, e.g. \`{ runner: { runtime: "east-py", platforms: [{ custom: "platform_module" }] } }\`.`,
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=require-runner-platforms.js.map

package/dist/src/rules/require-runner-platforms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"require-runner-platforms.js","sourceRoot":"","sources":["../../../src/rules/require-runner-platforms.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,IAAI,GAAG,0BAA0B,CAAC;AACxC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,6FAA6F;AAC7F,SAAS,YAAY,CAAC,IAAuB,EAAE,GAAgB;IAC7D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACvF,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,OAAO,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,KAAK,aAAa,CAAC;AACnH,CAAC;AAED;;;uEAGuE;AACvE,SAAS,oBAAoB,CAAC,KAAc,EAAE,GAAgB;IAC5D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,4BAA4B,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACvG,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5G,MAAM,GAAG,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/E,0EAA0E;YAC1E,iEAAiE;YACjE,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACxH,MAAM,iBAAiB,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,iBAAiB,CAAC,CAAC;YAC3G,IAAI,iBAAiB,IAAI,EAAE,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;8DAE8D;AAC9D,SAAS,uBAAuB,CAAC,OAAkC,EAAE,CAAW;IAC9E,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,8CAA8C;IACvF,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACnI,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAClF,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAC1D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAC1F,CAAC;IACF,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IACxF,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,aAAa,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAC5C,CAAC,EAAE,EAAE,EAAE,CACL,CAAC,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAC/B,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAC7G,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,wEAAwE;AACxE,iDAAiD;AACjD,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,qJAAqJ;IACvJ,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO;QAClE,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC/B,MAAM,EAAE,GAAG,uBAAuB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,CAAC,qCAAqC;QAElF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9F,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC;QACpD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAClC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK;YAC/B,WAAW,EACT,SAAS,QAAQ,wCAAwC,MAAM,2PAA2P;YAC5T,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elaraai/east-diagnostics",
-  "version": "1.0.28",
+  "version": "1.0.29",
   "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,8 +44,8 @@
   "devDependencies": {
     "@types/node": "^22.18.1",
     "typescript": "~5.9.2",
-    "@elaraai/east": "1.0.28",
-    "@elaraai/e3": "1.0.28"
+    "@elaraai/east": "1.0.29",
+    "@elaraai/e3": "1.0.29"
   },
   "scripts": {
     "build": "tsc",