@elaraai/east-claude-plugin 1.0.98 → 1.0.99

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/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "east",
-  "version": "1.0.98",
+  "version": "1.0.99",
   "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",