@neocompose/cli 0.84.1 → 0.84.2

package/CHANGELOG.md

@@ -1,5 +1,14 @@
 # Changelog
 
+## 0.84.2
+
+### Patch Changes
+
+- 89cf02a: Allow runtime interface tests on generic values whose bounds admit implementing subtypes, including members accessed through open generic classes. Continue rejecting provably disjoint types.
+- de01b14: Keep proven interface capabilities after negative guards that continue, break, return, or throw. Guarded receivers retain their class members, support interface member dispatch and assignment, and offer both sets of members in editor completion.
+- 6a93d79: Report unknown class names in stored object initializers at the constructor type token, including nested arguments and collections. Refresh editor diagnostics when the class is created, renamed, or removed.
+- c3c0b0c: Report construction-path initializer failures at their original source file and token instead of a downstream reference. Keep mapped diagnostics through deferred reference validation and omit duplicate reports from references to the same failure.
+
 ## 0.84.1
 
 ### Patch Changes

package/dist/neo-runtime.mjs

@@ -17587,7 +17587,7 @@ var init_registry = __esm({
   "../packages/manifest/schema-contract/registry.mjs"() {
     "use strict";
     PROJECT_SCHEMA_CONTRACT = Object.freeze({
-      cliVersion: "0.84.1",
+      cliVersion: "0.84.2",
       projectFileUploadBatchSize: 32,
       documentRecords: {
         member: {
@@ -21418,7 +21418,8 @@ var init_executable_parser = __esm({
         }
         if (isIdentifier(t) && t.text === NEOSCRIPT_CONSTRUCTOR_KEYWORD) {
           this.next();
-          const className = isIdentifier(this.peek()) ? this.next().text : null;
+          const classToken = isIdentifier(this.peek()) ? this.next() : null;
+          const className = classToken?.text ?? null;
           const typeArguments = [];
           if (this.eat("operator", "<")) {
             if (className === null) {
@@ -21452,6 +21453,7 @@ var init_executable_parser = __esm({
           return {
             kind: "new",
             className,
+            ...classToken ? { classNamePos: at(classToken) } : {},
             ...typeArguments.length > 0 ? { typeArguments } : {},
             args,
             ...hasArgumentList ? { hasArgumentList: true } : {},
@@ -31635,6 +31637,22 @@ function neoScriptMemberLookupType(type) {
   }
   return nullable2 && current.nullable !== true ? { ...current, nullable: true } : current;
 }
+function neoScriptMemberReceiverType(type, memberName, project) {
+  const primary = neoScriptMemberLookupType(type);
+  if (primary.kind !== "named" || primary.narrowedInterfaces === void 0)
+    return primary;
+  const declaration = project.typeById.get(primary.typeId);
+  if (declaration?.kind === "class" && (memberName === NEOSCRIPT_CLASS_ID_MEMBER || memberName === "Clone"))
+    return primary;
+  if (declaration?.members.some((member) => member.name === memberName))
+    return primary;
+  for (const bound of Object.values(primary.narrowedInterfaces)) {
+    if (project.typeById.get(bound.typeId)?.members.some((member) => member.name === memberName)) {
+      return { ...bound, nullable: primary.nullable === true };
+    }
+  }
+  return primary;
+}
 function isNeoScriptHandleReferenceTarget(target, isValueType) {
   switch (target.kind) {
     case "list":
@@ -31952,6 +31970,20 @@ function isNeoScriptTypeAssignable(source, target, project) {
   if (isUnknownType(source) || isUnknownType(target)) return false;
   if (isNullType(source)) return isNullableType2(target);
   if (isNullableType2(source) && !isNullableType2(target)) return false;
+  if (target.kind === "named" && target.narrowedInterfaces !== void 0) {
+    for (const bound of Object.values(target.narrowedInterfaces)) {
+      if (!isNeoScriptTypeAssignable(source, bound, project)) return false;
+    }
+  }
+  if (source.kind === "named" && source.narrowedInterfaces !== void 0) {
+    const direct = target.kind === "named" ? source.narrowedInterfaces[target.typeId] : void 0;
+    if (direct !== void 0 && isNeoScriptTypeAssignable(direct, target, project))
+      return true;
+    for (const bound of Object.values(source.narrowedInterfaces)) {
+      if (bound !== direct && isNeoScriptTypeAssignable(bound, target, project))
+        return true;
+    }
+  }
   if (source.kind === "primitive" && target.kind === "primitive") {
     if (source.name === target.name) return true;
     return source.name === "int" && (target.name === "float" || target.name === "decimal");
@@ -32036,9 +32068,40 @@ function isNeoScriptTypeAssignable(source, target, project) {
   }
   return false;
 }
+function withoutNeoScriptInterfaceProofs(type) {
+  if (type.kind !== "named" || type.narrowedInterfaces === void 0)
+    return type;
+  const { narrowedInterfaces: _proofs, ...declared } = type;
+  return declared;
+}
 function commonNeoScriptAssignableType(left, right, project) {
   if (isNeoScriptTypeAssignable(left, right, project)) return right;
   if (isNeoScriptTypeAssignable(right, left, project)) return left;
+  if (left.kind === "named" && right.kind === "named" && (left.narrowedInterfaces !== void 0 || right.narrowedInterfaces !== void 0)) {
+    const declaredLeft = withoutNeoScriptInterfaceProofs(left);
+    const declaredRight = withoutNeoScriptInterfaceProofs(right);
+    const common = commonNeoScriptAssignableType(
+      declaredLeft,
+      declaredRight,
+      project
+    );
+    if (common?.kind !== "named") return null;
+    const proofs = {};
+    for (const [source, other] of [
+      [left, right],
+      [right, left]
+    ]) {
+      for (const [id2, proof] of Object.entries(
+        source.narrowedInterfaces ?? {}
+      )) {
+        if (proofs[id2] !== void 0) continue;
+        const opposite = other.narrowedInterfaces?.[id2] ?? other;
+        if (isNeoScriptTypeAssignable(opposite, proof, project))
+          proofs[id2] = proof;
+      }
+    }
+    return { ...common, narrowedInterfaces: proofs };
+  }
   return null;
 }
 function isNeoVariantTypeId(typeId, project) {
@@ -34302,17 +34365,22 @@ function mergeFactSets(sets) {
     )
   );
 }
-function mergeNarrowingMaps(maps) {
+function mergeNarrowingMaps(maps, project) {
   const first = maps[0];
   if (!first) return /* @__PURE__ */ new Map();
   const result = /* @__PURE__ */ new Map();
   for (const [path, narrowed] of first) {
-    if (maps.slice(1).every((map) => {
-      const candidate = map.get(path);
-      return candidate?.rootEntry === narrowed.rootEntry && typeRefsEqual(candidate.type, narrowed.type);
-    })) {
-      result.set(path, narrowed);
+    let common = narrowed.type;
+    for (let index = 1; index < maps.length; index++) {
+      const candidate = maps[index].get(path);
+      if (candidate?.rootEntry !== narrowed.rootEntry) {
+        common = null;
+        break;
+      }
+      common = commonNeoScriptAssignableType(common, candidate.type, project);
+      if (common === null) break;
     }
+    if (common !== null) result.set(path, { ...narrowed, type: common });
   }
   return result;
 }
@@ -34341,6 +34409,16 @@ function typeRefsEqual(left, right) {
   if (left.kind === "named" && right.kind === "named") {
     const leftArgs = left.typeArguments ?? [];
     const rightArgs = right.typeArguments ?? [];
+    if (left.narrowedInterfaces !== right.narrowedInterfaces) {
+      const leftBounds = Object.entries(left.narrowedInterfaces ?? {});
+      const rightBounds = right.narrowedInterfaces ?? {};
+      if (leftBounds.length !== Object.keys(rightBounds).length) return false;
+      for (const [id2, leftBound] of leftBounds) {
+        const rightBound = rightBounds[id2];
+        if (rightBound === void 0 || !typeRefsEqual(leftBound, rightBound))
+          return false;
+      }
+    }
     return left.typeId === right.typeId && leftArgs.length === rightArgs.length && leftArgs.every((item, index) => {
       const other = rightArgs[index];
       return other !== void 0 && typeRefsEqual(item, other);
@@ -35320,6 +35398,10 @@ function typesOverlap(left, right, project) {
   if (isUnknown(left) || isUnknown(right)) return true;
   if (isNull(left)) return isNullable(right);
   if (isNull(right)) return isNullable(left);
+  left = neoScriptMemberLookupType(left);
+  right = neoScriptMemberLookupType(right);
+  if (left.kind === "typeParameter" || right.kind === "typeParameter")
+    return true;
   if (isNeoScriptTypeAssignable(left, right, project) || isNeoScriptTypeAssignable(right, left, project))
     return true;
   if (left.kind === "named" && right.kind === "named") {
@@ -36689,7 +36771,7 @@ var init_strict_resolver = __esm({
                 statement.init.pos
               );
             }
-            const localType = declared ?? initial.type;
+            const localType = declared ?? withoutNeoScriptInterfaceProofs(initial.type);
             if (declared) {
               this.requireAssignable(
                 initial.type,
@@ -36704,16 +36786,18 @@ var init_strict_resolver = __esm({
               initial.pointer,
               this.project
             );
-            scope.define(
-              scopeVariable(
-                statement.name,
-                local,
-                localType,
-                "local" /* Local */,
-                localOwnership(initial),
-                this.localWriteTargetRoot(initial, scope)
-              )
+            const entry = scopeVariable(
+              statement.name,
+              local,
+              localType,
+              "local" /* Local */,
+              localOwnership(initial),
+              this.localWriteTargetRoot(initial, scope)
             );
+            scope.define(entry);
+            if (inferred && localType !== initial.type) {
+              scope.narrow(statement.name, entry, initial.type);
+            }
             return { type: "variable" /* Variable */, variable: local };
           }
           case "if": {
@@ -36768,7 +36852,8 @@ var init_strict_resolver = __esm({
             mergeBranchInvalidations(scope, branchExitOwnershipScopes);
             if (branchExitNarrowings.length > 0) {
               for (const [path, narrowed] of mergeNarrowingMaps(
-                branchExitNarrowings
+                branchExitNarrowings,
+                this.project
               )) {
                 const rootEntry = scope.lookup(pathRoot(path));
                 if (rootEntry === narrowed.rootEntry) {
@@ -37694,7 +37779,7 @@ var init_strict_resolver = __esm({
       }
       mergeLoopNarrowings(parent, exitPaths) {
         if (exitPaths.length === 0) return;
-        const merged = mergeNarrowingMaps(exitPaths);
+        const merged = mergeNarrowingMaps(exitPaths, this.project);
         for (const [path, narrowed] of parent.effectiveNarrowedPaths()) {
           const common = merged.get(path);
           if (parent.containsEntry(narrowed.rootEntry) && (common?.rootEntry !== narrowed.rootEntry || !typeRefsEqual(common.type, narrowed.type))) {
@@ -39447,8 +39532,13 @@ var init_strict_resolver = __esm({
               expression.receiver,
               scope
             );
-            if (receiverExpression.type.kind !== "named") return null;
-            owner = this.project.typeById.get(receiverExpression.type.typeId);
+            const memberType2 = neoScriptMemberReceiverType(
+              receiverExpression.type,
+              expression.name,
+              this.project
+            );
+            if (memberType2.kind !== "named") return null;
+            owner = this.project.typeById.get(memberType2.typeId);
             symbol = owner?.members.find(
               (candidate) => candidate.name === expression.name && (candidate.kind === "function" || candidate.kind === "method")
             );
@@ -39459,7 +39549,10 @@ var init_strict_resolver = __esm({
                 expression.pos
               );
             }
-            receiver = { kind: "instance", expression: receiverExpression };
+            receiver = {
+              kind: "instance",
+              expression: { ...receiverExpression, type: memberType2 }
+            };
           }
         } else {
           return null;
@@ -39536,9 +39629,13 @@ var init_strict_resolver = __esm({
             if (symbol === void 0 || symbol.static !== true) return null;
           } else {
             const receiver2 = this.resolveExpression(expression.receiver, scope);
-            if (receiver2.type.kind !== "named") return null;
-            receiverType = receiver2.type;
-            owner = this.project.typeById.get(receiver2.type.typeId);
+            receiverType = neoScriptMemberReceiverType(
+              receiver2.type,
+              expression.name,
+              this.project
+            );
+            if (receiverType.kind !== "named") return null;
+            owner = this.project.typeById.get(receiverType.typeId);
             symbol = owner?.members.find(
               (candidate) => candidate.name === expression.name && (candidate.kind === "function" || candidate.kind === "method")
             );
@@ -39616,6 +39713,7 @@ var init_strict_resolver = __esm({
             pos
           );
         }
+        entryType = withoutNeoScriptInterfaceProofs(entryType);
         for (const item of resolved) {
           const common = commonNeoScriptAssignableType(
             entryType,
@@ -39640,7 +39738,7 @@ var init_strict_resolver = __esm({
         }
         const type = {
           kind: "list",
-          elementType: entryType
+          elementType: withoutNeoScriptInterfaceProofs(entryType)
         };
         const wire = toWireType(type, this.project);
         if (wire.type !== 6 /* List */) {
@@ -39706,6 +39804,7 @@ var init_strict_resolver = __esm({
         if (!keyType || !valueType) {
           throw new CompileError("Dictionary literal type inference failed.", pos);
         }
+        valueType = withoutNeoScriptInterfaceProofs(valueType);
         for (const entry of resolved) {
           if (expectedDictionary) {
             this.requireAssignable(
@@ -39732,7 +39831,7 @@ var init_strict_resolver = __esm({
         const type = {
           kind: "dictionary",
           keyType,
-          valueType
+          valueType: withoutNeoScriptInterfaceProofs(valueType)
         };
         const wire = toWireType(type, this.project);
         if (wire.type !== 5 /* Dictionary */) {
@@ -39988,8 +40087,19 @@ var init_strict_resolver = __esm({
             const target = this.resolveType(fact.targetType);
             const targetDefinition = target.kind === "named" ? this.project.typeById.get(target.typeId) : void 0;
             const naturalDefinition = natural.type.kind === "named" ? this.project.typeById.get(natural.type.typeId) : void 0;
-            const retainConcreteClass = !fact.bindingName && naturalDefinition?.kind === "class" && targetDefinition?.kind === "interface";
-            const narrowed = retainConcreteClass ? { ...natural.type, nullable: false } : { ...target, nullable: false };
+            let narrowed = { ...target, nullable: false };
+            if (!fact.bindingName && natural.type.kind === "named" && (naturalDefinition?.kind === "class" || naturalDefinition?.kind === "interface") && target.kind === "named" && targetDefinition?.kind === "interface") {
+              narrowed = { ...natural.type, nullable: false };
+              if (!isNeoScriptTypeAssignable(narrowed, target, this.project)) {
+                narrowed = {
+                  ...narrowed,
+                  narrowedInterfaces: {
+                    ...natural.type.narrowedInterfaces,
+                    [target.typeId]: target
+                  }
+                };
+              }
+            }
             if (mode === "all" && fact.path !== null && rootEntry !== null && place.type.kind !== "reference") {
               targetScope.narrow(fact.path, rootEntry, narrowed);
             }
@@ -40582,7 +40692,11 @@ var init_strict_resolver = __esm({
         if (receiver.dialogues !== void 0) {
           return this.resolveDialogueGroupRead(receiver, name, pos);
         }
-        const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+        const memberReceiverType = neoScriptMemberReceiverType(
+          receiver.type,
+          name,
+          this.project
+        );
         if (memberReceiverType.kind === "named") {
           const type = this.project.typeById.get(memberReceiverType.typeId);
           if (!type) {
@@ -41394,7 +41508,7 @@ var init_strict_resolver = __esm({
         }
         const type = {
           kind: "list",
-          elementType: entryType
+          elementType: withoutNeoScriptInterfaceProofs(entryType)
         };
         const wire = toWireType(type, this.project);
         if (wire.type !== 6 /* List */) {
@@ -41635,7 +41749,11 @@ var init_strict_resolver = __esm({
             pos
           );
         }
-        const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+        const memberReceiverType = neoScriptMemberReceiverType(
+          receiver.type,
+          callee.name,
+          this.project
+        );
         const namedType2 = memberReceiverType.kind === "named" ? this.project.typeById.get(memberReceiverType.typeId) : void 0;
         const member = namedType2?.members.find(
           (candidate) => (candidate.kind === "function" || candidate.kind === "method") && candidate.name === callee.name
@@ -44060,7 +44178,11 @@ var init_strict_resolver = __esm({
         }
         const receiver = receiverValue();
         if (receiver.dialogues !== void 0) return null;
-        const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+        const memberReceiverType = neoScriptMemberReceiverType(
+          receiver.type,
+          memberName,
+          this.project
+        );
         if (memberReceiverType.kind !== "named") return null;
         const type = this.project.typeById.get(memberReceiverType.typeId);
         const symbol = type?.members.find(
@@ -50978,7 +51100,29 @@ function validateExpression(expression, expected, scope, environment, uri, range
       );
       return;
     }
-    if (!declaration) return;
+    if (!declaration) {
+      if (expression.className !== null && !environment.projectIndex.typeByName.has(expression.className) && semanticTypeRef(
+        {
+          name: expression.className,
+          ...expression.typeArguments ? { arguments: expression.typeArguments.map(semanticAstType) } : {}
+        },
+        scope,
+        environment
+      ) === void 0) {
+        pushDiagnostic(
+          diagnostics,
+          uri,
+          anchor ? anchorSpan(
+            anchor,
+            expression.classNamePos ?? expression.pos,
+            expression.className.length
+          ) : range2,
+          "unknown-construction-type",
+          `Unknown class '${expression.className}'.`
+        );
+      }
+      return;
+    }
     if (declaration.modifiers.includes("abstract")) {
       pushDiagnostic(
         diagnostics,
@@ -55341,7 +55485,7 @@ function sourceParameter(parameter4, owner, typeIds, id2, functionTypeParameters
   };
 }
 function substituteInheritedSourceMember(member, baseInfo, resolvedBaseType) {
-  if (baseInfo.declaration.kind !== "class" || resolvedBaseType.kind !== "named") {
+  if (baseInfo.declaration.kind !== "class" && baseInfo.declaration.kind !== "interface" || resolvedBaseType.kind !== "named") {
     return {
       ...member,
       inheritedFrom: member.inheritedFrom ?? {
@@ -143486,13 +143630,6 @@ function drainValueReferenceObligationsV4(state, manifest, options) {
       ...composeReferenceSitePosition(move.site, options.sourceTextByUri)
     });
   }
-  for (const recorded of options.registry.loweringFailures) {
-    failures.push({
-      message: recorded.message,
-      ...recorded.code === void 0 ? {} : { code: recorded.code },
-      ...composeReferenceSitePosition(recorded.site, options.sourceTextByUri)
-    });
-  }
   for (const obligation of [
     ...collectionValueObligations(manifest),
     ...options.registry.referenceObligations
@@ -143530,7 +143667,17 @@ function drainValueReferenceObligationsV4(state, manifest, options) {
       ...composeReferenceSitePosition(obligation.site, options.sourceTextByUri)
     });
   }
-  return failures;
+  const loweringFailures = options.registry.loweringFailures.map(
+    (recorded) => recorded instanceof SchemaSourceError ? recorded : {
+      message: recorded.message,
+      ...recorded.code === void 0 ? {} : { code: recorded.code },
+      ...composeReferenceSitePosition(
+        recorded.site,
+        options.sourceTextByUri
+      )
+    }
+  );
+  return [...loweringFailures, ...failures];
 }
 function withoutDeletedValues(state, deletedValueIds) {
   if (deletedValueIds.size === 0) return state;
@@ -152062,6 +152209,7 @@ var INFERRED_GENERIC_CLASS_PREFIX, MEMBER_KIND_DICTIONARY2, MEMBER_KIND_LIST2, M
 var init_value_sources = __esm({
   "src/project-source/value-sources.ts"() {
     "use strict";
+    init_source_diagnostics();
     init_immutable_json3();
     init_lower_support();
     init_record_fields();
@@ -157111,6 +157259,10 @@ function walkValueSegments(walk, startId, segments, path, subject, fail2) {
         const resolved = walk.resolveVirtualPath?.(startId, segments);
         if (resolved != null) return resolved;
       } catch (error) {
+        if (error instanceof SchemaSourceError) {
+          walk.registry.loweringFailures.push(error);
+          return null;
+        }
         fail2(
           `${subject} ${path} could not resolve its construction: ${error instanceof Error ? error.message : String(error)}`
         );
@@ -157185,6 +157337,7 @@ var ROOT_PROJECT_FIELDS2, ROOT_PATH_PENDING_PREFIX;
 var init_root_source = __esm({
   "src/project-source/root-source.ts"() {
     "use strict";
+    init_source_diagnostics();
     init_project_root();
     init_value_comparison();
     init_members();
@@ -160362,30 +160515,47 @@ function computeStatus(workspace, options, conflictedFiles, parseErrors, parseWa
     [...staticValues.records, ...memberDefaults.records, ...rootValues.records],
     staticMemberValueIds
   );
+  const sourceTextByUri = new Map(
+    sourceEntries.map((entry) => [entry.relPath, entry.source])
+  );
   let collectionBindings;
   const resolveVirtualPath = (rootId, segments) => {
-    if (collectionBindings === void 0) {
-      const candidate = /* @__PURE__ */ new Map();
-      for (const [key, record7] of Object.entries(rootPathResolutionState)) {
-        if (record7.file !== void 0 && isSchemaRecordKindV4(record7.recordKind) && !documentsByKey.has(key))
-          continue;
-        candidate.set(key, { ...record7, deleted: false });
-      }
-      for (const row of valueLowerRegistry.pendingValues.values()) {
-        candidate.set(`value:${row.id}`, {
-          recordKind: "value",
-          recordId: row.id,
-          contentHash: "",
-          deleted: false,
-          data: { id: row.id, ...encodeStoredValueRowFields(row) }
-        });
+    if (collectionBindings instanceof SchemaSourceError)
+      throw collectionBindings;
+    try {
+      if (collectionBindings === void 0) {
+        const candidate = /* @__PURE__ */ new Map();
+        for (const [key, record7] of Object.entries(rootPathResolutionState)) {
+          if (record7.file !== void 0 && isSchemaRecordKindV4(record7.recordKind) && !documentsByKey.has(key))
+            continue;
+          candidate.set(key, { ...record7, deleted: false });
+        }
+        for (const row of valueLowerRegistry.pendingValues.values()) {
+          candidate.set(`value:${row.id}`, {
+            recordKind: "value",
+            recordId: row.id,
+            contentHash: "",
+            deleted: false,
+            data: { id: row.id, ...encodeStoredValueRowFields(row) }
+          });
+        }
+        const document = readPulledProjectDocumentV4(candidate);
+        compilePulledProjectDocumentForEvaluationV4(document);
+        collectionBindings = new CollectionBindingMaterializer(document);
       }
-      const document = readPulledProjectDocumentV4(candidate);
-      compilePulledProjectDocumentForEvaluationV4(document);
-      collectionBindings = new CollectionBindingMaterializer(document);
+      const resolved = collectionBindings.resolvePath(rootId, segments);
+      return resolved;
+    } catch (error) {
+      const diagnostic = initializerRuntimeDiagnostic(
+        error,
+        valueLowerRegistry.initializerSites,
+        sourceTextByUri,
+        projectAnalysisV4
+      );
+      if (!hasAuthoredSourceFile(diagnostic.file)) throw error;
+      if (collectionBindings === void 0) collectionBindings = diagnostic;
+      throw diagnostic;
     }
-    const resolved = collectionBindings.resolvePath(rootId, segments);
-    return resolved;
   };
   const resolvedCollectionPaths = resolveRootPathCollectionValuesV4({
     manifest,
@@ -160568,7 +160738,7 @@ function computeStatus(workspace, options, conflictedFiles, parseErrors, parseWa
     unavailableSlots: rootValues.unavailableSlots,
     registry: valueLowerRegistry
   });
-  if (collectionBindings !== void 0) {
+  if (collectionBindings !== void 0 && !(collectionBindings instanceof SchemaSourceError)) {
     const bindings = collectionBindings;
     const templateInitializer = (id2) => {
       const sourceValueId = bindings.rowForValue(id2)?.sourceValueId;
@@ -160808,9 +160978,6 @@ function computeStatus(workspace, options, conflictedFiles, parseErrors, parseWa
     changes.push(recordDeleteChange(recordState, recordFile));
   }
   appendCollectionEntryDeletes(workspace, reconstructed3, changes);
-  const sourceTextByUri = new Map(
-    sourceEntries.map((entry) => [entry.relPath, entry.source])
-  );
   const referenceFailures = drainValueReferenceObligationsV4(
     prospectiveState,
     manifest,
@@ -160833,6 +161000,10 @@ function computeStatus(workspace, options, conflictedFiles, parseErrors, parseWa
     }
   );
   for (const failure of referenceFailures) {
+    if (failure instanceof SchemaSourceError) {
+      parseErrors.push(failure);
+      continue;
+    }
     const message = failure.code === void 0 ? failure.message : `${failure.code}: ${failure.message}`;
     parseErrors.push(
       new SchemaSourceError(
@@ -160846,7 +161017,11 @@ function computeStatus(workspace, options, conflictedFiles, parseErrors, parseWa
   }
   reportPhase("record-diff-references", "Checking packed values\u2026");
   if (referenceFailures.length > 0) {
-    return refusedStatus(conflictedFiles, parseErrors, parseWarnings);
+    return refusedStatus(
+      conflictedFiles,
+      uniqueSourceErrors(parseErrors),
+      parseWarnings
+    );
   }
   if (valueLowerRegistry.initializerKeyPatches.size > 0) {
     authoredValueSeeds = settleInitializerKeyCode({
@@ -167475,9 +167650,10 @@ function completionItemsForResolution(snapshot, resolved, word) {
   }
   const memberType2 = neoScriptMemberLookupType(resolved.type);
   const owner = memberType2.kind === "named" ? snapshot.project.typeById.get(memberType2.typeId) : void 0;
-  return membersForType(snapshot, resolved.type).filter(
-    (symbol) => (resolved.symbol?.name !== "base" || isConcreteBaseMember(symbol)) && (owner === void 0 || isMemberCompletionAccessible(snapshot, owner, symbol))
-  ).map((symbol) => symbolCompletion(symbol, word, snapshot));
+  return membersForType(snapshot, resolved.type).filter((symbol) => {
+    const declaration = symbol.inheritedFrom === void 0 ? owner : snapshot.project.typeById.get(symbol.inheritedFrom.typeId) ?? owner;
+    return (resolved.symbol?.name !== "base" || isConcreteBaseMember(symbol)) && (declaration === void 0 || isMemberCompletionAccessible(snapshot, declaration, symbol));
+  }).map((symbol) => symbolCompletion(symbol, word, snapshot));
 }
 function isConcreteBaseMember(symbol) {
   return !symbol.id.startsWith("builtin:") && symbol.static !== true && symbol.abstract !== true && (symbol.kind === "function" || symbol.kind === "method" || symbol.computed === true);
@@ -167537,6 +167713,22 @@ function membersForType(snapshot, type) {
           } : {}
         };
       });
+    if (type.narrowedInterfaces) {
+      const names = new Set(members.map((member) => member.name));
+      for (const bound of Object.values(type.narrowedInterfaces)) {
+        for (const member of membersForType(snapshot, bound)) {
+          if (names.has(member.name)) continue;
+          names.add(member.name);
+          const owner = snapshot.project.typeById.get(bound.typeId);
+          members.push(
+            owner === void 0 || member.inheritedFrom !== void 0 ? member : {
+              ...member,
+              inheritedFrom: { typeId: owner.id, typeName: owner.name }
+            }
+          );
+        }
+      }
+    }
     if (named.kind === "class") {
       members = members.filter(
         (member) => member.name !== NEOSCRIPT_CLASS_ID_MEMBER
@@ -215809,7 +216001,7 @@ var releaseWorkspaceLock = () => void 0;
 async function main() {
   const args = parseArgs(process.argv.slice(2));
   if (args.command === "--version") {
-    console.log("0.84.1");
+    console.log("0.84.2");
     return;
   }
   if (args.command === null || args.command === "help" || args.command === "--help" || args.command === "-h") {

package/dist/test-worker.mjs

@@ -15965,6 +15965,22 @@ function neoScriptMemberLookupType(type) {
   }
   return nullable2 && current.nullable !== true ? { ...current, nullable: true } : current;
 }
+function neoScriptMemberReceiverType(type, memberName, project) {
+  const primary = neoScriptMemberLookupType(type);
+  if (primary.kind !== "named" || primary.narrowedInterfaces === void 0)
+    return primary;
+  const declaration = project.typeById.get(primary.typeId);
+  if (declaration?.kind === "class" && (memberName === NEOSCRIPT_CLASS_ID_MEMBER || memberName === "Clone"))
+    return primary;
+  if (declaration?.members.some((member) => member.name === memberName))
+    return primary;
+  for (const bound of Object.values(primary.narrowedInterfaces)) {
+    if (project.typeById.get(bound.typeId)?.members.some((member) => member.name === memberName)) {
+      return { ...bound, nullable: primary.nullable === true };
+    }
+  }
+  return primary;
+}
 function isNeoScriptHandleReferenceTarget(target, isValueType) {
   switch (target.kind) {
     case "list":
@@ -16288,6 +16304,20 @@ function isNeoScriptTypeAssignable(source, target, project) {
   if (isUnknownType(source) || isUnknownType(target)) return false;
   if (isNullType(source)) return isNullableType2(target);
   if (isNullableType2(source) && !isNullableType2(target)) return false;
+  if (target.kind === "named" && target.narrowedInterfaces !== void 0) {
+    for (const bound of Object.values(target.narrowedInterfaces)) {
+      if (!isNeoScriptTypeAssignable(source, bound, project)) return false;
+    }
+  }
+  if (source.kind === "named" && source.narrowedInterfaces !== void 0) {
+    const direct = target.kind === "named" ? source.narrowedInterfaces[target.typeId] : void 0;
+    if (direct !== void 0 && isNeoScriptTypeAssignable(direct, target, project))
+      return true;
+    for (const bound of Object.values(source.narrowedInterfaces)) {
+      if (bound !== direct && isNeoScriptTypeAssignable(bound, target, project))
+        return true;
+    }
+  }
   if (source.kind === "primitive" && target.kind === "primitive") {
     if (source.name === target.name) return true;
     return source.name === "int" && (target.name === "float" || target.name === "decimal");
@@ -16372,9 +16402,40 @@ function isNeoScriptTypeAssignable(source, target, project) {
   }
   return false;
 }
+function withoutNeoScriptInterfaceProofs(type) {
+  if (type.kind !== "named" || type.narrowedInterfaces === void 0)
+    return type;
+  const { narrowedInterfaces: _proofs, ...declared } = type;
+  return declared;
+}
 function commonNeoScriptAssignableType(left, right, project) {
   if (isNeoScriptTypeAssignable(left, right, project)) return right;
   if (isNeoScriptTypeAssignable(right, left, project)) return left;
+  if (left.kind === "named" && right.kind === "named" && (left.narrowedInterfaces !== void 0 || right.narrowedInterfaces !== void 0)) {
+    const declaredLeft = withoutNeoScriptInterfaceProofs(left);
+    const declaredRight = withoutNeoScriptInterfaceProofs(right);
+    const common = commonNeoScriptAssignableType(
+      declaredLeft,
+      declaredRight,
+      project
+    );
+    if (common?.kind !== "named") return null;
+    const proofs = {};
+    for (const [source, other] of [
+      [left, right],
+      [right, left]
+    ]) {
+      for (const [id, proof] of Object.entries(
+        source.narrowedInterfaces ?? {}
+      )) {
+        if (proofs[id] !== void 0) continue;
+        const opposite = other.narrowedInterfaces?.[id] ?? other;
+        if (isNeoScriptTypeAssignable(opposite, proof, project))
+          proofs[id] = proof;
+      }
+    }
+    return { ...common, narrowedInterfaces: proofs };
+  }
   return null;
 }
 function isNeoVariantTypeId(typeId, project) {
@@ -35539,7 +35600,8 @@ var Parser = class _Parser {
     }
     if (isIdentifier(t) && t.text === NEOSCRIPT_CONSTRUCTOR_KEYWORD) {
       this.next();
-      const className = isIdentifier(this.peek()) ? this.next().text : null;
+      const classToken = isIdentifier(this.peek()) ? this.next() : null;
+      const className = classToken?.text ?? null;
       const typeArguments = [];
       if (this.eat("operator", "<")) {
         if (className === null) {
@@ -35573,6 +35635,7 @@ var Parser = class _Parser {
       return {
         kind: "new",
         className,
+        ...classToken ? { classNamePos: at(classToken) } : {},
         ...typeArguments.length > 0 ? { typeArguments } : {},
         args,
         ...hasArgumentList ? { hasArgumentList: true } : {},
@@ -44500,7 +44563,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
             statement.init.pos
           );
         }
-        const localType = declared ?? initial.type;
+        const localType = declared ?? withoutNeoScriptInterfaceProofs(initial.type);
         if (declared) {
           this.requireAssignable(
             initial.type,
@@ -44515,16 +44578,18 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
           initial.pointer,
           this.project
         );
-        scope.define(
-          scopeVariable(
-            statement.name,
-            local,
-            localType,
-            "local" /* Local */,
-            localOwnership(initial),
-            this.localWriteTargetRoot(initial, scope)
-          )
+        const entry = scopeVariable(
+          statement.name,
+          local,
+          localType,
+          "local" /* Local */,
+          localOwnership(initial),
+          this.localWriteTargetRoot(initial, scope)
         );
+        scope.define(entry);
+        if (inferred && localType !== initial.type) {
+          scope.narrow(statement.name, entry, initial.type);
+        }
         return { type: "variable" /* Variable */, variable: local };
       }
       case "if": {
@@ -44579,7 +44644,8 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
         mergeBranchInvalidations(scope, branchExitOwnershipScopes);
         if (branchExitNarrowings.length > 0) {
           for (const [path, narrowed] of mergeNarrowingMaps(
-            branchExitNarrowings
+            branchExitNarrowings,
+            this.project
           )) {
             const rootEntry = scope.lookup(pathRoot(path));
             if (rootEntry === narrowed.rootEntry) {
@@ -45505,7 +45571,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
   }
   mergeLoopNarrowings(parent, exitPaths) {
     if (exitPaths.length === 0) return;
-    const merged = mergeNarrowingMaps(exitPaths);
+    const merged = mergeNarrowingMaps(exitPaths, this.project);
     for (const [path, narrowed] of parent.effectiveNarrowedPaths()) {
       const common = merged.get(path);
       if (parent.containsEntry(narrowed.rootEntry) && (common?.rootEntry !== narrowed.rootEntry || !typeRefsEqual(common.type, narrowed.type))) {
@@ -47258,8 +47324,13 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
           expression.receiver,
           scope
         );
-        if (receiverExpression.type.kind !== "named") return null;
-        owner = this.project.typeById.get(receiverExpression.type.typeId);
+        const memberType2 = neoScriptMemberReceiverType(
+          receiverExpression.type,
+          expression.name,
+          this.project
+        );
+        if (memberType2.kind !== "named") return null;
+        owner = this.project.typeById.get(memberType2.typeId);
         symbol = owner?.members.find(
           (candidate) => candidate.name === expression.name && (candidate.kind === "function" || candidate.kind === "method")
         );
@@ -47270,7 +47341,10 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
             expression.pos
           );
         }
-        receiver = { kind: "instance", expression: receiverExpression };
+        receiver = {
+          kind: "instance",
+          expression: { ...receiverExpression, type: memberType2 }
+        };
       }
     } else {
       return null;
@@ -47347,9 +47421,13 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
         if (symbol === void 0 || symbol.static !== true) return null;
       } else {
         const receiver2 = this.resolveExpression(expression.receiver, scope);
-        if (receiver2.type.kind !== "named") return null;
-        receiverType = receiver2.type;
-        owner = this.project.typeById.get(receiver2.type.typeId);
+        receiverType = neoScriptMemberReceiverType(
+          receiver2.type,
+          expression.name,
+          this.project
+        );
+        if (receiverType.kind !== "named") return null;
+        owner = this.project.typeById.get(receiverType.typeId);
         symbol = owner?.members.find(
           (candidate) => candidate.name === expression.name && (candidate.kind === "function" || candidate.kind === "method")
         );
@@ -47427,6 +47505,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
         pos
       );
     }
+    entryType = withoutNeoScriptInterfaceProofs(entryType);
     for (const item of resolved) {
       const common = commonNeoScriptAssignableType(
         entryType,
@@ -47451,7 +47530,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
     }
     const type = {
       kind: "list",
-      elementType: entryType
+      elementType: withoutNeoScriptInterfaceProofs(entryType)
     };
     const wire = toWireType(type, this.project);
     if (wire.type !== 6 /* List */) {
@@ -47517,6 +47596,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
     if (!keyType || !valueType) {
       throw new CompileError("Dictionary literal type inference failed.", pos);
     }
+    valueType = withoutNeoScriptInterfaceProofs(valueType);
     for (const entry of resolved) {
       if (expectedDictionary) {
         this.requireAssignable(
@@ -47543,7 +47623,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
     const type = {
       kind: "dictionary",
       keyType,
-      valueType
+      valueType: withoutNeoScriptInterfaceProofs(valueType)
     };
     const wire = toWireType(type, this.project);
     if (wire.type !== 5 /* Dictionary */) {
@@ -47799,8 +47879,19 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
         const target = this.resolveType(fact.targetType);
         const targetDefinition = target.kind === "named" ? this.project.typeById.get(target.typeId) : void 0;
         const naturalDefinition = natural.type.kind === "named" ? this.project.typeById.get(natural.type.typeId) : void 0;
-        const retainConcreteClass = !fact.bindingName && naturalDefinition?.kind === "class" && targetDefinition?.kind === "interface";
-        const narrowed = retainConcreteClass ? { ...natural.type, nullable: false } : { ...target, nullable: false };
+        let narrowed = { ...target, nullable: false };
+        if (!fact.bindingName && natural.type.kind === "named" && (naturalDefinition?.kind === "class" || naturalDefinition?.kind === "interface") && target.kind === "named" && targetDefinition?.kind === "interface") {
+          narrowed = { ...natural.type, nullable: false };
+          if (!isNeoScriptTypeAssignable(narrowed, target, this.project)) {
+            narrowed = {
+              ...narrowed,
+              narrowedInterfaces: {
+                ...natural.type.narrowedInterfaces,
+                [target.typeId]: target
+              }
+            };
+          }
+        }
         if (mode === "all" && fact.path !== null && rootEntry !== null && place.type.kind !== "reference") {
           targetScope.narrow(fact.path, rootEntry, narrowed);
         }
@@ -48393,7 +48484,11 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
     if (receiver.dialogues !== void 0) {
       return this.resolveDialogueGroupRead(receiver, name, pos);
     }
-    const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+    const memberReceiverType = neoScriptMemberReceiverType(
+      receiver.type,
+      name,
+      this.project
+    );
     if (memberReceiverType.kind === "named") {
       const type = this.project.typeById.get(memberReceiverType.typeId);
       if (!type) {
@@ -49205,7 +49300,7 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
     }
     const type = {
       kind: "list",
-      elementType: entryType
+      elementType: withoutNeoScriptInterfaceProofs(entryType)
     };
     const wire = toWireType(type, this.project);
     if (wire.type !== 6 /* List */) {
@@ -49446,7 +49541,11 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
         pos
       );
     }
-    const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+    const memberReceiverType = neoScriptMemberReceiverType(
+      receiver.type,
+      callee.name,
+      this.project
+    );
     const namedType2 = memberReceiverType.kind === "named" ? this.project.typeById.get(memberReceiverType.typeId) : void 0;
     const member = namedType2?.members.find(
       (candidate) => (candidate.kind === "function" || candidate.kind === "method") && candidate.name === callee.name
@@ -51871,7 +51970,11 @@ var StrictNeoScriptResolver = class _StrictNeoScriptResolver {
     }
     const receiver = receiverValue();
     if (receiver.dialogues !== void 0) return null;
-    const memberReceiverType = neoScriptMemberLookupType(receiver.type);
+    const memberReceiverType = neoScriptMemberReceiverType(
+      receiver.type,
+      memberName,
+      this.project
+    );
     if (memberReceiverType.kind !== "named") return null;
     const type = this.project.typeById.get(memberReceiverType.typeId);
     const symbol = type?.members.find(
@@ -53032,17 +53135,22 @@ function mergeFactSets(sets) {
     )
   );
 }
-function mergeNarrowingMaps(maps) {
+function mergeNarrowingMaps(maps, project) {
   const first = maps[0];
   if (!first) return /* @__PURE__ */ new Map();
   const result = /* @__PURE__ */ new Map();
   for (const [path, narrowed] of first) {
-    if (maps.slice(1).every((map) => {
-      const candidate = map.get(path);
-      return candidate?.rootEntry === narrowed.rootEntry && typeRefsEqual(candidate.type, narrowed.type);
-    })) {
-      result.set(path, narrowed);
+    let common = narrowed.type;
+    for (let index = 1; index < maps.length; index++) {
+      const candidate = maps[index].get(path);
+      if (candidate?.rootEntry !== narrowed.rootEntry) {
+        common = null;
+        break;
+      }
+      common = commonNeoScriptAssignableType(common, candidate.type, project);
+      if (common === null) break;
     }
+    if (common !== null) result.set(path, { ...narrowed, type: common });
   }
   return result;
 }
@@ -53071,6 +53179,16 @@ function typeRefsEqual(left, right) {
   if (left.kind === "named" && right.kind === "named") {
     const leftArgs = left.typeArguments ?? [];
     const rightArgs = right.typeArguments ?? [];
+    if (left.narrowedInterfaces !== right.narrowedInterfaces) {
+      const leftBounds = Object.entries(left.narrowedInterfaces ?? {});
+      const rightBounds = right.narrowedInterfaces ?? {};
+      if (leftBounds.length !== Object.keys(rightBounds).length) return false;
+      for (const [id, leftBound] of leftBounds) {
+        const rightBound = rightBounds[id];
+        if (rightBound === void 0 || !typeRefsEqual(leftBound, rightBound))
+          return false;
+      }
+    }
     return left.typeId === right.typeId && leftArgs.length === rightArgs.length && leftArgs.every((item, index) => {
       const other = rightArgs[index];
       return other !== void 0 && typeRefsEqual(item, other);
@@ -54050,6 +54168,10 @@ function typesOverlap(left, right, project) {
   if (isUnknown(left) || isUnknown(right)) return true;
   if (isNull(left)) return isNullable(right);
   if (isNull(right)) return isNullable(left);
+  left = neoScriptMemberLookupType(left);
+  right = neoScriptMemberLookupType(right);
+  if (left.kind === "typeParameter" || right.kind === "typeParameter")
+    return true;
   if (isNeoScriptTypeAssignable(left, right, project) || isNeoScriptTypeAssignable(right, left, project))
     return true;
   if (left.kind === "named" && right.kind === "named") {

package/package.json

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

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

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

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

@@ -24,6 +24,15 @@ Keep computed getters, setters, functions, dialogue logic, group logic, and
 constructors inline in their owning `.neo` or `.neoflow` declaration. Do not
 create `Scripts/<Class>/<Member>.neo` sidecars.
 
+Explicit constructions such as `new MissingClass(5)` require a declared type,
+including inside stored object initializers, constructor arguments, and collections.
+The editor reports an unresolved class at its type name and refreshes the diagnostic
+when the declaration changes. Contextual `new(...)` still uses the expected type.
+
+If resolving a stored reference encounters an invalid initializer elsewhere,
+the diagnostic points to that initializer's authored file and position. Fix the
+reported initializer; a valid downstream `Reference(...)` is not the error site.
+
 Declare a setter's value type explicitly with the canonical form
 `set(int value) { ... }`. Project analysis, candidate materialization, and
 focused script commands all use the same accessor extraction. A property can have at most one getter and one setter. Concrete setters need a body (an empty body is a valid no-op); typed setters must use the property type and the parameter name `value`. Abstract and interface properties declare bodyless accessor contracts.
@@ -103,6 +112,18 @@ A generic receiver may call methods from its class or interface constraint,
 including void calls used as statements. Generic arguments substitute through
 the constraint; nullable receivers still require narrowing or null handling.
 
+Runtime `is` tests on generic values check whether the bound can overlap the
+tested type. A class bound need not implement an interface itself when a
+subclass can implement it. A successful pattern binding exposes that interface's
+members, including after `if (item.Data is not IReceiver receiver) continue;`.
+Sealed classes without the interface and unrelated class bounds remain disjoint.
+
+An interface guard also narrows the original receiver without a pattern binding.
+After `if (item is not IReceiver) continue;`, `item` exposes both its declared
+class members and `IReceiver` members. The same applies to guards that return,
+throw, or break. Reassignment clears the proof, and paths that did not pass the
+guard cannot use it.
+
 Functions, natives and interface functions can declare their own type
 parameters after the name, each with an optional constraint and default: