@formspec/build 0.1.0-alpha.32 → 0.1.0-alpha.34

package/dist/internals.js

@@ -730,6 +730,7 @@ import * as path from "path";
 // src/analyzer/class-analyzer.ts
 import * as ts3 from "typescript";
 import {
+  analyzeMetadataForNodeWithChecker,
   parseCommentBlock as parseCommentBlock2
 } from "@formspec/analysis/internal";
 
@@ -743,6 +744,7 @@ import {
   extractPathTarget as extractSharedPathTarget,
   getTagDefinition,
   hasTypeSemanticCapability,
+  normalizeFormSpecTagName,
   parseConstraintTagValue,
   parseDefaultValueTagValue,
   resolveDeclarationPlacement,
@@ -779,7 +781,7 @@ function createFormSpecTSDocConfig(extensionTagNames = []) {
       })
     );
   }
-  for (const tagName of ["displayName", "format", "placeholder"]) {
+  for (const tagName of ["apiName", "displayName", "format", "placeholder"]) {
     config.addTagDefinition(
       new TSDocTagDefinition({
         tagName: "@" + tagName,
@@ -813,6 +815,16 @@ function sharedTagValueOptions(options) {
   };
 }
 var SYNTHETIC_TYPE_FORMAT_FLAGS = ts.TypeFormatFlags.NoTruncation | ts.TypeFormatFlags.UseAliasDefinedOutsideCurrentScope;
+function getExtensionTypeNames(registry) {
+  if (registry === void 0) {
+    return /* @__PURE__ */ new Set();
+  }
+  return new Set(
+    registry.extensions.flatMap(
+      (ext) => (ext.types ?? []).flatMap((t) => t.tsTypeNames ?? [t.typeName])
+    )
+  );
+}
 function collectImportedNames(sourceFile) {
   const importedNames = /* @__PURE__ */ new Set();
   for (const statement of sourceFile.statements) {
@@ -852,6 +864,9 @@ function isNonReferenceIdentifier(node) {
   return false;
 }
 function statementReferencesImportedName(statement, importedNames) {
+  if (importedNames.size === 0) {
+    return false;
+  }
   let referencesImportedName = false;
   const visit = (node) => {
     if (referencesImportedName) {
@@ -866,14 +881,17 @@ function statementReferencesImportedName(statement, importedNames) {
   visit(statement);
   return referencesImportedName;
 }
-function buildSupportingDeclarations(sourceFile) {
+function buildSupportingDeclarations(sourceFile, extensionTypeNames) {
   const importedNames = collectImportedNames(sourceFile);
+  const importedNamesToSkip = new Set(
+    [...importedNames].filter((name) => !extensionTypeNames.has(name))
+  );
   return sourceFile.statements.filter((statement) => {
     if (ts.isImportDeclaration(statement)) return false;
     if (ts.isImportEqualsDeclaration(statement)) return false;
     if (ts.isExportDeclaration(statement) && statement.moduleSpecifier !== void 0)
       return false;
-    if (importedNames.size > 0 && statementReferencesImportedName(statement, importedNames)) {
+    if (statementReferencesImportedName(statement, importedNamesToSkip)) {
       return false;
     }
     return true;
@@ -1130,6 +1148,14 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
         extensionId: extension.extensionId,
         ...extension.constraintTags !== void 0 ? {
           constraintTags: extension.constraintTags.map((tag) => ({ tagName: tag.tagName }))
+        } : {},
+        ...extension.metadataSlots !== void 0 ? {
+          metadataSlots: extension.metadataSlots
+        } : {},
+        ...extension.types !== void 0 ? {
+          customTypes: extension.types.map((t) => ({
+            tsTypeNames: t.tsTypeNames ?? [t.typeName]
+          }))
         } : {}
       }))
     } : {}
@@ -1151,7 +1177,10 @@ var parseResultCache = /* @__PURE__ */ new Map();
 function getParser(options) {
   const extensionTagNames = [
     ...options?.extensionRegistry?.extensions.flatMap(
-      (extension) => (extension.constraintTags ?? []).map((tag) => tag.tagName)
+      (extension) => (extension.constraintTags ?? []).map((tag) => normalizeFormSpecTagName(tag.tagName))
+    ) ?? [],
+    ...options?.extensionRegistry?.extensions.flatMap(
+      (extension) => (extension.metadataSlots ?? []).map((slot) => normalizeFormSpecTagName(slot.tagName))
     ) ?? []
   ].sort();
   const cacheKey = extensionTagNames.join("|");
@@ -1171,7 +1200,16 @@ function getExtensionRegistryCacheKey(registry) {
     (extension) => JSON.stringify({
       extensionId: extension.extensionId,
       typeNames: extension.types?.map((type) => type.typeName) ?? [],
-      constraintTags: extension.constraintTags?.map((tag) => tag.tagName) ?? []
+      constraintTags: extension.constraintTags?.map((tag) => normalizeFormSpecTagName(tag.tagName)) ?? [],
+      metadataSlots: extension.metadataSlots?.map((slot) => ({
+        tagName: normalizeFormSpecTagName(slot.tagName),
+        declarationKinds: [...slot.declarationKinds].sort(),
+        allowBare: slot.allowBare !== false,
+        qualifiers: (slot.qualifiers ?? []).map((qualifier) => ({
+          qualifier: qualifier.qualifier,
+          ...qualifier.sourceQualifier !== void 0 ? { sourceQualifier: qualifier.sourceQualifier } : {}
+        })).sort((left, right) => left.qualifier.localeCompare(right.qualifier))
+      })) ?? []
     })
   ).join("|");
 }
@@ -1206,7 +1244,8 @@ function parseTSDocTags(node, file = "", options) {
   const rawTextTags = [];
   const sourceFile = node.getSourceFile();
   const sourceText = sourceFile.getFullText();
-  const supportingDeclarations = buildSupportingDeclarations(sourceFile);
+  const extensionTypeNames = getExtensionTypeNames(options?.extensionRegistry);
+  const supportingDeclarations = buildSupportingDeclarations(sourceFile, extensionTypeNames);
   const commentRanges = ts.getLeadingCommentRanges(sourceText, node.getFullStart());
   const rawTextFallbacks = collectRawTextFallbacks(node, file);
   if (commentRanges) {
@@ -1614,6 +1653,9 @@ function extractDefaultValueAnnotation(initializer, file = "") {
 function isObjectType(type) {
   return !!(type.flags & ts3.TypeFlags.Object);
 }
+function isIntersectionType(type) {
+  return !!(type.flags & ts3.TypeFlags.Intersection);
+}
 function isTypeReference(type) {
   return !!(type.flags & ts3.TypeFlags.Object) && !!(type.objectFlags & ts3.ObjectFlags.Reference);
 }
@@ -1634,76 +1676,54 @@ function makeParseOptions(extensionRegistry, fieldType, checker, subjectType, ho
     ...hostType !== void 0 && { hostType }
   };
 }
-function makeExplicitScalarMetadata(value) {
-  return value === void 0 || value === "" ? void 0 : { value, source: "explicit" };
-}
-function extractExplicitMetadata(node) {
-  let apiName;
-  let displayName;
-  let apiNamePlural;
-  let displayNamePlural;
-  for (const tag of getLeadingParsedTags(node)) {
-    const value = tag.argumentText.trim();
-    if (value === "") {
-      continue;
-    }
-    if (tag.normalizedTagName === "apiName") {
-      if (tag.target === null) {
-        apiName ??= value;
-      } else if (tag.target.kind === "variant") {
-        if (tag.target.rawText === "singular") {
-          apiName ??= value;
-        } else if (tag.target.rawText === "plural") {
-          apiNamePlural ??= value;
-        }
-      }
-      continue;
-    }
-    if (tag.normalizedTagName === "displayName") {
-      if (tag.target === null) {
-        displayName ??= value;
-      } else if (tag.target.kind === "variant") {
-        if (tag.target.rawText === "singular") {
-          displayName ??= value;
-        } else if (tag.target.rawText === "plural") {
-          displayNamePlural ??= value;
-        }
-      }
-    }
-  }
-  const resolvedApiName = makeExplicitScalarMetadata(apiName);
-  const resolvedDisplayName = makeExplicitScalarMetadata(displayName);
-  const resolvedApiNamePlural = makeExplicitScalarMetadata(apiNamePlural);
-  const resolvedDisplayNamePlural = makeExplicitScalarMetadata(displayNamePlural);
-  const metadata = {
-    ...resolvedApiName !== void 0 && { apiName: resolvedApiName },
-    ...resolvedDisplayName !== void 0 && { displayName: resolvedDisplayName },
-    ...resolvedApiNamePlural !== void 0 && { apiNamePlural: resolvedApiNamePlural },
-    ...resolvedDisplayNamePlural !== void 0 && {
-      displayNamePlural: resolvedDisplayNamePlural
-    }
+function createAnalyzerMetadataPolicy(input, discriminator) {
+  return {
+    raw: input,
+    normalized: normalizeMetadataPolicy(input),
+    discriminator
   };
-  return Object.keys(metadata).length === 0 ? void 0 : metadata;
 }
-function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node, buildContext) {
-  const explicit = extractExplicitMetadata(node);
-  return resolveMetadata(
-    {
-      ...explicit?.apiName !== void 0 && { apiName: explicit.apiName.value },
-      ...explicit?.displayName !== void 0 && { displayName: explicit.displayName.value },
-      ...explicit?.apiNamePlural !== void 0 && {
-        apiNamePlural: explicit.apiNamePlural.value
-      },
-      ...explicit?.displayNamePlural !== void 0 && {
-        displayNamePlural: explicit.displayNamePlural.value
-      }
-    },
-    getDeclarationMetadataPolicy(metadataPolicy, declarationKind),
-    makeMetadataContext("tsdoc", declarationKind, logicalName, buildContext)
+function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node, checker, extensionRegistry, buildContext) {
+  const analysis = analyzeMetadataForNodeWithChecker({
+    checker,
+    node,
+    logicalName,
+    metadata: metadataPolicy.raw,
+    extensions: extensionRegistry?.extensions,
+    ...buildContext !== void 0 && { buildContext }
+  });
+  const resolvedMetadata = analysis?.resolvedMetadata;
+  const declarationPolicy = getDeclarationMetadataPolicy(
+    metadataPolicy.normalized,
+    declarationKind
   );
+  if (resolvedMetadata?.apiName === void 0 && declarationPolicy.apiName.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit apiName for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  if (resolvedMetadata?.displayName === void 0 && declarationPolicy.displayName.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit displayName for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  if (resolvedMetadata?.apiNamePlural === void 0 && declarationPolicy.apiName.pluralization.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit apiNamePlural for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  if (resolvedMetadata?.displayNamePlural === void 0 && declarationPolicy.displayName.pluralization.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit displayNamePlural for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  return resolvedMetadata;
 }
-function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, metadataPolicy) {
-  const normalizedMetadataPolicy = normalizeMetadataPolicy(metadataPolicy);
+function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(
+    metadataPolicy,
+    discriminatorOptions
+  );
   const name = classDecl.name?.text ?? "AnonymousClass";
   const fields = [];
   const fieldLayouts = [];
@@ -1758,12 +1778,20 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
     diagnostics,
     normalizedMetadataPolicy
   );
-  const metadata = resolveNodeMetadata(normalizedMetadataPolicy, "type", name, classDecl, {
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    name,
+    classDecl,
     checker,
-    declaration: classDecl,
-    subjectType: classType,
-    hostType: classType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: classDecl,
+      subjectType: classType,
+      hostType: classType
+    }
+  );
   return {
     name,
     ...metadata !== void 0 && { metadata },
@@ -1776,8 +1804,11 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
     staticMethods
   };
 }
-function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegistry, metadataPolicy) {
-  const normalizedMetadataPolicy = normalizeMetadataPolicy(metadataPolicy);
+function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(
+    metadataPolicy,
+    discriminatorOptions
+  );
   const name = interfaceDecl.name.text;
   const fields = [];
   const typeRegistry = {};
@@ -1819,12 +1850,20 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
     normalizedMetadataPolicy
   );
   const fieldLayouts = specializedFields.map(() => ({}));
-  const metadata = resolveNodeMetadata(normalizedMetadataPolicy, "type", name, interfaceDecl, {
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    name,
+    interfaceDecl,
     checker,
-    declaration: interfaceDecl,
-    subjectType: interfaceType,
-    hostType: interfaceType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: interfaceDecl,
+      subjectType: interfaceType,
+      hostType: interfaceType
+    }
+  );
   return {
     name,
     ...metadata !== void 0 && { metadata },
@@ -1837,19 +1876,31 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
     staticMethods: []
   };
 }
-function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry, metadataPolicy) {
-  if (!ts3.isTypeLiteralNode(typeAlias.type)) {
+function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const members = getObjectLikeTypeAliasMembers(typeAlias.type);
+  if (members === null) {
     const sourceFile = typeAlias.getSourceFile();
     const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
     const kindDesc = ts3.SyntaxKind[typeAlias.type.kind] ?? "unknown";
     return {
       ok: false,
-      error: `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} is not an object type literal (found ${kindDesc})`
+      error: `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} is not an object-like type alias (found ${kindDesc})`
     };
   }
-  const typeLiteral = typeAlias.type;
-  const normalizedMetadataPolicy = normalizeMetadataPolicy(metadataPolicy);
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(
+    metadataPolicy,
+    discriminatorOptions
+  );
   const name = typeAlias.name.text;
+  const duplicatePropertyNames = findDuplicateObjectLikeTypeAliasPropertyNames(members);
+  if (duplicatePropertyNames.length > 0) {
+    const sourceFile = typeAlias.getSourceFile();
+    const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
+    return {
+      ok: false,
+      error: `Type alias "${name}" at line ${String(line + 1)} contains duplicate property names across object-like members: ${duplicatePropertyNames.join(", ")}`
+    };
+  }
   const fields = [];
   const typeRegistry = {};
   const diagnostics = [];
@@ -1862,7 +1913,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
   const annotations = [...typeAliasDoc.annotations];
   diagnostics.push(...typeAliasDoc.diagnostics);
   const visiting = /* @__PURE__ */ new Set();
-  for (const member of typeLiteral.members) {
+  for (const member of members) {
     if (ts3.isPropertySignature(member)) {
       const fieldNode = analyzeInterfacePropertyToIR(
         member,
@@ -1889,12 +1940,20 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
     diagnostics,
     normalizedMetadataPolicy
   );
-  const metadata = resolveNodeMetadata(normalizedMetadataPolicy, "type", name, typeAlias, {
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    name,
+    typeAlias,
     checker,
-    declaration: typeAlias,
-    subjectType: aliasType,
-    hostType: aliasType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: typeAlias,
+      subjectType: aliasType,
+      hostType: aliasType
+    }
+  );
   return {
     ok: true,
     analysis: {
@@ -1963,15 +2022,43 @@ function isNullishSemanticType(type) {
   }
   return type.isUnion() && type.types.some((member) => isNullishSemanticType(member));
 }
-function isStringLikeSemanticType(type) {
+function isStringLikeSemanticType(type, checker, seen = /* @__PURE__ */ new Set()) {
+  if (seen.has(type)) {
+    return false;
+  }
+  seen.add(type);
   if (type.flags & ts3.TypeFlags.StringLike) {
     return true;
   }
   if (type.isUnion()) {
-    return type.types.length > 0 && type.types.every((member) => isStringLikeSemanticType(member));
+    return type.types.length > 0 && type.types.every((member) => isStringLikeSemanticType(member, checker, seen));
+  }
+  const baseConstraint = checker.getBaseConstraintOfType(type);
+  if (baseConstraint !== void 0 && baseConstraint !== type) {
+    return isStringLikeSemanticType(baseConstraint, checker, seen);
   }
   return false;
 }
+function getObjectLikeTypeAliasMembers(typeNode) {
+  if (ts3.isParenthesizedTypeNode(typeNode)) {
+    return getObjectLikeTypeAliasMembers(typeNode.type);
+  }
+  if (ts3.isTypeLiteralNode(typeNode)) {
+    return [...typeNode.members];
+  }
+  if (ts3.isIntersectionTypeNode(typeNode)) {
+    const members = [];
+    for (const intersectionMember of typeNode.types) {
+      const resolvedMembers = getObjectLikeTypeAliasMembers(intersectionMember);
+      if (resolvedMembers === null) {
+        return null;
+      }
+      members.push(...resolvedMembers);
+    }
+    return members;
+  }
+  return null;
+}
 function extractDiscriminatorDirective(node, file, diagnostics) {
   const discriminatorTags = getLeadingParsedTags(node).filter(
     (tag) => tag.normalizedTagName === "discriminator"
@@ -2078,7 +2165,7 @@ function validateDiscriminatorDirective(node, checker, file, diagnostics) {
     );
     return null;
   }
-  if (!isStringLikeSemanticType(property.type)) {
+  if (!isStringLikeSemanticType(property.type, checker)) {
     diagnostics.push(
       makeAnalysisDiagnostic(
         "TYPE_MISMATCH",
@@ -2105,8 +2192,8 @@ function getConcreteTypeArgumentForDiscriminator(node, subjectType, checker, typ
   const localTypeParameter = node.typeParameters?.[typeParameterIndex];
   return localTypeParameter === void 0 ? null : checker.getTypeAtLocation(localTypeParameter);
 }
-function resolveLiteralDiscriminatorPropertyValue(boundType, fieldName, checker, provenance, diagnostics) {
-  const propertySymbol = boundType.getProperty(fieldName);
+function resolveLiteralDiscriminatorPropertyValue(boundType, propertyName, checker, provenance, diagnostics) {
+  const propertySymbol = boundType.getProperty(propertyName);
   if (propertySymbol === void 0) {
     return void 0;
   }
@@ -2137,6 +2224,9 @@ function resolveLiteralDiscriminatorPropertyValue(boundType, fieldName, checker,
   }
   return void 0;
 }
+function getDiscriminatorIdentityPropertyNames(fieldName) {
+  return fieldName === "object" ? ["object"] : [fieldName, "object"];
+}
 function resolveDiscriminatorApiName(boundType, checker, metadataPolicy) {
   const declaration = resolveNamedDiscriminatorDeclaration(boundType, checker);
   if (declaration === null) {
@@ -2147,6 +2237,8 @@ function resolveDiscriminatorApiName(boundType, checker, metadataPolicy) {
     "type",
     getDiscriminatorLogicalName(boundType, declaration, checker),
     declaration,
+    checker,
+    void 0,
     {
       checker,
       declaration,
@@ -2155,6 +2247,10 @@ function resolveDiscriminatorApiName(boundType, checker, metadataPolicy) {
   );
   return metadata?.apiName;
 }
+function applyDiscriminatorApiNamePrefix(value, discriminatorOptions) {
+  const prefix = discriminatorOptions?.apiNamePrefix;
+  return prefix === void 0 || prefix === "" ? value : `${prefix}${value}`;
+}
 function resolveNamedDiscriminatorDeclaration(type, checker, seen = /* @__PURE__ */ new Set()) {
   if (seen.has(type)) {
     return null;
@@ -2209,22 +2305,27 @@ function resolveDiscriminatorValue(boundType, fieldName, checker, provenance, di
       return null;
     }
   }
-  const literalIdentityValue = resolveLiteralDiscriminatorPropertyValue(
-    boundType,
-    fieldName,
-    checker,
-    provenance,
-    diagnostics
-  );
-  if (literalIdentityValue !== void 0) {
-    return literalIdentityValue;
+  for (const identityPropertyName of getDiscriminatorIdentityPropertyNames(fieldName)) {
+    const literalIdentityValue = resolveLiteralDiscriminatorPropertyValue(
+      boundType,
+      identityPropertyName,
+      checker,
+      provenance,
+      diagnostics
+    );
+    if (literalIdentityValue === null) {
+      return null;
+    }
+    if (literalIdentityValue !== void 0) {
+      return literalIdentityValue;
+    }
   }
   const apiName = resolveDiscriminatorApiName(boundType, checker, metadataPolicy);
   if (apiName?.source === "explicit") {
-    return apiName.value;
+    return applyDiscriminatorApiNamePrefix(apiName.value, metadataPolicy.discriminator);
   }
   if (apiName?.source === "inferred") {
-    return apiName.value;
+    return applyDiscriminatorApiNamePrefix(apiName.value, metadataPolicy.discriminator);
   }
   diagnostics.push(
     makeAnalysisDiagnostic(
@@ -2287,15 +2388,20 @@ function buildInstantiatedReferenceName(baseName, typeArguments, checker) {
   return renderedArguments.length === 0 ? baseName : `${baseName}__${renderedArguments.join("__")}`;
 }
 function extractReferenceTypeArguments(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy, extensionRegistry, diagnostics) {
-  const typeNode = sourceNode === void 0 ? void 0 : extractTypeNodeFromSource(sourceNode);
-  if (typeNode === void 0) {
+  const sourceTypeNode = sourceNode === void 0 ? void 0 : extractTypeNodeFromSource(sourceNode);
+  if (sourceTypeNode === void 0) {
     return [];
   }
-  const resolvedTypeNode = resolveAliasedTypeNode(typeNode, checker);
-  if (!ts3.isTypeReferenceNode(resolvedTypeNode) || resolvedTypeNode.typeArguments === void 0) {
+  const unwrapParentheses = (typeNode) => ts3.isParenthesizedTypeNode(typeNode) ? unwrapParentheses(typeNode.type) : typeNode;
+  const directTypeNode = unwrapParentheses(sourceTypeNode);
+  const referenceTypeNode = ts3.isTypeReferenceNode(directTypeNode) ? directTypeNode : (() => {
+    const resolvedTypeNode = resolveAliasedTypeNode(directTypeNode, checker);
+    return ts3.isTypeReferenceNode(resolvedTypeNode) ? resolvedTypeNode : null;
+  })();
+  if (referenceTypeNode?.typeArguments === void 0) {
     return [];
   }
-  return resolvedTypeNode.typeArguments.map((argumentNode) => {
+  return referenceTypeNode.typeArguments.map((argumentNode) => {
     const argumentType = checker.getTypeFromTypeNode(argumentNode);
     return {
       tsType: argumentType,
@@ -2383,12 +2489,20 @@ function analyzeFieldToIR(prop, checker, file, typeRegistry, visiting, diagnosti
     annotations.push(defaultAnnotation);
   }
   ({ type, annotations } = applyEnumMemberDisplayNames(type, annotations));
-  const metadata = resolveNodeMetadata(metadataPolicy, "field", name, prop, {
+  const metadata = resolveNodeMetadata(
+    metadataPolicy,
+    "field",
+    name,
+    prop,
     checker,
-    declaration: prop,
-    subjectType: tsType,
-    hostType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: prop,
+      subjectType: tsType,
+      hostType
+    }
+  );
   return {
     kind: "field",
     name,
@@ -2401,10 +2515,10 @@ function analyzeFieldToIR(prop, checker, file, typeRegistry, visiting, diagnosti
   };
 }
 function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visiting, diagnostics, hostType, metadataPolicy, extensionRegistry) {
-  if (!ts3.isIdentifier(prop.name)) {
+  const name = getAnalyzableObjectLikePropertyName(prop.name);
+  if (name === null) {
     return null;
   }
-  const name = prop.name.text;
   const tsType = checker.getTypeAtLocation(prop);
   const optional = prop.questionToken !== void 0;
   const provenance = provenanceForNode(prop, file);
@@ -2435,12 +2549,20 @@ function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visitin
   let annotations = [];
   annotations.push(...docResult.annotations);
   ({ type, annotations } = applyEnumMemberDisplayNames(type, annotations));
-  const metadata = resolveNodeMetadata(metadataPolicy, "field", name, prop, {
+  const metadata = resolveNodeMetadata(
+    metadataPolicy,
+    "field",
+    name,
+    prop,
     checker,
-    declaration: prop,
-    subjectType: tsType,
-    hostType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: prop,
+      subjectType: tsType,
+      hostType
+    }
+  );
   return {
     kind: "field",
     name,
@@ -2452,6 +2574,31 @@ function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visitin
     provenance
   };
 }
+function findDuplicateObjectLikeTypeAliasPropertyNames(members) {
+  const seen = /* @__PURE__ */ new Set();
+  const duplicates = /* @__PURE__ */ new Set();
+  for (const member of members) {
+    if (!ts3.isPropertySignature(member)) {
+      continue;
+    }
+    const name = getAnalyzableObjectLikePropertyName(member.name);
+    if (name === null) {
+      continue;
+    }
+    if (seen.has(name)) {
+      duplicates.add(name);
+      continue;
+    }
+    seen.add(name);
+  }
+  return [...duplicates].sort();
+}
+function getAnalyzableObjectLikePropertyName(name) {
+  if (!ts3.isIdentifier(name)) {
+    return null;
+  }
+  return name.text;
+}
 function applyEnumMemberDisplayNames(type, annotations) {
   if (!annotations.some(
     (annotation) => annotation.annotationKind === "displayName" && annotation.value.trim().startsWith(":")
@@ -2569,7 +2716,7 @@ function getTypeNodeRegistrationName(typeNode) {
   }
   return null;
 }
-function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const customType = resolveRegisteredCustomType(sourceNode, extensionRegistry, checker);
   if (customType) {
     return customType;
@@ -2644,6 +2791,23 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
       diagnostics
     );
   }
+  if (isIntersectionType(type)) {
+    const sourceTypeNode = sourceNode === void 0 ? void 0 : extractTypeNodeFromSource(sourceNode);
+    const resolvedSourceTypeNode = sourceTypeNode === void 0 ? void 0 : resolveAliasedTypeNode(sourceTypeNode, checker);
+    if (resolvedSourceTypeNode !== void 0 && getObjectLikeTypeAliasMembers(resolvedSourceTypeNode) !== null) {
+      return resolveObjectType(
+        type,
+        checker,
+        file,
+        typeRegistry,
+        visiting,
+        sourceNode,
+        metadataPolicy,
+        extensionRegistry,
+        diagnostics
+      );
+    }
+  }
   if (isObjectType(type)) {
     return resolveObjectType(
       type,
@@ -2659,7 +2823,7 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
   }
   return { kind: "primitive", primitiveKind: "string" };
 }
-function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   if (!(type.flags & (ts3.TypeFlags.String | ts3.TypeFlags.Number | ts3.TypeFlags.BigInt | ts3.TypeFlags.BigIntLiteral | ts3.TypeFlags.Boolean | ts3.TypeFlags.Null))) {
     return null;
   }
@@ -2679,11 +2843,19 @@ function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiti
       file,
       makeParseOptions(extensionRegistry)
     );
-    const metadata = resolveNodeMetadata(metadataPolicy, "type", aliasName, aliasDecl, {
+    const metadata = resolveNodeMetadata(
+      metadataPolicy,
+      "type",
+      aliasName,
+      aliasDecl,
       checker,
-      declaration: aliasDecl,
-      subjectType: aliasType
-    });
+      extensionRegistry,
+      {
+        checker,
+        declaration: aliasDecl,
+        subjectType: aliasType
+      }
+    );
     typeRegistry[aliasName] = {
       name: aliasName,
       ...metadata !== void 0 && { metadata },
@@ -2722,7 +2894,7 @@ function shouldEmitPrimitiveAliasDefinition(typeNode, checker) {
   const resolved = checker.getTypeFromTypeNode(aliasDecl.type);
   return !!(resolved.flags & (ts3.TypeFlags.String | ts3.TypeFlags.Number | ts3.TypeFlags.BigInt | ts3.TypeFlags.BigIntLiteral | ts3.TypeFlags.Boolean | ts3.TypeFlags.Null));
 }
-function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const nestedAliasDecl = type.aliasSymbol?.declarations?.find(ts3.isTypeAliasDeclaration);
   if (nestedAliasDecl !== void 0) {
     return resolveAliasedPrimitiveTarget(
@@ -2748,7 +2920,7 @@ function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiti
     diagnostics
   );
 }
-function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const typeName = getNamedTypeName(type);
   const namedDecl = getNamedTypeDeclaration(type);
   if (typeName && typeName in typeRegistry) {
@@ -2783,11 +2955,19 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
       return result;
     }
     const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(metadataPolicy, "type", typeName, namedDecl, {
+    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+      metadataPolicy,
+      "type",
+      typeName,
+      namedDecl,
       checker,
-      declaration: namedDecl,
-      subjectType: type
-    }) : void 0;
+      extensionRegistry,
+      {
+        checker,
+        declaration: namedDecl,
+        subjectType: type
+      }
+    ) : void 0;
     typeRegistry[typeName] = {
       name: typeName,
       ...metadata !== void 0 && { metadata },
@@ -2872,7 +3052,7 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
   }
   return registerNamed({ kind: "union", members });
 }
-function resolveArrayType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveArrayType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const typeArgs = isTypeReference(type) ? type.typeArguments : void 0;
   const elementType = typeArgs?.[0];
   const elementSourceNode = extractArrayElementTypeNode(sourceNode, checker);
@@ -2889,7 +3069,7 @@ function resolveArrayType(type, checker, file, typeRegistry, visiting, sourceNod
   ) : { kind: "primitive", primitiveKind: "string" };
   return { kind: "array", items };
 }
-function tryResolveRecordType(type, checker, file, typeRegistry, visiting, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function tryResolveRecordType(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   if (type.getProperties().length > 0) {
     return null;
   }
@@ -2950,7 +3130,7 @@ function shouldEmitResolvedObjectProperty(property, declaration) {
   }
   return true;
 }
-function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const collectedDiagnostics = diagnostics ?? [];
   const typeName = getNamedTypeName(type);
   const namedTypeName = typeName ?? void 0;
@@ -3007,7 +3187,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       };
     }
   }
-  const recordNode = tryResolveRecordType(
+  const recordNode = isObjectType(type) ? tryResolveRecordType(
     type,
     checker,
     file,
@@ -3016,7 +3196,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
     metadataPolicy,
     extensionRegistry,
     collectedDiagnostics
-  );
+  ) : null;
   if (recordNode) {
     visiting.delete(type);
     if (registryTypeName !== void 0 && shouldRegisterNamedType) {
@@ -3026,11 +3206,19 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
         return recordNode;
       }
       const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-      const metadata = namedDecl !== void 0 ? resolveNodeMetadata(metadataPolicy, "type", registryTypeName, namedDecl, {
+      const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+        metadataPolicy,
+        "type",
+        registryTypeName,
+        namedDecl,
         checker,
-        declaration: namedDecl,
-        subjectType: type
-      }) : void 0;
+        extensionRegistry,
+        {
+          checker,
+          declaration: namedDecl,
+          subjectType: type
+        }
+      ) : void 0;
       typeRegistry[registryTypeName] = {
         name: registryTypeName,
         ...metadata !== void 0 && { metadata },
@@ -3126,11 +3314,19 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
   };
   if (registryTypeName !== void 0 && shouldRegisterNamedType) {
     const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(metadataPolicy, "type", registryTypeName, namedDecl, {
+    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+      metadataPolicy,
+      "type",
+      registryTypeName,
+      namedDecl,
       checker,
-      declaration: namedDecl,
-      subjectType: type
-    }) : void 0;
+      extensionRegistry,
+      {
+        checker,
+        declaration: namedDecl,
+        subjectType: type
+      }
+    ) : void 0;
     typeRegistry[registryTypeName] = {
       name: registryTypeName,
       ...metadata !== void 0 && { metadata },
@@ -3197,9 +3393,10 @@ function getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visitin
       );
     }
     const typeAliasDecl = declarations.find(ts3.isTypeAliasDeclaration);
-    if (typeAliasDecl && ts3.isTypeLiteralNode(typeAliasDecl.type)) {
+    const typeAliasMembers = typeAliasDecl === void 0 ? null : getObjectLikeTypeAliasMembers(typeAliasDecl.type);
+    if (typeAliasDecl && typeAliasMembers !== null) {
       return buildFieldNodeInfoMap(
-        typeAliasDecl.type.members,
+        typeAliasMembers,
         checker,
         file,
         typeRegistry,
@@ -3490,7 +3687,7 @@ function findInterfaceByName(sourceFile, interfaceName) {
 function findTypeAliasByName(sourceFile, aliasName) {
   return findNodeByName(sourceFile, aliasName, ts4.isTypeAliasDeclaration, (n) => n.name.text);
 }
-function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy) {
+function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
   const analysisFilePath = path.resolve(filePath);
   const classDecl = findClassByName(ctx.sourceFile, typeName);
   if (classDecl !== null) {
@@ -3499,7 +3696,8 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       ctx.checker,
       analysisFilePath,
       extensionRegistry,
-      metadataPolicy
+      metadataPolicy,
+      discriminatorOptions
     );
   }
   const interfaceDecl = findInterfaceByName(ctx.sourceFile, typeName);
@@ -3509,7 +3707,8 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       ctx.checker,
       analysisFilePath,
       extensionRegistry,
-      metadataPolicy
+      metadataPolicy,
+      discriminatorOptions
     );
   }
   const typeAlias = findTypeAliasByName(ctx.sourceFile, typeName);
@@ -3519,7 +3718,8 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       ctx.checker,
       analysisFilePath,
       extensionRegistry,
-      metadataPolicy
+      metadataPolicy,
+      discriminatorOptions
     );
     if (result.ok) {
       return result.analysis;
@@ -4635,13 +4835,35 @@ function formatLocation(location) {
 }
 
 // src/extensions/registry.ts
+import {
+  BUILTIN_CONSTRAINT_DEFINITIONS as BUILTIN_CONSTRAINT_DEFINITIONS2,
+  normalizeConstraintTagName as normalizeConstraintTagName2
+} from "@formspec/core/internals";
+import {
+  getTagDefinition as getTagDefinition2,
+  normalizeFormSpecTagName as normalizeFormSpecTagName2
+} from "@formspec/analysis/internal";
+var BUILTIN_METADATA_TAGS = /* @__PURE__ */ new Set(["apiName", "displayName"]);
+function buildConstraintTagSources(extensions) {
+  return extensions.map((extension) => ({
+    extensionId: extension.extensionId,
+    ...extension.constraintTags !== void 0 ? {
+      constraintTags: extension.constraintTags.map((tag) => ({
+        tagName: normalizeFormSpecTagName2(tag.tagName)
+      }))
+    } : {}
+  }));
+}
 function createExtensionRegistry(extensions) {
+  const reservedTagSources = buildConstraintTagSources(extensions);
   const typeMap = /* @__PURE__ */ new Map();
   const typeNameMap = /* @__PURE__ */ new Map();
   const constraintMap = /* @__PURE__ */ new Map();
   const constraintTagMap = /* @__PURE__ */ new Map();
   const builtinBroadeningMap = /* @__PURE__ */ new Map();
   const annotationMap = /* @__PURE__ */ new Map();
+  const metadataSlotMap = /* @__PURE__ */ new Map();
+  const metadataTagMap = /* @__PURE__ */ new Map();
   for (const ext of extensions) {
     if (ext.types !== void 0) {
       for (const type of ext.types) {
@@ -4684,10 +4906,11 @@ function createExtensionRegistry(extensions) {
     }
     if (ext.constraintTags !== void 0) {
       for (const tag of ext.constraintTags) {
-        if (constraintTagMap.has(tag.tagName)) {
-          throw new Error(`Duplicate custom constraint tag: "@${tag.tagName}"`);
+        const canonicalTagName = normalizeFormSpecTagName2(tag.tagName);
+        if (constraintTagMap.has(canonicalTagName)) {
+          throw new Error(`Duplicate custom constraint tag: "@${canonicalTagName}"`);
         }
-        constraintTagMap.set(tag.tagName, {
+        constraintTagMap.set(canonicalTagName, {
           extensionId: ext.extensionId,
           registration: tag
         });
@@ -4702,13 +4925,54 @@ function createExtensionRegistry(extensions) {
         annotationMap.set(qualifiedId, annotation);
       }
     }
+    if (ext.metadataSlots !== void 0) {
+      for (const slot of ext.metadataSlots) {
+        if (metadataSlotMap.has(slot.slotId)) {
+          throw new Error(`Duplicate metadata slot ID: "${slot.slotId}"`);
+        }
+        metadataSlotMap.set(slot.slotId, true);
+        const canonicalTagName = normalizeFormSpecTagName2(slot.tagName);
+        if (slot.allowBare === false && (slot.qualifiers?.length ?? 0) === 0) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" must allow bare usage or declare at least one qualifier.`
+          );
+        }
+        if (metadataTagMap.has(canonicalTagName)) {
+          throw new Error(`Duplicate metadata tag: "@${canonicalTagName}"`);
+        }
+        if (BUILTIN_METADATA_TAGS.has(canonicalTagName)) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with built-in metadata tags.`
+          );
+        }
+        if (constraintTagMap.has(canonicalTagName)) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${canonicalTagName}".`
+          );
+        }
+        if (Object.hasOwn(BUILTIN_CONSTRAINT_DEFINITIONS2, normalizeConstraintTagName2(canonicalTagName))) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${normalizeConstraintTagName2(canonicalTagName)}".`
+          );
+        }
+        const existingTag = getTagDefinition2(canonicalTagName, reservedTagSources);
+        if (existingTag !== null) {
+          throw BUILTIN_METADATA_TAGS.has(existingTag.canonicalName) ? new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with built-in metadata tags.`
+          ) : new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${existingTag.canonicalName}".`
+          );
+        }
+        metadataTagMap.set(canonicalTagName, true);
+      }
+    }
   }
   return {
     extensions,
     findType: (typeId) => typeMap.get(typeId),
     findTypeByName: (typeName) => typeNameMap.get(typeName),
     findConstraint: (constraintId) => constraintMap.get(constraintId),
-    findConstraintTag: (tagName) => constraintTagMap.get(tagName),
+    findConstraintTag: (tagName) => constraintTagMap.get(normalizeFormSpecTagName2(tagName)),
     findBuiltinConstraintBroadening: (typeId, tagName) => builtinBroadeningMap.get(`${typeId}:${tagName}`),
     findAnnotation: (annotationId) => annotationMap.get(annotationId)
   };