@neocompose/cli 0.6.7 → 0.7.1

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",
@@ -15782,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
@@ -15839,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,
@@ -15851,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 {
@@ -15882,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) {
@@ -16225,6 +16240,7 @@ function createEnvironment2(documents) {
   const declarations = /* @__PURE__ */ new Map();
   const classes = /* @__PURE__ */ new Map();
   const interfaces = /* @__PURE__ */ new Map();
+  const memberOwners = /* @__PURE__ */ new Map();
   const typeKinds = /* @__PURE__ */ new Map();
   for (const [uri, document] of documents) {
     for (const declaration of document.declarations) {
@@ -16243,11 +16259,15 @@ function createEnvironment2(documents) {
       if (declaration.kind === "class") {
         const ref = {
           uri,
+          sourceKind: document.kind,
           declaration,
           location: { uri, range: declaration.nameRange }
         };
         declarations.set(declaration.name, ref);
         classes.set(declaration.name, ref);
+        for (const member of declaration.members) {
+          memberOwners.set(member, ref);
+        }
         typeKinds.set(declaration.name, {
           kind: "class",
           location: ref.location,
@@ -16256,6 +16276,7 @@ function createEnvironment2(documents) {
       } else {
         const ref = {
           uri,
+          sourceKind: document.kind,
           declaration,
           location: { uri, range: declaration.nameRange }
         };
@@ -16269,7 +16290,7 @@ function createEnvironment2(documents) {
       }
     }
   }
-  return { declarations, classes, interfaces, typeKinds };
+  return { declarations, classes, interfaces, memberOwners, typeKinds };
 }
 function validatePersistedNames(documents, diagnostics) {
   for (const [uri, document] of documents) {
@@ -16740,6 +16761,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(
@@ -16754,7 +16785,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);
@@ -16863,10 +16894,58 @@ 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 (member.initializer === void 0 && !modifiers.has("abstract")) {
+          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,
@@ -17018,7 +17097,38 @@ function validateClassOverrides(ref, environment, diagnostics) {
       environment,
       true
     );
+    const readOnlyContract = candidates.find(
+      (candidate) => candidate.member.modifiers.includes("abstract") && candidate.member.modifiers.includes("readonly")
+    );
+    if (readOnlyContract !== void 0 && !member.modifiers.includes("readonly")) {
+      diagnose(
+        diagnostics,
+        ref.uri,
+        member.nameRange,
+        "override-readonly-contract",
+        `Override '${ref.declaration.name}.${member.name}' must remain readonly because '${readOnlyContract.owner.declaration.name}.${readOnlyContract.member.name}' is an abstract readonly contract.`,
+        related(
+          memberLocation(readOnlyContract),
+          "The abstract readonly contract is declared here."
+        )
+      );
+      continue;
+    }
     if (mismatch) {
+      if (mismatch === "the implementation must provide a setter" && member.modifiers.includes("readonly")) {
+        diagnose(
+          diagnostics,
+          ref.uri,
+          member.nameRange,
+          "override-readonly-setter",
+          `Read-only override '${ref.declaration.name}.${member.name}' cannot satisfy the setter required by abstract member '${target.owner.declaration.name}.${target.member.name}'.`,
+          related(
+            memberLocation(target),
+            "The settable abstract member is declared here."
+          )
+        );
+        continue;
+      }
       diagnose(
         diagnostics,
         ref.uri,
@@ -17049,13 +17159,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(
@@ -17063,7 +17174,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),
@@ -17196,7 +17307,7 @@ function memberCompatibility(implementation, implementationSubstitution, target,
     implementationSubstitution
   );
   const targetType = typeShape(target.member.type, target.substitution);
-  const targetAccessors = target.member.kind === "function" ? { get: false, set: false } : valueAccessors(target.member);
+  const targetAccessors = target.member.kind === "function" ? { get: false, set: false } : valueAccessors(target.member, environment);
   const permitsCovariantGetter = allowStoredInterfaceImplementation && implementationFamily === "value" && targetAccessors.get && !targetAccessors.set;
   const permitsStoredOverrideNullability = allowStoredOverrideNullability && implementation.kind === "field" && target.member.kind === "field" && typesEqual(
     { ...implementationType, nullable: false },
@@ -17206,7 +17317,7 @@ function memberCompatibility(implementation, implementationSubstitution, target,
     return `type '${formatType2(implementationType)}' does not match '${formatType2(targetType)}'`;
   }
   if (implementation.kind !== "function" || target.member.kind !== "function") {
-    const implementationAccessors = valueAccessors(implementation);
+    const implementationAccessors = valueAccessors(implementation, environment);
     if (targetAccessors.get && !implementationAccessors.get) {
       return "the implementation must provide a getter";
     }
@@ -17238,14 +17349,48 @@ function memberCompatibility(implementation, implementationSubstitution, target,
   }
   return null;
 }
-function valueAccessors(member) {
-  if (member.kind === "field") return { get: true, set: true };
+function valueAccessors(member, environment) {
+  if (member.kind === "field") {
+    const owner = environment.memberOwners.get(member);
+    const immutable = member.modifiers.includes("abstract") && owner !== void 0 && resolvedSourceMemberStorage(owner, member, environment) === "immutable";
+    return {
+      get: true,
+      set: !member.modifiers.includes("readonly") && !immutable
+    };
+  }
   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 })) {
@@ -18867,6 +19012,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,
@@ -19131,6 +19278,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);
@@ -19151,6 +19299,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 } : {},
@@ -19182,9 +19331,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
@@ -20328,6 +20477,7 @@ function projectCompletions(analysis, document, position) {
     "sealed",
     "native",
     "override",
+    "readonly",
     "virtual",
     "static",
     "new",
@@ -21261,7 +21411,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;
@@ -21316,7 +21466,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) {
@@ -22252,6 +22402,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),
@@ -22265,6 +22420,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,
@@ -22513,6 +22669,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 }
   };
@@ -24981,6 +25138,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"]),
@@ -25012,9 +25170,35 @@ function assertMember2(value, path) {
       "must be null unless the member modifier is override."
     );
   }
+  if ((member.modifier === "abstract" || member.modifier === "abstractOverride") && member.defaultValue !== null) {
+    invalid(
+      `${path}.defaultValue`,
+      "must be null for an abstract member; concrete implementations own defaults."
+    );
+  }
   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 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.storage !== "immutable" && (member.storage !== null || member.overrideOf === null)) {
+      invalid(`${path}.storage`, "must be immutable when isReadOnly is true.");
+    }
+    if (member.defaultValue === null && member.modifier !== "abstract" && member.modifier !== "abstractOverride") {
+      invalid(`${path}.defaultValue`, "is required when isReadOnly is true.");
+    }
+  }
   if (kind === "int") {
     nullableNumber(member.min, `${path}.min`);
     nullableNumber(member.max, `${path}.max`);
@@ -25023,6 +25207,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") {
@@ -25051,6 +25238,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") {
@@ -26236,6 +26426,7 @@ var init_validate = __esm({
       "owner",
       "name",
       "isStatic",
+      "isReadOnly",
       "accessModifier",
       "modifier",
       "locked",
@@ -28046,6 +28237,7 @@ function lowerMember(context, ownerClass, declaration, id2, owner) {
 }
 function memberCommon(context, ownerClass, declaration, id2, owner, base) {
   const storage = annotation(declaration.annotations, "storage");
+  const inheritedId = declaration.modifiers.includes("override") || declaration.modifiers.includes("sealed") ? base?.overrideOf ?? inheritedMemberId(context, ownerClass, declaration.name) : null;
   return {
     id: id2,
     source: sourceIdentity2(declaration, "member", declaration.name),
@@ -28053,6 +28245,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.
@@ -28061,14 +28254,43 @@ function memberCommon(context, ownerClass, declaration, id2, owner, base) {
     locked: hasAnnotation(declaration.annotations, "locked"),
     required: declaration.kind === "field" ? !declaration.type.nullable : base?.required ?? false,
     defaultValue: null,
-    overrideOf: declaration.modifiers.includes("override") || declaration.modifiers.includes("sealed") ? base?.overrideOf ?? inheritedMemberId(context, ownerClass, declaration.name) : null,
+    overrideOf: inheritedId,
     system: systemMetadata(declaration.annotations),
-    storage: storage ? storageValue(storage, "allowed") : null,
+    storage: storage ? storageValue(storage, "allowed") : declaration.modifiers.includes("readonly") ? base !== void 0 ? base.storage : inheritedId !== null && resolvedMemberStorage(context, inheritedId) === "immutable" ? "immutable" : null : null,
     storageKey: storage ? stringArgument(storage, "key") : null
   };
 }
+function resolvedMemberStorage(context, memberId, visited = /* @__PURE__ */ new Set()) {
+  if (visited.has(memberId)) return null;
+  visited.add(memberId);
+  const lowered = context.loweredMembers.get(memberId);
+  if (lowered?.storage !== null && lowered?.storage !== void 0) {
+    return lowered.storage;
+  }
+  const persisted = context.baseMembers.get(memberId);
+  if (persisted !== void 0) {
+    if (persisted.storage !== null) return persisted.storage;
+    if (persisted.overrideOf !== null) {
+      return resolvedMemberStorage(context, persisted.overrideOf, visited);
+    }
+  }
+  const sourcePlacement = context.sourceMembersById.get(memberId);
+  if (sourcePlacement !== void 0) {
+    const { ownerClass: sourceClass, member: sourceMember } = sourcePlacement;
+    const storage = annotation(sourceMember.annotations, "storage");
+    const localStorage = storage ? storageValue(storage, "allowed") : null;
+    if (localStorage !== null) return localStorage;
+    const inheritedId = inheritedMemberId(
+      context,
+      sourceClass,
+      sourceMember.name
+    );
+    return inheritedId === null ? null : resolvedMemberStorage(context, inheritedId, visited);
+  }
+  return null;
+}
 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 = {
@@ -29349,6 +29571,26 @@ function lowerProjectSchemaV4(base, analysis, options = {}) {
       )
     );
   }
+  const sourceClasses = new Map(
+    analysis.schema.classes.map((entry) => [
+      materializedId(entry, "class", entry.name),
+      entry
+    ])
+  );
+  const sourceMembersById = new Map(
+    analysis.schema.classes.flatMap(
+      (ownerClass) => ownerClass.members.map(
+        (member) => [
+          materializedId(
+            member,
+            "member",
+            `${ownerClass.name}.${member.name}`
+          ),
+          { ownerClass, member }
+        ]
+      )
+    )
+  );
   const context = {
     base,
     baseClasses: new Map(base.classes.map((entry) => [entry.id, entry])),
@@ -29356,12 +29598,8 @@ function lowerProjectSchemaV4(base, analysis, options = {}) {
     baseInterfaces: new Map(base.interfaces.map((entry) => [entry.id, entry])),
     baseEnums: new Map(base.enums.map((entry) => [entry.id, entry])),
     baseRelationsById: indexFirstById(base.internalRecordRelations),
-    sourceClasses: new Map(
-      analysis.schema.classes.map((entry) => [
-        materializedId(entry, "class", entry.name),
-        entry
-      ])
-    ),
+    sourceClasses,
+    sourceMembersById,
     classIdsByName,
     interfaceIdsByName,
     enumIdsByName,
@@ -29898,7 +30136,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 "";
@@ -33137,6 +33376,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;
   }
@@ -33296,6 +33538,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;
@@ -33544,6 +33789,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();
@@ -33563,292 +33809,6 @@ var init_neoscript_guards = __esm({
   }
 });
 
-// ../src/models/classes/classes.ts
-function isGenericParamConstraint(value) {
-  const v = value;
-  if (!v || typeof v !== "object") return false;
-  if (v.kind === "class") {
-    if (typeof v.classId !== "string") return false;
-    if (v.classId.length === 0) return false;
-    return v.enumId === void 0;
-  }
-  if (v.kind === "enum") {
-    if (typeof v.enumId !== "string") return false;
-    if (v.enumId.length === 0) return false;
-    return v.classId === void 0;
-  }
-  return false;
-}
-function isGenericParamDeclaration(value) {
-  const v = value;
-  if (!v || typeof v !== "object") return false;
-  if (typeof v.id !== "string") return false;
-  if (v.id.length === 0) return false;
-  if (typeof v.name !== "string") return false;
-  if (v.name.length === 0) return false;
-  if (v.constraint === void 0 || v.constraint === null) return true;
-  return isGenericParamConstraint(v.constraint);
-}
-function isGenericBinding(value) {
-  const v = value;
-  if (!v || typeof v !== "object") return false;
-  if (v.kind === "generic") {
-    if (typeof v.genericParamId !== "string") return false;
-    if (v.genericParamId.length === 0) return false;
-    return v.memberId === void 0;
-  }
-  if (v.kind === "member") {
-    if (typeof v.memberId !== "string") return false;
-    if (v.memberId.length === 0) return false;
-    return v.genericParamId === void 0;
-  }
-  return false;
-}
-function isGenericBindingsRecord(value) {
-  if (value === null) return false;
-  if (typeof value !== "object") return false;
-  if (Array.isArray(value)) return false;
-  return Object.values(value).every(isGenericBinding);
-}
-function isNeoSchemaClassBase(value) {
-  const v = value;
-  return typeof v?.name === "string" && isValidDocsText(v.docsText) && isClassSchema(v?.schema) && isOptionalSchemaKeyOrder(v?.schemaKeyOrder) && (v.implementsInterfaceIds === void 0 || v.implementsInterfaceIds === null || Array.isArray(v.implementsInterfaceIds) && v.implementsInterfaceIds.every(
-    (interfaceId) => typeof interfaceId === "string" && interfaceId.length > 0
-  )) && typeof v?.hiddenInMemberSelector === "boolean" && typeof v?.isAbstract === "boolean" && (v.allowedStorage === void 0 || v.allowedStorage === null || isEffectiveMemberStorage(v.allowedStorage)) && (v.allowedStorageKeys === void 0 || v.allowedStorageKeys === null || Array.isArray(v.allowedStorageKeys) && v.allowedStorageKeys.every((key) => typeof key === "string")) && (v.genericParams === void 0 || v.genericParams === null || Array.isArray(v.genericParams) && v.genericParams.every(isGenericParamDeclaration)) && (v.extendsGenericBindings === void 0 || v.extendsGenericBindings === null || isGenericBindingsRecord(v.extendsGenericBindings)) && (v.system === void 0 || v.system === null || isSystemMetadata(v.system));
-}
-function resolveAllowedStorage(classId, classes, draft) {
-  const visited = /* @__PURE__ */ new Set();
-  const lookup = (id2) => draft && draft.id === id2 ? draft : classes.find((candidate) => candidate.id === id2);
-  let current = lookup(classId);
-  while (current) {
-    if (visited.has(current.id)) return null;
-    visited.add(current.id);
-    if (current.allowedStorage != null) return current.allowedStorage;
-    if (!current.extendsClassId) return null;
-    current = lookup(current.extendsClassId);
-  }
-  return null;
-}
-function dedupeSchemaKeyOrder(order) {
-  const seen = /* @__PURE__ */ new Set();
-  const result = [];
-  for (const schemaKey of order) {
-    if (seen.has(schemaKey)) continue;
-    seen.add(schemaKey);
-    result.push(schemaKey);
-  }
-  return result;
-}
-function getClassSchemaKeyOrder(schemaClass2) {
-  const schemaKeys = Object.keys(schemaClass2.schema);
-  if (schemaClass2.schemaKeyOrder === void 0) return schemaKeys;
-  const orderedKeys2 = dedupeSchemaKeyOrder(schemaClass2.schemaKeyOrder);
-  const seen = new Set(orderedKeys2);
-  for (const schemaKey of schemaKeys) {
-    if (seen.has(schemaKey)) continue;
-    seen.add(schemaKey);
-    orderedKeys2.push(schemaKey);
-  }
-  return orderedKeys2;
-}
-function isClassSchema(value) {
-  if (value === null) return false;
-  if (typeof value !== "object") return false;
-  if (Array.isArray(value)) return false;
-  return Object.values(value).every(
-    (schemaValue) => typeof schemaValue === "string"
-  );
-}
-function isOptionalSchemaKeyOrder(value) {
-  if (value === void 0) return true;
-  if (!Array.isArray(value)) return false;
-  return value.every((key) => typeof key === "string");
-}
-function isNeoSchemaClassProps(value) {
-  const v = value;
-  return isNeoSchemaClassBase(value) && typeof v?.id === "string" && isEpochMillis(v?.createdAt) && isEpochMillis(v?.updatedAt) && typeof v?.projectId === "string";
-}
-function isNeoSchemaClass(value) {
-  return isNeoSchemaClassProps(value);
-}
-var init_classes = __esm({
-  "../src/models/classes/classes.ts"() {
-    "use strict";
-    init_core();
-    init_docs_text2();
-    init_member_storage();
-  }
-});
-
-// ../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(
@@ -33983,6 +33943,123 @@ var init_neoscript = __esm({
   }
 });
 
+// ../src/models/classes/classes.ts
+function isGenericParamConstraint(value) {
+  const v = value;
+  if (!v || typeof v !== "object") return false;
+  if (v.kind === "class") {
+    if (typeof v.classId !== "string") return false;
+    if (v.classId.length === 0) return false;
+    return v.enumId === void 0;
+  }
+  if (v.kind === "enum") {
+    if (typeof v.enumId !== "string") return false;
+    if (v.enumId.length === 0) return false;
+    return v.classId === void 0;
+  }
+  return false;
+}
+function isGenericParamDeclaration(value) {
+  const v = value;
+  if (!v || typeof v !== "object") return false;
+  if (typeof v.id !== "string") return false;
+  if (v.id.length === 0) return false;
+  if (typeof v.name !== "string") return false;
+  if (v.name.length === 0) return false;
+  if (v.constraint === void 0 || v.constraint === null) return true;
+  return isGenericParamConstraint(v.constraint);
+}
+function isGenericBinding(value) {
+  const v = value;
+  if (!v || typeof v !== "object") return false;
+  if (v.kind === "generic") {
+    if (typeof v.genericParamId !== "string") return false;
+    if (v.genericParamId.length === 0) return false;
+    return v.memberId === void 0;
+  }
+  if (v.kind === "member") {
+    if (typeof v.memberId !== "string") return false;
+    if (v.memberId.length === 0) return false;
+    return v.genericParamId === void 0;
+  }
+  return false;
+}
+function isGenericBindingsRecord(value) {
+  if (value === null) return false;
+  if (typeof value !== "object") return false;
+  if (Array.isArray(value)) return false;
+  return Object.values(value).every(isGenericBinding);
+}
+function isNeoSchemaClassBase(value) {
+  const v = value;
+  return typeof v?.name === "string" && isValidDocsText(v.docsText) && isClassSchema(v?.schema) && isOptionalSchemaKeyOrder(v?.schemaKeyOrder) && (v.implementsInterfaceIds === void 0 || v.implementsInterfaceIds === null || Array.isArray(v.implementsInterfaceIds) && v.implementsInterfaceIds.every(
+    (interfaceId) => typeof interfaceId === "string" && interfaceId.length > 0
+  )) && typeof v?.hiddenInMemberSelector === "boolean" && typeof v?.isAbstract === "boolean" && (v.allowedStorage === void 0 || v.allowedStorage === null || isEffectiveMemberStorage(v.allowedStorage)) && (v.allowedStorageKeys === void 0 || v.allowedStorageKeys === null || Array.isArray(v.allowedStorageKeys) && v.allowedStorageKeys.every((key) => typeof key === "string")) && (v.genericParams === void 0 || v.genericParams === null || Array.isArray(v.genericParams) && v.genericParams.every(isGenericParamDeclaration)) && (v.extendsGenericBindings === void 0 || v.extendsGenericBindings === null || isGenericBindingsRecord(v.extendsGenericBindings)) && (v.system === void 0 || v.system === null || isSystemMetadata(v.system));
+}
+function resolveAllowedStorage(classId, classes, draft) {
+  const visited = /* @__PURE__ */ new Set();
+  const lookup = (id2) => draft && draft.id === id2 ? draft : classes.find((candidate) => candidate.id === id2);
+  let current = lookup(classId);
+  while (current) {
+    if (visited.has(current.id)) return null;
+    visited.add(current.id);
+    if (current.allowedStorage != null) return current.allowedStorage;
+    if (!current.extendsClassId) return null;
+    current = lookup(current.extendsClassId);
+  }
+  return null;
+}
+function dedupeSchemaKeyOrder(order) {
+  const seen = /* @__PURE__ */ new Set();
+  const result = [];
+  for (const schemaKey of order) {
+    if (seen.has(schemaKey)) continue;
+    seen.add(schemaKey);
+    result.push(schemaKey);
+  }
+  return result;
+}
+function getClassSchemaKeyOrder(schemaClass2) {
+  const schemaKeys = Object.keys(schemaClass2.schema);
+  if (schemaClass2.schemaKeyOrder === void 0) return schemaKeys;
+  const orderedKeys2 = dedupeSchemaKeyOrder(schemaClass2.schemaKeyOrder);
+  const seen = new Set(orderedKeys2);
+  for (const schemaKey of schemaKeys) {
+    if (seen.has(schemaKey)) continue;
+    seen.add(schemaKey);
+    orderedKeys2.push(schemaKey);
+  }
+  return orderedKeys2;
+}
+function isClassSchema(value) {
+  if (value === null) return false;
+  if (typeof value !== "object") return false;
+  if (Array.isArray(value)) return false;
+  return Object.values(value).every(
+    (schemaValue) => typeof schemaValue === "string"
+  );
+}
+function isOptionalSchemaKeyOrder(value) {
+  if (value === void 0) return true;
+  if (!Array.isArray(value)) return false;
+  return value.every((key) => typeof key === "string");
+}
+function isNeoSchemaClassProps(value) {
+  const v = value;
+  return isNeoSchemaClassBase(value) && typeof v?.id === "string" && isEpochMillis(v?.createdAt) && isEpochMillis(v?.updatedAt) && typeof v?.projectId === "string";
+}
+function isNeoSchemaClass(value) {
+  return isNeoSchemaClassProps(value);
+}
+var init_classes = __esm({
+  "../src/models/classes/classes.ts"() {
+    "use strict";
+    init_core();
+    init_docs_text2();
+    init_member_storage();
+  }
+});
+
 // ../src/models/members/member-kinds.ts
 function isMemberAccessModifierKind(value) {
   if (value === "public") return true;
@@ -34433,6 +34510,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;
@@ -34490,6 +34570,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;
@@ -34674,175 +34757,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;
   }
 });
 
@@ -35030,6 +35122,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;
   }
@@ -35321,6 +35418,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 {
@@ -36450,7 +36736,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) {
@@ -36467,7 +36753,7 @@ function buildDefaultMemberValue(args) {
         );
       }
     }
-    const merged = mergeInstanceSchema(
+    const merged = mergeStoredInstanceSchema(
       effectiveClassId,
       args.document.classes,
       args.document.members
@@ -36773,7 +37059,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]
     )
   );
@@ -36880,7 +37166,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(
@@ -37313,7 +37599,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);
@@ -37711,6 +37997,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();
@@ -52680,7 +52967,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 */:
@@ -53443,7 +53736,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;
@@ -53491,6 +53784,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);
@@ -53503,13 +53801,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",
@@ -53517,18 +53817,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;
@@ -54261,7 +54589,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)}`
@@ -54292,6 +54624,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(
@@ -56334,7 +56676,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,