@neocompose/cli 0.64.1 → 0.65.1

package/CHANGELOG.md

@@ -1,5 +1,18 @@
 # Changelog
 
+## [0.65.1] - 2026-10-03
+
+- Pull and push reconciliation emit a stored `new NeoAnimationSegmentFrame<NeoCollider?>(value: null)`. A null constructor argument typed by a class's generic parameter now checks nullability against the row's type argument. Previously, a pushed segment holding a null frame committed, but source reconciliation failed with "Required constructor argument stores null".
+- Pulled type arguments keep a nullable binding's `?`, in constructions, references, and declared member types. Previously `FrameBox<NeoCollider?> Box` pulled as `FrameBox<NeoCollider> Box`, and the next push made the binding required.
+- Code compiled from stored records keeps a nullable binding's `?`. A member declared `NeoAnimationSegmentFrame<NeoCollider?>` keeps that type, so passing it where that type is expected compiles, and reading its value as a required `NeoCollider` reports an error. Previously, every bound type argument was typed as required.
+
+## [0.65.0] - 2026-10-03
+
+- Move `Collider` from `NeoObject` to `NeoObjectBase`, so sprite objects and layer groups can carry a box collider too. Unity codegen implements `INeoColliderSource` on `NeoObjectBase`.
+- Segment tracks may target a Class member, such as `NeoObjectBase.Collider`. Each frame plays a whole value or `null`. A segment whose class does not fit the target member reports which class it plays. A segment of nullable values cannot target a required member.
+- Constructor arguments and object initializers typed by a class's generic parameter take the site's type argument. `new NeoAnimationSegmentFrame<NeoCollider?>(value: null)` and `{ Value = null }` now compile.
+- Authoring `null` over a member that held a class instance drops the instance's class and constructor metadata. Previously the row kept them, and push rejected it as an invalid value record.
+
 ## [0.64.1] - 2026-10-02
 
 - Reserve `OnChanged` as a member name. Every generated Unity class declares the SDK's `OnChanged` change subscription, so a member by that name now reports `reserved-project-name` instead of pushing the SDK method aside as `OnChanged_2`.

package/dist/neo.mjs

@@ -14192,11 +14192,18 @@ function validateExpression(expression, expected, scope, environment, uri, range
       siteArgumentNames,
       siteInitializerNames
     );
+    const siteTypeArguments = expression.typeArguments?.map(semanticAstType) ?? (expression.className === null ? expected?.arguments : void 0) ?? [];
+    const siteBindings = new Map(
+      declaration.genericParameters.flatMap((parameter4, index) => {
+        const argument2 = siteTypeArguments[index];
+        return argument2 ? [[parameter4.name, argument2]] : [];
+      })
+    );
     for (const diagnostic of validateNeoConstructionSite(
       environment.construction,
       {
         className: declaration.name,
-        typeArguments: expression.typeArguments?.map(semanticAstType) ?? (expression.className === null ? expected?.arguments : void 0) ?? [],
+        typeArguments: siteTypeArguments,
         argumentNames: variantSite?.argumentNames ?? siteArgumentNames,
         initializerNames: variantSite?.initializerNames ?? siteInitializerNames
       }
@@ -14232,7 +14239,7 @@ function validateExpression(expression, expected, scope, environment, uri, range
         (candidate) => candidate.name === (variantMember ?? named)
       ) : fields[index];
       const expectedType = parameter4?.type ?? field?.type;
-      const expectedSemanticType = declaration.name === NEO_LOOKUP_VARIANT_FOLDER_TYPE_NAME && named === "collectionValue" ? { name: "string" } : expectedType ? semanticType(expectedType) : void 0;
+      const expectedSemanticType = declaration.name === NEO_LOOKUP_VARIANT_FOLDER_TYPE_NAME && named === "collectionValue" ? { name: "string" } : expectedType ? substituteSemanticType(semanticType(expectedType), siteBindings) : void 0;
       validateExpression(
         argument2,
         expectedSemanticType,
@@ -14253,8 +14260,11 @@ function validateExpression(expression, expected, scope, environment, uri, range
       validateExpression(
         entry.value,
         field ? substituteSemanticType(
-          semanticType(field.member.type),
-          field.bindings
+          substituteSemanticType(
+            semanticType(field.member.type),
+            field.bindings
+          ),
+          siteBindings
         ) : void 0,
         scope,
         environment,
@@ -14469,7 +14479,7 @@ function sourceClassMemberByName(declaration, name, environment, initialBindings
 function substituteSemanticType(type, bindings) {
   const bound = bindings.get(type.name);
   if (bound !== void 0 && (type.arguments ?? []).length === 0) {
-    return type.nullable === void 0 ? bound : { ...bound, nullable: type.nullable };
+    return type.nullable === true ? { ...bound, nullable: true } : bound;
   }
   const argumentsList2 = (type.arguments ?? []).map(
     (argument2) => substituteSemanticType(argument2, bindings)
@@ -22778,7 +22788,12 @@ var init_strict_resolver = __esm({
           };
         });
         fields.push(
-          ...this.resolveCallSiteInitializerFields(schemaClass2, expression, scope)
+          ...this.resolveCallSiteInitializerFields(
+            schemaClass2,
+            targetType,
+            expression,
+            scope
+          )
         );
         const schemaClassInfo = toWireType(targetType, this.project);
         if (schemaClassInfo.type !== 7 /* Class */) {
@@ -22904,6 +22919,7 @@ var init_strict_resolver = __esm({
         ) : [];
         const fields = this.resolveCallSiteInitializerFields(
           schemaClass2,
+          targetType,
           expression,
           scope
         );
@@ -23018,7 +23034,7 @@ var init_strict_resolver = __esm({
        * the class's own schema exactly as a `classConstructor` field is, and
        * applied after the body so an explicit assignment always wins.
        */
-      resolveCallSiteInitializerFields(schemaClass2, expression, scope) {
+      resolveCallSiteInitializerFields(schemaClass2, targetType, expression, scope) {
         const entries = expression.initializer ?? [];
         const seen = /* @__PURE__ */ new Set();
         return entries.map((entry) => {
@@ -23063,10 +23079,15 @@ var init_strict_resolver = __esm({
               entry.pos
             );
           }
-          const value = this.resolveExpression(entry.value, scope, member.type);
-          if (!isNeoScriptTypeAssignable(value.type, member.type, this.project)) {
+          const memberType2 = substituteTypeParameters(
+            member.type,
+            targetType,
+            schemaClass2
+          );
+          const value = this.resolveExpression(entry.value, scope, memberType2);
+          if (!isNeoScriptTypeAssignable(value.type, memberType2, this.project)) {
             throw new CompileError(
-              `Object initializer '${member.name}' expected ${this.describe(member.type)} but got ${this.describe(value.type)}.`,
+              `Object initializer '${member.name}' expected ${this.describe(memberType2)} but got ${this.describe(value.type)}.`,
               entry.pos
             );
           }
@@ -29934,7 +29955,7 @@ var init_registry = __esm({
   "../packages/manifest/schema-contract/registry.mjs"() {
     "use strict";
     PROJECT_SCHEMA_CONTRACT = Object.freeze({
-      cliVersion: "0.64.1",
+      cliVersion: "0.65.1",
       projectFileUploadBatchSize: 32,
       documentRecords: {
         member: {
@@ -43302,6 +43323,9 @@ function createMergeMemo() {
 function resolveInheritanceChain(classId, classes, draft) {
   return [...indexClasses(classes).inheritanceChain(classId, draft)];
 }
+function resolveInheritanceChainFromIndex(classId, classIndex, draft) {
+  return resolveChainFromIndex(classId, classIndex, draft);
+}
 function resolveChainFromIndex(classId, index, draft) {
   const chain = [];
   const visited = /* @__PURE__ */ new Set();
@@ -44374,6 +44398,14 @@ var init_world_system_classes_generated = __esm({
             docsText: "When false, this object and its children are neither rendered nor collided with. The value stays live: member writes still apply and a running animation clip keeps playing. Disabling an object hides its whole subtree regardless of each child's own value, and re-enabling it restores exactly what was there.",
             requirement: 1 /* Required */,
             schemaKey: "Enabled"
+          },
+          {
+            memberId: "system_a0083c92-72f7-405f-8863-ff86f995d36d",
+            memberKind: "class",
+            defaultValue: null,
+            docsText: "The object's box collider, or null for none. Any world object can carry one: placed objects, nested children, and sprites alike.",
+            schemaClassWorldKind: "objectCollider",
+            schemaKey: "Collider"
           }
         ],
         worldKind: "objectBase"
@@ -44583,13 +44615,6 @@ var init_world_system_classes_generated = __esm({
             requirement: 1 /* Required */,
             schemaKey: "Children"
           },
-          {
-            memberId: "system_a0083c92-72f7-405f-8863-ff86f995d36d",
-            memberKind: "class",
-            defaultValue: null,
-            schemaClassWorldKind: "objectCollider",
-            schemaKey: "Collider"
-          },
           {
             memberId: "system_c609fed3-53e4-5147-b493-e4aa23031d79",
             memberKind: "computed",
@@ -52500,7 +52525,7 @@ function renderMemberType(context, member, enclosingClassId, elementSettings = f
             context,
             required(context.members, boundMemberId, "generic binding"),
             enclosingClassId
-          ).replace(/\?$/u, "");
+          );
         });
         value = `${schemaClass2.name}${args.length ? `<${args.join(", ")}>` : ""}`;
       }
@@ -61100,7 +61125,7 @@ function resolveMemberDeclaredTypeInfoInternal(member, members, seen) {
             members,
             nextSeen
           );
-          return argumentType === null ? [] : [[genericParamId, { ...argumentType, required: true }]];
+          return argumentType === null ? [] : [[genericParamId, argumentType]];
         }
       )
     );
@@ -65443,13 +65468,11 @@ function classArguments(member, context, seen, genericEnvironment) {
       if (environmentEntry?.kind === "member") {
         const argument3 = analyzerMemberById(context, environmentEntry.memberId);
         return argument3 ? [
-          requiredType(
-            memberRuntimeType(
-              argument3,
-              context,
-              new Set(seen),
-              genericEnvironment
-            )
+          memberRuntimeType(
+            argument3,
+            context,
+            new Set(seen),
+            genericEnvironment
           )
         ] : [];
       }
@@ -65464,13 +65487,11 @@ function classArguments(member, context, seen, genericEnvironment) {
     }
     const argument2 = analyzerMemberById(context, binding.memberId);
     return argument2 ? [
-      requiredType(
-        memberRuntimeType(
-          argument2,
-          context,
-          new Set(seen),
-          genericEnvironment
-        )
+      memberRuntimeType(
+        argument2,
+        context,
+        new Set(seen),
+        genericEnvironment
       )
     ] : [];
   });
@@ -65657,11 +65678,7 @@ function genericConstraintLanguageType(constraint, context, genericEnvironment,
       ];
     }
     const member = analyzerMemberById(context, binding.memberId);
-    return member ? [
-      requiredType(
-        memberRuntimeType(member, context, /* @__PURE__ */ new Set(), genericEnvironment)
-      )
-    ] : [];
+    return member ? [memberRuntimeType(member, context, /* @__PURE__ */ new Set(), genericEnvironment)] : [];
   });
   return {
     kind: "named",
@@ -73507,7 +73524,7 @@ function runtimeTypeCheck(value, checkType, ctx, seenCollections = /* @__PURE__
 function runtimeValueMatchesType(value, typeInfo, ctx, seenCollections = /* @__PURE__ */ new Set()) {
   if (typeInfo.type === NS_TYPE_UNKNOWN) return true;
   if (value === null || value === void 0) {
-    return typeInfo.type === 0 /* Null */ || !typeInfo.required;
+    return typeInfo.type === 0 /* Null */ || typeInfo.type === 21 /* Generic */ || !typeInfo.required;
   }
   return runtimeTypeCheck(value, typeInfo, ctx, seenCollections);
 }
@@ -103116,11 +103133,26 @@ var init_animation_clips = __esm({
             `${args.label} targets "${boundChildName}.${targetEntry.schemaKey}" of kind ${MemberKind[targetMember.kind]}, but its segment plays ${MemberKind[valueBindingMember.kind]} values.`
           );
         }
-        if (!this.overrideLeafEligible(
-          targetMember,
+        if (isMemberClass(targetMember) && isMemberClass(valueBindingMember) && !resolveInheritanceChainFromIndex(
+          valueBindingMember.classId,
+          this.classById
+        ).some((current) => current.id === targetMember.classId)) {
+          const targetClassName = this.classById.get(targetMember.classId)?.name ?? targetMember.classId;
+          const valueClassName2 = this.classById.get(valueBindingMember.classId)?.name ?? valueBindingMember.classId;
+          throw new Error(
+            `${args.label} targets "${boundChildName}.${targetEntry.schemaKey}" of class ${targetClassName}, but its segment plays ${valueClassName2} values.`
+          );
+        }
+        if (isRequiredMember2(targetMember) && !isRequiredMember2(valueBindingMember)) {
+          throw new Error(
+            `${args.label} targets "${boundChildName}.${targetEntry.schemaKey}", which is required, but its segment plays nullable values.`
+          );
+        }
+        if (animationTrackStorage(
           [targetMember.id],
+          this.memberById,
           args.childStoragePath
-        )) {
+        ) === null) {
           throw new Error(
             `${args.label} targets "${boundChildName}.${targetEntry.schemaKey}", which is not a writable Save, Session, or Writable override leaf.`
           );
@@ -124540,7 +124572,7 @@ function lowerValueBody(context, member, expression, base, source, environment,
     if (member.required) {
       throw new Error(`Required member ${member.name} cannot store null.`);
     }
-    return { ...next, value: null };
+    return overlayLiteralValueContent(next, { value: null });
   }
   switch (member.kind) {
     case "null":
@@ -127700,7 +127732,7 @@ function recordedStoredConstructorId(value, schemaClass2) {
 }
 function storedConstructorArgumentSource(context, type, value, environment, visited, cloneAggregateArguments = false, partial = false, constructorOwnsGraph = false) {
   if (value === null) {
-    if (!type.nullable) {
+    if (!type.nullable && (type.kind !== "generic" || !storedGenericArgumentType(context, type, environment).nullable)) {
       throw new Error("Required constructor argument stores null.");
     }
     return "null";
@@ -127790,26 +127822,10 @@ function storedConstructorArgumentSource(context, type, value, environment, visi
         constructorOwnsGraph
       );
     }
-    case "generic": {
-      const bindingId = environment.get(type.genericParamId);
-      const inferredClassId = inferredGenericClassId(bindingId);
-      const resolvedType = inferredClassId === null ? bindingId === void 0 ? null : schemaTypeForBindingMember(context, bindingId, environment) : {
-        kind: "class",
-        nullable: type.nullable,
-        classId: inferredClassId,
-        classArguments: {}
-      };
-      if (resolvedType === null) {
-        throw new Error(
-          `Stored Generic constructor argument cannot resolve parameter ${type.genericParamId}.`
-        );
-      }
+    case "generic":
       return storedConstructorArgumentSource(
         context,
-        withSchemaTypeNullability(
-          resolvedType,
-          type.nullable || resolvedType.nullable
-        ),
+        storedGenericArgumentType(context, type, environment),
         value,
         environment,
         visited,
@@ -127817,7 +127833,6 @@ function storedConstructorArgumentSource(context, type, value, environment, visi
         partial,
         constructorOwnsGraph
       );
-    }
     case "interface":
     case "list":
     case "dictionary":
@@ -127868,6 +127883,25 @@ function storedConstructorArgumentSource(context, type, value, environment, visi
       );
   }
 }
+function storedGenericArgumentType(context, type, environment) {
+  const bindingId = environment.get(type.genericParamId);
+  const inferredClassId = inferredGenericClassId(bindingId);
+  const resolvedType = inferredClassId === null ? bindingId === void 0 ? null : schemaTypeForBindingMember(context, bindingId, environment) : {
+    kind: "class",
+    nullable: type.nullable,
+    classId: inferredClassId,
+    classArguments: {}
+  };
+  if (resolvedType === null) {
+    throw new Error(
+      `Stored Generic constructor argument cannot resolve parameter ${type.genericParamId}.`
+    );
+  }
+  return withSchemaTypeNullability(
+    resolvedType,
+    type.nullable || resolvedType.nullable
+  );
+}
 function schemaTypeForBindingMember(context, memberId, environment, visited = /* @__PURE__ */ new Set()) {
   if (visited.has(memberId)) {
     throw new Error(
@@ -128033,6 +128067,10 @@ function storedAggregateReplaySource(context, type, valueId, environment, constr
 function isSharedConstructorArgument(context, valueId, constructorOwnsGraph) {
   return !constructorOwnsGraph && context.readMaterializedGraph().independentlyOwnedValueIds.has(valueId);
 }
+function storedTypeArgumentName(context, type, environment) {
+  const settled = type.kind === "generic" ? storedGenericArgumentType(context, type, environment) : type;
+  return `${storedSchemaTypeName(context, settled, environment)}${settled.nullable ? "?" : ""}`;
+}
 function storedSchemaTypeName(context, type, environment, valueId) {
   switch (type.kind) {
     case "unknown":
@@ -128045,7 +128083,7 @@ function storedSchemaTypeName(context, type, environment, valueId) {
       const argumentsValue = schemaClass2.genericParameters.flatMap(
         (parameter4) => {
           const argument2 = type.classArguments[parameter4.id];
-          return argument2 === void 0 ? [] : [storedSchemaTypeName(context, argument2, environment)];
+          return argument2 === void 0 ? [] : [storedTypeArgumentName(context, argument2, environment)];
         }
       );
       return `${schemaClass2.name}${argumentsValue.length === 0 ? "" : `<${argumentsValue.join(", ")}>`}`;
@@ -128073,10 +128111,10 @@ function storedSchemaTypeName(context, type, environment, valueId) {
       return manifestMemberTypeName(context, member);
     }
     case "list":
-      return `List<${storedSchemaTypeName(context, type.entryType, environment)}>`;
+      return `List<${storedTypeArgumentName(context, type.entryType, environment)}>`;
     case "dictionary": {
       const keyType = type.keyEnumId === null ? "string" : stringField3(context.enums.get(type.keyEnumId) ?? {}, "name");
-      return `Dictionary<${keyType}, ${storedSchemaTypeName(context, type.entryType, environment)}>`;
+      return `Dictionary<${keyType}, ${storedTypeArgumentName(context, type.entryType, environment)}>`;
     }
     case "bool":
     case "int":
@@ -128293,10 +128331,13 @@ function classValueTypeName(context, classId, member, environment) {
         `Stored Class member ${String(member.name ?? member.id)} has no concrete ${parameter4.name} binding.`
       );
     }
-    return manifestMemberTypeName(context, bindingMember);
+    return typeArgumentName(context, bindingMember);
   });
   return `${name}<${argumentsValue.join(", ")}>`;
 }
+function typeArgumentName(context, member) {
+  return `${manifestMemberTypeName(context, member)}${member.required ? "" : "?"}`;
+}
 function manifestMemberTypeName(context, member) {
   if (member.kind === "class") {
     const schemaClass2 = context.manifestClasses.get(member.classId);
@@ -128317,7 +128358,7 @@ function manifestMemberTypeName(context, member) {
           `Stored generic binding ${binding.memberId} was not pulled.`
         );
       }
-      return manifestMemberTypeName(context, argument2);
+      return typeArgumentName(context, argument2);
     });
     return `${schemaClass2.name}<${argumentsValue.join(", ")}>`;
   }
@@ -156165,7 +156206,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.64.1");
+    console.log("0.65.1");
     return;
   }
   if (args.command === null || args.command === "help" || args.command === "--help" || args.command === "-h") {

package/dist/test-worker.mjs

@@ -6058,6 +6058,14 @@ var WORLD_SYSTEM_CLASS_DEFINITIONS = [
         docsText: "When false, this object and its children are neither rendered nor collided with. The value stays live: member writes still apply and a running animation clip keeps playing. Disabling an object hides its whole subtree regardless of each child's own value, and re-enabling it restores exactly what was there.",
         requirement: 1 /* Required */,
         schemaKey: "Enabled"
+      },
+      {
+        memberId: "system_a0083c92-72f7-405f-8863-ff86f995d36d",
+        memberKind: "class",
+        defaultValue: null,
+        docsText: "The object's box collider, or null for none. Any world object can carry one: placed objects, nested children, and sprites alike.",
+        schemaClassWorldKind: "objectCollider",
+        schemaKey: "Collider"
       }
     ],
     worldKind: "objectBase"
@@ -6267,13 +6275,6 @@ var WORLD_SYSTEM_CLASS_DEFINITIONS = [
         requirement: 1 /* Required */,
         schemaKey: "Children"
       },
-      {
-        memberId: "system_a0083c92-72f7-405f-8863-ff86f995d36d",
-        memberKind: "class",
-        defaultValue: null,
-        schemaClassWorldKind: "objectCollider",
-        schemaKey: "Collider"
-      },
       {
         memberId: "system_c609fed3-53e4-5147-b493-e4aa23031d79",
         memberKind: "computed",
@@ -18651,7 +18652,7 @@ function runtimeTypeCheck(value, checkType, ctx, seenCollections = /* @__PURE__
 function runtimeValueMatchesType(value, typeInfo, ctx, seenCollections = /* @__PURE__ */ new Set()) {
   if (typeInfo.type === NS_TYPE_UNKNOWN) return true;
   if (value === null || value === void 0) {
-    return typeInfo.type === 0 /* Null */ || !typeInfo.required;
+    return typeInfo.type === 0 /* Null */ || typeInfo.type === 21 /* Generic */ || !typeInfo.required;
   }
   return runtimeTypeCheck(value, typeInfo, ctx, seenCollections);
 }
@@ -24779,7 +24780,7 @@ function resolveMemberDeclaredTypeInfoInternal(member, members, seen) {
             members,
             nextSeen
           );
-          return argumentType === null ? [] : [[genericParamId, { ...argumentType, required: true }]];
+          return argumentType === null ? [] : [[genericParamId, argumentType]];
         }
       )
     );
@@ -35277,7 +35278,12 @@ var StrictNeoScriptResolver = class {
       };
     });
     fields.push(
-      ...this.resolveCallSiteInitializerFields(schemaClass, expression, scope)
+      ...this.resolveCallSiteInitializerFields(
+        schemaClass,
+        targetType,
+        expression,
+        scope
+      )
     );
     const schemaClassInfo = toWireType(targetType, this.project);
     if (schemaClassInfo.type !== 7 /* Class */) {
@@ -35403,6 +35409,7 @@ var StrictNeoScriptResolver = class {
     ) : [];
     const fields = this.resolveCallSiteInitializerFields(
       schemaClass,
+      targetType,
       expression,
       scope
     );
@@ -35517,7 +35524,7 @@ var StrictNeoScriptResolver = class {
    * the class's own schema exactly as a `classConstructor` field is, and
    * applied after the body so an explicit assignment always wins.
    */
-  resolveCallSiteInitializerFields(schemaClass, expression, scope) {
+  resolveCallSiteInitializerFields(schemaClass, targetType, expression, scope) {
     const entries = expression.initializer ?? [];
     const seen = /* @__PURE__ */ new Set();
     return entries.map((entry) => {
@@ -35562,10 +35569,15 @@ var StrictNeoScriptResolver = class {
           entry.pos
         );
       }
-      const value = this.resolveExpression(entry.value, scope, member.type);
-      if (!isNeoScriptTypeAssignable(value.type, member.type, this.project)) {
+      const memberType = substituteTypeParameters(
+        member.type,
+        targetType,
+        schemaClass
+      );
+      const value = this.resolveExpression(entry.value, scope, memberType);
+      if (!isNeoScriptTypeAssignable(value.type, memberType, this.project)) {
         throw new CompileError(
-          `Object initializer '${member.name}' expected ${this.describe(member.type)} but got ${this.describe(value.type)}.`,
+          `Object initializer '${member.name}' expected ${this.describe(memberType)} but got ${this.describe(value.type)}.`,
           entry.pos
         );
       }
@@ -40627,13 +40639,11 @@ function classArguments(member, context, seen, genericEnvironment) {
       if (environmentEntry?.kind === "member") {
         const argument3 = analyzerMemberById(context, environmentEntry.memberId);
         return argument3 ? [
-          requiredType(
-            memberRuntimeType(
-              argument3,
-              context,
-              new Set(seen),
-              genericEnvironment
-            )
+          memberRuntimeType(
+            argument3,
+            context,
+            new Set(seen),
+            genericEnvironment
           )
         ] : [];
       }
@@ -40648,13 +40658,11 @@ function classArguments(member, context, seen, genericEnvironment) {
     }
     const argument2 = analyzerMemberById(context, binding.memberId);
     return argument2 ? [
-      requiredType(
-        memberRuntimeType(
-          argument2,
-          context,
-          new Set(seen),
-          genericEnvironment
-        )
+      memberRuntimeType(
+        argument2,
+        context,
+        new Set(seen),
+        genericEnvironment
       )
     ] : [];
   });
@@ -40841,11 +40849,7 @@ function genericConstraintLanguageType(constraint, context, genericEnvironment,
       ];
     }
     const member = analyzerMemberById(context, binding.memberId);
-    return member ? [
-      requiredType(
-        memberRuntimeType(member, context, /* @__PURE__ */ new Set(), genericEnvironment)
-      )
-    ] : [];
+    return member ? [memberRuntimeType(member, context, /* @__PURE__ */ new Set(), genericEnvironment)] : [];
   });
   return {
     kind: "named",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@neocompose/cli",
-  "version": "0.64.1",
+  "version": "0.65.1",
   "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.64.1 -->
+<!-- reviewed-through-cli: 0.65.1 -->
 
 # Neo Compose CLI
 

package/skills/neocompose-cli/references/animation-and-world-authoring.md

@@ -388,6 +388,37 @@ frame after a watched dependency changes.
 When multiple tracks write the same member in one frame, apply list order and
 let the last write win.
 
+A track can target a Class member. Each frame writes its whole value, and a
+`null` frame clears the member. Every `NeoObjectBase`, sprites included,
+declares `Collider`, so a per-frame trigger such as an attack hit box is a
+Session `Collider` override on the child plus a track of `NeoCollider?`
+frames:
+
+```neo
+class ColliderAnimationSegment : NeoAnimationSegment<NeoCollider?> {
+}
+
+@settings(target: NeoObjectBase.Collider)
+class SwingColliderTrack(NeoDelegate<SwordSprite> selector)
+  : NeoAnimationSegmentTrack<SwordSprite, NeoCollider?>(selector: selector) {
+  public override ColliderAnimationSegment Segment = new ColliderAnimationSegment() {
+    Duration = 3,
+    Frames = [
+      new NeoAnimationSegmentFrame<NeoCollider?>(value: new NeoCollider() {
+        Size = new(1, 1),
+        Offset = new(1, 1),
+        IsTrigger = true
+      }) { Index = 1 },
+      new NeoAnimationSegmentFrame<NeoCollider?>(value: null) { Index = 2 }
+    ]
+  };
+}
+```
+
+The segment's class must fit the target member's class. Like any track target,
+the member must be a writable Save, Session, or Writable leaf on the child, for
+example `@storage(allowed: .Session) public override NeoCollider? Collider;`.
+
 ## NeoFlow dialogues
 
 Lookup dialogue groups use the same collection paths as lookup members:

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.64.1 -->
+<!-- reviewed-through-cli: 0.65.1 -->
 ```
 
 The quoted version above is checked too, so this instruction cannot go stale