@elaraai/east-claude-plugin 1.0.98 → 1.0.100

package/.build/daemon/lsp.js

@@ -18,6 +18,12 @@ function isEastExprType(type) {
   }
   return false;
 }
+function isEastFunctionExprType(type) {
+  return someTypeName(type, (name) => name === "FunctionExpr" || name === "AsyncFunctionExpr");
+}
+function isEastIRType(type) {
+  return someTypeName(type, (name) => name === "EastIR" || name === "AsyncEastIR");
+}
 function isBlockBuilderType(type) {
   const name = type.aliasSymbol?.name ?? type.symbol?.name;
   return name === "BlockBuilder";
@@ -47,8 +53,13 @@ var E3_DEFINITION_NAMES = /* @__PURE__ */ new Set([
   "DataTreeDef",
   "FunctionDef",
   "MutationDef",
+  "MigrationDef",
   "RecordDef",
-  "PackageDef"
+  "RecordIndexDef",
+  "PackageDef",
+  "IndexDraft",
+  "MutationDraft",
+  "MigrationDraft"
 ]);
 function isEastDefinitionType(type) {
   return someTypeName(type, (name) => E3_DEFINITION_NAMES.has(name) || name.endsWith("PlatformDefinition"));
@@ -745,6 +756,8 @@ var noUnexecutedEastExpression = {
     if (!t.isExpressionStatement(node))
       return;
     const expr = node.expression;
+    if (t.isBinaryExpression(expr) && expr.operatorToken.kind === t.SyntaxKind.EqualsToken)
+      return;
     const root = chainRootReceiver(expr, ctx);
     if (isBlockBuilderType(ctx.checker.getTypeAtLocation(root)))
       return;
@@ -799,6 +812,7 @@ var REPEATING_METHODS = /* @__PURE__ */ new Set([
   "toSet",
   "toArray",
   "toTree",
+  "flattenTree",
   "sort",
   "sortInPlace",
   "isSorted",
@@ -889,6 +903,8 @@ var noReinlinedEastBinding = {
       return;
     if (!isEastExprType(ctx.checker.getTypeAtLocation(init2)))
       return;
+    if (enclosingBlockScope(node, ctx) === void 0 && isEastFunctionExprType(ctx.checker.getTypeAtLocation(init2)))
+      return;
     const declSymbol = ctx.checker.getSymbolAtLocation(node.name);
     if (declSymbol === void 0)
       return;
@@ -1335,7 +1351,7 @@ var noCompileTimeSeedData = {
     const nameArg = node.arguments[0];
     const name = nameArg !== void 0 && t.isStringLiteralLike(nameArg) ? nameArg.text : "\u2026";
     const reason = hostFilled ? "this seed is an authored-empty collection then filled in place by host code (a `for`-loop / `.set(...)`)" : "this seed is assembled by host calls (`num(...)`, `BigInt(...)`, parsed config) at module-evaluation time";
-    fire2(ctx, seedArg, `Host-computed data passed as the \`e3.input("${name}", \u2026)\` seed bakes a build-time snapshot into the deployed program \u2014 ${reason}. An inline \`variant('value', \u2026)\` seed must be a small AUTHORED CONSTANT (a literal, an empty/literal Map/Set/array/struct, or an East value \`variant\`/\`some\`/\`none\`/\`East.value\`), or the source omitted. Keep real/bulk data out of the package: deliver it as a beast2 file and declare \`variant('file', path)\` (adopted by hash at deploy), put the bytes in a \`BlobType\` input and parse with \`blob.decodeCsv(...)\` inside an \`e3.task\`, read files in a task via a platform \`FileSystem.readFile\`, or use \`e3.record(...)\` + \`e3.mutation\` for set-once root state.`);
+    fire2(ctx, seedArg, `Host-computed data passed as the \`e3.input("${name}", \u2026)\` seed bakes a build-time snapshot into the deployed program \u2014 ${reason}. An inline \`variant('value', \u2026)\` seed must be a small AUTHORED CONSTANT (a literal, an empty/literal Map/Set/array/struct, or an East value \`variant\`/\`some\`/\`none\`/\`East.value\`), or the source omitted. Keep real/bulk data out of the package: deliver it as a beast2 file and declare \`variant('file', path)\` (adopted by hash at deploy), put the bytes in a \`BlobType\` input and parse with \`blob.decodeCsv(...)\` inside an \`e3.task\`, read files in a task via a platform \`FileSystem.readFile\`, or declare an \`e3.record(...)\` with its mutations for set-once root state.`);
   }
 };
 
@@ -1671,6 +1687,8 @@ function returnBuildsEast(r, ctx) {
     return false;
   if (isEastDefinitionType(ctx.checker.getTypeAtLocation(r)))
     return false;
+  if (isEastIRType(ctx.checker.getTypeAtLocation(r)))
+    return false;
   if (isEastValueConstructor(r, ctx))
     return true;
   if (isEastExprType(ctx.checker.getTypeAtLocation(r)))
@@ -1737,6 +1755,17 @@ function isValueConstruction(e, t) {
     return r.text === "none";
   return t.isCallExpression(r) && t.isIdentifier(r.expression) && VALUE_CONSTRUCTORS.has(r.expression.text);
 }
+function forwardsParameter(r, fn, ctx) {
+  const t = ctx.ts;
+  let e = r;
+  while (t.isParenthesizedExpression(e) || t.isAsExpression(e) || t.isSatisfiesExpression(e) || t.isNonNullExpression(e) || t.isTypeAssertionExpression(e)) {
+    e = e.expression;
+  }
+  if (!t.isIdentifier(e))
+    return false;
+  const declarations = ctx.checker.getSymbolAtLocation(e)?.declarations ?? [];
+  return declarations.some((d) => t.isParameter(d) && d.parent === fn);
+}
 function returnExpressions2(fn, t) {
   if (fn.body === void 0)
     return [];
@@ -1781,11 +1810,19 @@ var noModuleScopeEastMacro = {
     const first = fn.parameters[0];
     if (first !== void 0 && isBlockBuilderType(ctx.checker.getTypeAtLocation(first.name)))
       return;
-    const rs = returnExpressions2(fn, t);
+    if (fn.type !== void 0 && isEastDefinitionType(ctx.checker.getTypeFromTypeNode(fn.type)))
+      return;
+    const rs = returnExpressions2(fn, t).filter((r) => !forwardsParameter(r, fn, ctx));
     if (rs.some((r) => isJsx2(r, t)))
       return;
     if (rs.length === 0)
       return;
+    const takesEast = fn.parameters.some((p) => {
+      const type = ctx.checker.getTypeAtLocation(p.name);
+      return isEastExprType(type) && !isEastFunctionExprType(type) || isBlockBuilderType(type);
+    });
+    if (!takesEast && rs.every((r) => isEastFunctionExprType(ctx.checker.getTypeAtLocation(r))))
+      return;
     const everyBuildsIr = rs.every((r) => returnBuildsEast(r, ctx));
     const everyBuildsValue = !everyBuildsIr && rs.every((r) => returnBuildsEast(r, ctx) || isValueConstruction(r, t));
     const everyHostKey = !everyBuildsIr && !everyBuildsValue && rs.every((r) => isHostTemplate(r, t));

package/.build/daemon/server.js

@@ -22,6 +22,12 @@ function isEastExprType(type) {
   }
   return false;
 }
+function isEastFunctionExprType(type) {
+  return someTypeName(type, (name) => name === "FunctionExpr" || name === "AsyncFunctionExpr");
+}
+function isEastIRType(type) {
+  return someTypeName(type, (name) => name === "EastIR" || name === "AsyncEastIR");
+}
 function isBlockBuilderType(type) {
   const name = type.aliasSymbol?.name ?? type.symbol?.name;
   return name === "BlockBuilder";
@@ -51,8 +57,13 @@ var E3_DEFINITION_NAMES = /* @__PURE__ */ new Set([
   "DataTreeDef",
   "FunctionDef",
   "MutationDef",
+  "MigrationDef",
   "RecordDef",
-  "PackageDef"
+  "RecordIndexDef",
+  "PackageDef",
+  "IndexDraft",
+  "MutationDraft",
+  "MigrationDraft"
 ]);
 function isEastDefinitionType(type) {
   return someTypeName(type, (name) => E3_DEFINITION_NAMES.has(name) || name.endsWith("PlatformDefinition"));
@@ -749,6 +760,8 @@ var noUnexecutedEastExpression = {
     if (!t.isExpressionStatement(node))
       return;
     const expr = node.expression;
+    if (t.isBinaryExpression(expr) && expr.operatorToken.kind === t.SyntaxKind.EqualsToken)
+      return;
     const root = chainRootReceiver(expr, ctx);
     if (isBlockBuilderType(ctx.checker.getTypeAtLocation(root)))
       return;
@@ -803,6 +816,7 @@ var REPEATING_METHODS = /* @__PURE__ */ new Set([
   "toSet",
   "toArray",
   "toTree",
+  "flattenTree",
   "sort",
   "sortInPlace",
   "isSorted",
@@ -893,6 +907,8 @@ var noReinlinedEastBinding = {
       return;
     if (!isEastExprType(ctx.checker.getTypeAtLocation(init2)))
       return;
+    if (enclosingBlockScope(node, ctx) === void 0 && isEastFunctionExprType(ctx.checker.getTypeAtLocation(init2)))
+      return;
     const declSymbol = ctx.checker.getSymbolAtLocation(node.name);
     if (declSymbol === void 0)
       return;
@@ -1339,7 +1355,7 @@ var noCompileTimeSeedData = {
     const nameArg = node.arguments[0];
     const name = nameArg !== void 0 && t.isStringLiteralLike(nameArg) ? nameArg.text : "\u2026";
     const reason = hostFilled ? "this seed is an authored-empty collection then filled in place by host code (a `for`-loop / `.set(...)`)" : "this seed is assembled by host calls (`num(...)`, `BigInt(...)`, parsed config) at module-evaluation time";
-    fire2(ctx, seedArg, `Host-computed data passed as the \`e3.input("${name}", \u2026)\` seed bakes a build-time snapshot into the deployed program \u2014 ${reason}. An inline \`variant('value', \u2026)\` seed must be a small AUTHORED CONSTANT (a literal, an empty/literal Map/Set/array/struct, or an East value \`variant\`/\`some\`/\`none\`/\`East.value\`), or the source omitted. Keep real/bulk data out of the package: deliver it as a beast2 file and declare \`variant('file', path)\` (adopted by hash at deploy), put the bytes in a \`BlobType\` input and parse with \`blob.decodeCsv(...)\` inside an \`e3.task\`, read files in a task via a platform \`FileSystem.readFile\`, or use \`e3.record(...)\` + \`e3.mutation\` for set-once root state.`);
+    fire2(ctx, seedArg, `Host-computed data passed as the \`e3.input("${name}", \u2026)\` seed bakes a build-time snapshot into the deployed program \u2014 ${reason}. An inline \`variant('value', \u2026)\` seed must be a small AUTHORED CONSTANT (a literal, an empty/literal Map/Set/array/struct, or an East value \`variant\`/\`some\`/\`none\`/\`East.value\`), or the source omitted. Keep real/bulk data out of the package: deliver it as a beast2 file and declare \`variant('file', path)\` (adopted by hash at deploy), put the bytes in a \`BlobType\` input and parse with \`blob.decodeCsv(...)\` inside an \`e3.task\`, read files in a task via a platform \`FileSystem.readFile\`, or declare an \`e3.record(...)\` with its mutations for set-once root state.`);
   }
 };
 
@@ -1675,6 +1691,8 @@ function returnBuildsEast(r, ctx) {
     return false;
   if (isEastDefinitionType(ctx.checker.getTypeAtLocation(r)))
     return false;
+  if (isEastIRType(ctx.checker.getTypeAtLocation(r)))
+    return false;
   if (isEastValueConstructor(r, ctx))
     return true;
   if (isEastExprType(ctx.checker.getTypeAtLocation(r)))
@@ -1741,6 +1759,17 @@ function isValueConstruction(e, t) {
     return r.text === "none";
   return t.isCallExpression(r) && t.isIdentifier(r.expression) && VALUE_CONSTRUCTORS.has(r.expression.text);
 }
+function forwardsParameter(r, fn, ctx) {
+  const t = ctx.ts;
+  let e = r;
+  while (t.isParenthesizedExpression(e) || t.isAsExpression(e) || t.isSatisfiesExpression(e) || t.isNonNullExpression(e) || t.isTypeAssertionExpression(e)) {
+    e = e.expression;
+  }
+  if (!t.isIdentifier(e))
+    return false;
+  const declarations = ctx.checker.getSymbolAtLocation(e)?.declarations ?? [];
+  return declarations.some((d) => t.isParameter(d) && d.parent === fn);
+}
 function returnExpressions2(fn, t) {
   if (fn.body === void 0)
     return [];
@@ -1785,11 +1814,19 @@ var noModuleScopeEastMacro = {
     const first = fn.parameters[0];
     if (first !== void 0 && isBlockBuilderType(ctx.checker.getTypeAtLocation(first.name)))
       return;
-    const rs = returnExpressions2(fn, t);
+    if (fn.type !== void 0 && isEastDefinitionType(ctx.checker.getTypeFromTypeNode(fn.type)))
+      return;
+    const rs = returnExpressions2(fn, t).filter((r) => !forwardsParameter(r, fn, ctx));
     if (rs.some((r) => isJsx2(r, t)))
       return;
     if (rs.length === 0)
       return;
+    const takesEast = fn.parameters.some((p) => {
+      const type = ctx.checker.getTypeAtLocation(p.name);
+      return isEastExprType(type) && !isEastFunctionExprType(type) || isBlockBuilderType(type);
+    });
+    if (!takesEast && rs.every((r) => isEastFunctionExprType(ctx.checker.getTypeAtLocation(r))))
+      return;
     const everyBuildsIr = rs.every((r) => returnBuildsEast(r, ctx));
     const everyBuildsValue = !everyBuildsIr && rs.every((r) => returnBuildsEast(r, ctx) || isValueConstruction(r, t));
     const everyHostKey = !everyBuildsIr && !everyBuildsValue && rs.every((r) => isHostTemplate(r, t));

package/.build/mcp/server.js

@@ -23131,6 +23131,7 @@ function normalizePackage(filter, scopes = EAST_SCOPES) {
   const scope = scopes.find((s) => name.startsWith(`${s.toLowerCase()}/`));
   return scope === void 0 ? name : name.slice(scope.length + 1);
 }
+var OPT_IN_PACKAGES = /* @__PURE__ */ new Set(["east-values"]);
 function searchExamples(index, request) {
   const known = index.packages;
   const filter = request.package;
@@ -23140,7 +23141,7 @@ function searchExamples(index, request) {
   }
   const options = {
     limit: request.limit,
-    ...pkg === void 0 ? {} : { filter: (r) => r.package === pkg || r.skill === pkg }
+    filter: (r) => OPT_IN_PACKAGES.has(r.package) ? r.package === pkg : pkg === void 0 || r.package === pkg || r.skill === pkg
   };
   const hits = index.search.search(request.query, options);
   return { entries: hits.filter((r) => r.score >= MIN_SCORE).slice(0, request.limit), known };
@@ -23235,7 +23236,7 @@ function registerExampleTools(server2, options) {
     language: languageArg,
     format: external_exports.enum(["summary", "full"]).default("summary").describe(`"summary" (default) lists the hits in one line each; "full" includes each hit's code in the requested language`),
     limit: external_exports.number().int().min(1).max(20).default(5).describe("Maximum number of results to return (default 5, max 20)"),
-    package: external_exports.string().optional().describe(`Filter results to one package by its bare name \u2014 ${packages.join(", ")} \u2014 ${scopesNamed}; an unknown name is reported with the indexed names`)
+    package: external_exports.string().optional().describe(`Filter results to one package by its bare name \u2014 ${packages.join(", ")} \u2014 ${scopesNamed}; an unknown name is reported with the indexed names${packages.includes("east-values") ? '. "east-values" is east-py code working with East values directly (eager methods on python values, not an East function), and is searched only when named here' : ""}`)
   }, async ({ query, language, format, limit, package: packageFilter }) => {
     const index = await indexPromise;
     const { entries, unknownPackage, known } = searchExamples(index, { query, limit, package: packageFilter, scopes });

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "east",
-  "version": "1.0.98",
+  "version": "1.0.100",
   "description": "East programming language ecosystem - a statically typed, expression-based language for business logic, data processing, UI definitions, and durable execution",
   "author": {
     "name": "Elara AI",