@neocompose/cli 0.62.2 → 0.63.0

package/CHANGELOG.md

@@ -1,5 +1,14 @@
 # Changelog
 
+## [0.63.0] - 2026-10-02
+
+- Add `@effect` for class member functions. The Unity runtime runs an effect for every live instance, then reruns it whenever data it read changes. `@effect(kind: .None)` stops an inherited effect. An effect must be an immediate, parameterless `void` instance function with a NeoScript or abstract body; anything else reports `invalid-effect` at its source.
+- Pull functions with empty bodies instead of failing on their stored empty source.
+
+## [0.62.3] - 2026-10-02
+
+- `neo export unity` saves the server codegen revision in the generated-file manifest, matching Unity synchronization. Server codegen changes now invalidate incremental Unity exports even when project records have not changed. Unchanged generated C# files retain their contents and timestamps.
+
 ## [0.62.2] - 2026-10-02
 
 - Speed up `neo test` after production edits by sharing one indexed compiler context across specs and omitting the push-only source serialization round trip. Production compilation and whole-graph validation still run.

package/dist/neo.mjs

@@ -19678,6 +19678,7 @@ var init_project_schema_contract_generated = __esm({
           "argumentTypes",
           "dispatch",
           "bodyMode",
+          "effect",
           "uiAction",
           "templateId",
           "genericParamId"
@@ -19881,6 +19882,10 @@ var init_project_schema_contract_generated = __esm({
           "Sprite",
           "Audio"
         ],
+        "NeoEffectKind": [
+          "None",
+          "Auto"
+        ],
         "NeoProjectRecordKind": [
           "Project",
           "Member",
@@ -24245,6 +24250,9 @@ function fieldsForAnnotation(name, context, environment) {
   if (context.kind === "type") return null;
   if (name === "storage") return storageFields(context);
   if (name === "distribution") return distributionFields(context);
+  if (name === "effect") {
+    return context.kind === "member" && context.memberKind === "function" ? [{ name: "kind", type: "NeoEffectKind" }] : null;
+  }
   if (name === "relations") return relationFields(context, environment);
   if (name === "system") {
     return context.kind === "class" || context.kind === "schema" || context.kind === "member" ? markerFields("NeoSystemAttribute") : null;
@@ -27804,11 +27812,23 @@ function validateMembers(environment, diagnostics) {
         );
       }
     }
+    for (const member of ref.declaration.members) {
+      const effect = effectAnnotation(member);
+      if (effect === void 0) continue;
+      diagnose(
+        diagnostics,
+        ref.uri,
+        effect.nameRange,
+        "invalid-effect",
+        `Interface member '${ref.declaration.name}.${member.name}' cannot be an @effect; only class member functions can.`
+      );
+    }
     validateInterfaceMemberConflicts(ref, environment, diagnostics);
   }
   for (const ref of environment.classes.values()) {
     validateClassMemberModifiers(ref, environment, diagnostics);
     validateClassOverrides(ref, environment, diagnostics);
+    validateEffects(ref, environment, diagnostics);
     if (ref.declaration.modifiers.includes("abstract")) {
       validateAbstractInterfaceMembers(ref, environment, diagnostics);
     } else {
@@ -28234,6 +28254,70 @@ function validateClassOverrides(ref, environment, diagnostics) {
     }
   }
 }
+function validateEffects(ref, environment, diagnostics) {
+  let inherited;
+  for (const member of ref.declaration.members) {
+    if (member.kind !== "function") continue;
+    const annotation2 = effectAnnotation(member);
+    let kind = annotation2 === void 0 ? void 0 : effectKind(annotation2);
+    if (annotation2 === void 0) {
+      if (!member.modifiers.includes("override") || !member.modifiers.includes("native")) {
+        continue;
+      }
+      inherited ??= inheritedClassMembers(ref, environment);
+      kind = inheritedEffectKind(inherited, member.name);
+    }
+    if (kind !== "Auto") continue;
+    const problem = effectIneligibility(member);
+    if (problem === null) continue;
+    diagnose(
+      diagnostics,
+      ref.uri,
+      annotation2?.nameRange ?? member.nameRange,
+      "invalid-effect",
+      `'${ref.declaration.name}.${member.name}' cannot be an @effect: ${problem}.`
+    );
+  }
+}
+function effectAnnotation(member) {
+  return member.annotations.find((entry) => entry.name === "effect");
+}
+function effectKind(annotation2) {
+  if (annotation2.arguments.length === 0) return "Auto";
+  const argument2 = annotation2.arguments.find((entry) => entry.name === "kind") ?? annotation2.arguments.find((entry) => entry.name === void 0);
+  if (argument2 === void 0) return void 0;
+  let expression;
+  try {
+    expression = parseExpression(argument2.text);
+  } catch (error) {
+    if (error instanceof CompileError) return void 0;
+    throw error;
+  }
+  return expression.kind === "contextualEnum" ? expression.name : void 0;
+}
+function inheritedEffectKind(inherited, name) {
+  for (let index = inherited.length - 1; index >= 0; index -= 1) {
+    const view = inherited[index];
+    if (!namesEqual(view.member.name, name)) continue;
+    const annotation2 = effectAnnotation(view.member);
+    if (annotation2 !== void 0) return effectKind(annotation2);
+  }
+  return void 0;
+}
+function effectIneligibility(member) {
+  if (member.modifiers.includes("static")) {
+    return "a static function has no instance to run for";
+  }
+  if (member.modifiers.includes("native")) {
+    return "a native function has no NeoScript reads to track";
+  }
+  if (member.modifiers.includes("async")) {
+    return "an effect runs immediately and cannot be async";
+  }
+  if (member.type.name !== "void") return "an effect must return void";
+  if (member.parameters.length > 0) return "an effect takes no parameters";
+  return null;
+}
 function isPlatformImplementedSystemMember(member) {
   if (!member.modifiers.includes("protected")) return false;
   return member.annotations.some((entry) => entry.name === "system");
@@ -28699,6 +28783,8 @@ var init_project_source_type_checker = __esm({
     init_language_spec();
     init_project_source_ast();
     init_lexer();
+    init_executable_parser();
+    init_strict_compile_error();
     init_project_source_accessors();
     init_project_source_identifiers();
     BUILTIN_ARITY = /* @__PURE__ */ new Map([
@@ -30106,6 +30192,7 @@ function projectDeclarationAnnotationNames(declaration) {
 }
 function projectMemberAnnotationNames(member) {
   const names = ["id", "settings", "storage", "distribution"];
+  if (member?.kind === "function") names.push("effect");
   if (member?.type.name === "List") names.push("index", "column");
   return names;
 }
@@ -31770,6 +31857,8 @@ function annotationSignatureParameters(name) {
       return ["StorageKind allowed"];
     case "distribution":
       return ["NeoSubtreeDistribution kind"];
+    case "effect":
+      return ["NeoEffectKind kind"];
     case "relations":
       return ["relation descriptors"];
     case "incomplete":
@@ -40021,7 +40110,7 @@ function assertMemberInvariants(member, path) {
       fail2("script", "is required for a concrete scripted member.");
   }
 }
-var nonEmptyString, nullableString2, nullableId, finiteNumber, nullableNumber, nullableInteger, jsonValueSchema, schemaSourcePositionSchema, schemaSourceSpanSchema, schemaSourceSymbolKinds, schemaSourceIdentitySchema, memberSourceIdentitySchema, systemProtectionKindSchema, worldSystemClassKindSchema, schemaSystemMetadataSchema, schemaGenericBindingSchema, schemaGenericBindingRecordSchema, genericConstraintSchema, schemaGenericParameterSchema, primitiveTypeKinds, schemaTypeCache, returnTypeCache, schemaTypeSchema, schemaFunctionReturnTypeSchema, schemaParameterDefaultSchema, schemaFunctionArgumentSchema, memberOwnerSchema, schemaDefaultValueSchema, propertyScriptSchema, functionScriptSchema, commonMemberEntries, schemaMemberCommonSchema, simpleMemberSchemas, dictionaryKeySchema, schemaListIndexSchema, schemaListColumnSchema, callableEntries, schemaMemberSchema, SchemaMemberContractError;
+var nonEmptyString, nullableString2, nullableId, finiteNumber, nullableNumber, nullableInteger, jsonValueSchema, schemaSourcePositionSchema, schemaSourceSpanSchema, schemaSourceSymbolKinds, schemaSourceIdentitySchema, memberSourceIdentitySchema, systemProtectionKindSchema, worldSystemClassKindSchema, schemaSystemMetadataSchema, schemaGenericBindingSchema, schemaGenericBindingRecordSchema, genericConstraintSchema, schemaGenericParameterSchema, primitiveTypeKinds, schemaTypeCache, returnTypeCache, schemaTypeSchema, schemaFunctionReturnTypeSchema, schemaParameterDefaultSchema, schemaFunctionArgumentSchema, memberOwnerSchema, schemaDefaultValueSchema, propertyScriptSchema, functionScriptSchema, commonMemberEntries, schemaMemberCommonSchema, simpleMemberSchemas, dictionaryKeySchema, schemaListIndexSchema, schemaListColumnSchema, callableEntries, functionEffectSchema, schemaMemberSchema, SchemaMemberContractError;
 var init_schema_member = __esm({
   "../packages/manifest/src/schema-member.ts"() {
     "use strict";
@@ -40346,6 +40435,7 @@ var init_schema_member = __esm({
       returnType: schemaFunctionReturnTypeSchema,
       arguments: array2(schemaFunctionArgumentSchema)
     };
+    functionEffectSchema = optional(picklist(["none", "auto"]));
     schemaMemberSchema = variant("kind", [
       ...simpleMemberSchemas,
       memberSchema("int", {
@@ -40408,11 +40498,13 @@ var init_schema_member = __esm({
       }),
       memberSchema("function", {
         ...callableEntries,
-        deferred: boolean2()
+        deferred: boolean2(),
+        effect: functionEffectSchema
       }),
       memberSchema("scriptFunction", {
         ...callableEntries,
         deferred: boolean2(),
+        effect: functionEffectSchema,
         bodyMode: optional(literal2("ui")),
         uiAction: optional(jsonValueSchema),
         script: nullable(functionScriptSchema)
@@ -40503,6 +40595,7 @@ var init_document_contracts = __esm({
           "argumentTypes",
           "dispatch",
           "bodyMode",
+          "effect",
           "uiAction",
           "templateId",
           "genericParamId"
@@ -42207,12 +42300,24 @@ function memberFromDocument(record6, members, owners, classNames, context) {
         FUNCTION_DISPATCH,
         record6,
         "dispatch"
-      ) === "asynchronous"
+      ) === "asynchronous",
+      // The row's own value, not the chain's: an override without `@effect`
+      // inherits, and resolving here would emit the ancestor's kind back
+      // into the override's source as phantom drift.
+      ...data.effect === void 0 || data.effect === null ? {} : {
+        effect: ordinalValue(
+          data.effect,
+          FUNCTION_EFFECT,
+          record6,
+          "effect"
+        )
+      }
     };
     if (kind === MEMBER_KIND.Function) {
       return { ...common, kind: "function", ...signature };
     }
-    const code = optionalStringOrNull(field("code", null));
+    const codeValue = field("code", null);
+    const code = codeValue === "" ? "" : optionalStringOrNull(codeValue);
     const bodyModeValue = ordinalValue(
       field("bodyMode", 0),
       FUNCTION_BODY,
@@ -42458,6 +42563,9 @@ function memberToDocumentFields(member, baseData3) {
     if (member.deferred || isOverride) {
       fields.dispatch = member.deferred ? 1 : 0;
     }
+    if (member.effect !== void 0) {
+      fields.effect = FUNCTION_EFFECT.indexOf(member.effect);
+    }
     if (member.kind === "scriptFunction" && member.script !== null && member.bodyMode !== "ui") {
       fields.code = member.script.sourceText;
     }
@@ -43252,7 +43360,7 @@ function invalidDocument(record6, path, message) {
     `${record6.recordKind}:${record6.recordId}.${path} ${message}.`
   );
 }
-var MEMBER_KIND, MEMBER_MODIFIERS, MEMBER_ACCESS, MEMBER_STORAGE, MEMBER_DISTRIBUTION, STRING_FORMAT, MEMBER_SEARCH_BY, MEMBER_SELECTION, FUNCTION_DISPATCH, FUNCTION_BODY, MEMBER_PAYLOAD, DICTIONARY_KEY, LIST_KIND, LIST_INDEX, COLUMN_VISIBILITY, COLUMN_PIN, COLUMN_OVERFLOW, GENERIC_BINDING, TYPE_KIND_BY_MEMBER_KIND, SIMPLE_MEMBER_KIND_BY_KIND, MEMBER_KIND_BY_KIND, TYPE_MEMBER_KIND_BY_KIND, MEMBER_IDENTITY_FIELDS, INHERITED_MEMBER_ORDINAL_FIELDS, NULLABLE_OVERRIDE_MEMBER_FIELDS;
+var MEMBER_KIND, MEMBER_MODIFIERS, MEMBER_ACCESS, MEMBER_STORAGE, MEMBER_DISTRIBUTION, STRING_FORMAT, MEMBER_SEARCH_BY, MEMBER_SELECTION, FUNCTION_DISPATCH, FUNCTION_BODY, FUNCTION_EFFECT, MEMBER_PAYLOAD, DICTIONARY_KEY, LIST_KIND, LIST_INDEX, COLUMN_VISIBILITY, COLUMN_PIN, COLUMN_OVERFLOW, GENERIC_BINDING, TYPE_KIND_BY_MEMBER_KIND, SIMPLE_MEMBER_KIND_BY_KIND, MEMBER_KIND_BY_KIND, TYPE_MEMBER_KIND_BY_KIND, MEMBER_IDENTITY_FIELDS, INHERITED_MEMBER_ORDINAL_FIELDS, NULLABLE_OVERRIDE_MEMBER_FIELDS;
 var init_codecs = __esm({
   "src/project-manifest/record-adapters/codecs.ts"() {
     "use strict";
@@ -43303,6 +43411,7 @@ var init_codecs = __esm({
     MEMBER_SELECTION = ["single", "multi"];
     FUNCTION_DISPATCH = ["synchronous", "asynchronous"];
     FUNCTION_BODY = ["code", "ui"];
+    FUNCTION_EFFECT = ["none", "auto"];
     MEMBER_PAYLOAD = ["full", "partial"];
     DICTIONARY_KEY = ["string", "enum"];
     LIST_KIND = ["ordered", "unordered"];
@@ -49170,6 +49279,9 @@ var init_structured_leaf_fields = __esm({
 });
 
 // ../src/models/members/member-kinds.ts
+function isFunctionEffectKind(value) {
+  return value === 0 /* None */ || value === 1 /* Auto */;
+}
 function isMemberAccessKind(value) {
   return MEMBER_ACCESS_KINDS.includes(value);
 }
@@ -49918,6 +50030,11 @@ function hasValidStorageField(v, allowNull) {
   if (typeof v.kind !== "number") return false;
   return memberKindSupportsStorage(v.kind);
 }
+function hasValidEffectField(v) {
+  if (v.effect === void 0) return true;
+  if (!isFunctionEffectKind(v.effect)) return false;
+  return v.kind === 13 /* Function */ || v.kind === 23 /* NSFunction */;
+}
 function hasValidDistributionField(v) {
   if (v.distribution === void 0) return true;
   if (!isNeoSubtreeDistributionKind(v.distribution)) return false;
@@ -49948,6 +50065,7 @@ function isMemberBase(value) {
   }
   if (!hasValidStorageField(v, true)) return false;
   if (!hasValidDistributionField(v)) return false;
+  if (!hasValidEffectField(v)) return false;
   const storageKey = getField(value, "storageKey");
   if (storageKey !== void 0 && storageKey !== null && typeof storageKey !== "string")
     return false;
@@ -50047,6 +50165,7 @@ function isMemberOverrideBase(value) {
   }
   if (!hasValidStorageField(v, false)) return false;
   if (!hasValidDistributionField(v)) return false;
+  if (!hasValidEffectField(v)) return false;
   if (v.defaultValue !== void 0 && v.defaultValue !== null && !isMemberValueBase(v.defaultValue)) {
     return false;
   }
@@ -59706,6 +59825,7 @@ function emitMember(context, member, enclosingClassId) {
     // P76 §1 is never materialized into source, so a member that omits the
     // annotation round-trips as an omission.
     ...member.distribution ? [`@distribution(kind: .${enumCase(member.distribution)})`] : [],
+    ...(member.kind === "function" || member.kind === "scriptFunction") && member.effect !== void 0 ? [member.effect === "auto" ? "@effect" : "@effect(kind: .None)"] : [],
     ...memberSettings(context, member),
     ...listAnnotations(member),
     ...member.system ? [systemAnnotation2(member.system)] : []
@@ -62578,6 +62698,11 @@ function lowerMemberKind(context, ownerClass, declaration, id2, owner) {
         };
       }
     );
+    const effect = functionEffectValue(
+      annotation(declaration.annotations, "effect"),
+      ownerClass,
+      declaration
+    );
     const settings = annotation(declaration.annotations, "settings");
     const logicMode = contextualEnumArgument(settings, "logic");
     if (logicMode !== null && logicMode !== "UI") {
@@ -62604,6 +62729,7 @@ function lowerMemberKind(context, ownerClass, declaration, id2, owner) {
         returnType,
         arguments: argumentsValue,
         deferred: declaration.modifiers.includes("async"),
+        ...effect,
         ...logicMode === "UI" ? { bodyMode: "ui", uiAction } : {},
         script: {
           kind: "function",
@@ -62621,6 +62747,7 @@ function lowerMemberKind(context, ownerClass, declaration, id2, owner) {
         returnType,
         arguments: argumentsValue,
         deferred: declaration.modifiers.includes("async"),
+        ...effect,
         bodyMode: "ui",
         ...uiAction === void 0 ? {} : { uiAction },
         script: null
@@ -62633,6 +62760,7 @@ function lowerMemberKind(context, ownerClass, declaration, id2, owner) {
         returnType,
         arguments: argumentsValue,
         deferred: declaration.modifiers.includes("async"),
+        ...effect,
         script: null
       };
     }
@@ -62641,7 +62769,8 @@ function lowerMemberKind(context, ownerClass, declaration, id2, owner) {
       kind: "function",
       returnType,
       arguments: argumentsValue,
-      deferred: declaration.modifiers.includes("async")
+      deferred: declaration.modifiers.includes("async"),
+      ...effect
     };
   }
   return lowerFieldMember(
@@ -62771,6 +62900,16 @@ function distributionValue(value, ownerClass, declaration) {
     `@distribution on ${site} has unknown kind ".${kind}". Valid kinds are .Sparse and .Packed.`
   );
 }
+function functionEffectValue(value, ownerClass, declaration) {
+  if (value === void 0) return {};
+  if (value.arguments.length === 0) return { effect: "auto" };
+  const kind = contextualEnumArgument(value, "kind");
+  if (kind === "None") return { effect: "none" };
+  if (kind === "Auto") return { effect: "auto" };
+  throw new Error(
+    `@effect on ${ownerClass.name}.${declaration.name} has unknown kind${kind === null ? "" : ` ".${kind}"`}. Valid kinds are .None and .Auto.`
+  );
+}
 function resolvedMemberStorage(context, memberId, visited = /* @__PURE__ */ new Set()) {
   if (visited.has(memberId)) return null;
   visited.add(memberId);
@@ -147462,7 +147601,7 @@ var init_registry2 = __esm({
   "../packages/manifest/schema-contract/registry.mjs"() {
     "use strict";
     PROJECT_SCHEMA_CONTRACT = Object.freeze({
-      cliVersion: "0.62.2",
+      cliVersion: "0.63.0",
       projectFileUploadBatchSize: 32,
       documentRecords: {
         member: {
@@ -147514,6 +147653,10 @@ var init_registry2 = __esm({
             "argumentTypes",
             "dispatch",
             "bodyMode",
+            // P97 §1.1. No normalization rule, like `distribution`: absence means
+            // unset (a declaration resolves to `.None`, an override inherits) and
+            // explicit ordinal 0 is an authored `.None` that stops inheritance.
+            "effect",
             "uiAction",
             "templateId",
             "genericParamId"
@@ -147816,7 +147959,8 @@ var init_registry2 = __esm({
             NeoColumnVisibility: ["Visible", "Hidden"],
             NeoColumnPin: ["None", "Leading"],
             NeoColumnOverflow: ["Clip", "Wrap"],
-            NeoFileKind: ["Sprite", "Audio"]
+            NeoFileKind: ["Sprite", "Audio"],
+            NeoEffectKind: ["None", "Auto"]
           },
           markers: {
             NeoSchemaClassAttribute: {
@@ -155535,7 +155679,7 @@ function readManifest(path) {
   });
   return { projectId: data.projectId, files };
 }
-function writeUnityGeneratedFiles(directory, projectId, files) {
+function writeUnityGeneratedFiles(directory, projectId, files, codegenRevision) {
   if (!Array.isArray(files) || files.length === 0)
     throw new Error(
       "The export returned no generated files. Update the server before exporting Unity code."
@@ -155599,6 +155743,7 @@ function writeUnityGeneratedFiles(directory, projectId, files) {
       {
         schemaVersion: 1,
         projectId,
+        codegenRevision,
         files: [...files].sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0).map((file) => ({
           id: file.id,
           path: file.path,
@@ -155680,7 +155825,8 @@ async function runExportUnity(workspace, outDir) {
   writeUnityGeneratedFiles(
     scriptsDir,
     response.projectId,
-    response.generatedFiles
+    response.generatedFiles,
+    response.codegenRevision
   );
   writeFileSync16(join19(resourcesDir, "project.json"), response.projectJson);
   for (const file of response.localizationFiles ?? []) {
@@ -156229,7 +156375,7 @@ There is no --keep-current: preserving current semantic state defines flatten.
 async function main() {
   const args = parseArgs(process.argv.slice(2));
   if (args.command === "--version") {
-    console.log("0.62.2");
+    console.log("0.63.0");
     return;
   }
   if (args.command === null || args.command === "help" || args.command === "--help" || args.command === "-h") {

package/dist/test-worker.mjs

@@ -15569,6 +15569,9 @@ var NSFunctionArgumentReservedNames = /* @__PURE__ */ new Set([
   ...FunctionArgumentReservedNames,
   "value"
 ]);
+function isFunctionEffectKind(value) {
+  return value === 0 /* None */ || value === 1 /* Auto */;
+}
 var CHAIN_RESOLVED_OPTIONAL_MEMBER_FIELDS = [
   "storageKey",
   "minValue",
@@ -16310,6 +16313,11 @@ function hasValidStorageField(v, allowNull) {
   if (typeof v.kind !== "number") return false;
   return memberKindSupportsStorage(v.kind);
 }
+function hasValidEffectField(v) {
+  if (v.effect === void 0) return true;
+  if (!isFunctionEffectKind(v.effect)) return false;
+  return v.kind === 13 /* Function */ || v.kind === 23 /* NSFunction */;
+}
 function hasValidDistributionField(v) {
   if (v.distribution === void 0) return true;
   if (!isNeoSubtreeDistributionKind(v.distribution)) return false;
@@ -16340,6 +16348,7 @@ function isMemberBase(value) {
   }
   if (!hasValidStorageField(v, true)) return false;
   if (!hasValidDistributionField(v)) return false;
+  if (!hasValidEffectField(v)) return false;
   const storageKey = getField(value, "storageKey");
   if (storageKey !== void 0 && storageKey !== null && typeof storageKey !== "string")
     return false;
@@ -16439,6 +16448,7 @@ function isMemberOverrideBase(value) {
   }
   if (!hasValidStorageField(v, false)) return false;
   if (!hasValidDistributionField(v)) return false;
+  if (!hasValidEffectField(v)) return false;
   if (v.defaultValue !== void 0 && v.defaultValue !== null && !isMemberValueBase(v.defaultValue)) {
     return false;
   }
@@ -20142,6 +20152,7 @@ var SCHEMA_DOCUMENT_FIELD_CONTRACTS = {
       "argumentTypes",
       "dispatch",
       "bodyMode",
+      "effect",
       "uiAction",
       "templateId",
       "genericParamId"
@@ -44757,6 +44768,7 @@ var MEMBER_SEARCH_BY = ["none", "memberKey"];
 var MEMBER_SELECTION = ["single", "multi"];
 var FUNCTION_DISPATCH = ["synchronous", "asynchronous"];
 var FUNCTION_BODY = ["code", "ui"];
+var FUNCTION_EFFECT = ["none", "auto"];
 var MEMBER_PAYLOAD = ["full", "partial"];
 var DICTIONARY_KEY = ["string", "enum"];
 var LIST_KIND = ["ordered", "unordered"];
@@ -45094,12 +45106,24 @@ function memberFromDocument(record2, members, owners, classNames, context) {
         FUNCTION_DISPATCH,
         record2,
         "dispatch"
-      ) === "asynchronous"
+      ) === "asynchronous",
+      // The row's own value, not the chain's: an override without `@effect`
+      // inherits, and resolving here would emit the ancestor's kind back
+      // into the override's source as phantom drift.
+      ...data.effect === void 0 || data.effect === null ? {} : {
+        effect: ordinalValue(
+          data.effect,
+          FUNCTION_EFFECT,
+          record2,
+          "effect"
+        )
+      }
     };
     if (kind === MEMBER_KIND.Function) {
       return { ...common, kind: "function", ...signature };
     }
-    const code = optionalStringOrNull(field("code", null));
+    const codeValue = field("code", null);
+    const code = codeValue === "" ? "" : optionalStringOrNull(codeValue);
     const bodyModeValue = ordinalValue(
       field("bodyMode", 0),
       FUNCTION_BODY,
@@ -45365,6 +45389,9 @@ function memberToDocumentFields(member, baseData) {
     if (member.deferred || isOverride) {
       fields.dispatch = member.deferred ? 1 : 0;
     }
+    if (member.effect !== void 0) {
+      fields.effect = FUNCTION_EFFECT.indexOf(member.effect);
+    }
     if (member.kind === "scriptFunction" && member.script !== null && member.bodyMode !== "ui") {
       fields.code = member.script.sourceText;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@neocompose/cli",
-  "version": "0.62.2",
+  "version": "0.63.0",
   "description": "Neo Compose native project-source CLI with bidirectional sync.",
   "license": "MIT",
   "type": "module",

package/skills/neocompose-cli/SKILL.md

@@ -9,7 +9,7 @@ description: >-
   `@neocompose/cli` or `node cli/bin/neo.mjs` in the neo-compose repository.
 ---
 
-<!-- reviewed-through-cli: 0.62.2 -->
+<!-- reviewed-through-cli: 0.63.0 -->
 
 # Neo Compose CLI
 

package/skills/neocompose-cli/references/cli-development.md

@@ -110,7 +110,7 @@ wrappers.
 The marker near the top of `SKILL.md` must exactly match the package version:
 
 ```html
-<!-- reviewed-through-cli: 0.62.2 -->
+<!-- reviewed-through-cli: 0.63.0 -->
 ```
 
 The quoted version above is checked too, so this instruction cannot go stale

package/skills/neocompose-cli/references/declarations-and-construction.md

@@ -105,6 +105,12 @@ Use context-aware typed annotations:
   explicitly stored. A packed subtree shares its parent's document-size limit,
   so a write that would exceed the hard limit fails instead of falling back.
   `.Packed` is rejected on a List whose `listKind` is unordered.
+- `@effect` only on a class member function. The Unity runtime runs it for
+  every live instance and reruns it whenever data it read changes; the web
+  editor, `neo test`, and dry runs never run effects. It must be an immediate,
+  parameterless `void` instance function with a NeoScript or abstract body.
+  An override without the annotation inherits; `@effect(kind: .None)` stops
+  an inherited effect. Use it instead of polling or relaying changes by hand.
 
 Use numeric literals for numeric limits. Keep annotations separate instead of
 inventing a generic metadata bag.