@neocompose/cli 0.6.6 → 0.7.0

package/dist/neo.mjs

@@ -828,6 +828,7 @@ var init_document_contracts = __esm({
           "locked",
           "required",
           "isStatic",
+          "isReadOnly",
           "isVirtual",
           "isAbstract",
           "accessModifierKind",
@@ -870,6 +871,7 @@ var init_document_contracts = __esm({
           isAbstract: "missingIsFalseOnFullMember",
           locked: "missingIsFalseOnFullMember",
           required: "missingIsFalseOnFullMember",
+          isReadOnly: "missingIsFalseOnFullMember",
           defaultValue: "nullIsAbsent",
           extendsMemberId: "nullIsAbsent",
           system: "nullIsAbsent",
@@ -1452,6 +1454,7 @@ var init_language_spec = __esm({
       "private",
       "protected",
       "public",
+      "readonly",
       "return",
       "sealed",
       "static",
@@ -6023,9 +6026,11 @@ var init_strict_parser = __esm({
 });
 
 // ../packages/neoscript-language/src/strict-ir.ts
+var NEOSCRIPT_COMPILER_REVISION;
 var init_strict_ir = __esm({
   "../packages/neoscript-language/src/strict-ir.ts"() {
     "use strict";
+    NEOSCRIPT_COMPILER_REVISION = 2;
   }
 });
 
@@ -6799,6 +6804,7 @@ var init_strict_resolver = __esm({
     "use strict";
     init_project();
     init_strict_compile_error();
+    init_strict_ir();
     Scope = class {
       constructor(parent) {
         this.parent = parent;
@@ -6976,6 +6982,7 @@ var init_strict_resolver = __esm({
           if (this.valueVariable) parameters.push(this.valueVariable);
           parameters.push(...this.argumentVariables.map((entry) => entry.variable));
           return {
+            compilerRevision: NEOSCRIPT_COMPILER_REVISION,
             parameters,
             instructions,
             typeInfo: toWireType(returnType, this.project)
@@ -7237,7 +7244,7 @@ var init_strict_resolver = __esm({
         }
         if (!writability || writability === "readOnly" /* ReadOnly */ || writability === "immutable" /* Immutable */) {
           throw new CompileError(
-            writability === "immutable" /* Immutable */ ? "Cannot assign because the target's effective storage is immutable." : `Cannot assign to a read-only ${this.describe(target.type)} value.`,
+            target.symbol?.readonlyDeclaration === true ? `Member '${target.symbol.name}' is readonly and can only be changed through its class default.` : writability === "immutable" /* Immutable */ ? "Cannot assign because the target's effective storage is immutable." : `Cannot assign to a read-only ${this.describe(target.type)} value.`,
             statement.pos
           );
         }
@@ -8054,7 +8061,8 @@ var init_strict_resolver = __esm({
               receiver,
               member.schemaKey ?? member.name,
               memberType2,
-              optional
+              optional,
+              member.id
             ),
             symbol: member,
             ...writability ? { writability } : {},
@@ -8091,10 +8099,11 @@ var init_strict_resolver = __esm({
         }
         return targetWritability;
       }
-      keyOf(receiver, key, type, optional) {
+      keyOf(receiver, key, type, optional, memberId) {
         return {
           pointer: {
             type: "keyOf" /* KeyOf */,
+            ...memberId ? { memberId } : {},
             keyOf: { pointer: receiver.pointer, key: stringPointer(key) },
             ...optional ? { optional: true } : {}
           },
@@ -8846,6 +8855,7 @@ var init_strict_resolver = __esm({
             );
           }
           return {
+            compilerRevision: NEOSCRIPT_COMPILER_REVISION,
             parameters,
             instructions,
             typeInfo: toWireType(returnType, this.project)
@@ -11115,6 +11125,7 @@ var init_project_source_parser = __esm({
       "private",
       "protected",
       "public",
+      "readonly",
       "sealed",
       "static",
       "virtual"
@@ -11801,7 +11812,7 @@ var init_project_schema_contract_generated = __esm({
   "../packages/neoscript-language/src/project-schema-contract.generated.ts"() {
     "use strict";
     PROJECT_SCHEMA_MANIFEST_FORMAT_VERSION = 3;
-    PROJECT_SCHEMA_MANIFEST_CONTRACT_VERSION = "3.2";
+    PROJECT_SCHEMA_MANIFEST_CONTRACT_VERSION = "3.3";
     NEO_PROJECT_SOURCE_RECORD_CONTRACT = {
       "recordFields": {
         "member": [
@@ -11812,6 +11823,7 @@ var init_project_schema_contract_generated = __esm({
           "locked",
           "required",
           "isStatic",
+          "isReadOnly",
           "isVirtual",
           "isAbstract",
           "accessModifierKind",
@@ -13981,6 +13993,7 @@ function validateProjectSourceSemantics(documents) {
       );
     }
   }
+  validateWorldLayerLinkSourceContracts(documents, environment, diagnostics);
   return diagnostics;
 }
 function contextualAnnotationFields(document, position) {
@@ -14500,6 +14513,188 @@ function relationFields(context, environment) {
   }
   return [];
 }
+function validateWorldLayerLinkSourceContracts(documents, environment, diagnostics) {
+  for (const [uri, document] of documents) {
+    for (const declaration of document.declarations) {
+      if (declaration.kind !== "class") continue;
+      const descriptor = worldLayerLinkSourceDescriptor(
+        declaration,
+        environment
+      );
+      if (descriptor === null) continue;
+      const directTargets = directLayerLinkTargets(declaration, uri);
+      const systemWorldKind = contextualAnnotationEnum(
+        declaration.annotations,
+        "system",
+        "worldKind"
+      );
+      const isSystemBase = systemWorldKind === descriptor.linkWorldKind;
+      if (isSystemBase) {
+        if (!declaration.modifiers.includes("abstract")) {
+          pushDiagnostic(
+            diagnostics,
+            uri,
+            declaration.nameRange,
+            "concrete-system-layer-link-base",
+            `System layer-link base '${declaration.name}' must be abstract.`
+          );
+        }
+        if (directTargets.length > 0) {
+          pushDiagnostic(
+            diagnostics,
+            uri,
+            directTargets[0].range,
+            "system-layer-link-target-relation",
+            `System layer-link base '${declaration.name}' cannot declare targetLayer. Declare the relation on a project-authored descendant instead.`
+          );
+        }
+      }
+      for (const target of directTargets) {
+        validateLayerLinkTargetSource(
+          declaration,
+          descriptor,
+          target,
+          environment,
+          diagnostics
+        );
+      }
+      if (isSystemBase || declaration.modifiers.includes("abstract")) continue;
+      const effectiveTargets = effectiveLayerLinkTargets(
+        declaration,
+        uri,
+        environment
+      );
+      if (effectiveTargets.length === 0) {
+        pushDiagnostic(
+          diagnostics,
+          uri,
+          declaration.nameRange,
+          "concrete-layer-link-missing-target",
+          `Concrete layer-link class '${declaration.name}' must resolve exactly one inherited or directly declared targetLayer relation.`
+        );
+      } else if (effectiveTargets.length > 1) {
+        pushDiagnostic(
+          diagnostics,
+          uri,
+          declaration.nameRange,
+          "concrete-layer-link-multiple-targets",
+          `Concrete layer-link class '${declaration.name}' resolves ${effectiveTargets.length} targetLayer relations at the nearest declaration depth; exactly one is required.`
+        );
+      }
+    }
+  }
+}
+function worldLayerLinkSourceDescriptor(declaration, environment) {
+  const worldKind = effectiveWorldKind(declaration, environment);
+  if (worldKind === "TileLayerLink") {
+    return {
+      linkWorldKind: "TileLayerLink",
+      targetWorldKind: "TileLayer"
+    };
+  }
+  if (worldKind === "ObjectLayerLink") {
+    return {
+      linkWorldKind: "ObjectLayerLink",
+      targetWorldKind: "ObjectLayer"
+    };
+  }
+  return null;
+}
+function directLayerLinkTargets(declaration, uri) {
+  const result = [];
+  for (const annotation2 of declaration.annotations) {
+    if (annotation2.name !== "relations") continue;
+    for (const argument2 of annotation2.arguments) {
+      if (argument2.name !== "targetLayer") continue;
+      let expression;
+      try {
+        expression = parseExpression(argument2.text);
+      } catch (error) {
+        if (error instanceof CompileError) continue;
+        throw error;
+      }
+      const entries = expression.kind === "litList" ? expression.elements : [expression];
+      for (const entry of entries) {
+        result.push({
+          expression: unwrapAnnotatedExpression(entry),
+          range: argument2.range,
+          uri
+        });
+      }
+    }
+  }
+  return result;
+}
+function effectiveLayerLinkTargets(declaration, uri, environment) {
+  const visited = /* @__PURE__ */ new Set();
+  let current = declaration;
+  let currentUri = uri;
+  while (current !== void 0 && !visited.has(current.name)) {
+    visited.add(current.name);
+    const systemWorldKind = contextualAnnotationEnum(
+      current.annotations,
+      "system",
+      "worldKind"
+    );
+    if (systemWorldKind === "TileLayerLink" || systemWorldKind === "ObjectLayerLink") {
+      return [];
+    }
+    const direct = directLayerLinkTargets(current, currentUri);
+    if (direct.length > 0) return direct;
+    const parent = current.baseTypes.map((base) => environment.types.get(base.name)).find((candidate) => candidate !== void 0);
+    current = parent;
+    currentUri = uri;
+  }
+  return [];
+}
+function validateLayerLinkTargetSource(declaration, descriptor, targetSource, environment, diagnostics) {
+  const expression = targetSource.expression;
+  if (isReferenceCall(expression)) return;
+  if (expression.kind !== "ident") {
+    pushDiagnostic(
+      diagnostics,
+      targetSource.uri,
+      targetSource.range,
+      "invalid-layer-link-target",
+      `Layer-link class '${declaration.name}' targetLayer must be a layer class symbol or typed Reference.`
+    );
+    return;
+  }
+  const target = environment.types.get(expression.name);
+  if (target === void 0) {
+    pushDiagnostic(
+      diagnostics,
+      targetSource.uri,
+      targetSource.range,
+      "unknown-layer-link-target",
+      `Layer-link class '${declaration.name}' targets unknown class '${expression.name}'.`
+    );
+    return;
+  }
+  const targetWorldKind = effectiveWorldKind(target, environment);
+  if (targetWorldKind !== descriptor.targetWorldKind) {
+    pushDiagnostic(
+      diagnostics,
+      targetSource.uri,
+      targetSource.range,
+      "wrong-layer-link-target-kind",
+      `Layer-link class '${declaration.name}' targetLayer '${target.name}' must extend world class kind '${descriptor.targetWorldKind}'.`
+    );
+    return;
+  }
+  if (target.modifiers.includes("abstract")) {
+    pushDiagnostic(
+      diagnostics,
+      targetSource.uri,
+      targetSource.range,
+      "abstract-layer-link-target",
+      `Layer-link class '${declaration.name}' targetLayer '${target.name}' must be concrete.`
+    );
+  }
+}
+function unwrapAnnotatedExpression(expression) {
+  return expression.kind === "annotated" ? unwrapAnnotatedExpression(expression.expression) : expression;
+}
 function effectiveWorldKind(declaration, environment) {
   const queue = [declaration];
   const seen = /* @__PURE__ */ new Set();
@@ -14829,7 +15024,26 @@ function validateExpression(expression, expected, scope, environment, uri, range
   if (expression.kind === "new") {
     const typeName = expression.className ?? expected?.name;
     const declaration = typeName ? environment.types.get(typeName) : void 0;
+    for (const entry of expression.initializer ?? []) {
+      if (entry.name !== "layerClassId") continue;
+      pushDiagnostic(
+        diagnostics,
+        uri,
+        range2,
+        "reserved-layer-class-id-source",
+        "layerClassId is an unsupported legacy field. Declare @relations(targetLayer: ...) on the concrete layer-link class instead."
+      );
+    }
     if (!declaration) return;
+    if (declaration.modifiers.includes("abstract")) {
+      pushDiagnostic(
+        diagnostics,
+        uri,
+        range2,
+        "abstract-class-instantiation",
+        `Cannot instantiate abstract class '${declaration.name}'. Use a concrete descendant instead.`
+      );
+    }
     const fields = declaration?.members.filter(
       (member) => member.kind === "field" && !member.modifiers.includes("static")
     ) ?? [];
@@ -14847,8 +15061,10 @@ function validateExpression(expression, expected, scope, environment, uri, range
       );
     });
     for (const entry of expression.initializer ?? []) {
-      const field = declaration?.members.find(
-        (candidate) => candidate.name === entry.name
+      const field = sourceClassFieldByName(
+        declaration,
+        entry.name,
+        environment
       );
       validateExpression(
         entry.value,
@@ -14950,6 +15166,19 @@ function validateExpression(expression, expected, scope, environment, uri, range
     );
   }
 }
+function sourceClassFieldByName(declaration, name, environment) {
+  const visited = /* @__PURE__ */ new Set();
+  let current = declaration;
+  while (current !== void 0 && !visited.has(current.name)) {
+    visited.add(current.name);
+    const member = current.members.find(
+      (candidate) => candidate.kind === "field" && candidate.name === name
+    );
+    if (member !== void 0) return member;
+    current = current.baseTypes.map((base) => environment.types.get(base.name)).find((candidate) => candidate !== void 0);
+  }
+  return void 0;
+}
 function semanticTypesAssignable(actual, expected) {
   if (actual.name === expected.name) return true;
   if (actual.name === "int" && (expected.name === "float" || expected.name === "decimal")) {
@@ -15565,6 +15794,7 @@ function buildProjectGraph(documents) {
       (memberId) => {
         const member = membersBySymbolId.get(memberId);
         if (!member || member.kind !== "field") return null;
+        if (member.modifiers.includes("readonly")) return null;
         return {
           required: member.initializer === void 0,
           defaultValue: member.initializer?.text
@@ -15622,6 +15852,7 @@ function sourceMemberSymbol(member, owner, typeIds, source) {
   );
   const type = sourceTypeRef(member.type, owner, typeIds);
   const staticMember = member.modifiers.includes("static");
+  const readonlyDeclaration = member.modifiers.includes("readonly");
   const common = {
     id: id2,
     name: member.name,
@@ -15634,7 +15865,8 @@ function sourceMemberSymbol(member, owner, typeIds, source) {
       owner.declaration.kind
     ),
     location: location(owner.uri, member.range),
-    selectionLocation: location(owner.uri, member.nameRange)
+    selectionLocation: location(owner.uri, member.nameRange),
+    ...readonlyDeclaration ? { readonlyDeclaration: true } : {}
   };
   if (member.kind === "function") {
     return {
@@ -15665,8 +15897,8 @@ function sourceMemberSymbol(member, owner, typeIds, source) {
   return {
     ...common,
     kind: "property",
-    writable: writability !== "immutable" && writability !== "readOnly",
-    writability
+    writable: !readonlyDeclaration && writability !== "immutable" && writability !== "readOnly",
+    writability: readonlyDeclaration ? "readOnly" : writability
   };
 }
 function substituteInheritedSourceMember(member, baseInfo, resolvedBaseType) {
@@ -16026,6 +16258,7 @@ function createEnvironment2(documents) {
       if (declaration.kind === "class") {
         const ref = {
           uri,
+          sourceKind: document.kind,
           declaration,
           location: { uri, range: declaration.nameRange }
         };
@@ -16039,6 +16272,7 @@ function createEnvironment2(documents) {
       } else {
         const ref = {
           uri,
+          sourceKind: document.kind,
           declaration,
           location: { uri, range: declaration.nameRange }
         };
@@ -16523,6 +16757,16 @@ function validateMembers(environment, diagnostics) {
         );
       }
       for (const modifier of member.modifiers) {
+        if (modifier === "readonly") {
+          diagnose(
+            diagnostics,
+            ref.uri,
+            member.nameRange,
+            "readonly-interface-member",
+            `Interface member '${member.name}' cannot use 'readonly'; readonly is valid only on a class field.`
+          );
+          continue;
+        }
         if (modifier === "async" && member.kind === "function") continue;
         if (isNeoSourceAccessModifier(modifier)) continue;
         diagnose(
@@ -16537,7 +16781,7 @@ function validateMembers(environment, diagnostics) {
     validateInterfaceMemberConflicts(ref, environment, diagnostics);
   }
   for (const ref of environment.classes.values()) {
-    validateClassMemberModifiers(ref, diagnostics);
+    validateClassMemberModifiers(ref, environment, diagnostics);
     validateClassOverrides(ref, environment, diagnostics);
     if (ref.declaration.modifiers.includes("abstract")) {
       validateAbstractInterfaceMembers(ref, environment, diagnostics);
@@ -16646,10 +16890,67 @@ function validateAbstractInterfaceMembers(ref, environment, diagnostics) {
     );
   }
 }
-function validateClassMemberModifiers(ref, diagnostics) {
+function validateClassMemberModifiers(ref, environment, diagnostics) {
   const classIsAbstract = ref.declaration.modifiers.includes("abstract");
   for (const member of ref.declaration.members) {
     const modifiers = new Set(member.modifiers);
+    if (modifiers.has("readonly")) {
+      if (ref.sourceKind === "flow") {
+        diagnose(
+          diagnostics,
+          ref.uri,
+          member.nameRange,
+          "readonly-neoflow-binding",
+          `NeoFlow binding '${member.name}' cannot use 'readonly'; readonly is valid only on a class field in a .neo definition.`
+        );
+      } else if (member.kind !== "field") {
+        diagnose(
+          diagnostics,
+          ref.uri,
+          member.nameRange,
+          "readonly-non-field-member",
+          `Member '${member.name}' cannot use 'readonly'; readonly is valid only on a class field.`
+        );
+      } else {
+        if (modifiers.has("static")) {
+          diagnose(
+            diagnostics,
+            ref.uri,
+            member.nameRange,
+            "static-readonly-member",
+            `Read-only field '${member.name}' cannot be static.`
+          );
+        }
+        if (modifiers.has("abstract")) {
+          diagnose(
+            diagnostics,
+            ref.uri,
+            member.nameRange,
+            "abstract-readonly-member",
+            `Read-only field '${member.name}' cannot be abstract.`
+          );
+        }
+        if (member.initializer === void 0) {
+          diagnose(
+            diagnostics,
+            ref.uri,
+            member.nameRange,
+            "readonly-member-initializer",
+            `Read-only field '${member.name}' requires an explicit initializer.`
+          );
+        }
+        const storage = resolvedSourceMemberStorage(ref, member, environment);
+        if (storage !== "immutable") {
+          diagnose(
+            diagnostics,
+            ref.uri,
+            member.nameRange,
+            "readonly-member-storage",
+            `Read-only field '${member.name}' requires resolved @storage(allowed: .Immutable).`
+          );
+        }
+      }
+    }
     if (modifiers.has("sealed")) {
       diagnose(
         diagnostics,
@@ -16832,13 +17133,14 @@ function validateConcreteClass(ref, environment, diagnostics) {
   const requiredContracts = allRequiredInterfaceMembers(ref, environment);
   for (const required2 of requiredContracts.values()) {
     const implementation = effective.get(required2.member.name.toLowerCase());
-    if (implementation && !implementation.member.modifiers.includes("abstract") && !implementation.member.modifiers.includes("static") && memberCompatibility(
+    const mismatch = implementation ? memberCompatibility(
       implementation.member,
       implementation.substitution,
       required2,
       true,
       environment
-    ) === null) {
+    ) : null;
+    if (implementation && !implementation.member.modifiers.includes("abstract") && !implementation.member.modifiers.includes("static") && mismatch === null) {
       continue;
     }
     diagnose(
@@ -16846,7 +17148,7 @@ function validateConcreteClass(ref, environment, diagnostics) {
       ref.uri,
       ref.declaration.nameRange,
       "interface-member-not-implemented",
-      implementation ? `Class '${ref.declaration.name}' member '${implementation.member.name}' does not match interface contract '${required2.owner.declaration.name}.${required2.member.name}'.` : `Class '${ref.declaration.name}' does not implement interface member '${required2.owner.declaration.name}.${required2.member.name}'.`,
+      implementation ? implementation.member.modifiers.includes("readonly") && mismatch === "the implementation must provide a setter" ? `Read-only member '${ref.declaration.name}.${implementation.member.name}' cannot implement settable interface member '${required2.owner.declaration.name}.${required2.member.name}'.` : `Class '${ref.declaration.name}' member '${implementation.member.name}' does not match interface contract '${required2.owner.declaration.name}.${required2.member.name}'${mismatch ? `: ${mismatch}` : ""}.` : `Class '${ref.declaration.name}' does not implement interface member '${required2.owner.declaration.name}.${required2.member.name}'.`,
       [
         {
           location: interfaceMemberLocation(required2),
@@ -17022,13 +17324,45 @@ function memberCompatibility(implementation, implementationSubstitution, target,
   return null;
 }
 function valueAccessors(member) {
-  if (member.kind === "field") return { get: true, set: true };
+  if (member.kind === "field") {
+    return {
+      get: true,
+      set: !member.modifiers.includes("readonly")
+    };
+  }
   if (member.kind === "function") return { get: false, set: false };
   return {
     get: /\bget\b/.test(member.body.text),
     set: /\bset\b/.test(member.body.text)
   };
 }
+function resolvedSourceMemberStorage(owner, member, environment, seen = /* @__PURE__ */ new Set()) {
+  const own = member.annotations.find(
+    (annotation2) => annotation2.name === "storage"
+  );
+  if (own) {
+    const allowed = own.arguments.find((argument2) => argument2.name === "allowed") ?? own.arguments[0];
+    const normalized = allowed?.text.replace(/\s+/g, "").toLowerCase();
+    if (normalized === ".immutable") return "immutable";
+    if (normalized === ".save") return "save";
+    if (normalized === ".session") return "session";
+    return null;
+  }
+  if (!member.modifiers.includes("override")) return null;
+  const key = `${owner.declaration.name}:${member.name}`;
+  if (seen.has(key)) return null;
+  seen.add(key);
+  const candidates = inheritedClassMembers(owner, environment).filter(
+    (candidate) => namesEqual(candidate.member.name, member.name)
+  );
+  const target = candidates[candidates.length - 1];
+  return target ? resolvedSourceMemberStorage(
+    target.owner,
+    target.member,
+    environment,
+    seen
+  ) : null;
+}
 function isTypeAssignable(actual, expected, environment, genericParameters) {
   if (actual.nullable && !expected.nullable) return false;
   if (typesEqual({ ...actual, nullable: false }, { ...expected, nullable: false })) {
@@ -18650,6 +18984,8 @@ function attachConstructorSignature(type, environment) {
     type.id,
     type.members,
     (memberId) => {
+      const declarationMember = environment.members.get(memberId);
+      if (declarationMember?.isReadOnly === true) return null;
       const member = effectiveConstructorMember(
         memberId,
         genericEnvironment,
@@ -18914,6 +19250,7 @@ function memberSymbol(member, schemaKey, environment, field) {
   const kind = string2(member.kind, `${field}.kind`);
   const modifier = string2(member.modifier, `${field}.modifier`);
   const isStatic = boolean(member.isStatic, `${field}.isStatic`);
+  const isReadOnly = boolean(member.isReadOnly, `${field}.isReadOnly`);
   const owner = optionalRecord(member.owner);
   const ownerClassId2 = owner?.kind === "classMember" && typeof owner.classId === "string" ? owner.classId : void 0;
   const type = memberType(member, environment, /* @__PURE__ */ new Set(), field);
@@ -18934,6 +19271,7 @@ function memberSymbol(member, schemaKey, environment, field) {
     type,
     documentation: `${String(member.name ?? schemaKey)} (${id2})`,
     ...isStatic ? { static: true } : {},
+    ...isReadOnly ? { readonlyDeclaration: true } : {},
     ...location3,
     ...scriptDefinitionLocations(member, environment, field),
     ...modifier.includes("abstract") ? { abstract: true } : {},
@@ -18965,9 +19303,9 @@ function memberSymbol(member, schemaKey, environment, field) {
       writable: false
     };
   }
-  const writable = kind === "computed" ? computedHasSetter(member, field) : modifier !== "abstract" && member.locked !== true;
+  const writable = isReadOnly ? false : kind === "computed" ? computedHasSetter(member, field) : modifier !== "abstract" && member.locked !== true;
   const storage = typeof member.storage === "string" ? member.storage : void 0;
-  const writability = kind === "computed" ? writable ? "setter" : "readOnly" : !writable ? "readOnly" : storage === "immutable" || storage === "save" || storage === "session" ? storage : isStatic && ownerClassId2 ? staticDefaultWritability(ownerClassId2, environment) : void 0;
+  const writability = isReadOnly ? "readOnly" : kind === "computed" ? writable ? "setter" : "readOnly" : !writable ? "readOnly" : storage === "immutable" || storage === "save" || storage === "session" ? storage : isStatic && ownerClassId2 ? staticDefaultWritability(ownerClassId2, environment) : void 0;
   const lookupCollectionMemberId = kind === "lookup" ? string2(member.collectionMemberId, `${field}.collectionMemberId`) : null;
   const lookupCollectionWritability = lookupCollectionMemberId === null ? void 0 : environment.effectiveWritabilityByMemberId.get(
     lookupCollectionMemberId
@@ -20111,6 +20449,7 @@ function projectCompletions(analysis, document, position) {
     "sealed",
     "native",
     "override",
+    "readonly",
     "virtual",
     "static",
     "new",
@@ -21044,7 +21383,7 @@ function constructorArgumentType(analysis, frame) {
     return null;
   }
   const fields = declaration.members.filter(
-    (member) => member.kind === "field" && !member.modifiers.includes("static")
+    (member) => member.kind === "field" && !member.modifiers.includes("static") && !member.modifiers.includes("readonly")
   );
   if (frame.argumentName !== null) {
     return fields.find((field) => field.name === frame.argumentName)?.type ?? null;
@@ -21099,7 +21438,7 @@ function projectConstructorParameters(analysis, typeName) {
 function declarationConstructorParameters(declaration) {
   if (declaration.kind === "global" || declaration.kind === "enum") return [];
   return declaration.members.filter(
-    (member) => member.kind === "field" && !member.modifiers.includes("static")
+    (member) => member.kind === "field" && !member.modifiers.includes("static") && !member.modifiers.includes("readonly")
   ).map((member) => ({ type: member.type.name, name: member.name }));
 }
 function graphConstructorParameters(typeName) {
@@ -22035,6 +22374,11 @@ function memberFromDocument(record3, members, owners, classNames, context) {
     record3,
     "isAbstract"
   );
+  const isReadOnly = booleanValue(
+    data.isReadOnly ?? false,
+    record3,
+    "isReadOnly"
+  );
   const modifier = memberModifier(overrideOf, isVirtual, isAbstract);
   const defaultValue = defaultValueFromDocument(
     field("defaultValue", null),
@@ -22048,6 +22392,7 @@ function memberFromDocument(record3, members, owners, classNames, context) {
     name: requiredString(data, "name", record3),
     ...docsText === void 0 ? {} : { docsText },
     isStatic: booleanValue(data.isStatic, record3, "isStatic"),
+    isReadOnly,
     accessModifier: accessModifierValue(
       data.accessModifierKind,
       record3,
@@ -22296,6 +22641,7 @@ function memberToDocumentFields(member, baseData3) {
     locked: member.locked,
     required: member.required,
     isStatic: member.isStatic,
+    ...member.isReadOnly ? { isReadOnly: true } : {},
     accessModifierKind: member.accessModifier,
     ...member.docsText === void 0 ? {} : { docsText: member.docsText }
   };
@@ -24764,6 +25110,7 @@ function assertMember2(value, path) {
   }
   nonEmptyString(member.name, `${path}.name`);
   booleanAt(member.isStatic, `${path}.isStatic`);
+  booleanAt(member.isReadOnly, `${path}.isReadOnly`);
   stringIn(
     member.accessModifier,
     /* @__PURE__ */ new Set(["public", "protected", "private"]),
@@ -24798,6 +25145,32 @@ function assertMember2(value, path) {
   assertSystem(member.system, `${path}.system`);
   nullableStorage(member.storage, `${path}.storage`);
   nullableNonEmptyString(member.storageKey, `${path}.storageKey`);
+  if (member.isReadOnly === true) {
+    if (owner.kind !== "classMember" && owner.kind !== "sharedClassMember") {
+      invalid(
+        `${path}.isReadOnly`,
+        "is allowed only on a concrete class field."
+      );
+    }
+    if (member.isStatic === true) {
+      invalid(`${path}.isReadOnly`, "cannot be combined with isStatic.");
+    }
+    if (kind === "computed" || kind === "function" || kind === "scriptFunction") {
+      invalid(
+        `${path}.isReadOnly`,
+        `is not valid on value-less member kind ${JSON.stringify(kind)}.`
+      );
+    }
+    if (member.modifier === "abstract" || member.modifier === "abstractOverride") {
+      invalid(`${path}.isReadOnly`, "cannot be combined with abstract.");
+    }
+    if (member.storage !== "immutable") {
+      invalid(`${path}.storage`, "must be immutable when isReadOnly is true.");
+    }
+    if (member.defaultValue === null) {
+      invalid(`${path}.defaultValue`, "is required when isReadOnly is true.");
+    }
+  }
   if (kind === "int") {
     nullableNumber(member.min, `${path}.min`);
     nullableNumber(member.max, `${path}.max`);
@@ -24806,6 +25179,9 @@ function assertMember2(value, path) {
   if (kind === "string") {
     booleanAt(member.localizable, `${path}.localizable`);
     booleanAt(member.searchKey, `${path}.searchKey`);
+    if (member.isReadOnly === true && member.searchKey === true) {
+      invalid(`${path}.searchKey`, "cannot be true on a read-only member.");
+    }
     return;
   }
   if (kind === "float") {
@@ -24834,6 +25210,9 @@ function assertMember2(value, path) {
     );
     arrayOf(member.indexes, `${path}.indexes`, assertListIndex);
     arrayOf(member.columns, `${path}.columns`, assertListColumn);
+    if (member.isReadOnly === true && Array.isArray(member.indexes) && member.indexes.length > 0) {
+      invalid(`${path}.indexes`, "must be empty on a read-only member.");
+    }
     return;
   }
   if (kind === "class") {
@@ -26019,6 +26398,7 @@ var init_validate = __esm({
       "owner",
       "name",
       "isStatic",
+      "isReadOnly",
       "accessModifier",
       "modifier",
       "locked",
@@ -27836,6 +28216,7 @@ function memberCommon(context, ownerClass, declaration, id2, owner, base) {
     name: declaration.name,
     ...declaration.docsText === void 0 ? {} : { docsText: declaration.docsText },
     isStatic: declaration.modifiers.includes("static"),
+    isReadOnly: declaration.modifiers.includes("readonly"),
     // Non-class placements (collection entries, generic arguments, loose
     // members) have no receiver type to scope visibility to; they are
     // structurally public. Class schema entries apply the C# omission default.
@@ -27851,7 +28232,7 @@ function memberCommon(context, ownerClass, declaration, id2, owner, base) {
   };
 }
 function lowerFieldMember(context, ownerClass, declaration, id2, commonInput, base) {
-  const storedStatic = declaration.modifiers.includes("static");
+  const storedStatic = declaration.modifiers.includes("static") && !declaration.modifiers.includes("readonly");
   const settings = annotation(declaration.annotations, "settings");
   const storesSelectionArray = context.enumIdsByName.has(declaration.type.name) || declaration.type.name === "Dialogue" || Boolean(settings && argument(settings, "collection"));
   const common = {
@@ -29681,7 +30062,8 @@ function memberModifier3(member) {
   const accessPrefix = `${member.accessModifier} `;
   const staticPrefix = member.isStatic ? "static " : "";
   const modifier = member.modifier === "plain" ? "" : member.modifier === "abstractOverride" ? "abstract override " : member.modifier === "sealedOverride" ? "override " : `${member.modifier} `;
-  return `${accessPrefix}${staticPrefix}${modifier}`;
+  const readOnlyPrefix = member.isReadOnly ? "readonly " : "";
+  return `${accessPrefix}${staticPrefix}${modifier}${readOnlyPrefix}`;
 }
 function renderExtendsGenericBindings(context, schemaClass2, base) {
   if (base.genericParameters.length === 0) return "";
@@ -32920,6 +33302,9 @@ function isNSPointerKeyOf(value) {
   const v = value;
   if (v?.type !== "keyOf" /* keyOf */) return false;
   if (!isNSKeyOf(v.keyOf)) return false;
+  if (v.memberId !== void 0 && typeof v.memberId !== "string") {
+    return false;
+  }
   if (v.optional !== void 0 && typeof v.optional !== "boolean") {
     return false;
   }
@@ -33079,6 +33464,9 @@ function isNSConditionalBranch(value) {
 function isNSFunctionWithReturnType(value) {
   const v = value;
   if (typeof v !== "object" || v === null) return false;
+  if (v.compilerRevision !== void 0 && (!Number.isSafeInteger(v.compilerRevision) || v.compilerRevision < 1 || v.compilerRevision > NEOSCRIPT_COMPILER_REVISION)) {
+    return false;
+  }
   if (!Array.isArray(v.parameters)) return false;
   if (!v.parameters.every(isNSVariable)) return false;
   if (!isNSInstructions(v.instructions)) return false;
@@ -33327,6 +33715,7 @@ var NS_STRING_OPS, NS_DECIMAL_OPS;
 var init_neoscript_guards = __esm({
   "../src/models/neoscript/neoscript-guards.ts"() {
     "use strict";
+    init_src();
     init_member_kinds();
     init_core();
     init_neoscript_types();
@@ -33346,6 +33735,140 @@ var init_neoscript_guards = __esm({
   }
 });
 
+// ../src/models/interfaces/interface-graph.ts
+function resolveInterfaceClosure(interfaceId, interfaces) {
+  const byId = new Map(
+    interfaces.map((neoInterface) => [neoInterface.id, neoInterface])
+  );
+  const result = [];
+  const emitted = /* @__PURE__ */ new Set();
+  const visiting = [];
+  const visitingSet = /* @__PURE__ */ new Set();
+  const visit = (id2) => {
+    if (visitingSet.has(id2)) {
+      throw new CircularInterfaceExtensionError(id2, [...visiting, id2]);
+    }
+    if (emitted.has(id2)) return;
+    const neoInterface = byId.get(id2);
+    if (!neoInterface) return;
+    visiting.push(id2);
+    visitingSet.add(id2);
+    result.push(neoInterface);
+    emitted.add(id2);
+    for (const parentId of neoInterface.extendsInterfaceIds ?? []) {
+      visit(parentId);
+    }
+    visiting.pop();
+    visitingSet.delete(id2);
+  };
+  visit(interfaceId);
+  return result;
+}
+function resolveImplementedInterfaces(classId, classes, interfaces) {
+  const result = [];
+  const seen = /* @__PURE__ */ new Set();
+  for (const schemaClass2 of resolveInheritanceChain(classId, classes)) {
+    for (const interfaceId of schemaClass2.implementsInterfaceIds ?? []) {
+      for (const neoInterface of resolveInterfaceClosure(
+        interfaceId,
+        interfaces
+      )) {
+        if (seen.has(neoInterface.id)) continue;
+        seen.add(neoInterface.id);
+        result.push(neoInterface);
+      }
+    }
+  }
+  return result;
+}
+function classImplementsInterface(classId, interfaceId, classes, interfaces) {
+  return resolveImplementedInterfaces(classId, classes, interfaces).some(
+    (neoInterface) => neoInterface.id === interfaceId
+  );
+}
+var CircularInterfaceExtensionError;
+var init_interface_graph = __esm({
+  "../src/models/interfaces/interface-graph.ts"() {
+    "use strict";
+    init_inheritance();
+    CircularInterfaceExtensionError = class extends Error {
+      constructor(interfaceId, chain) {
+        super(
+          `Circular interface extension detected at "${interfaceId}"; chain: ${chain.join(" -> ")}`
+        );
+        this.interfaceId = interfaceId;
+        this.chain = chain;
+        this.name = "CircularInterfaceExtensionError";
+      }
+      interfaceId;
+      chain;
+    };
+  }
+});
+
+// ../src/models/neoscript/type-info-compatibility.ts
+function typeInfosInvariantlyEqual(left, right) {
+  if (left.type !== right.type) return false;
+  if (left.required !== right.required) return false;
+  if (left.type === NS_TYPE_VOID || right.type === NS_TYPE_VOID) return true;
+  if (left.type === NS_TYPE_UNKNOWN || right.type === NS_TYPE_UNKNOWN)
+    return true;
+  if (left.type === 7 /* Class */ && right.type === 7 /* Class */) {
+    if (left.classId !== right.classId) return false;
+    const leftArguments = left.typeArguments ?? {};
+    const rightArguments = right.typeArguments ?? {};
+    const leftKeys = Object.keys(leftArguments);
+    const rightKeys = Object.keys(rightArguments);
+    if (leftKeys.length !== rightKeys.length) return false;
+    for (const key of leftKeys) {
+      const rightArgument = rightArguments[key];
+      if (!rightArgument) return false;
+      if (!typeInfosInvariantlyEqual(leftArguments[key], rightArgument)) {
+        return false;
+      }
+    }
+    return true;
+  }
+  if (left.type === 22 /* Interface */ && right.type === 22 /* Interface */) {
+    return left.interfaceId === right.interfaceId;
+  }
+  if (left.type === 21 /* Generic */ && right.type === 21 /* Generic */) {
+    return left.ownerClassId === right.ownerClassId && left.genericParamId === right.genericParamId;
+  }
+  if (left.type === 8 /* Enum */ && right.type === 8 /* Enum */) {
+    return left.enumId === right.enumId;
+  }
+  if ((left.type === 6 /* List */ || left.type === 5 /* Dictionary */) && (right.type === 6 /* List */ || right.type === 5 /* Dictionary */)) {
+    if (left.keyEnumId !== right.keyEnumId) return false;
+    return typeInfosInvariantlyEqual(left.entryTypeInfo, right.entryTypeInfo);
+  }
+  if (left.type === 9 /* Lookup */ && right.type === 9 /* Lookup */) {
+    if (left.collectionMemberId !== right.collectionMemberId) return false;
+    if (left.collectionValueId !== right.collectionValueId) return false;
+    return typeInfosInvariantlyEqual(left.entryTypeInfo, right.entryTypeInfo);
+  }
+  return true;
+}
+var init_type_info_compatibility = __esm({
+  "../src/models/neoscript/type-info-compatibility.ts"() {
+    "use strict";
+    init_member_kinds();
+    init_inheritance();
+    init_interface_graph();
+    init_neoscript_types();
+  }
+});
+
+// ../src/models/neoscript/index.ts
+var init_neoscript = __esm({
+  "../src/models/neoscript/index.ts"() {
+    "use strict";
+    init_neoscript_types();
+    init_neoscript_guards();
+    init_type_info_compatibility();
+  }
+});
+
 // ../src/models/classes/classes.ts
 function isGenericParamConstraint(value) {
   const v = value;
@@ -33463,309 +33986,6 @@ var init_classes = __esm({
   }
 });
 
-// ../src/models/classes/inheritance.ts
-function resolveInheritanceChain(classId, classes, draft) {
-  const chain = [];
-  const visited = /* @__PURE__ */ new Set();
-  const lookup = (id2) => draft && draft.id === id2 ? draft : classes.find((t) => t.id === id2);
-  let current = lookup(classId);
-  while (current) {
-    if (visited.has(current.id)) {
-      throw new CircularInheritanceError(
-        current.id,
-        chain.map((c) => c.id)
-      );
-    }
-    visited.add(current.id);
-    chain.push(current);
-    if (!current.extendsClassId) break;
-    current = lookup(current.extendsClassId);
-  }
-  return chain;
-}
-function mergeSchemas(chain) {
-  const baseFirst = [...chain].reverse();
-  const map = /* @__PURE__ */ new Map();
-  const order = [];
-  for (const schemaClass2 of baseFirst) {
-    const localKeys = getClassSchemaKeyOrder(schemaClass2);
-    if (schemaClass2.schemaKeyOrder !== void 0) {
-      order.splice(
-        0,
-        order.length,
-        ...localKeys,
-        ...order.filter((key) => !localKeys.includes(key))
-      );
-    }
-    for (const key of localKeys) {
-      if (!order.includes(key)) order.push(key);
-    }
-    for (const [key, memberId] of Object.entries(schemaClass2.schema)) {
-      map.set(key, {
-        schemaKey: key,
-        memberId,
-        ownerClassId: schemaClass2.id
-      });
-    }
-  }
-  return order.flatMap((k) => {
-    const entry = map.get(k);
-    return entry ? [entry] : [];
-  });
-}
-function mergeInstanceSchema(classId, classes, members) {
-  const membersById = new Map(members.map((member) => [member.id, member]));
-  return mergeSchemas(resolveInheritanceChain(classId, classes)).filter(
-    (entry) => membersById.get(entry.memberId)?.isStatic !== true
-  );
-}
-function findSchemaPlacement(memberId, classes) {
-  for (const schemaClass2 of classes) {
-    for (const [key, placedMemberId] of Object.entries(schemaClass2.schema)) {
-      if (placedMemberId === memberId) {
-        return { ownerClass: schemaClass2, schemaKey: key };
-      }
-    }
-  }
-  return null;
-}
-function walkExtendsMemberChain(startId, members, pick, options) {
-  const requireKind = options?.requireKind;
-  const maxHops = options?.maxHops ?? 16;
-  let cursor = members.find((a) => a.id === startId);
-  for (let i = 0; cursor && i < maxHops; i++) {
-    if (requireKind !== void 0 && cursor.kind !== requireKind) {
-      return void 0;
-    }
-    const v = pick(cursor);
-    if (v !== void 0) return v;
-    const nextId = getOptionalString(cursor, "extendsMemberId");
-    if (nextId === void 0) return void 0;
-    cursor = members.find((a) => a.id === nextId);
-  }
-  return void 0;
-}
-function resolveMember2(member, members) {
-  const chain = [];
-  const visited = /* @__PURE__ */ new Set();
-  let current = member;
-  while (current) {
-    const id2 = getOptionalString(current, "id");
-    if (id2 !== void 0) {
-      if (visited.has(id2)) {
-        throw new CircularInheritanceError(id2, [...visited]);
-      }
-      visited.add(id2);
-    }
-    chain.push(current);
-    if (!isMemberOverrideMarker(current)) break;
-    const parentId = current.extendsMemberId;
-    current = members.find((a) => a.id === parentId);
-  }
-  const tail = chain[chain.length - 1];
-  if (!tail || isMemberOverrideMarker(tail)) {
-    const startId = getOptionalString(member, "id") ?? "(unknown)";
-    throw new UnresolvedMemberInheritanceError(startId);
-  }
-  const baseFirst = [...chain].reverse();
-  const merged = {};
-  for (const link of baseFirst) {
-    for (const [key, value] of Object.entries(link)) {
-      if (value === void 0) continue;
-      merged[key] = value;
-    }
-  }
-  delete merged.extendsMemberId;
-  if (member.isAbstract === void 0) {
-    delete merged.isAbstract;
-  } else {
-    merged.isAbstract = member.isAbstract;
-  }
-  return merged;
-}
-function descendantClassIds(classId, allClasses) {
-  const result = /* @__PURE__ */ new Set();
-  let added = true;
-  while (added) {
-    added = false;
-    for (const t of allClasses) {
-      if (t.id === classId) continue;
-      if (result.has(t.id)) continue;
-      if (t.extendsClassId === classId || t.extendsClassId && result.has(t.extendsClassId)) {
-        result.add(t.id);
-        added = true;
-      }
-    }
-  }
-  return result;
-}
-var CircularInheritanceError, UnresolvedMemberInheritanceError;
-var init_inheritance = __esm({
-  "../src/models/classes/inheritance.ts"() {
-    "use strict";
-    init_member_kinds();
-    init_core();
-    init_structural_narrow();
-    init_classes();
-    CircularInheritanceError = class extends Error {
-      constructor(nodeId, chain) {
-        super(
-          `Circular inheritance detected at "${nodeId}"; chain: ${chain.join(" -> ")}`
-        );
-        this.nodeId = nodeId;
-        this.chain = chain;
-        this.name = "CircularInheritanceError";
-      }
-      nodeId;
-      chain;
-    };
-    UnresolvedMemberInheritanceError = class extends Error {
-      constructor(memberId) {
-        super(
-          `Inheritance chain for member "${memberId}" did not terminate at a non-override member`
-        );
-        this.memberId = memberId;
-        this.name = "UnresolvedMemberInheritanceError";
-      }
-      memberId;
-    };
-  }
-});
-
-// ../src/models/interfaces/interface-graph.ts
-function resolveInterfaceClosure(interfaceId, interfaces) {
-  const byId = new Map(
-    interfaces.map((neoInterface) => [neoInterface.id, neoInterface])
-  );
-  const result = [];
-  const emitted = /* @__PURE__ */ new Set();
-  const visiting = [];
-  const visitingSet = /* @__PURE__ */ new Set();
-  const visit = (id2) => {
-    if (visitingSet.has(id2)) {
-      throw new CircularInterfaceExtensionError(id2, [...visiting, id2]);
-    }
-    if (emitted.has(id2)) return;
-    const neoInterface = byId.get(id2);
-    if (!neoInterface) return;
-    visiting.push(id2);
-    visitingSet.add(id2);
-    result.push(neoInterface);
-    emitted.add(id2);
-    for (const parentId of neoInterface.extendsInterfaceIds ?? []) {
-      visit(parentId);
-    }
-    visiting.pop();
-    visitingSet.delete(id2);
-  };
-  visit(interfaceId);
-  return result;
-}
-function resolveImplementedInterfaces(classId, classes, interfaces) {
-  const result = [];
-  const seen = /* @__PURE__ */ new Set();
-  for (const schemaClass2 of resolveInheritanceChain(classId, classes)) {
-    for (const interfaceId of schemaClass2.implementsInterfaceIds ?? []) {
-      for (const neoInterface of resolveInterfaceClosure(
-        interfaceId,
-        interfaces
-      )) {
-        if (seen.has(neoInterface.id)) continue;
-        seen.add(neoInterface.id);
-        result.push(neoInterface);
-      }
-    }
-  }
-  return result;
-}
-function classImplementsInterface(classId, interfaceId, classes, interfaces) {
-  return resolveImplementedInterfaces(classId, classes, interfaces).some(
-    (neoInterface) => neoInterface.id === interfaceId
-  );
-}
-var CircularInterfaceExtensionError;
-var init_interface_graph = __esm({
-  "../src/models/interfaces/interface-graph.ts"() {
-    "use strict";
-    init_inheritance();
-    CircularInterfaceExtensionError = class extends Error {
-      constructor(interfaceId, chain) {
-        super(
-          `Circular interface extension detected at "${interfaceId}"; chain: ${chain.join(" -> ")}`
-        );
-        this.interfaceId = interfaceId;
-        this.chain = chain;
-        this.name = "CircularInterfaceExtensionError";
-      }
-      interfaceId;
-      chain;
-    };
-  }
-});
-
-// ../src/models/neoscript/type-info-compatibility.ts
-function typeInfosInvariantlyEqual(left, right) {
-  if (left.type !== right.type) return false;
-  if (left.required !== right.required) return false;
-  if (left.type === NS_TYPE_VOID || right.type === NS_TYPE_VOID) return true;
-  if (left.type === NS_TYPE_UNKNOWN || right.type === NS_TYPE_UNKNOWN)
-    return true;
-  if (left.type === 7 /* Class */ && right.type === 7 /* Class */) {
-    if (left.classId !== right.classId) return false;
-    const leftArguments = left.typeArguments ?? {};
-    const rightArguments = right.typeArguments ?? {};
-    const leftKeys = Object.keys(leftArguments);
-    const rightKeys = Object.keys(rightArguments);
-    if (leftKeys.length !== rightKeys.length) return false;
-    for (const key of leftKeys) {
-      const rightArgument = rightArguments[key];
-      if (!rightArgument) return false;
-      if (!typeInfosInvariantlyEqual(leftArguments[key], rightArgument)) {
-        return false;
-      }
-    }
-    return true;
-  }
-  if (left.type === 22 /* Interface */ && right.type === 22 /* Interface */) {
-    return left.interfaceId === right.interfaceId;
-  }
-  if (left.type === 21 /* Generic */ && right.type === 21 /* Generic */) {
-    return left.ownerClassId === right.ownerClassId && left.genericParamId === right.genericParamId;
-  }
-  if (left.type === 8 /* Enum */ && right.type === 8 /* Enum */) {
-    return left.enumId === right.enumId;
-  }
-  if ((left.type === 6 /* List */ || left.type === 5 /* Dictionary */) && (right.type === 6 /* List */ || right.type === 5 /* Dictionary */)) {
-    if (left.keyEnumId !== right.keyEnumId) return false;
-    return typeInfosInvariantlyEqual(left.entryTypeInfo, right.entryTypeInfo);
-  }
-  if (left.type === 9 /* Lookup */ && right.type === 9 /* Lookup */) {
-    if (left.collectionMemberId !== right.collectionMemberId) return false;
-    if (left.collectionValueId !== right.collectionValueId) return false;
-    return typeInfosInvariantlyEqual(left.entryTypeInfo, right.entryTypeInfo);
-  }
-  return true;
-}
-var init_type_info_compatibility = __esm({
-  "../src/models/neoscript/type-info-compatibility.ts"() {
-    "use strict";
-    init_member_kinds();
-    init_inheritance();
-    init_interface_graph();
-    init_neoscript_types();
-  }
-});
-
-// ../src/models/neoscript/index.ts
-var init_neoscript = __esm({
-  "../src/models/neoscript/index.ts"() {
-    "use strict";
-    init_neoscript_types();
-    init_neoscript_guards();
-    init_type_info_compatibility();
-  }
-});
-
 // ../src/models/members/member-kinds.ts
 function isMemberAccessModifierKind(value) {
   if (value === "public") return true;
@@ -34216,6 +34436,9 @@ function isMemberBase(value) {
   if (typeof v.locked !== "boolean") return false;
   if (typeof v.required !== "boolean") return false;
   if (typeof v.isStatic !== "boolean") return false;
+  if (v.isReadOnly !== void 0 && typeof v.isReadOnly !== "boolean") {
+    return false;
+  }
   if (!isMemberAccessModifierKind(v.accessModifierKind)) return false;
   if (v.isVirtual !== void 0 && typeof v.isVirtual !== "boolean") {
     return false;
@@ -34273,6 +34496,9 @@ function isMemberOverrideBase(value) {
   if (v.locked !== void 0 && typeof v.locked !== "boolean") return false;
   if (v.required !== void 0 && typeof v.required !== "boolean") return false;
   if (v.isStatic !== void 0 && v.isStatic !== false) return false;
+  if (v.isReadOnly !== void 0 && typeof v.isReadOnly !== "boolean") {
+    return false;
+  }
   if (!isMemberAccessModifierKind(v.accessModifierKind)) return false;
   if (v.isVirtual !== void 0 && typeof v.isVirtual !== "boolean") {
     return false;
@@ -34457,175 +34683,184 @@ var init_member_kinds = __esm({
   }
 });
 
-// ../src/models/members/member-kinds-db-response.ts
-var init_member_kinds_db_response = __esm({
-  "../src/models/members/member-kinds-db-response.ts"() {
-    "use strict";
-    init_member_kinds();
-  }
-});
-
-// ../src/models/members/unordered-list-membership.ts
-var init_unordered_list_membership = __esm({
-  "../src/models/members/unordered-list-membership.ts"() {
-    "use strict";
-    init_member_kinds();
-  }
-});
-
-// ../src/models/members/member-storage-key.ts
-function normalizeStorageKeyDeclaration(declaration) {
-  if (declaration === void 0 || declaration === null) {
-    return STORAGE_KEY_INHERIT;
-  }
-  if (declaration.length === 0) return STORAGE_KEY_INHERIT;
-  if (declaration === STORAGE_KEY_ALL) {
-    throw new Error(
-      'Storage key "all" is reserved for partition-scoped reads and cannot be declared on a member.'
-    );
-  }
-  return declaration;
-}
-function storageKeyReferencesParentClass(declaration) {
-  return declaration.includes(PARENT_CLASS_TEMPLATE_TOKEN);
-}
-function resolveMapKeyForCreatedValue(args) {
-  const declaration = normalizeStorageKeyDeclaration(args.declaration);
-  if (declaration === STORAGE_KEY_INHERIT) return args.parentMapKey;
-  if (declaration === MAIN_STORAGE_PARTITION) return null;
-  if (storageKeyReferencesParentClass(declaration)) {
-    if (args.parentClassId === void 0) {
-      throw new Error(
-        `Storage key "${declaration}" references ${PARENT_CLASS_TEMPLATE_TOKEN}, but the placement parent value has no classId (only class-valued parents can anchor a ${PARENT_CLASS_TEMPLATE_TOKEN} partition).`
+// ../src/models/classes/inheritance.ts
+function resolveInheritanceChain(classId, classes, draft) {
+  const chain = [];
+  const visited = /* @__PURE__ */ new Set();
+  const lookup = (id2) => draft && draft.id === id2 ? draft : classes.find((t) => t.id === id2);
+  let current = lookup(classId);
+  while (current) {
+    if (visited.has(current.id)) {
+      throw new CircularInheritanceError(
+        current.id,
+        chain.map((c) => c.id)
       );
     }
-    return declaration.replaceAll(
-      PARENT_CLASS_TEMPLATE_TOKEN,
-      args.parentClassId
-    );
+    visited.add(current.id);
+    chain.push(current);
+    if (!current.extendsClassId) break;
+    current = lookup(current.extendsClassId);
   }
-  return declaration;
+  return chain;
 }
-var MAIN_STORAGE_PARTITION, STORAGE_KEY_INHERIT, STORAGE_KEY_ALL, PARENT_CLASS_TEMPLATE_TOKEN;
-var init_member_storage_key = __esm({
-  "../src/models/members/member-storage-key.ts"() {
-    "use strict";
-    MAIN_STORAGE_PARTITION = "main";
-    STORAGE_KEY_INHERIT = "inherit";
-    STORAGE_KEY_ALL = "all";
-    PARENT_CLASS_TEMPLATE_TOKEN = "$parentClass";
-  }
-});
-
-// ../src/models/members/storage-partitions.ts
-function stampCreatedValuesMapKey(values, mapKey) {
-  const normalized = mapKey === void 0 || mapKey === null || mapKey.length === 0 || mapKey === MAIN_STORAGE_PARTITION ? null : mapKey;
-  for (const value of values) {
-    if (normalized === null) {
-      delete value.mapKey;
-    } else {
-      value.mapKey = normalized;
+function mergeSchemas(chain) {
+  const baseFirst = [...chain].reverse();
+  const map = /* @__PURE__ */ new Map();
+  const order = [];
+  for (const schemaClass2 of baseFirst) {
+    const localKeys = getClassSchemaKeyOrder(schemaClass2);
+    if (schemaClass2.schemaKeyOrder !== void 0) {
+      order.splice(
+        0,
+        order.length,
+        ...localKeys,
+        ...order.filter((key) => !localKeys.includes(key))
+      );
+    }
+    for (const key of localKeys) {
+      if (!order.includes(key)) order.push(key);
+    }
+    for (const [key, memberId] of Object.entries(schemaClass2.schema)) {
+      map.set(key, {
+        schemaKey: key,
+        memberId,
+        ownerClassId: schemaClass2.id
+      });
     }
   }
+  return order.flatMap((k) => {
+    const entry = map.get(k);
+    return entry ? [entry] : [];
+  });
 }
-function applyDeclaredStorageKeyOverrides(args) {
-  const createdById = new Map(
-    args.createdValues.map((value) => [value.id, value])
+function mergeInstanceSurfaceSchema(classId, classes, members) {
+  const membersById = new Map(members.map((member) => [member.id, member]));
+  return mergeSchemas(resolveInheritanceChain(classId, classes)).filter(
+    (entry) => membersById.get(entry.memberId)?.isStatic !== true
   );
-  const parentOf = /* @__PURE__ */ new Map();
-  for (const value of args.createdValues) {
-    for (const childId of referencedValueIdCandidates(value.value)) {
-      if (createdById.has(childId)) parentOf.set(childId, value);
+}
+function mergeStoredInstanceSchema(classId, classes, members) {
+  const membersById = new Map(members.map((member) => [member.id, member]));
+  return mergeInstanceSurfaceSchema(classId, classes, members).filter(
+    (entry) => membersById.get(entry.memberId)?.isReadOnly !== true
+  );
+}
+function findSchemaPlacement(memberId, classes) {
+  for (const schemaClass2 of classes) {
+    for (const [key, placedMemberId] of Object.entries(schemaClass2.schema)) {
+      if (placedMemberId === memberId) {
+        return { ownerClass: schemaClass2, schemaKey: key };
+      }
     }
   }
-  for (const value of args.createdValues) {
-    if (typeof value.containerId !== "string") continue;
-    const container = createdById.get(value.containerId);
-    if (container !== void 0) parentOf.set(value.id, container);
-  }
-  const depthOf = (value) => {
-    let depth = 0;
-    let current = value;
-    const seen = /* @__PURE__ */ new Set();
-    while (current !== void 0 && !seen.has(current.id)) {
-      seen.add(current.id);
-      current = parentOf.get(current.id);
-      if (current !== void 0) depth += 1;
-    }
-    return depth;
-  };
-  const boundaries = args.createdValues.filter((value) => {
-    const declaration = normalizeStorageKeyDeclaration(
-      args.declarationByValueId.get(value.id)
-    );
-    return declaration !== STORAGE_KEY_INHERIT;
-  }).sort((left, right) => depthOf(left) - depthOf(right));
-  for (const boundary of boundaries) {
-    const parentCreated = parentOf.get(boundary.id);
-    const parent = parentCreated !== void 0 ? {
-      mapKey: parentCreated.mapKey ?? null,
-      classId: parentCreated.classId ?? void 0
-    } : args.existingParentContextById?.get(boundary.id);
-    if (parent === void 0) {
-      throw new Error(
-        `Cannot resolve storage partition for created value "${boundary.id}": its placement parent is neither a created value nor supplied in existingParentContextById.`
-      );
-    }
-    const mapKey = resolveMapKeyForCreatedValue({
-      declaration: args.declarationByValueId.get(boundary.id),
-      parentMapKey: parent.mapKey,
-      parentClassId: parent.classId
-    });
-    for (const member of collectCreatedSubtreeValues(
-      boundary,
-      args.createdValues
-    )) {
-      if (mapKey === null || mapKey === MAIN_STORAGE_PARTITION) {
-        delete member.mapKey;
-      } else {
-        member.mapKey = mapKey;
-      }
+  return null;
+}
+function walkExtendsMemberChain(startId, members, pick, options) {
+  const requireKind = options?.requireKind;
+  const maxHops = options?.maxHops ?? 16;
+  let cursor = members.find((a) => a.id === startId);
+  for (let i = 0; cursor && i < maxHops; i++) {
+    if (requireKind !== void 0 && cursor.kind !== requireKind) {
+      return void 0;
     }
+    const v = pick(cursor);
+    if (v !== void 0) return v;
+    const nextId = getOptionalString(cursor, "extendsMemberId");
+    if (nextId === void 0) return void 0;
+    cursor = members.find((a) => a.id === nextId);
   }
+  return void 0;
 }
-function collectCreatedSubtreeValues(root, createdValues) {
-  const createdById = new Map(createdValues.map((value) => [value.id, value]));
-  const subtree = [];
+function resolveMember2(member, members) {
+  const chain = [];
   const visited = /* @__PURE__ */ new Set();
-  const queue = [root];
-  while (queue.length > 0) {
-    const current = queue.shift();
-    if (current === void 0) break;
-    if (visited.has(current.id)) continue;
-    visited.add(current.id);
-    subtree.push(current);
-    for (const childId of referencedValueIdCandidates(current.value)) {
-      const child = createdById.get(childId);
-      if (child !== void 0) queue.push(child);
+  let current = member;
+  while (current) {
+    const id2 = getOptionalString(current, "id");
+    if (id2 !== void 0) {
+      if (visited.has(id2)) {
+        throw new CircularInheritanceError(id2, [...visited]);
+      }
+      visited.add(id2);
     }
-    for (const candidate of createdValues) {
-      if (candidate.containerId === current.id) queue.push(candidate);
+    chain.push(current);
+    if (!isMemberOverrideMarker(current)) break;
+    const parentId = current.extendsMemberId;
+    current = members.find((a) => a.id === parentId);
+  }
+  const tail = chain[chain.length - 1];
+  if (!tail || isMemberOverrideMarker(tail)) {
+    const startId = getOptionalString(member, "id") ?? "(unknown)";
+    throw new UnresolvedMemberInheritanceError(startId);
+  }
+  const baseFirst = [...chain].reverse();
+  const merged = {};
+  for (const link of baseFirst) {
+    for (const [key, value] of Object.entries(link)) {
+      if (value === void 0) continue;
+      merged[key] = value;
     }
   }
-  return subtree;
-}
-function referencedValueIdCandidates(value) {
-  if (Array.isArray(value)) {
-    return value.filter((entry) => typeof entry === "string");
+  delete merged.extendsMemberId;
+  if (member.isAbstract === void 0) {
+    delete merged.isAbstract;
+  } else {
+    merged.isAbstract = member.isAbstract;
   }
-  if (typeof value === "object" && value !== null) {
-    return Object.values(value).filter(
-      (entry) => typeof entry === "string"
-    );
+  if (member.isReadOnly === void 0) {
+    delete merged.isReadOnly;
+  } else {
+    merged.isReadOnly = member.isReadOnly;
   }
-  return [];
+  return merged;
 }
-var init_storage_partitions = __esm({
-  "../src/models/members/storage-partitions.ts"() {
+function descendantClassIds(classId, allClasses) {
+  const result = /* @__PURE__ */ new Set();
+  let added = true;
+  while (added) {
+    added = false;
+    for (const t of allClasses) {
+      if (t.id === classId) continue;
+      if (result.has(t.id)) continue;
+      if (t.extendsClassId === classId || t.extendsClassId && result.has(t.extendsClassId)) {
+        result.add(t.id);
+        added = true;
+      }
+    }
+  }
+  return result;
+}
+var CircularInheritanceError, UnresolvedMemberInheritanceError, mergeInstanceSchema;
+var init_inheritance = __esm({
+  "../src/models/classes/inheritance.ts"() {
     "use strict";
-    init_inheritance();
-    init_member_storage_key();
-    init_member_storage_key();
+    init_member_kinds();
+    init_core();
+    init_structural_narrow();
+    init_classes();
+    CircularInheritanceError = class extends Error {
+      constructor(nodeId, chain) {
+        super(
+          `Circular inheritance detected at "${nodeId}"; chain: ${chain.join(" -> ")}`
+        );
+        this.nodeId = nodeId;
+        this.chain = chain;
+        this.name = "CircularInheritanceError";
+      }
+      nodeId;
+      chain;
+    };
+    UnresolvedMemberInheritanceError = class extends Error {
+      constructor(memberId) {
+        super(
+          `Inheritance chain for member "${memberId}" did not terminate at a non-override member`
+        );
+        this.memberId = memberId;
+        this.name = "UnresolvedMemberInheritanceError";
+      }
+      memberId;
+    };
+    mergeInstanceSchema = mergeInstanceSurfaceSchema;
   }
 });
 
@@ -34813,6 +35048,11 @@ function substituteMember(member, env, members) {
     } else {
       delete substituted.isAbstract;
     }
+    if (resolved.isReadOnly !== void 0) {
+      substituted.isReadOnly = resolved.isReadOnly;
+    } else {
+      delete substituted.isReadOnly;
+    }
     delete substituted.extendsMemberId;
     return substituted;
   }
@@ -35104,6 +35344,195 @@ var init_generics = __esm({
   }
 });
 
+// ../src/models/members/read-only-members.ts
+var VALUELESS_KINDS;
+var init_read_only_members = __esm({
+  "../src/models/members/read-only-members.ts"() {
+    "use strict";
+    init_inheritance();
+    init_generics();
+    init_member_kinds();
+    init_member_storage();
+    VALUELESS_KINDS = /* @__PURE__ */ new Set([
+      10 /* NSProperty */,
+      13 /* Function */,
+      23 /* NSFunction */
+    ]);
+  }
+});
+
+// ../src/models/members/member-kinds-db-response.ts
+var init_member_kinds_db_response = __esm({
+  "../src/models/members/member-kinds-db-response.ts"() {
+    "use strict";
+    init_member_kinds();
+  }
+});
+
+// ../src/models/members/unordered-list-membership.ts
+var init_unordered_list_membership = __esm({
+  "../src/models/members/unordered-list-membership.ts"() {
+    "use strict";
+    init_member_kinds();
+  }
+});
+
+// ../src/models/members/member-storage-key.ts
+function normalizeStorageKeyDeclaration(declaration) {
+  if (declaration === void 0 || declaration === null) {
+    return STORAGE_KEY_INHERIT;
+  }
+  if (declaration.length === 0) return STORAGE_KEY_INHERIT;
+  if (declaration === STORAGE_KEY_ALL) {
+    throw new Error(
+      'Storage key "all" is reserved for partition-scoped reads and cannot be declared on a member.'
+    );
+  }
+  return declaration;
+}
+function storageKeyReferencesParentClass(declaration) {
+  return declaration.includes(PARENT_CLASS_TEMPLATE_TOKEN);
+}
+function resolveMapKeyForCreatedValue(args) {
+  const declaration = normalizeStorageKeyDeclaration(args.declaration);
+  if (declaration === STORAGE_KEY_INHERIT) return args.parentMapKey;
+  if (declaration === MAIN_STORAGE_PARTITION) return null;
+  if (storageKeyReferencesParentClass(declaration)) {
+    if (args.parentClassId === void 0) {
+      throw new Error(
+        `Storage key "${declaration}" references ${PARENT_CLASS_TEMPLATE_TOKEN}, but the placement parent value has no classId (only class-valued parents can anchor a ${PARENT_CLASS_TEMPLATE_TOKEN} partition).`
+      );
+    }
+    return declaration.replaceAll(
+      PARENT_CLASS_TEMPLATE_TOKEN,
+      args.parentClassId
+    );
+  }
+  return declaration;
+}
+var MAIN_STORAGE_PARTITION, STORAGE_KEY_INHERIT, STORAGE_KEY_ALL, PARENT_CLASS_TEMPLATE_TOKEN;
+var init_member_storage_key = __esm({
+  "../src/models/members/member-storage-key.ts"() {
+    "use strict";
+    MAIN_STORAGE_PARTITION = "main";
+    STORAGE_KEY_INHERIT = "inherit";
+    STORAGE_KEY_ALL = "all";
+    PARENT_CLASS_TEMPLATE_TOKEN = "$parentClass";
+  }
+});
+
+// ../src/models/members/storage-partitions.ts
+function stampCreatedValuesMapKey(values, mapKey) {
+  const normalized = mapKey === void 0 || mapKey === null || mapKey.length === 0 || mapKey === MAIN_STORAGE_PARTITION ? null : mapKey;
+  for (const value of values) {
+    if (normalized === null) {
+      delete value.mapKey;
+    } else {
+      value.mapKey = normalized;
+    }
+  }
+}
+function applyDeclaredStorageKeyOverrides(args) {
+  const createdById = new Map(
+    args.createdValues.map((value) => [value.id, value])
+  );
+  const parentOf = /* @__PURE__ */ new Map();
+  for (const value of args.createdValues) {
+    for (const childId of referencedValueIdCandidates(value.value)) {
+      if (createdById.has(childId)) parentOf.set(childId, value);
+    }
+  }
+  for (const value of args.createdValues) {
+    if (typeof value.containerId !== "string") continue;
+    const container = createdById.get(value.containerId);
+    if (container !== void 0) parentOf.set(value.id, container);
+  }
+  const depthOf = (value) => {
+    let depth = 0;
+    let current = value;
+    const seen = /* @__PURE__ */ new Set();
+    while (current !== void 0 && !seen.has(current.id)) {
+      seen.add(current.id);
+      current = parentOf.get(current.id);
+      if (current !== void 0) depth += 1;
+    }
+    return depth;
+  };
+  const boundaries = args.createdValues.filter((value) => {
+    const declaration = normalizeStorageKeyDeclaration(
+      args.declarationByValueId.get(value.id)
+    );
+    return declaration !== STORAGE_KEY_INHERIT;
+  }).sort((left, right) => depthOf(left) - depthOf(right));
+  for (const boundary of boundaries) {
+    const parentCreated = parentOf.get(boundary.id);
+    const parent = parentCreated !== void 0 ? {
+      mapKey: parentCreated.mapKey ?? null,
+      classId: parentCreated.classId ?? void 0
+    } : args.existingParentContextById?.get(boundary.id);
+    if (parent === void 0) {
+      throw new Error(
+        `Cannot resolve storage partition for created value "${boundary.id}": its placement parent is neither a created value nor supplied in existingParentContextById.`
+      );
+    }
+    const mapKey = resolveMapKeyForCreatedValue({
+      declaration: args.declarationByValueId.get(boundary.id),
+      parentMapKey: parent.mapKey,
+      parentClassId: parent.classId
+    });
+    for (const member of collectCreatedSubtreeValues(
+      boundary,
+      args.createdValues
+    )) {
+      if (mapKey === null || mapKey === MAIN_STORAGE_PARTITION) {
+        delete member.mapKey;
+      } else {
+        member.mapKey = mapKey;
+      }
+    }
+  }
+}
+function collectCreatedSubtreeValues(root, createdValues) {
+  const createdById = new Map(createdValues.map((value) => [value.id, value]));
+  const subtree = [];
+  const visited = /* @__PURE__ */ new Set();
+  const queue = [root];
+  while (queue.length > 0) {
+    const current = queue.shift();
+    if (current === void 0) break;
+    if (visited.has(current.id)) continue;
+    visited.add(current.id);
+    subtree.push(current);
+    for (const childId of referencedValueIdCandidates(current.value)) {
+      const child = createdById.get(childId);
+      if (child !== void 0) queue.push(child);
+    }
+    for (const candidate of createdValues) {
+      if (candidate.containerId === current.id) queue.push(candidate);
+    }
+  }
+  return subtree;
+}
+function referencedValueIdCandidates(value) {
+  if (Array.isArray(value)) {
+    return value.filter((entry) => typeof entry === "string");
+  }
+  if (typeof value === "object" && value !== null) {
+    return Object.values(value).filter(
+      (entry) => typeof entry === "string"
+    );
+  }
+  return [];
+}
+var init_storage_partitions = __esm({
+  "../src/models/members/storage-partitions.ts"() {
+    "use strict";
+    init_inheritance();
+    init_member_storage_key();
+    init_member_storage_key();
+  }
+});
+
 // ../src/models/unity/unity-import-settings.ts
 function buildDefaultUnityTexture2DImportSettings() {
   return {
@@ -36233,7 +36662,7 @@ function buildDefaultMemberValue(args) {
     const unboundParamId = firstUnboundParamId(childEnv);
     if (unboundParamId !== null) {
       throw new Error(
-        `Cannot create a value of open generic class "${effectiveClass?.name ?? effectiveClassId}": generic param "${unboundParamId}" is unbound \u2014 pick a closed descendant or construct the slot's class arguments (specs/class-generics.md Decision 6).`
+        `Cannot create a value of open generic class "${effectiveClass?.name ?? effectiveClassId}": generic param "${unboundParamId}" is unbound \u2014 pick a closed descendant or construct the slot's class arguments (https://github.com/ryanbliss/neo-compose-specs/tree/main/new-features/complete/class-generics.md Decision 6).`
       );
     }
     if (member.classArguments != null && Object.keys(member.classArguments).length > 0) {
@@ -36250,7 +36679,7 @@ function buildDefaultMemberValue(args) {
         );
       }
     }
-    const merged = mergeInstanceSchema(
+    const merged = mergeStoredInstanceSchema(
       effectiveClassId,
       args.document.classes,
       args.document.members
@@ -36556,7 +36985,7 @@ function formatDefaultReferenceLocation(memberName, key) {
 }
 function getSchemaEntryMap(document, classId) {
   return new Map(
-    mergeInstanceSchema(classId, document.classes, document.members).map(
+    mergeStoredInstanceSchema(classId, document.classes, document.members).map(
       (entry) => [entry.schemaKey, entry]
     )
   );
@@ -36663,7 +37092,7 @@ function primitiveFallbackValue(document, member) {
   }
   if (member.kind === 21 /* Generic */) {
     throw new Error(
-      `Unreachable: Generic member "${member.name}" must be substituted through its binding environment before default value construction \u2014 a substitution site was skipped upstream (specs/class-generics.md \xA74.1).`
+      `Unreachable: Generic member "${member.name}" must be substituted through its binding environment before default value construction \u2014 a substitution site was skipped upstream (https://github.com/ryanbliss/neo-compose-specs/tree/main/new-features/complete/class-generics.md \xA74.1).`
     );
   }
   throw new Error(
@@ -37096,7 +37525,7 @@ var init_effective_storage = __esm({
       }
       /**
        * The set of effective storages of `memberId` across every placement
-       * (specs/member-storage.md §2.3, generalized to the placement *graph*).
+       * (https://github.com/ryanbliss/neo-compose-specs/tree/main/new-features/complete/member-storage.md §2.3, generalized to the placement *graph*).
        */
       effectiveStorages(memberId) {
         const cached = this.effectiveByMemberId.get(memberId);
@@ -37494,6 +37923,7 @@ var init_members = __esm({
   "../src/models/members/index.ts"() {
     "use strict";
     init_member_storage();
+    init_read_only_members();
     init_member_kinds();
     init_member_kinds_db_response();
     init_unordered_list_membership();
@@ -40331,6 +40761,11 @@ function lowerSeedRow(context, member, sourceExpression, source, valueId, path,
     if (effectiveClass === void 0) {
       throw new Error(`Unknown value class ${member.classId}.`);
     }
+    if (effectiveClass.declarationModifier === "abstract") {
+      throw new Error(
+        `Cannot instantiate abstract class ${effectiveClass.name} for ${path}. Use a concrete descendant instead.`
+      );
+    }
     classId = effectiveClass.id;
     const body = {};
     for (const assignment of expression.initializer ?? []) {
@@ -40528,6 +40963,11 @@ function lowerClassValue(context, member, expression, base, source) {
   const schemaClass2 = context.classes.get(classId);
   if (schemaClass2 === void 0)
     throw new Error(`Unknown value class ${classId}.`);
+  if (schemaClass2.declarationModifier === "abstract") {
+    throw new Error(
+      `Cannot instantiate abstract class ${schemaClass2.name} for value ${String(base.id)}. Use a concrete descendant instead.`
+    );
+  }
   const baseBody = isObjectRecord2(base.value) ? base.value : {};
   const body = { ...baseBody };
   for (const assignment of expression.initializer ?? []) {
@@ -41368,7 +41808,7 @@ function classValue(context, member, value, visited, targetTyped) {
     return targetTyped ? "new()" : `new ${name}()`;
   const schema = isObjectRecord2(schemaClass2.schema) ? schemaClass2.schema : {};
   const order = Array.isArray(schemaClass2.schemaKeyOrder) ? schemaClass2.schemaKeyOrder.filter(
-    (entry) => typeof entry === "string"
+    (entry) => typeof entry === "string" && typeof schema[entry] === "string"
   ) : Object.keys(schema);
   const fields = [];
   for (const key of [
@@ -44914,7 +45354,7 @@ var init_project_migration_types = __esm({
 });
 
 // ../src/models/project/internal-record-relations.ts
-function worldClassContract(relationKind, sourceWorldKind, targetWorldKind, targetClassPolicy, merge, allowAbstractTarget) {
+function worldClassContract(relationKind, sourceWorldKind, targetWorldKind, targetClassPolicy, merge, allowAbstractTarget, allowDirectSystemSource = true) {
   return {
     relationKind,
     endpointPairs: [{ sourceRecordKind: "class", targetRecordKind: "class" }],
@@ -44924,6 +45364,7 @@ function worldClassContract(relationKind, sourceWorldKind, targetWorldKind, targ
     allowCycles: false,
     sourceWorldKind,
     targetWorldKind,
+    allowDirectSystemSource,
     allowAbstractTarget
   };
 }
@@ -45018,6 +45459,7 @@ var init_internal_record_relations = __esm({
         NeoWorldSystemClassKind.TileLayer,
         "exact",
         "nearest-single",
+        false,
         false
       ),
       worldClassContract(
@@ -45026,6 +45468,7 @@ var init_internal_record_relations = __esm({
         NeoWorldSystemClassKind.ObjectLayer,
         "exact",
         "nearest-single",
+        false,
         false
       ),
       {
@@ -52450,7 +52893,13 @@ function evalPointer(pointer, scope, ctx) {
     case "staticMember" /* staticMember */:
       return evalStaticMember(pointer.memberId, ctx);
     case "keyOf" /* keyOf */:
-      return evalKeyOf(pointer.keyOf, scope, ctx, pointer.optional === true);
+      return evalKeyOf(
+        pointer.keyOf,
+        scope,
+        ctx,
+        pointer.optional === true,
+        pointer.memberId
+      );
     case "operation" /* operation */:
       return evalOperation(pointer.operation, scope, ctx);
     case "function" /* function */:
@@ -53213,7 +53662,7 @@ function isRuntimeSpriteValue(value) {
   const sliceIndex = value.sliceIndex;
   return typeof sliceIndex === "number" && Number.isInteger(sliceIndex) && sliceIndex >= 0;
 }
-function evalKeyOf(keyOf, scope, ctx, optional = false) {
+function evalKeyOf(keyOf, scope, ctx, optional = false, memberId) {
   const receiver = evalPointer(keyOf.pointer, scope, ctx);
   if (optional && (receiver === null || receiver === void 0)) {
     return null;
@@ -53261,6 +53710,11 @@ function evalKeyOf(keyOf, scope, ctx, optional = false) {
     if (assetMember.kind === "ok") return assetMember.value;
     const dispatched = dispatchSchemaMember(receiver, k, ctx);
     if (dispatched.kind === "ok") return dispatched.value;
+    if (!dispatched.matchedMember && memberId !== void 0) {
+      const member = evalMemberById(ctx.vm, memberId);
+      const defaultValue = readOnlyDeclarationDefault(member, memberId, ctx);
+      if (defaultValue.matched) return defaultValue.value;
+    }
     if (Object.prototype.hasOwnProperty.call(receiver, k)) {
       const at = receiver[k];
       return resolveValueIfId(at, ctx);
@@ -53273,13 +53727,15 @@ function evalKeyOf(keyOf, scope, ctx, optional = false) {
 }
 function dispatchSchemaMember(receiver, schemaKey, ctx) {
   if (typeof receiver !== "object" || receiver === null) {
-    return { kind: "no-info" };
+    return { kind: "no-info", matchedMember: false };
   }
   const member = resolveRuntimeSchemaMember(receiver, schemaKey, ctx);
-  if (!member) return { kind: "no-info" };
+  if (!member) return { kind: "no-info", matchedMember: false };
+  const defaultValue = readOnlyDeclarationDefault(member, member.id, ctx);
+  if (defaultValue.matched) return { kind: "ok", value: defaultValue.value };
   if (member.kind === 10 /* NSProperty */) {
     if (!resolveCompiledGetter(member.id, ctx)) {
-      return { kind: "no-info" };
+      return { kind: "no-info", matchedMember: true };
     }
     return {
       kind: "ok",
@@ -53287,18 +53743,46 @@ function dispatchSchemaMember(receiver, schemaKey, ctx) {
     };
   }
   if (!Object.prototype.hasOwnProperty.call(receiver, schemaKey)) {
-    return { kind: "no-info" };
+    return { kind: "no-info", matchedMember: true };
   }
   const at = receiver[schemaKey];
   return { kind: "ok", value: resolveValueIfIdForMember(at, member, ctx) };
 }
+function readOnlyDeclarationDefault(member, memberId, ctx) {
+  const readOnly = member?.isReadOnly;
+  if (readOnly !== true) return { matched: false };
+  if (member?.defaultValue === void 0 || member.defaultValue === null) {
+    throw new NSGetterRuntimeError(
+      `Read-only member '${member?.name ?? memberId}' has no declaration default.`
+    );
+  }
+  let value = member.defaultValue.value;
+  if (isMemberString(member) && member.localizable !== false && typeof value === "string") {
+    value = resolveLocalizedTextId(value, ctx);
+  } else if (shouldUnwrapSingleLookupValue(member)) {
+    value = unwrapSingleLookupValue(value, ctx);
+  }
+  return { matched: true, value };
+}
 function resolveRuntimeSchemaMember(receiver, schemaKey, ctx) {
   if (typeof receiver !== "object" || receiver === null) return null;
   const row = trackedRowForValueReference(receiver, ctx);
-  const runtimeClassId = row === null ? void 0 : classIdForValueRow(row, ctx);
+  if (row === null) return null;
+  const runtimeClassId = classIdForValueRow(row, ctx);
   if (!runtimeClassId) return null;
   const memberId = cachedMergedSchemaMemberId(runtimeClassId, schemaKey, ctx);
-  return memberId === null ? null : evalMemberById(ctx.vm, memberId);
+  if (memberId === null) return null;
+  const member = evalMemberById(ctx.vm, memberId);
+  if (member === null) return null;
+  if (member.kind !== 21 /* Generic */) return member;
+  const env = runtimeGenericEnvForValueRow(row, ctx, /* @__PURE__ */ new Set());
+  try {
+    return substituteMember(member, env, ctx.vm.members);
+  } catch (error) {
+    throw new NSGetterRuntimeError(
+      `Cannot resolve runtime member '${member.name}' for Class '${runtimeClassId}': ${error instanceof Error ? error.message : String(error)}`
+    );
+  }
 }
 function resolveAssetRuntimeMember(receiver, memberName, ctx) {
   const record3 = receiver;
@@ -54031,7 +54515,11 @@ function validateClassConstructorDescriptor(info, ctx) {
   }
   let mergedSchema;
   try {
-    mergedSchema = mergeInstanceSchema(classId, ctx.vm.classes, ctx.vm.members);
+    mergedSchema = mergeStoredInstanceSchema(
+      classId,
+      ctx.vm.classes,
+      ctx.vm.members
+    );
   } catch (error) {
     throw new NSGetterRuntimeError(
       `Cannot validate constructor for '${schemaClass2.name}': ${error instanceof Error ? error.message : String(error)}`
@@ -54062,6 +54550,16 @@ function validateClassConstructorDescriptor(info, ctx) {
     }
     seenSchemaKeys.add(field.schemaKey);
     seenMemberIds.add(field.memberId);
+    const surfaceEntry = mergeInstanceSchema(
+      classId,
+      ctx.vm.classes,
+      ctx.vm.members
+    ).find((entry) => entry.schemaKey === field.schemaKey);
+    if (surfaceEntry !== void 0 && evalMemberById(ctx.vm, surfaceEntry.memberId)?.isReadOnly === true) {
+      throw new NSGetterRuntimeError(
+        `Constructor field '${field.schemaKey}' on '${schemaClass2.name}' is a read-only declaration member and cannot have an instance value.`
+      );
+    }
     const schemaEntry = schemaByKey.get(field.schemaKey);
     if (schemaEntry === void 0) {
       throw new NSGetterRuntimeError(
@@ -56104,7 +56602,7 @@ function validateCreatedMigrationGraph(args) {
     }
     let merged;
     try {
-      merged = mergeInstanceSchema(classId, args.classes, args.members);
+      merged = mergeStoredInstanceSchema(classId, args.classes, args.members);
     } catch (error) {
       throw graphError(
         args,