@neocompose/cli 0.31.7 → 0.31.8

package/CHANGELOG.md

@@ -1,5 +1,14 @@
 # Changelog
 
+## [0.31.8] - 2026-08-17
+
+### Fixed
+
+- Propagate `?.` through following required member and index accesses in the
+  same expression chain, so a nullable parent safely short-circuits a deep
+  read while independently nullable descendants still require explicit null
+  handling.
+
 ## [0.31.7] - 2026-08-15
 
 ### Fixed

package/dist/neo.mjs

@@ -11838,13 +11838,15 @@ var init_strict_resolver = __esm({
             };
           }
         }
-        const receiver = this.resolveExpression(receiverAst, scope);
-        if (optional && !isNullable(receiver.type)) {
+        const resolvedReceiver = this.resolveExpression(receiverAst, scope);
+        if (optional && !isNullable(resolvedReceiver.type)) {
           throw new CompileError(
-            `\`?.\` requires an optional receiver; got ${this.describe(receiver.type)}`,
+            `\`?.\` requires an optional receiver; got ${this.describe(resolvedReceiver.type)}`,
             pos
           );
         }
+        const receiver = resolvedReceiver.optionalChainType ? { ...resolvedReceiver, type: resolvedReceiver.optionalChainType } : resolvedReceiver;
+        const nullPropagating = optional || resolvedReceiver.optionalChainType !== void 0;
         if (!optional && isNullable(receiver.type)) {
           throw new CompileError(
             `Member '${name}' is read on ${this.describe(receiver.type)}, which may be null. Handle null before reading through it \u2014 use \`!\` if it is always set, or \`?.\`, \`??\`, or a null check that narrows it.`,
@@ -11852,7 +11854,7 @@ var init_strict_resolver = __esm({
           );
         }
         if (receiver.staticType?.kind === "enum") {
-          if (optional) {
+          if (nullPropagating) {
             throw new CompileError(
               `\`?.\` is not valid on enum type '${receiver.staticType.name}'; enum option access is always defined`,
               pos
@@ -11924,9 +11926,10 @@ var init_strict_resolver = __esm({
                   pointer: receiver.pointer,
                   key: numberPointer(0)
                 },
-                ...optional ? { optional: true } : {}
+                ...nullPropagating ? { optional: true } : {}
               },
-              type: optional ? { ...primitiveMember.type, nullable: true } : primitiveMember.type,
+              type: nullPropagating ? { ...primitiveMember.type, nullable: true } : primitiveMember.type,
+              ...nullPropagating ? { optionalChainType: primitiveMember.type } : {},
               ...receiver.writability ? { writability: receiver.writability } : {}
             };
           }
@@ -11934,7 +11937,7 @@ var init_strict_resolver = __esm({
             receiver,
             primitiveMember.key ?? name,
             primitiveMember.type,
-            optional
+            nullPropagating
           );
           if (!primitiveMember.derived) return resolved;
           return {
@@ -11968,7 +11971,7 @@ var init_strict_resolver = __esm({
               receiver,
               name,
               { kind: "primitive", name: "string" },
-              optional
+              nullPropagating
             );
           }
           const member = type.members.find((candidate) => candidate.name === name);
@@ -12002,9 +12005,10 @@ var init_strict_resolver = __esm({
                 type: "callGetter" /* CallGetter */,
                 memberId: member.id,
                 receiver: { kind: "instance", pointer: receiver.pointer },
-                ...optional ? { optional: true } : {}
+                ...nullPropagating ? { optional: true } : {}
               },
-              type: optional ? { ...memberType2, nullable: true } : memberType2,
+              type: nullPropagating ? { ...memberType2, nullable: true } : memberType2,
+              ...nullPropagating ? { optionalChainType: memberType2 } : {},
               symbol: member,
               ...member.writable ? {
                 writability: member.writability ? toWritability(member.writability) : "setter" /* Setter */
@@ -12028,7 +12032,7 @@ var init_strict_resolver = __esm({
               receiver,
               member.schemaKey ?? member.name,
               memberType2,
-              optional,
+              nullPropagating,
               member.id
             ),
             symbol: member,
@@ -12136,14 +12140,23 @@ var init_strict_resolver = __esm({
             ...optional ? { optional: true } : {}
           },
           type: optional ? { ...type, nullable: true } : type,
+          ...optional ? { optionalChainType: type } : {},
           ...receiver.writability ? { writability: receiver.writability } : {}
         };
       }
       resolveIndex(receiverAst, indexAst, scope, pos, optional) {
-        const receiver = this.resolveExpression(receiverAst, scope);
-        if (optional && !isNullable(receiver.type)) {
+        const resolvedReceiver = this.resolveExpression(receiverAst, scope);
+        if (optional && !isNullable(resolvedReceiver.type)) {
           throw new CompileError(
-            `\`?.[]\` requires an optional receiver; got ${this.describe(receiver.type)}`,
+            `\`?.[]\` requires an optional receiver; got ${this.describe(resolvedReceiver.type)}`,
+            pos
+          );
+        }
+        const receiver = resolvedReceiver.optionalChainType ? { ...resolvedReceiver, type: resolvedReceiver.optionalChainType } : resolvedReceiver;
+        const nullPropagating = optional || resolvedReceiver.optionalChainType !== void 0;
+        if (!optional && isNullable(receiver.type)) {
+          throw new CompileError(
+            `Index access is read on ${this.describe(receiver.type)}, which may be null. Handle null before indexing it \u2014 use \`!\` if it is always set, or \`?.[]\`, \`??\`, or a null check that narrows it.`,
             pos
           );
         }
@@ -12185,9 +12198,10 @@ var init_strict_resolver = __esm({
               pointer: {
                 type: "keyOf" /* KeyOf */,
                 keyOf: { pointer: receiver.pointer, key: requested.pointer },
-                ...optional ? { optional: true } : {}
+                ...nullPropagating ? { optional: true } : {}
               },
-              type: optional ? { ...receiver.type.elementType, nullable: true } : receiver.type.elementType,
+              type: nullPropagating ? { ...receiver.type.elementType, nullable: true } : receiver.type.elementType,
+              ...nullPropagating ? { optionalChainType: receiver.type.elementType } : {},
               ...receiver.writability ? { writability: receiver.writability } : {}
             };
           }
@@ -12218,9 +12232,10 @@ var init_strict_resolver = __esm({
           pointer: {
             type: "keyOf" /* KeyOf */,
             keyOf: { pointer: receiver.pointer, key: index.pointer },
-            ...optional ? { optional: true } : {}
+            ...nullPropagating ? { optional: true } : {}
           },
-          type: optional ? { ...valueType, nullable: true } : valueType,
+          type: nullPropagating ? { ...valueType, nullable: true } : valueType,
+          ...nullPropagating ? { optionalChainType: valueType } : {},
           ...receiver.writability ? { writability: receiver.writability } : {}
         };
       }
@@ -111261,7 +111276,7 @@ var init_registry2 = __esm({
     PROJECT_SCHEMA_CONTRACT = Object.freeze({
       formatVersion: 3,
       contractVersion: "3.13",
-      cliVersion: "0.31.7",
+      cliVersion: "0.31.8",
       projectFileUploadBatchSize: 32,
       documentRecords: {
         member: {
@@ -117856,7 +117871,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.31.7");
+    console.log("0.31.8");
     return;
   }
   if (args.command === null || args.command === "help" || args.command === "--help" || args.command === "-h") {

package/package.json

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

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

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

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

@@ -49,6 +49,11 @@ if (player.Target != null) {
 return player.Target?.Name ?? "Unknown";
 ```
 
+Null propagation remains active across following required accesses in the same
+chain, so `config.Hat?.Head.Idle.Down.Frames` safely returns null when `Hat` is
+null. A descendant that is itself nullable still needs its own `?.`, `??`, `!`,
+or narrowing guard before the next access.
+
 Treat lookup-return values with the same nullable narrowing rules.
 
 Let runtime ownership—not body kind—decide whether a write target is Immutable,