@formspec/build 0.1.0-alpha.59 → 0.1.0-alpha.63

package/dist/build-alpha.d.ts

@@ -2522,6 +2522,8 @@ export declare interface SchemaGenerationTarget {
  */
 export declare type SchemaSourceDeclaration = ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration;
 
+/* Excluded from this release type: SetupDiagnostic */
+
 /**
  * Severity level for constraint violations.
  * - "error": Violation fails validation
@@ -2606,7 +2608,6 @@ export declare interface StaticSchemaGenerationOptions {
     readonly configPath?: string | undefined;
 }
 
-/* Excluded from this release type: SyntheticCompilerDiagnostic */
 export { TextField }
 
 /**

package/dist/build-beta.d.ts

@@ -2490,6 +2490,8 @@ export declare interface SchemaGenerationTarget {
  */
 export declare type SchemaSourceDeclaration = ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration;
 
+/* Excluded from this release type: SetupDiagnostic */
+
 /**
  * Severity level for constraint violations.
  * - "error": Violation fails validation
@@ -2574,7 +2576,6 @@ export declare interface StaticSchemaGenerationOptions {
     readonly configPath?: string | undefined;
 }
 
-/* Excluded from this release type: SyntheticCompilerDiagnostic */
 export { TextField }
 
 /**

package/dist/build-internal.d.ts

@@ -1043,7 +1043,7 @@ export declare interface ExtensionRegistry {
      *
      * @internal
      */
-    readonly setupDiagnostics: readonly SyntheticCompilerDiagnostic[];
+    readonly setupDiagnostics: readonly SetupDiagnostic[];
     /**
      * Look up a custom type registration by its fully-qualified type ID.
      *
@@ -2538,6 +2538,23 @@ export declare interface SchemaGenerationTarget {
  */
 export declare type SchemaSourceDeclaration = ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration;
 
+/**
+ * Setup-time diagnostic produced by the `_validateExtensionSetup` helper.
+ *
+ * The `kind` field distinguishes between a "setup" failure (invalid type
+ * name, duplicate registration) and an unsupported built-in override.
+ *
+ * @internal
+ */
+export declare interface SetupDiagnostic {
+    /** The category of diagnostic. */
+    readonly kind: "unsupported-custom-type-override" | "synthetic-setup";
+    /** TypeScript diagnostic code, or -1 for non-TypeScript diagnostics. */
+    readonly code: number;
+    /** Human-readable description of the diagnostic. */
+    readonly message: string;
+}
+
 /**
  * Severity level for constraint violations.
  * - "error": Violation fails validation
@@ -2622,20 +2639,6 @@ export declare interface StaticSchemaGenerationOptions {
     readonly configPath?: string | undefined;
 }
 
-/**
- * A simplified TypeScript diagnostic surfaced from the synthetic compiler pass.
- *
- * @internal
- */
-export declare interface SyntheticCompilerDiagnostic {
-    /** The category of diagnostic: a raw TypeScript error, an unsupported global built-in override, or a synthetic setup failure. */
-    readonly kind: "typescript" | "unsupported-custom-type-override" | "synthetic-setup";
-    /** TypeScript diagnostic code, or -1 for non-TypeScript diagnostics. */
-    readonly code: number;
-    /** Human-readable description of the diagnostic. */
-    readonly message: string;
-}
-
 export { TextField }
 
 /**

package/dist/build.d.ts

@@ -2490,6 +2490,8 @@ export declare interface SchemaGenerationTarget {
  */
 export declare type SchemaSourceDeclaration = ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration;
 
+/* Excluded from this release type: SetupDiagnostic */
+
 /**
  * Severity level for constraint violations.
  * - "error": Violation fails validation
@@ -2574,7 +2576,6 @@ export declare interface StaticSchemaGenerationOptions {
     readonly configPath?: string | undefined;
 }
 
-/* Excluded from this release type: SyntheticCompilerDiagnostic */
 export { TextField }
 
 /**

package/dist/canonicalize/chain-dsl-canonicalizer.d.ts

@@ -15,8 +15,9 @@ import type { FormIR } from "@formspec/core/internals";
  * @param form - A form specification created via `formspec(...)` from `@formspec/dsl`
  * @returns The canonical intermediate representation
  */
-export interface CanonicalizeChainDSLOptions {
+interface CanonicalizeChainDSLOptions {
     readonly metadata?: MetadataPolicyInput;
 }
 export declare function canonicalizeChainDSL(form: FormSpec<readonly FormElement[]>, options?: CanonicalizeChainDSLOptions): FormIR;
+export {};
 //# sourceMappingURL=chain-dsl-canonicalizer.d.ts.map

package/dist/canonicalize/chain-dsl-canonicalizer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"chain-dsl-canonicalizer.d.ts","sourceRoot":"","sources":["../../src/canonicalize/chain-dsl-canonicalizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EASV,WAAW,EACX,QAAQ,EAMR,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAYV,MAAM,EAaP,MAAM,0BAA0B,CAAC;AA4ClC;;;;;GAKG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CACzC;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,QAAQ,CAAC,SAAS,WAAW,EAAE,CAAC,EACtC,OAAO,CAAC,EAAE,2BAA2B,GACpC,MAAM,CAoBR"}
+{"version":3,"file":"chain-dsl-canonicalizer.d.ts","sourceRoot":"","sources":["../../src/canonicalize/chain-dsl-canonicalizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EASV,WAAW,EACX,QAAQ,EAMR,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAYV,MAAM,EAaP,MAAM,0BAA0B,CAAC;AA4ClC;;;;;GAKG;AACH,UAAU,2BAA2B;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CACzC;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,QAAQ,CAAC,SAAS,WAAW,EAAE,CAAC,EACtC,OAAO,CAAC,EAAE,2BAA2B,GACpC,MAAM,CAoBR"}

package/dist/canonicalize/tsdoc-canonicalizer.d.ts

@@ -18,7 +18,7 @@ export interface TSDocSource {
     /** Absolute path to the source file. */
     readonly file: string;
 }
-export interface CanonicalizeTSDocOptions {
+interface CanonicalizeTSDocOptions {
     readonly metadata?: MetadataPolicyInput;
 }
 /**
@@ -35,4 +35,5 @@ export interface CanonicalizeTSDocOptions {
  * @returns The canonical FormIR
  */
 export declare function canonicalizeTSDoc(analysis: IRClassAnalysis, source?: TSDocSource, options?: CanonicalizeTSDocOptions): FormIR;
+export {};
 //# sourceMappingURL=tsdoc-canonicalizer.d.ts.map

package/dist/canonicalize/tsdoc-canonicalizer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tsdoc-canonicalizer.d.ts","sourceRoot":"","sources":["../../src/canonicalize/tsdoc-canonicalizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,MAAM,EAMP,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,eAAe,EAAuB,MAAM,+BAA+B,CAAC;AAE1F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CACzC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,eAAe,EACzB,MAAM,CAAC,EAAE,WAAW,EACpB,OAAO,CAAC,EAAE,wBAAwB,GACjC,MAAM,CA8BR"}
+{"version":3,"file":"tsdoc-canonicalizer.d.ts","sourceRoot":"","sources":["../../src/canonicalize/tsdoc-canonicalizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,MAAM,EAMP,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,eAAe,EAAuB,MAAM,+BAA+B,CAAC;AAE1F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,UAAU,wBAAwB;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CACzC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,eAAe,EACzB,MAAM,CAAC,EAAE,WAAW,EACpB,OAAO,CAAC,EAAE,wBAAwB,GACjC,MAAM,CA8BR"}

package/dist/cli.cjs

@@ -2178,7 +2178,7 @@ function buildConstraintTagSources(extensions) {
   }));
 }
 function createExtensionRegistry(extensions) {
-  const registryLog = (0, import_internal.getSyntheticLogger)();
+  const registryLog = (0, import_internal.getRegistryLogger)();
   registryLog.debug("createExtensionRegistry: constructing", {
     extensionCount: extensions.length,
     extensionIds: extensions.map((e) => e.extensionId)
@@ -2554,151 +2554,34 @@ var init_builtin_brands = __esm({
 });
 
 // src/analyzer/tsdoc-parser.ts
-function sharedTagValueOptions(options) {
+function sharedTagValueOptions(options, pathResolvedCustomTypeId) {
   return {
     ...options?.extensionRegistry !== void 0 ? { registry: options.extensionRegistry } : {},
-    ...options?.fieldType !== void 0 ? { fieldType: options.fieldType } : {}
+    ...options?.fieldType !== void 0 ? { fieldType: options.fieldType } : {},
+    ...pathResolvedCustomTypeId !== void 0 ? { pathResolvedCustomTypeId } : {}
   };
 }
-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 customTypeIdForResolvedType(resolvedType, checker, registry) {
+  if (registry === void 0) return void 0;
+  const lookup = resolveCustomTypeFromTsType(resolvedType, checker, registry);
+  return lookup === null ? void 0 : customTypeIdFromLookup(lookup);
 }
-function collectImportedNames(sourceFile) {
-  const importedNames = /* @__PURE__ */ new Set();
-  for (const statement of sourceFile.statements) {
-    if (ts3.isImportDeclaration(statement) && statement.importClause !== void 0) {
-      const clause = statement.importClause;
-      if (clause.name !== void 0) {
-        importedNames.add(clause.name.text);
-      }
-      if (clause.namedBindings !== void 0) {
-        if (ts3.isNamedImports(clause.namedBindings)) {
-          for (const specifier of clause.namedBindings.elements) {
-            importedNames.add(specifier.name.text);
-          }
-        } else if (ts3.isNamespaceImport(clause.namedBindings)) {
-          importedNames.add(clause.namedBindings.name.text);
-        }
-      }
-      continue;
-    }
-    if (ts3.isImportEqualsDeclaration(statement)) {
-      importedNames.add(statement.name.text);
-    }
-  }
-  return importedNames;
-}
-function isNonReferenceIdentifier(node) {
-  const parent = node.parent;
-  if ((ts3.isBindingElement(parent) || ts3.isClassDeclaration(parent) || ts3.isEnumDeclaration(parent) || ts3.isEnumMember(parent) || ts3.isFunctionDeclaration(parent) || ts3.isFunctionExpression(parent) || ts3.isImportClause(parent) || ts3.isImportEqualsDeclaration(parent) || ts3.isImportSpecifier(parent) || ts3.isInterfaceDeclaration(parent) || ts3.isMethodDeclaration(parent) || ts3.isMethodSignature(parent) || ts3.isModuleDeclaration(parent) || ts3.isNamespaceExport(parent) || ts3.isNamespaceImport(parent) || ts3.isParameter(parent) || ts3.isPropertyDeclaration(parent) || ts3.isPropertySignature(parent) || ts3.isSetAccessorDeclaration(parent) || ts3.isGetAccessorDeclaration(parent) || ts3.isTypeAliasDeclaration(parent) || ts3.isTypeParameterDeclaration(parent) || ts3.isVariableDeclaration(parent)) && parent.name === node) {
-    return true;
-  }
-  if ((ts3.isPropertyAssignment(parent) || ts3.isPropertyAccessExpression(parent)) && parent.name === node) {
-    return true;
-  }
-  if (ts3.isQualifiedName(parent) && parent.right === node) {
-    return true;
-  }
-  return false;
-}
-function astReferencesImportedName(root, importedNames) {
-  if (importedNames.size === 0) {
-    return false;
-  }
-  let found = false;
-  const visit = (node) => {
-    if (found) return;
-    if (ts3.isIdentifier(node) && importedNames.has(node.text) && !isNonReferenceIdentifier(node)) {
-      found = true;
-      return;
-    }
-    ts3.forEachChild(node, visit);
-  };
-  visit(root);
-  return found;
-}
-function getObjectMembers(statement) {
-  if (ts3.isInterfaceDeclaration(statement)) {
-    return statement.members;
-  }
-  if (ts3.isTypeLiteralNode(statement.type)) {
-    return statement.type.members;
-  }
-  return void 0;
-}
-function rewriteImportedMemberTypes(statement, sourceFile, importedNames) {
-  const members = getObjectMembers(statement);
-  if (members === void 0) {
-    return null;
-  }
-  const replacements = [];
-  for (const member of members) {
-    if (!ts3.isPropertySignature(member)) {
-      if (astReferencesImportedName(member, importedNames)) {
-        return null;
-      }
-      continue;
-    }
-    const typeAnnotation = member.type;
-    if (typeAnnotation === void 0) continue;
-    if (astReferencesImportedName(typeAnnotation, importedNames)) {
-      replacements.push({
-        start: typeAnnotation.getStart(sourceFile),
-        end: typeAnnotation.getEnd()
-      });
-    }
-  }
-  if (replacements.length === 0) {
-    return statement.getText(sourceFile);
-  }
-  const stmtStart = statement.getStart(sourceFile);
-  let result = statement.getText(sourceFile);
-  for (const { start, end } of [...replacements].reverse()) {
-    result = result.slice(0, start - stmtStart) + "unknown" + result.slice(end - stmtStart);
+function resolvePathTargetCustomTypeId(parsedTag, subjectType, checker, registry) {
+  if (parsedTag === null) return void 0;
+  const target = parsedTag.target;
+  if (target?.kind !== "path" || !target.valid || target.path === null) {
+    return void 0;
   }
-  return result;
-}
-function buildSupportingDeclarations(sourceFile, extensionTypeNames) {
-  const importedNames = collectImportedNames(sourceFile);
-  const importedNamesToSkip = new Set(
-    [...importedNames].filter((name) => !extensionTypeNames.has(name))
-  );
-  const result = [];
-  for (const statement of sourceFile.statements) {
-    if (ts3.isImportDeclaration(statement)) continue;
-    if (ts3.isImportEqualsDeclaration(statement)) continue;
-    if (ts3.isExportDeclaration(statement) && statement.moduleSpecifier !== void 0) continue;
-    if (!astReferencesImportedName(statement, importedNamesToSkip)) {
-      result.push(statement.getText(sourceFile));
-      continue;
-    }
-    if (ts3.isInterfaceDeclaration(statement) || ts3.isTypeAliasDeclaration(statement)) {
-      const rewritten = rewriteImportedMemberTypes(statement, sourceFile, importedNamesToSkip);
-      if (rewritten !== null) {
-        result.push(rewritten);
-      }
-    }
+  if (subjectType === void 0 || checker === void 0) {
+    return void 0;
   }
-  return result;
-}
-function pushUniqueCompilerDiagnostics(target, additions) {
-  for (const diagnostic of additions) {
-    if ((diagnostic.code === "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE" || diagnostic.code === "SYNTHETIC_SETUP_FAILURE") && target.some(
-      (existing) => existing.code === diagnostic.code && existing.message === diagnostic.message
-    )) {
-      continue;
-    }
-    target.push(diagnostic);
+  const resolution = (0, import_internal4.resolvePathTargetType)(subjectType, checker, target.path.segments);
+  if (resolution.kind !== "resolved") {
+    return void 0;
   }
+  return customTypeIdForResolvedType(resolution.type, checker, registry);
 }
-function processConstraintTag(tagName, text, parsedTag, provenance, node, sourceFile, supportingDeclarations, options, constraints, diagnostics) {
+function processConstraintTag(tagName, text, parsedTag, provenance, node, sourceFile, options, constraints, diagnostics) {
   const compilerDiagnostics = buildCompilerBackedConstraintDiagnostics(
     node,
     sourceFile,
@@ -2706,74 +2589,30 @@ function processConstraintTag(tagName, text, parsedTag, provenance, node, source
     parsedTag,
     text,
     provenance,
-    supportingDeclarations,
     options
   );
   if (compilerDiagnostics.length > 0) {
-    pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
+    diagnostics.push(...compilerDiagnostics);
     return;
   }
+  const pathResolvedCustomTypeId = resolvePathTargetCustomTypeId(
+    parsedTag,
+    options?.subjectType,
+    options?.checker,
+    options?.extensionRegistry
+  );
   const constraintNode = (0, import_internal4.parseConstraintTagValue)(
     tagName,
     text,
     provenance,
-    sharedTagValueOptions(options)
+    sharedTagValueOptions(options, pathResolvedCustomTypeId)
   );
   if (constraintNode) {
     constraints.push(constraintNode);
   }
 }
-function renderSyntheticArgumentExpression(valueKind, argumentText) {
-  const trimmed = argumentText.trim();
-  if (trimmed === "") {
-    return null;
-  }
-  switch (valueKind) {
-    case "number":
-    case "integer":
-    case "signedInteger":
-      if (trimmed === "Infinity" || trimmed === "-Infinity" || trimmed === "NaN") {
-        return trimmed;
-      }
-      return Number.isFinite(Number(trimmed)) ? trimmed : JSON.stringify(trimmed);
-    case "string":
-      return JSON.stringify(argumentText);
-    case "json":
-      try {
-        JSON.parse(trimmed);
-        return `(${trimmed})`;
-      } catch {
-        return JSON.stringify(trimmed);
-      }
-    case "boolean":
-      return trimmed === "true" || trimmed === "false" ? trimmed : JSON.stringify(trimmed);
-    case "condition":
-      return "undefined as unknown as FormSpecCondition";
-    case null:
-      return null;
-    default: {
-      return String(valueKind);
-    }
-  }
-}
-function getArrayElementType(type, checker) {
-  if (!checker.isArrayType(type)) {
-    return null;
-  }
-  return checker.getTypeArguments(type)[0] ?? null;
-}
 function supportsConstraintCapability(type, checker, capability) {
-  if (capability === void 0) {
-    return true;
-  }
-  if ((0, import_internal4.hasTypeSemanticCapability)(type, checker, capability)) {
-    return true;
-  }
-  if (capability === "string-like") {
-    const itemType = getArrayElementType(type, checker);
-    return itemType !== null && (0, import_internal4.hasTypeSemanticCapability)(itemType, checker, capability);
-  }
-  return false;
+  return (0, import_internal4._supportsConstraintCapability)(capability, type, checker);
 }
 function stripHintNullishUnion(type) {
   if (!type.isUnion()) {
@@ -2898,53 +2737,11 @@ function placementLabel(placement) {
     }
   }
 }
-function capabilityLabel(capability) {
-  switch (capability) {
-    case "numeric-comparable":
-      return "number";
-    case "string-like":
-      return "string";
-    case "array-like":
-      return "array";
-    case "enum-member-addressable":
-      return "enum";
-    case "json-like":
-      return "JSON-compatible";
-    case "object-like":
-      return "object";
-    case "condition-like":
-      return "conditional";
-    case void 0:
-      return "compatible";
-    default:
-      return capability;
-  }
-}
-function getBroadenedCustomTypeId(fieldType) {
-  if (fieldType?.kind === "custom") {
-    return fieldType.typeId;
-  }
-  if (fieldType?.kind !== "union") {
-    return void 0;
-  }
-  const customMembers = fieldType.members.filter(
-    (member) => member.kind === "custom"
-  );
-  if (customMembers.length !== 1) {
-    return void 0;
-  }
-  const nonCustomMembers = fieldType.members.filter((member) => member.kind !== "custom");
-  const allOtherMembersAreNull = nonCustomMembers.every(
-    (member) => member.kind === "primitive" && member.primitiveKind === "null"
-  );
-  const customMember = customMembers[0];
-  return allOtherMembersAreNull && customMember !== void 0 ? customMember.typeId : void 0;
-}
 function hasBuiltinConstraintBroadening(tagName, options) {
-  const broadenedTypeId = getBroadenedCustomTypeId(options?.fieldType);
+  const broadenedTypeId = (0, import_internal4.getBroadenedCustomTypeId)(options?.fieldType);
   return broadenedTypeId !== void 0 && options?.extensionRegistry?.findBuiltinConstraintBroadening(broadenedTypeId, tagName) !== void 0;
 }
-function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, rawText, provenance, supportingDeclarations, options) {
+function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, rawText, provenance, options) {
   if (!(0, import_internals4.isBuiltinConstraintName)(tagName)) {
     return [];
   }
@@ -2964,16 +2761,14 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   const nonNullPlacement = placement;
   const log2 = (0, import_internal5.getBuildLogger)();
   const broadeningLog = (0, import_internal5.getBroadeningLogger)();
-  const syntheticLog = (0, import_internal5.getSyntheticLogger)();
   const typedParserLog = (0, import_internal5.getTypedParserLogger)();
   const logsEnabled = log2 !== import_core4.noopLogger || broadeningLog !== import_core4.noopLogger;
-  const syntheticTraceEnabled = syntheticLog !== import_core4.noopLogger;
   const typedParserTraceEnabled = typedParserLog !== import_core4.noopLogger;
   const logStart = logsEnabled ? (0, import_internal5.nowMicros)() : 0;
   const subjectTypeKind = logsEnabled ? (0, import_internal5.describeTypeKind)(subjectType, checker) : "";
-  function emit(outcome, result2) {
+  function emit(outcome, result) {
     if (!logsEnabled) {
-      return result2;
+      return result;
     }
     const entry = {
       consumer: "build",
@@ -2987,7 +2782,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
     if (outcome === "bypass" || outcome === "D1" || outcome === "D2") {
       (0, import_internal5.logTagApplication)(broadeningLog, entry);
     }
-    return result2;
+    return result;
   }
   if (!definition.placements.includes(placement)) {
     return emit("A-reject", [
@@ -3031,7 +2826,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
       ]);
     }
     if (resolution.kind === "unresolvable") {
-      const actualType = checker.typeToString(resolution.type, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
+      const actualType = checker.typeToString(resolution.type, node, TYPE_FORMAT_FLAGS);
       return emit("B-reject", [
         makeDiagnostic(
           "TYPE_MISMATCH",
@@ -3045,21 +2840,21 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   }
   const hasBroadening = (() => {
     if (target === null) {
-      if ((0, import_internal3._isIntegerBrandedType)((0, import_internal4.stripNullishUnion)(subjectType)) && definition.capabilities.includes("numeric-comparable")) {
+      if ((0, import_internal3._isIntegerBrandedType)((0, import_internal4.stripNullishUnion)(subjectType)) && definition.capabilities[0] === "numeric-comparable") {
         return true;
       }
       return hasBuiltinConstraintBroadening(tagName, options);
     }
     const registry = options?.extensionRegistry;
     if (registry === void 0) return false;
-    const resolved = resolveCustomTypeFromTsType(evaluatedType, checker, registry);
-    return resolved !== null && registry.findBuiltinConstraintBroadening(customTypeIdFromLookup(resolved), tagName) !== void 0;
+    const typeId = customTypeIdForResolvedType(evaluatedType, checker, registry);
+    return typeId !== void 0 && registry.findBuiltinConstraintBroadening(typeId, tagName) !== void 0;
   })();
   if (!hasBroadening) {
     const requiredCapability = definition.capabilities[0];
     if (requiredCapability !== void 0 && !supportsConstraintCapability(evaluatedType, checker, requiredCapability)) {
-      const actualType = checker.typeToString(evaluatedType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
-      const baseMessage = `Target "${targetLabel}": constraint "${tagName}" is only valid on ${capabilityLabel(requiredCapability)} targets, but field type is "${actualType}"`;
+      const actualType = checker.typeToString(evaluatedType, node, TYPE_FORMAT_FLAGS);
+      const baseMessage = `Target "${targetLabel}": constraint "${tagName}" is only valid on ${(0, import_internal4._capabilityLabel)(requiredCapability)} targets, but field type is "${actualType}"`;
       const hint = target === null ? buildPathTargetHint(
         subjectType,
         checker,
@@ -3107,68 +2902,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
       valueKind: typedParseResult.value.kind
     });
   }
-  const argumentExpression = renderSyntheticArgumentExpression(
-    definition.valueKind,
-    effectiveArgumentText
-  );
-  const subjectTypeText = checker.typeToString(subjectType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
-  const hostType = options?.hostType ?? subjectType;
-  const hostTypeText = checker.typeToString(hostType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
-  if (syntheticTraceEnabled) {
-    syntheticLog.trace("invoking synthetic checker", {
-      consumer: "build",
-      tag: tagName,
-      placement,
-      subjectTypeKind,
-      subjectTypeText
-    });
-  }
-  const result = (0, import_internal4.checkSyntheticTagApplication)({
-    tagName,
-    placement,
-    hostType: hostTypeText,
-    subjectType: subjectTypeText,
-    ...target?.kind === "path" ? { target: { kind: "path", text: target.rawText } } : {},
-    ...argumentExpression !== null ? { argumentExpression } : {},
-    supportingDeclarations,
-    ...options?.extensionRegistry !== void 0 ? {
-      extensions: options.extensionRegistry.extensions.map((extension) => ({
-        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]
-          }))
-        } : {}
-      }))
-    } : {}
-  });
-  if (result.diagnostics.length === 0) {
-    return emit("D-pass", []);
-  }
-  const setupDiagnostic = result.diagnostics.find((diagnostic) => diagnostic.kind !== "typescript");
-  if (setupDiagnostic !== void 0) {
-    return emit("C-reject", [
-      makeDiagnostic(
-        (0, import_internal5._mapSetupDiagnosticCode)(setupDiagnostic.kind),
-        setupDiagnostic.message,
-        provenance
-      )
-    ]);
-  }
-  const expectedLabel = definition.valueKind === null ? "compatible argument" : capabilityLabel(definition.valueKind);
-  return emit("C-reject", [
-    makeDiagnostic(
-      "TYPE_MISMATCH",
-      `Tag "@${tagName}" received an invalid argument for ${expectedLabel}.`,
-      provenance
-    )
-  ]);
+  return emit("C-pass", []);
 }
 function getExtensionTagNames(options) {
   return [
@@ -3211,8 +2945,8 @@ function getParseCacheKey(node, file, options) {
     start: node.getFullStart(),
     end: node.getEnd(),
     fieldType: options?.fieldType ?? null,
-    subjectType: checker !== void 0 && options?.subjectType !== void 0 ? checker.typeToString(options.subjectType, node, SYNTHETIC_TYPE_FORMAT_FLAGS) : null,
-    hostType: checker !== void 0 && options?.hostType !== void 0 ? checker.typeToString(options.hostType, node, SYNTHETIC_TYPE_FORMAT_FLAGS) : null,
+    subjectType: checker !== void 0 && options?.subjectType !== void 0 ? checker.typeToString(options.subjectType, node, TYPE_FORMAT_FLAGS) : null,
+    hostType: checker !== void 0 && options?.hostType !== void 0 ? checker.typeToString(options.hostType, node, TYPE_FORMAT_FLAGS) : null,
     extensions: getExtensionRegistryCacheKey(options?.extensionRegistry)
   });
 }
@@ -3241,8 +2975,6 @@ function parseTSDocTags(node, file = "", options) {
   let placeholderProvenance;
   const sourceFile = node.getSourceFile();
   const sourceText = sourceFile.getFullText();
-  const extensionTypeNames = getExtensionTypeNames(options?.extensionRegistry);
-  const supportingDeclarations = buildSupportingDeclarations(sourceFile, extensionTypeNames);
   const commentRanges = ts3.getLeadingCommentRanges(sourceText, node.getFullStart());
   const rawTextFallbacks = collectRawTextFallbacks(node, file);
   const extensionTagNames = getExtensionTagNames(options);
@@ -3307,7 +3039,6 @@ function parseTSDocTags(node, file = "", options) {
             provenance2,
             node,
             sourceFile,
-            supportingDeclarations,
             options,
             constraints,
             diagnostics
@@ -3325,7 +3056,6 @@ function parseTSDocTags(node, file = "", options) {
           provenance,
           node,
           sourceFile,
-          supportingDeclarations,
           options,
           constraints,
           diagnostics
@@ -3389,7 +3119,6 @@ function parseTSDocTags(node, file = "", options) {
         provenance,
         node,
         sourceFile,
-        supportingDeclarations,
         options,
         constraints,
         diagnostics
@@ -3490,7 +3219,7 @@ function getTagCommentText(tag) {
   }
   return ts3.getTextOfJSDocComment(tag.comment);
 }
-var ts3, import_internal4, import_internals4, import_internals5, import_core4, import_internal5, SYNTHETIC_TYPE_FORMAT_FLAGS, MAX_HINT_CANDIDATES, MAX_HINT_DEPTH, parseResultCache;
+var ts3, import_internal4, import_internals4, import_internals5, import_core4, import_internal5, TYPE_FORMAT_FLAGS, MAX_HINT_CANDIDATES, MAX_HINT_DEPTH, parseResultCache;
 var init_tsdoc_parser = __esm({
   "src/analyzer/tsdoc-parser.ts"() {
     "use strict";
@@ -3502,7 +3231,7 @@ var init_tsdoc_parser = __esm({
     init_resolve_custom_type();
     init_builtin_brands();
     import_internal5 = require("@formspec/analysis/internal");
-    SYNTHETIC_TYPE_FORMAT_FLAGS = ts3.TypeFormatFlags.NoTruncation | ts3.TypeFormatFlags.UseAliasDefinedOutsideCurrentScope;
+    TYPE_FORMAT_FLAGS = ts3.TypeFormatFlags.NoTruncation | ts3.TypeFormatFlags.UseAliasDefinedOutsideCurrentScope;
     MAX_HINT_CANDIDATES = 5;
     MAX_HINT_DEPTH = 3;
     parseResultCache = /* @__PURE__ */ new Map();