@formspec/build 0.1.0-alpha.11 → 0.1.0-alpha.12

package/dist/internals.cjs

@@ -30,20 +30,372 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // src/internals.ts
 var internals_exports = {};
 __export(internals_exports, {
-  analyzeClass: () => analyzeClass,
-  analyzeInterface: () => analyzeInterface,
-  analyzeTypeAlias: () => analyzeTypeAlias,
+  analyzeClassToIR: () => analyzeClassToIR,
+  analyzeInterfaceToIR: () => analyzeInterfaceToIR,
+  analyzeTypeAliasToIR: () => analyzeTypeAliasToIR,
+  canonicalizeChainDSL: () => canonicalizeChainDSL,
+  canonicalizeTSDoc: () => canonicalizeTSDoc,
   collectFormSpecReferences: () => collectFormSpecReferences,
+  createExtensionRegistry: () => createExtensionRegistry,
   createProgramContext: () => createProgramContext,
   findClassByName: () => findClassByName,
   findInterfaceByName: () => findInterfaceByName,
   findTypeAliasByName: () => findTypeAliasByName,
   generateClassSchemas: () => generateClassSchemas,
+  generateJsonSchemaFromIR: () => generateJsonSchemaFromIR,
   generateMethodSchemas: () => generateMethodSchemas,
-  generateUiSchemaFromFields: () => generateUiSchemaFromFields
+  generateUiSchemaFromIR: () => generateUiSchemaFromIR,
+  validateIR: () => validateIR
 });
 module.exports = __toCommonJS(internals_exports);
 
+// src/canonicalize/chain-dsl-canonicalizer.ts
+var import_core = require("@formspec/core");
+var CHAIN_DSL_PROVENANCE = {
+  surface: "chain-dsl",
+  file: "",
+  line: 0,
+  column: 0
+};
+function isGroup(el) {
+  return el._type === "group";
+}
+function isConditional(el) {
+  return el._type === "conditional";
+}
+function isField(el) {
+  return el._type === "field";
+}
+function canonicalizeChainDSL(form) {
+  return {
+    kind: "form-ir",
+    irVersion: import_core.IR_VERSION,
+    elements: canonicalizeElements(form.elements),
+    typeRegistry: {},
+    provenance: CHAIN_DSL_PROVENANCE
+  };
+}
+function canonicalizeElements(elements) {
+  return elements.map(canonicalizeElement);
+}
+function canonicalizeElement(element) {
+  if (isField(element)) {
+    return canonicalizeField(element);
+  }
+  if (isGroup(element)) {
+    return canonicalizeGroup(element);
+  }
+  if (isConditional(element)) {
+    return canonicalizeConditional(element);
+  }
+  const _exhaustive = element;
+  throw new Error(`Unknown element type: ${JSON.stringify(_exhaustive)}`);
+}
+function canonicalizeField(field) {
+  switch (field._field) {
+    case "text":
+      return canonicalizeTextField(field);
+    case "number":
+      return canonicalizeNumberField(field);
+    case "boolean":
+      return canonicalizeBooleanField(field);
+    case "enum":
+      return canonicalizeStaticEnumField(field);
+    case "dynamic_enum":
+      return canonicalizeDynamicEnumField(field);
+    case "dynamic_schema":
+      return canonicalizeDynamicSchemaField(field);
+    case "array":
+      return canonicalizeArrayField(field);
+    case "object":
+      return canonicalizeObjectField(field);
+    default: {
+      const _exhaustive = field;
+      throw new Error(`Unknown field type: ${JSON.stringify(_exhaustive)}`);
+    }
+  }
+}
+function canonicalizeTextField(field) {
+  const type = { kind: "primitive", primitiveKind: "string" };
+  return buildFieldNode(
+    field.name,
+    type,
+    field.required,
+    buildAnnotations(field.label, field.placeholder)
+  );
+}
+function canonicalizeNumberField(field) {
+  const type = { kind: "primitive", primitiveKind: "number" };
+  const constraints = [];
+  if (field.min !== void 0) {
+    const c = {
+      kind: "constraint",
+      constraintKind: "minimum",
+      value: field.min,
+      provenance: CHAIN_DSL_PROVENANCE
+    };
+    constraints.push(c);
+  }
+  if (field.max !== void 0) {
+    const c = {
+      kind: "constraint",
+      constraintKind: "maximum",
+      value: field.max,
+      provenance: CHAIN_DSL_PROVENANCE
+    };
+    constraints.push(c);
+  }
+  return buildFieldNode(
+    field.name,
+    type,
+    field.required,
+    buildAnnotations(field.label),
+    constraints
+  );
+}
+function canonicalizeBooleanField(field) {
+  const type = { kind: "primitive", primitiveKind: "boolean" };
+  return buildFieldNode(field.name, type, field.required, buildAnnotations(field.label));
+}
+function canonicalizeStaticEnumField(field) {
+  const members = field.options.map((opt) => {
+    if (typeof opt === "string") {
+      return { value: opt };
+    }
+    return { value: opt.id, displayName: opt.label };
+  });
+  const type = { kind: "enum", members };
+  return buildFieldNode(field.name, type, field.required, buildAnnotations(field.label));
+}
+function canonicalizeDynamicEnumField(field) {
+  const type = {
+    kind: "dynamic",
+    dynamicKind: "enum",
+    sourceKey: field.source,
+    parameterFields: field.params ? [...field.params] : []
+  };
+  return buildFieldNode(field.name, type, field.required, buildAnnotations(field.label));
+}
+function canonicalizeDynamicSchemaField(field) {
+  const type = {
+    kind: "dynamic",
+    dynamicKind: "schema",
+    sourceKey: field.schemaSource,
+    parameterFields: []
+  };
+  return buildFieldNode(field.name, type, field.required, buildAnnotations(field.label));
+}
+function canonicalizeArrayField(field) {
+  const itemProperties = buildObjectProperties(field.items);
+  const itemsType = {
+    kind: "object",
+    properties: itemProperties,
+    additionalProperties: false
+  };
+  const type = { kind: "array", items: itemsType };
+  const constraints = [];
+  if (field.minItems !== void 0) {
+    const c = {
+      kind: "constraint",
+      constraintKind: "minItems",
+      value: field.minItems,
+      provenance: CHAIN_DSL_PROVENANCE
+    };
+    constraints.push(c);
+  }
+  if (field.maxItems !== void 0) {
+    const c = {
+      kind: "constraint",
+      constraintKind: "maxItems",
+      value: field.maxItems,
+      provenance: CHAIN_DSL_PROVENANCE
+    };
+    constraints.push(c);
+  }
+  return buildFieldNode(
+    field.name,
+    type,
+    field.required,
+    buildAnnotations(field.label),
+    constraints
+  );
+}
+function canonicalizeObjectField(field) {
+  const properties = buildObjectProperties(field.properties);
+  const type = {
+    kind: "object",
+    properties,
+    additionalProperties: false
+  };
+  return buildFieldNode(field.name, type, field.required, buildAnnotations(field.label));
+}
+function canonicalizeGroup(g) {
+  return {
+    kind: "group",
+    label: g.label,
+    elements: canonicalizeElements(g.elements),
+    provenance: CHAIN_DSL_PROVENANCE
+  };
+}
+function canonicalizeConditional(c) {
+  return {
+    kind: "conditional",
+    fieldName: c.field,
+    // Conditional values from the chain DSL are JSON-serializable primitives
+    // (strings, numbers, booleans) produced by the `is()` predicate helper.
+    value: assertJsonValue(c.value),
+    elements: canonicalizeElements(c.elements),
+    provenance: CHAIN_DSL_PROVENANCE
+  };
+}
+function assertJsonValue(v) {
+  if (v === null || typeof v === "string" || typeof v === "number" || typeof v === "boolean") {
+    return v;
+  }
+  if (Array.isArray(v)) {
+    return v.map(assertJsonValue);
+  }
+  if (typeof v === "object") {
+    const result = {};
+    for (const [key, val] of Object.entries(v)) {
+      result[key] = assertJsonValue(val);
+    }
+    return result;
+  }
+  throw new TypeError(`Conditional value is not a valid JsonValue: ${typeof v}`);
+}
+function buildFieldNode(name, type, required, annotations, constraints = []) {
+  return {
+    kind: "field",
+    name,
+    type,
+    required: required === true,
+    constraints,
+    annotations,
+    provenance: CHAIN_DSL_PROVENANCE
+  };
+}
+function buildAnnotations(label, placeholder) {
+  const annotations = [];
+  if (label !== void 0) {
+    const a = {
+      kind: "annotation",
+      annotationKind: "displayName",
+      value: label,
+      provenance: CHAIN_DSL_PROVENANCE
+    };
+    annotations.push(a);
+  }
+  if (placeholder !== void 0) {
+    const a = {
+      kind: "annotation",
+      annotationKind: "placeholder",
+      value: placeholder,
+      provenance: CHAIN_DSL_PROVENANCE
+    };
+    annotations.push(a);
+  }
+  return annotations;
+}
+function buildObjectProperties(elements, insideConditional = false) {
+  const properties = [];
+  for (const el of elements) {
+    if (isField(el)) {
+      const fieldNode = canonicalizeField(el);
+      properties.push({
+        name: fieldNode.name,
+        type: fieldNode.type,
+        // Fields inside a conditional branch are always optional in the
+        // data schema, regardless of their `required` flag — the condition
+        // may not be met, so the field may be absent.
+        optional: insideConditional || !fieldNode.required,
+        constraints: fieldNode.constraints,
+        annotations: fieldNode.annotations,
+        provenance: CHAIN_DSL_PROVENANCE
+      });
+    } else if (isGroup(el)) {
+      properties.push(...buildObjectProperties(el.elements, insideConditional));
+    } else if (isConditional(el)) {
+      properties.push(...buildObjectProperties(el.elements, true));
+    }
+  }
+  return properties;
+}
+
+// src/canonicalize/tsdoc-canonicalizer.ts
+var import_core2 = require("@formspec/core");
+function canonicalizeTSDoc(analysis, source) {
+  const file = source?.file ?? "";
+  const provenance = {
+    surface: "tsdoc",
+    file,
+    line: 1,
+    column: 0
+  };
+  const elements = assembleElements(analysis.fields, analysis.fieldLayouts, provenance);
+  return {
+    kind: "form-ir",
+    irVersion: import_core2.IR_VERSION,
+    elements,
+    typeRegistry: analysis.typeRegistry,
+    provenance
+  };
+}
+function assembleElements(fields, layouts, provenance) {
+  const elements = [];
+  const groupMap = /* @__PURE__ */ new Map();
+  const topLevelOrder = [];
+  for (let i = 0; i < fields.length; i++) {
+    const field = fields[i];
+    const layout = layouts[i];
+    if (!field || !layout) continue;
+    const element = wrapInConditional(field, layout, provenance);
+    if (layout.groupLabel !== void 0) {
+      const label = layout.groupLabel;
+      let groupElements = groupMap.get(label);
+      if (!groupElements) {
+        groupElements = [];
+        groupMap.set(label, groupElements);
+        topLevelOrder.push({ type: "group", label });
+      }
+      groupElements.push(element);
+    } else {
+      topLevelOrder.push({ type: "element", element });
+    }
+  }
+  for (const entry of topLevelOrder) {
+    if (entry.type === "group") {
+      const groupElements = groupMap.get(entry.label);
+      if (groupElements) {
+        const groupNode = {
+          kind: "group",
+          label: entry.label,
+          elements: groupElements,
+          provenance
+        };
+        elements.push(groupNode);
+        groupMap.delete(entry.label);
+      }
+    } else {
+      elements.push(entry.element);
+    }
+  }
+  return elements;
+}
+function wrapInConditional(field, layout, provenance) {
+  if (layout.showWhen === void 0) {
+    return field;
+  }
+  const conditional = {
+    kind: "conditional",
+    fieldName: layout.showWhen.field,
+    value: layout.showWhen.value,
+    elements: [field],
+    provenance
+  };
+  return conditional;
+}
+
 // src/analyzer/program.ts
 var ts = __toESM(require("typescript"), 1);
 var path = __toESM(require("path"), 1);
@@ -119,290 +471,104 @@ function findTypeAliasByName(sourceFile, aliasName) {
 // src/analyzer/class-analyzer.ts
 var ts4 = __toESM(require("typescript"), 1);
 
-// src/analyzer/decorator-extractor.ts
+// src/analyzer/jsdoc-constraints.ts
+var ts3 = __toESM(require("typescript"), 1);
+var import_core4 = require("@formspec/core");
+
+// src/analyzer/tsdoc-parser.ts
 var ts2 = __toESM(require("typescript"), 1);
-var import_core = require("@formspec/core");
-function extractDecorators(member) {
-  const decorators = [];
-  const modifiers = ts2.canHaveDecorators(member) ? ts2.getDecorators(member) : void 0;
-  if (!modifiers) return decorators;
-  for (const decorator of modifiers) {
-    const info = parseDecorator(decorator);
-    if (info) {
-      decorators.push(info);
-    }
-  }
-  return decorators;
+var import_tsdoc = require("@microsoft/tsdoc");
+var import_core3 = require("@formspec/core");
+var NUMERIC_CONSTRAINT_MAP = {
+  Minimum: "minimum",
+  Maximum: "maximum",
+  ExclusiveMinimum: "exclusiveMinimum",
+  ExclusiveMaximum: "exclusiveMaximum"
+};
+var LENGTH_CONSTRAINT_MAP = {
+  MinLength: "minLength",
+  MaxLength: "maxLength"
+};
+var TAGS_REQUIRING_RAW_TEXT = /* @__PURE__ */ new Set(["Pattern", "EnumOptions"]);
+function isBuiltinConstraintName(tagName) {
+  return tagName in import_core3.BUILTIN_CONSTRAINT_DEFINITIONS;
 }
-function parseDecorator(decorator) {
-  const expr = decorator.expression;
-  if (ts2.isIdentifier(expr)) {
-    return {
-      name: expr.text,
-      args: [],
-      node: decorator
-    };
-  }
-  if (ts2.isCallExpression(expr)) {
-    const callee = expr.expression;
-    let name = null;
-    if (ts2.isIdentifier(callee)) {
-      name = callee.text;
-    } else if (ts2.isPropertyAccessExpression(callee)) {
-      name = callee.name.text;
-    }
-    if (!name) return null;
-    const args = expr.arguments.map(extractArgValue);
-    return {
-      name,
-      args,
-      node: decorator
-    };
+function createFormSpecTSDocConfig() {
+  const config = new import_tsdoc.TSDocConfiguration();
+  for (const tagName of Object.keys(import_core3.BUILTIN_CONSTRAINT_DEFINITIONS)) {
+    config.addTagDefinition(
+      new import_tsdoc.TSDocTagDefinition({
+        tagName: "@" + tagName,
+        syntaxKind: import_tsdoc.TSDocTagSyntaxKind.BlockTag,
+        allowMultiple: true
+      })
+    );
   }
-  return null;
+  return config;
 }
-function extractArgValue(node) {
-  if (ts2.isStringLiteral(node)) {
-    return node.text;
-  }
-  if (ts2.isNumericLiteral(node)) {
-    return Number(node.text);
-  }
-  if (node.kind === ts2.SyntaxKind.TrueKeyword) {
-    return true;
-  }
-  if (node.kind === ts2.SyntaxKind.FalseKeyword) {
-    return false;
-  }
-  if (node.kind === ts2.SyntaxKind.NullKeyword) {
-    return null;
-  }
-  if (ts2.isPrefixUnaryExpression(node)) {
-    if (node.operator === ts2.SyntaxKind.MinusToken && ts2.isNumericLiteral(node.operand)) {
-      return -Number(node.operand.text);
-    }
-    if (node.operator === ts2.SyntaxKind.PlusToken && ts2.isNumericLiteral(node.operand)) {
-      return Number(node.operand.text);
-    }
-  }
-  if (ts2.isArrayLiteralExpression(node)) {
-    return node.elements.map((el) => {
-      if (ts2.isSpreadElement(el)) {
-        return null;
-      }
-      return extractArgValue(el);
-    });
-  }
-  if (ts2.isObjectLiteralExpression(node)) {
-    const obj = {};
-    for (const prop of node.properties) {
-      if (ts2.isPropertyAssignment(prop)) {
-        const key = getPropertyName(prop.name);
-        if (key) {
-          obj[key] = extractArgValue(prop.initializer);
-        }
-      } else if (ts2.isShorthandPropertyAssignment(prop)) {
-        const key = prop.name.text;
-        obj[key] = null;
+var sharedParser;
+function getParser() {
+  sharedParser ??= new import_tsdoc.TSDocParser(createFormSpecTSDocConfig());
+  return sharedParser;
+}
+function parseTSDocTags(node, file = "") {
+  const constraints = [];
+  const annotations = [];
+  const sourceFile = node.getSourceFile();
+  const sourceText = sourceFile.getFullText();
+  const commentRanges = ts2.getLeadingCommentRanges(sourceText, node.getFullStart());
+  if (commentRanges) {
+    for (const range of commentRanges) {
+      if (range.kind !== ts2.SyntaxKind.MultiLineCommentTrivia) {
+        continue;
       }
-    }
-    return obj;
-  }
-  if (ts2.isNoSubstitutionTemplateLiteral(node)) {
-    return node.text;
-  }
-  if (ts2.isRegularExpressionLiteral(node)) {
-    const regexText = node.text;
-    const lastSlash = regexText.lastIndexOf("/");
-    if (lastSlash > 0) {
-      return regexText.substring(1, lastSlash);
-    }
-    return regexText;
-  }
-  if (ts2.isNewExpression(node)) {
-    if (ts2.isIdentifier(node.expression) && node.expression.text === "RegExp" && node.arguments && node.arguments.length > 0) {
-      const firstArg = node.arguments[0];
-      if (firstArg && ts2.isStringLiteral(firstArg)) {
-        return firstArg.text;
+      const commentText = sourceText.substring(range.pos, range.end);
+      if (!commentText.startsWith("/**")) {
+        continue;
       }
-    }
-  }
-  if (ts2.isIdentifier(node)) {
-    return null;
-  }
-  return null;
-}
-function getPropertyName(name) {
-  if (ts2.isIdentifier(name)) {
-    return name.text;
-  }
-  if (ts2.isStringLiteral(name)) {
-    return name.text;
-  }
-  if (ts2.isNumericLiteral(name)) {
-    return name.text;
-  }
-  return null;
-}
-var FORMSPEC_DECORATORS = {
-  // Display metadata
-  Field: { argTypes: ["object"] },
-  // Grouping
-  Group: { argTypes: ["string"] },
-  // Conditional display
-  ShowWhen: { argTypes: ["object"] },
-  // Enum options
-  EnumOptions: { argTypes: ["array"] },
-  // Numeric constraints
-  Minimum: { argTypes: ["number"] },
-  Maximum: { argTypes: ["number"] },
-  ExclusiveMinimum: { argTypes: ["number"] },
-  ExclusiveMaximum: { argTypes: ["number"] },
-  // String constraints
-  MinLength: { argTypes: ["number"] },
-  MaxLength: { argTypes: ["number"] },
-  Pattern: { argTypes: ["string"] }
-};
-function isFormSpecDecoratorsPath(fileName) {
-  const normalized = fileName.replace(/\\/g, "/");
-  return normalized.includes("node_modules/@formspec/decorators") || normalized.includes("/packages/decorators/");
-}
-function resolveDecorator(decorator, checker) {
-  const expr = decorator.expression;
-  let targetNode;
-  let name;
-  if (ts2.isIdentifier(expr)) {
-    targetNode = expr;
-    name = expr.text;
-  } else if (ts2.isCallExpression(expr)) {
-    if (ts2.isIdentifier(expr.expression)) {
-      targetNode = expr.expression;
-      name = expr.expression.text;
-    } else {
-      return null;
-    }
-  } else {
-    return null;
-  }
-  if (name in FORMSPEC_DECORATORS) {
-    const symbol = checker.getSymbolAtLocation(targetNode);
-    if (symbol) {
-      const declarations = symbol.declarations;
-      if (declarations && declarations.length > 0) {
-        const decl = declarations[0];
-        if (decl) {
-          const sourceFile = decl.getSourceFile();
-          const fileName = sourceFile.fileName;
-          if (isFormSpecDecoratorsPath(fileName)) {
-            return {
-              name,
-              isFormSpec: true,
-              isMarker: !ts2.isCallExpression(expr)
-            };
-          }
+      const parser = getParser();
+      const parserContext = parser.parseRange(
+        import_tsdoc.TextRange.fromStringRange(sourceText, range.pos, range.end)
+      );
+      const docComment = parserContext.docComment;
+      for (const block of docComment.customBlocks) {
+        const tagName = block.blockTag.tagName.substring(1);
+        if (TAGS_REQUIRING_RAW_TEXT.has(tagName)) continue;
+        const text = extractBlockText(block).trim();
+        if (text === "") continue;
+        const provenance = provenanceForComment(range, sourceFile, file, tagName);
+        const constraintNode = parseConstraintValue(tagName, text, provenance);
+        if (constraintNode) {
+          constraints.push(constraintNode);
         }
       }
-    }
-  }
-  const resolvedSymbol = checker.getSymbolAtLocation(targetNode);
-  if (!resolvedSymbol) return null;
-  const type = checker.getTypeOfSymbol(resolvedSymbol);
-  const props = type.getProperties();
-  let extendsBuiltin;
-  let extensionName;
-  let isMarker = false;
-  for (const prop of props) {
-    const escapedName = prop.getEscapedName();
-    if (escapedName.startsWith("__@") && (escapedName.includes("formspec.extends") || escapedName.includes("FORMSPEC_EXTENDS"))) {
-      const propType = checker.getTypeOfSymbol(prop);
-      if (propType.isStringLiteral()) {
-        extendsBuiltin = propType.value;
-      }
-    }
-    if (escapedName.startsWith("__@") && (escapedName.includes("formspec.extension") || escapedName.includes("FORMSPEC_EXTENSION"))) {
-      const propType = checker.getTypeOfSymbol(prop);
-      if (propType.isStringLiteral()) {
-        extensionName = propType.value;
+      if (docComment.deprecatedBlock !== void 0) {
+        annotations.push({
+          kind: "annotation",
+          annotationKind: "deprecated",
+          provenance: provenanceForComment(range, sourceFile, file, "deprecated")
+        });
       }
     }
-    if (escapedName.startsWith("__@") && (escapedName.includes("formspec.marker") || escapedName.includes("FORMSPEC_MARKER"))) {
-      isMarker = true;
-    }
   }
-  if (extendsBuiltin) {
-    return {
-      name,
-      extendsBuiltin,
-      isFormSpec: true,
-      isMarker: false
-    };
-  }
-  if (extensionName) {
-    return {
-      name,
-      extensionName,
-      isFormSpec: true,
-      isMarker
-    };
-  }
-  if (isMarker) {
-    return {
-      name,
-      isFormSpec: true,
-      isMarker: true
-    };
-  }
-  return null;
-}
-
-// src/analyzer/jsdoc-constraints.ts
-var ts3 = __toESM(require("typescript"), 1);
-var import_core2 = require("@formspec/core");
-function extractJSDocConstraints(node) {
-  const results = [];
-  const jsDocTags = ts3.getJSDocTags(node);
-  for (const tag of jsDocTags) {
+  const jsDocTagsAll = ts2.getJSDocTags(node);
+  for (const tag of jsDocTagsAll) {
     const tagName = tag.tagName.text;
-    if (!(tagName in import_core2.CONSTRAINT_TAG_DEFINITIONS)) {
-      continue;
-    }
-    const constraintName = tagName;
-    const expectedType = import_core2.CONSTRAINT_TAG_DEFINITIONS[constraintName];
+    if (!TAGS_REQUIRING_RAW_TEXT.has(tagName)) continue;
     const commentText = getTagCommentText(tag);
-    if (commentText === void 0 || commentText === "") {
-      continue;
-    }
-    const trimmed = commentText.trim();
-    if (trimmed === "") {
-      continue;
-    }
-    if (expectedType === "number") {
-      const value = Number(trimmed);
-      if (Number.isNaN(value)) {
-        continue;
-      }
-      results.push(createSyntheticDecorator(constraintName, value));
-    } else if (expectedType === "json") {
-      try {
-        const parsed = JSON.parse(trimmed);
-        if (!Array.isArray(parsed)) {
-          continue;
-        }
-        results.push(createSyntheticDecorator(constraintName, parsed));
-      } catch {
-        continue;
-      }
-    } else {
-      results.push(createSyntheticDecorator(constraintName, trimmed));
+    if (commentText === void 0 || commentText.trim() === "") continue;
+    const text = commentText.trim();
+    const provenance = provenanceForJSDocTag(tag, file);
+    const constraintNode = parseConstraintValue(tagName, text, provenance);
+    if (constraintNode) {
+      constraints.push(constraintNode);
     }
   }
-  return results;
-}
-function extractJSDocFieldMetadata(node) {
-  const jsDocTags = ts3.getJSDocTags(node);
   let displayName;
   let description;
-  for (const tag of jsDocTags) {
+  let displayNameTag;
+  let descriptionTag;
+  for (const tag of jsDocTagsAll) {
     const tagName = tag.tagName.text;
     const commentText = getTagCommentText(tag);
     if (commentText === void 0 || commentText.trim() === "") {
@@ -411,18 +577,132 @@ function extractJSDocFieldMetadata(node) {
     const trimmed = commentText.trim();
     if (tagName === "Field_displayName") {
       displayName = trimmed;
+      displayNameTag = tag;
     } else if (tagName === "Field_description") {
       description = trimmed;
+      descriptionTag = tag;
     }
   }
-  if (displayName === void 0 && description === void 0) {
+  if (displayName !== void 0 && displayNameTag) {
+    annotations.push({
+      kind: "annotation",
+      annotationKind: "displayName",
+      value: displayName,
+      provenance: provenanceForJSDocTag(displayNameTag, file)
+    });
+  }
+  if (description !== void 0 && descriptionTag) {
+    annotations.push({
+      kind: "annotation",
+      annotationKind: "description",
+      value: description,
+      provenance: provenanceForJSDocTag(descriptionTag, file)
+    });
+  }
+  return { constraints, annotations };
+}
+function extractBlockText(block) {
+  return extractPlainText(block.content);
+}
+function extractPlainText(node) {
+  let result = "";
+  if (node instanceof import_tsdoc.DocPlainText) {
+    return node.text;
+  }
+  if (node instanceof import_tsdoc.DocSoftBreak) {
+    return " ";
+  }
+  if (typeof node.getChildNodes === "function") {
+    for (const child of node.getChildNodes()) {
+      result += extractPlainText(child);
+    }
+  }
+  return result;
+}
+function parseConstraintValue(tagName, text, provenance) {
+  if (!isBuiltinConstraintName(tagName)) {
+    return null;
+  }
+  const expectedType = import_core3.BUILTIN_CONSTRAINT_DEFINITIONS[tagName];
+  if (expectedType === "number") {
+    const value = Number(text);
+    if (Number.isNaN(value)) {
+      return null;
+    }
+    const numericKind = NUMERIC_CONSTRAINT_MAP[tagName];
+    if (numericKind) {
+      return {
+        kind: "constraint",
+        constraintKind: numericKind,
+        value,
+        provenance
+      };
+    }
+    const lengthKind = LENGTH_CONSTRAINT_MAP[tagName];
+    if (lengthKind) {
+      return {
+        kind: "constraint",
+        constraintKind: lengthKind,
+        value,
+        provenance
+      };
+    }
     return null;
   }
-  const fieldOpts = {
-    ...displayName !== void 0 ? { displayName } : {},
-    ...description !== void 0 ? { description } : {}
+  if (expectedType === "json") {
+    try {
+      const parsed = JSON.parse(text);
+      if (!Array.isArray(parsed)) {
+        return null;
+      }
+      const members = [];
+      for (const item of parsed) {
+        if (typeof item === "string" || typeof item === "number") {
+          members.push(item);
+        } else if (typeof item === "object" && item !== null && "id" in item) {
+          const id = item["id"];
+          if (typeof id === "string" || typeof id === "number") {
+            members.push(id);
+          }
+        }
+      }
+      return {
+        kind: "constraint",
+        constraintKind: "allowedMembers",
+        members,
+        provenance
+      };
+    } catch {
+      return null;
+    }
+  }
+  return {
+    kind: "constraint",
+    constraintKind: "pattern",
+    pattern: text,
+    provenance
+  };
+}
+function provenanceForComment(range, sourceFile, file, tagName) {
+  const { line, character } = sourceFile.getLineAndCharacterOfPosition(range.pos);
+  return {
+    surface: "tsdoc",
+    file,
+    line: line + 1,
+    column: character,
+    tagName: "@" + tagName
+  };
+}
+function provenanceForJSDocTag(tag, file) {
+  const sourceFile = tag.getSourceFile();
+  const { line, character } = sourceFile.getLineAndCharacterOfPosition(tag.getStart());
+  return {
+    surface: "tsdoc",
+    file,
+    line: line + 1,
+    column: character,
+    tagName: "@" + tag.tagName.text
   };
-  return createSyntheticDecorator("Field", fieldOpts);
 }
 function getTagCommentText(tag) {
   if (tag.comment === void 0) {
@@ -431,27 +711,73 @@ function getTagCommentText(tag) {
   if (typeof tag.comment === "string") {
     return tag.comment;
   }
-  return ts3.getTextOfJSDocComment(tag.comment);
+  return ts2.getTextOfJSDocComment(tag.comment);
+}
+
+// src/analyzer/jsdoc-constraints.ts
+function extractJSDocConstraintNodes(node, file = "") {
+  const result = parseTSDocTags(node, file);
+  return [...result.constraints];
 }
-function createSyntheticDecorator(name, value) {
+function extractJSDocAnnotationNodes(node, file = "") {
+  const result = parseTSDocTags(node, file);
+  return [...result.annotations];
+}
+function extractDefaultValueAnnotation(initializer, file = "") {
+  if (!initializer) return null;
+  let value;
+  if (ts3.isStringLiteral(initializer)) {
+    value = initializer.text;
+  } else if (ts3.isNumericLiteral(initializer)) {
+    value = Number(initializer.text);
+  } else if (initializer.kind === ts3.SyntaxKind.TrueKeyword) {
+    value = true;
+  } else if (initializer.kind === ts3.SyntaxKind.FalseKeyword) {
+    value = false;
+  } else if (initializer.kind === ts3.SyntaxKind.NullKeyword) {
+    value = null;
+  } else if (ts3.isPrefixUnaryExpression(initializer)) {
+    if (initializer.operator === ts3.SyntaxKind.MinusToken && ts3.isNumericLiteral(initializer.operand)) {
+      value = -Number(initializer.operand.text);
+    }
+  }
+  if (value === void 0) return null;
+  const sourceFile = initializer.getSourceFile();
+  const { line, character } = sourceFile.getLineAndCharacterOfPosition(initializer.getStart());
   return {
-    name,
-    args: [value],
-    node: void 0
+    kind: "annotation",
+    annotationKind: "defaultValue",
+    value,
+    provenance: {
+      surface: "tsdoc",
+      file,
+      line: line + 1,
+      column: character
+    }
   };
 }
 
 // src/analyzer/class-analyzer.ts
-function analyzeClass(classDecl, checker) {
+function isObjectType(type) {
+  return !!(type.flags & ts4.TypeFlags.Object);
+}
+function isTypeReference(type) {
+  return !!(type.flags & ts4.TypeFlags.Object) && !!(type.objectFlags & ts4.ObjectFlags.Reference);
+}
+function analyzeClassToIR(classDecl, checker, file = "") {
   const name = classDecl.name?.text ?? "AnonymousClass";
   const fields = [];
+  const fieldLayouts = [];
+  const typeRegistry = {};
+  const visiting = /* @__PURE__ */ new Set();
   const instanceMethods = [];
   const staticMethods = [];
   for (const member of classDecl.members) {
     if (ts4.isPropertyDeclaration(member)) {
-      const fieldInfo = analyzeField(member, checker);
-      if (fieldInfo) {
-        fields.push(fieldInfo);
+      const fieldNode = analyzeFieldToIR(member, checker, file, typeRegistry, visiting);
+      if (fieldNode) {
+        fields.push(fieldNode);
+        fieldLayouts.push({});
       }
     } else if (ts4.isMethodDeclaration(member)) {
       const methodInfo = analyzeMethod(member, checker);
@@ -465,155 +791,25 @@ function analyzeClass(classDecl, checker) {
       }
     }
   }
-  return {
-    name,
-    fields,
-    instanceMethods,
-    staticMethods
-  };
-}
-function analyzeField(prop, checker) {
-  if (!ts4.isIdentifier(prop.name)) {
-    return null;
-  }
-  const name = prop.name.text;
-  const typeNode = prop.type;
-  const type = checker.getTypeAtLocation(prop);
-  const optional = prop.questionToken !== void 0;
-  const decorators = extractDecorators(prop);
-  for (const dec of decorators) {
-    if (dec.node) {
-      const resolved = resolveDecorator(dec.node, checker);
-      if (resolved) {
-        dec.resolved = resolved;
-      }
-    }
-  }
-  if (prop.type) {
-    const aliasConstraints = extractTypeAliasConstraints(prop.type, checker);
-    decorators.push(...aliasConstraints);
-  }
-  const jsdocConstraints = extractJSDocConstraints(prop);
-  decorators.push(...jsdocConstraints);
-  const deprecated = hasDeprecatedTag(prop);
-  const defaultValue = extractDefaultValue(prop.initializer);
-  return {
-    name,
-    typeNode,
-    type,
-    optional,
-    decorators,
-    deprecated,
-    defaultValue
-  };
-}
-function extractTypeAliasConstraints(typeNode, checker) {
-  if (!ts4.isTypeReferenceNode(typeNode)) return [];
-  const symbol = checker.getSymbolAtLocation(typeNode.typeName);
-  if (!symbol?.declarations) return [];
-  const aliasDecl = symbol.declarations.find(ts4.isTypeAliasDeclaration);
-  if (!aliasDecl) return [];
-  if (ts4.isTypeLiteralNode(aliasDecl.type)) return [];
-  return extractJSDocConstraints(aliasDecl);
-}
-function hasDeprecatedTag(node) {
-  const jsDocTags = ts4.getJSDocTags(node);
-  return jsDocTags.some((tag) => tag.tagName.text === "deprecated");
-}
-function extractDefaultValue(initializer) {
-  if (!initializer) return void 0;
-  if (ts4.isStringLiteral(initializer)) {
-    return initializer.text;
-  }
-  if (ts4.isNumericLiteral(initializer)) {
-    return Number(initializer.text);
-  }
-  if (initializer.kind === ts4.SyntaxKind.TrueKeyword) {
-    return true;
-  }
-  if (initializer.kind === ts4.SyntaxKind.FalseKeyword) {
-    return false;
-  }
-  if (initializer.kind === ts4.SyntaxKind.NullKeyword) {
-    return null;
-  }
-  if (ts4.isPrefixUnaryExpression(initializer)) {
-    if (initializer.operator === ts4.SyntaxKind.MinusToken && ts4.isNumericLiteral(initializer.operand)) {
-      return -Number(initializer.operand.text);
-    }
-  }
-  return void 0;
-}
-function analyzeMethod(method, checker) {
-  if (!ts4.isIdentifier(method.name)) {
-    return null;
-  }
-  const name = method.name.text;
-  const parameters = [];
-  for (const param of method.parameters) {
-    if (ts4.isIdentifier(param.name)) {
-      const paramInfo = analyzeParameter(param, checker);
-      parameters.push(paramInfo);
-    }
-  }
-  const returnTypeNode = method.type;
-  const signature = checker.getSignatureFromDeclaration(method);
-  const returnType = signature ? checker.getReturnTypeOfSignature(signature) : checker.getTypeAtLocation(method);
-  return {
-    name,
-    parameters,
-    returnTypeNode,
-    returnType
-  };
-}
-function analyzeParameter(param, checker) {
-  const name = ts4.isIdentifier(param.name) ? param.name.text : "param";
-  const typeNode = param.type;
-  const type = checker.getTypeAtLocation(param);
-  const formSpecExportName = detectFormSpecReference(typeNode);
-  const optional = param.questionToken !== void 0 || param.initializer !== void 0;
-  return {
-    name,
-    typeNode,
-    type,
-    formSpecExportName,
-    optional
-  };
+  return { name, fields, fieldLayouts, typeRegistry, instanceMethods, staticMethods };
 }
-function detectFormSpecReference(typeNode) {
-  if (!typeNode) return null;
-  if (!ts4.isTypeReferenceNode(typeNode)) return null;
-  const typeName = ts4.isIdentifier(typeNode.typeName) ? typeNode.typeName.text : ts4.isQualifiedName(typeNode.typeName) ? typeNode.typeName.right.text : null;
-  if (typeName !== "InferSchema" && typeName !== "InferFormSchema") return null;
-  const typeArg = typeNode.typeArguments?.[0];
-  if (!typeArg || !ts4.isTypeQueryNode(typeArg)) return null;
-  if (ts4.isIdentifier(typeArg.exprName)) {
-    return typeArg.exprName.text;
-  }
-  if (ts4.isQualifiedName(typeArg.exprName)) {
-    return typeArg.exprName.right.text;
-  }
-  return null;
-}
-function analyzeInterface(interfaceDecl, checker) {
+function analyzeInterfaceToIR(interfaceDecl, checker, file = "") {
   const name = interfaceDecl.name.text;
   const fields = [];
+  const typeRegistry = {};
+  const visiting = /* @__PURE__ */ new Set();
   for (const member of interfaceDecl.members) {
     if (ts4.isPropertySignature(member)) {
-      const fieldInfo = analyzeInterfaceProperty(member, checker);
-      if (fieldInfo) {
-        fields.push(fieldInfo);
+      const fieldNode = analyzeInterfacePropertyToIR(member, checker, file, typeRegistry, visiting);
+      if (fieldNode) {
+        fields.push(fieldNode);
       }
     }
   }
-  return {
-    name,
-    fields,
-    instanceMethods: [],
-    staticMethods: []
-  };
+  const fieldLayouts = fields.map(() => ({}));
+  return { name, fields, fieldLayouts, typeRegistry, instanceMethods: [], staticMethods: [] };
 }
-function analyzeTypeAlias(typeAlias, checker) {
+function analyzeTypeAliasToIR(typeAlias, checker, file = "") {
   if (!ts4.isTypeLiteralNode(typeAlias.type)) {
     const sourceFile = typeAlias.getSourceFile();
     const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
@@ -625,11 +821,13 @@ function analyzeTypeAlias(typeAlias, checker) {
   }
   const name = typeAlias.name.text;
   const fields = [];
+  const typeRegistry = {};
+  const visiting = /* @__PURE__ */ new Set();
   for (const member of typeAlias.type.members) {
     if (ts4.isPropertySignature(member)) {
-      const fieldInfo = analyzeInterfaceProperty(member, checker);
-      if (fieldInfo) {
-        fields.push(fieldInfo);
+      const fieldNode = analyzeInterfacePropertyToIR(member, checker, file, typeRegistry, visiting);
+      if (fieldNode) {
+        fields.push(fieldNode);
       }
     }
   }
@@ -638,411 +836,601 @@ function analyzeTypeAlias(typeAlias, checker) {
     analysis: {
       name,
       fields,
+      fieldLayouts: fields.map(() => ({})),
+      typeRegistry,
       instanceMethods: [],
       staticMethods: []
     }
   };
 }
-function analyzeInterfaceProperty(prop, checker) {
+function analyzeFieldToIR(prop, checker, file, typeRegistry, visiting) {
   if (!ts4.isIdentifier(prop.name)) {
     return null;
   }
   const name = prop.name.text;
-  const typeNode = prop.type;
-  const type = checker.getTypeAtLocation(prop);
+  const tsType = checker.getTypeAtLocation(prop);
   const optional = prop.questionToken !== void 0;
-  const decorators = [];
-  if (typeNode) {
-    const aliasConstraints = extractTypeAliasConstraints(typeNode, checker);
-    decorators.push(...aliasConstraints);
-  }
-  const fieldMetadata = extractJSDocFieldMetadata(prop);
-  if (fieldMetadata) {
-    decorators.push(fieldMetadata);
-  }
-  const jsdocConstraints = extractJSDocConstraints(prop);
-  decorators.push(...jsdocConstraints);
-  const deprecated = hasDeprecatedTag(prop);
+  const provenance = provenanceForNode(prop, file);
+  const type = resolveTypeNode(tsType, checker, file, typeRegistry, visiting);
+  const constraints = [];
+  if (prop.type) {
+    constraints.push(...extractTypeAliasConstraintNodes(prop.type, checker, file));
+  }
+  constraints.push(...extractJSDocConstraintNodes(prop, file));
+  const annotations = [];
+  annotations.push(...extractJSDocAnnotationNodes(prop, file));
+  const defaultAnnotation = extractDefaultValueAnnotation(prop.initializer, file);
+  if (defaultAnnotation) {
+    annotations.push(defaultAnnotation);
+  }
   return {
+    kind: "field",
     name,
-    typeNode,
     type,
-    optional,
-    decorators,
-    deprecated,
-    defaultValue: void 0
+    required: !optional,
+    constraints,
+    annotations,
+    provenance
   };
 }
-
-// src/analyzer/type-converter.ts
-var ts5 = __toESM(require("typescript"), 1);
-
-// src/json-schema/types.ts
-function setSchemaExtension(schema, key, value) {
-  schema[key] = value;
+function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visiting) {
+  if (!ts4.isIdentifier(prop.name)) {
+    return null;
+  }
+  const name = prop.name.text;
+  const tsType = checker.getTypeAtLocation(prop);
+  const optional = prop.questionToken !== void 0;
+  const provenance = provenanceForNode(prop, file);
+  const type = resolveTypeNode(tsType, checker, file, typeRegistry, visiting);
+  const constraints = [];
+  if (prop.type) {
+    constraints.push(...extractTypeAliasConstraintNodes(prop.type, checker, file));
+  }
+  constraints.push(...extractJSDocConstraintNodes(prop, file));
+  const annotations = [];
+  annotations.push(...extractJSDocAnnotationNodes(prop, file));
+  return {
+    kind: "field",
+    name,
+    type,
+    required: !optional,
+    constraints,
+    annotations,
+    provenance
+  };
 }
-
-// src/analyzer/type-converter.ts
-function getNamedTypeFieldInfoMap(type, checker) {
+function resolveTypeNode(type, checker, file, typeRegistry, visiting) {
+  if (type.flags & ts4.TypeFlags.String) {
+    return { kind: "primitive", primitiveKind: "string" };
+  }
+  if (type.flags & ts4.TypeFlags.Number) {
+    return { kind: "primitive", primitiveKind: "number" };
+  }
+  if (type.flags & ts4.TypeFlags.Boolean) {
+    return { kind: "primitive", primitiveKind: "boolean" };
+  }
+  if (type.flags & ts4.TypeFlags.Null) {
+    return { kind: "primitive", primitiveKind: "null" };
+  }
+  if (type.flags & ts4.TypeFlags.Undefined) {
+    return { kind: "primitive", primitiveKind: "null" };
+  }
+  if (type.isStringLiteral()) {
+    return {
+      kind: "enum",
+      members: [{ value: type.value }]
+    };
+  }
+  if (type.isNumberLiteral()) {
+    return {
+      kind: "enum",
+      members: [{ value: type.value }]
+    };
+  }
+  if (type.isUnion()) {
+    return resolveUnionType(type, checker, file, typeRegistry, visiting);
+  }
+  if (checker.isArrayType(type)) {
+    return resolveArrayType(type, checker, file, typeRegistry, visiting);
+  }
+  if (isObjectType(type)) {
+    return resolveObjectType(type, checker, file, typeRegistry, visiting);
+  }
+  return { kind: "primitive", primitiveKind: "string" };
+}
+function resolveUnionType(type, checker, file, typeRegistry, visiting) {
+  const allTypes = type.types;
+  const nonNullTypes = allTypes.filter(
+    (t) => !(t.flags & (ts4.TypeFlags.Null | ts4.TypeFlags.Undefined))
+  );
+  const hasNull = allTypes.some((t) => t.flags & ts4.TypeFlags.Null);
+  const isBooleanUnion2 = nonNullTypes.length === 2 && nonNullTypes.every((t) => t.flags & ts4.TypeFlags.BooleanLiteral);
+  if (isBooleanUnion2) {
+    const boolNode = { kind: "primitive", primitiveKind: "boolean" };
+    if (hasNull) {
+      return {
+        kind: "union",
+        members: [boolNode, { kind: "primitive", primitiveKind: "null" }]
+      };
+    }
+    return boolNode;
+  }
+  const allStringLiterals = nonNullTypes.every((t) => t.isStringLiteral());
+  if (allStringLiterals && nonNullTypes.length > 0) {
+    const stringTypes = nonNullTypes.filter((t) => t.isStringLiteral());
+    const enumNode = {
+      kind: "enum",
+      members: stringTypes.map((t) => ({ value: t.value }))
+    };
+    if (hasNull) {
+      return {
+        kind: "union",
+        members: [enumNode, { kind: "primitive", primitiveKind: "null" }]
+      };
+    }
+    return enumNode;
+  }
+  const allNumberLiterals = nonNullTypes.every((t) => t.isNumberLiteral());
+  if (allNumberLiterals && nonNullTypes.length > 0) {
+    const numberTypes = nonNullTypes.filter((t) => t.isNumberLiteral());
+    const enumNode = {
+      kind: "enum",
+      members: numberTypes.map((t) => ({ value: t.value }))
+    };
+    if (hasNull) {
+      return {
+        kind: "union",
+        members: [enumNode, { kind: "primitive", primitiveKind: "null" }]
+      };
+    }
+    return enumNode;
+  }
+  if (nonNullTypes.length === 1 && nonNullTypes[0]) {
+    const inner = resolveTypeNode(nonNullTypes[0], checker, file, typeRegistry, visiting);
+    if (hasNull) {
+      return {
+        kind: "union",
+        members: [inner, { kind: "primitive", primitiveKind: "null" }]
+      };
+    }
+    return inner;
+  }
+  const members = nonNullTypes.map(
+    (t) => resolveTypeNode(t, checker, file, typeRegistry, visiting)
+  );
+  if (hasNull) {
+    members.push({ kind: "primitive", primitiveKind: "null" });
+  }
+  return { kind: "union", members };
+}
+function resolveArrayType(type, checker, file, typeRegistry, visiting) {
+  const typeArgs = isTypeReference(type) ? type.typeArguments : void 0;
+  const elementType = typeArgs?.[0];
+  const items = elementType ? resolveTypeNode(elementType, checker, file, typeRegistry, visiting) : { kind: "primitive", primitiveKind: "string" };
+  return { kind: "array", items };
+}
+function resolveObjectType(type, checker, file, typeRegistry, visiting) {
+  if (visiting.has(type)) {
+    return { kind: "object", properties: [], additionalProperties: false };
+  }
+  visiting.add(type);
+  const typeName = getNamedTypeName(type);
+  if (typeName && typeName in typeRegistry) {
+    visiting.delete(type);
+    return { kind: "reference", name: typeName, typeArguments: [] };
+  }
+  const properties = [];
+  const fieldInfoMap = getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visiting);
+  for (const prop of type.getProperties()) {
+    const declaration = prop.valueDeclaration ?? prop.declarations?.[0];
+    if (!declaration) continue;
+    const propType = checker.getTypeOfSymbolAtLocation(prop, declaration);
+    const optional = !!(prop.flags & ts4.SymbolFlags.Optional);
+    const propTypeNode = resolveTypeNode(propType, checker, file, typeRegistry, visiting);
+    const fieldNodeInfo = fieldInfoMap?.get(prop.name);
+    properties.push({
+      name: prop.name,
+      type: propTypeNode,
+      optional,
+      constraints: fieldNodeInfo?.constraints ?? [],
+      annotations: fieldNodeInfo?.annotations ?? [],
+      provenance: fieldNodeInfo?.provenance ?? provenanceForFile(file)
+    });
+  }
+  visiting.delete(type);
+  const objectNode = {
+    kind: "object",
+    properties,
+    additionalProperties: false
+  };
+  if (typeName) {
+    typeRegistry[typeName] = {
+      name: typeName,
+      type: objectNode,
+      provenance: provenanceForFile(file)
+    };
+    return { kind: "reference", name: typeName, typeArguments: [] };
+  }
+  return objectNode;
+}
+function getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visiting) {
   const symbols = [type.getSymbol(), type.aliasSymbol].filter(
     (s) => s?.declarations != null && s.declarations.length > 0
   );
   for (const symbol of symbols) {
     const declarations = symbol.declarations;
     if (!declarations) continue;
-    const classDecl = declarations.find(ts5.isClassDeclaration);
+    const classDecl = declarations.find(ts4.isClassDeclaration);
     if (classDecl) {
       const map = /* @__PURE__ */ new Map();
       for (const member of classDecl.members) {
-        if (ts5.isPropertyDeclaration(member) && ts5.isIdentifier(member.name)) {
-          const fieldInfo = analyzeField(member, checker);
-          if (fieldInfo) map.set(fieldInfo.name, fieldInfo);
+        if (ts4.isPropertyDeclaration(member) && ts4.isIdentifier(member.name)) {
+          const fieldNode = analyzeFieldToIR(member, checker, file, typeRegistry, visiting);
+          if (fieldNode) {
+            map.set(fieldNode.name, {
+              constraints: [...fieldNode.constraints],
+              annotations: [...fieldNode.annotations],
+              provenance: fieldNode.provenance
+            });
+          }
         }
       }
       return map;
     }
-    const interfaceDecl = declarations.find(ts5.isInterfaceDeclaration);
+    const interfaceDecl = declarations.find(ts4.isInterfaceDeclaration);
     if (interfaceDecl) {
-      return buildFieldInfoMapFromSignatures(interfaceDecl.members, checker);
+      return buildFieldNodeInfoMap(interfaceDecl.members, checker, file, typeRegistry, visiting);
     }
-    const typeAliasDecl = declarations.find(ts5.isTypeAliasDeclaration);
-    if (typeAliasDecl && ts5.isTypeLiteralNode(typeAliasDecl.type)) {
-      return buildFieldInfoMapFromSignatures(typeAliasDecl.type.members, checker);
+    const typeAliasDecl = declarations.find(ts4.isTypeAliasDeclaration);
+    if (typeAliasDecl && ts4.isTypeLiteralNode(typeAliasDecl.type)) {
+      return buildFieldNodeInfoMap(
+        typeAliasDecl.type.members,
+        checker,
+        file,
+        typeRegistry,
+        visiting
+      );
     }
   }
   return null;
 }
-function buildFieldInfoMapFromSignatures(members, checker) {
+function buildFieldNodeInfoMap(members, checker, file, typeRegistry, visiting) {
   const map = /* @__PURE__ */ new Map();
   for (const member of members) {
-    if (ts5.isPropertySignature(member)) {
-      const fieldInfo = analyzeInterfaceProperty(member, checker);
-      if (fieldInfo) {
-        map.set(fieldInfo.name, fieldInfo);
+    if (ts4.isPropertySignature(member)) {
+      const fieldNode = analyzeInterfacePropertyToIR(member, checker, file, typeRegistry, visiting);
+      if (fieldNode) {
+        map.set(fieldNode.name, {
+          constraints: [...fieldNode.constraints],
+          annotations: [...fieldNode.annotations],
+          provenance: fieldNode.provenance
+        });
       }
     }
   }
   return map;
 }
-function getObjectPropertyInfos(type, checker) {
-  const fieldInfoMap = getNamedTypeFieldInfoMap(type, checker);
-  const result = [];
-  for (const prop of type.getProperties()) {
-    const declaration = prop.valueDeclaration ?? prop.declarations?.[0];
-    if (!declaration) continue;
-    const propType = checker.getTypeOfSymbolAtLocation(prop, declaration);
-    const optional = !!(prop.flags & ts5.SymbolFlags.Optional);
-    const fieldInfo = fieldInfoMap?.get(prop.name) ?? void 0;
-    result.push({ name: prop.name, type: propType, optional, fieldInfo });
-  }
-  return result;
+function extractTypeAliasConstraintNodes(typeNode, checker, file) {
+  if (!ts4.isTypeReferenceNode(typeNode)) return [];
+  const symbol = checker.getSymbolAtLocation(typeNode.typeName);
+  if (!symbol?.declarations) return [];
+  const aliasDecl = symbol.declarations.find(ts4.isTypeAliasDeclaration);
+  if (!aliasDecl) return [];
+  if (ts4.isTypeLiteralNode(aliasDecl.type)) return [];
+  return extractJSDocConstraintNodes(aliasDecl, file);
 }
-function convertType(type, checker) {
-  return convertTypeInternal(type, checker, /* @__PURE__ */ new Set());
+function provenanceForNode(node, file) {
+  const sourceFile = node.getSourceFile();
+  const { line, character } = sourceFile.getLineAndCharacterOfPosition(node.getStart());
+  return {
+    surface: "tsdoc",
+    file,
+    line: line + 1,
+    column: character
+  };
 }
-function convertTypeInternal(type, checker, visiting) {
-  if (type.flags & ts5.TypeFlags.String) {
-    return { jsonSchema: { type: "string" }, formSpecFieldType: "text" };
-  }
-  if (type.flags & ts5.TypeFlags.Number) {
-    return { jsonSchema: { type: "number" }, formSpecFieldType: "number" };
-  }
-  if (type.flags & ts5.TypeFlags.Boolean) {
-    return { jsonSchema: { type: "boolean" }, formSpecFieldType: "boolean" };
-  }
-  if (type.flags & ts5.TypeFlags.Null) {
-    return { jsonSchema: { type: "null" }, formSpecFieldType: "null" };
-  }
-  if (type.flags & ts5.TypeFlags.Undefined) {
-    return { jsonSchema: {}, formSpecFieldType: "undefined" };
+function provenanceForFile(file) {
+  return { surface: "tsdoc", file, line: 0, column: 0 };
+}
+function getNamedTypeName(type) {
+  const symbol = type.getSymbol();
+  if (symbol?.declarations) {
+    const decl = symbol.declarations[0];
+    if (decl && (ts4.isClassDeclaration(decl) || ts4.isInterfaceDeclaration(decl) || ts4.isTypeAliasDeclaration(decl))) {
+      const name = ts4.isClassDeclaration(decl) ? decl.name?.text : decl.name.text;
+      if (name) return name;
+    }
   }
-  if (type.isStringLiteral()) {
-    return {
-      jsonSchema: { const: type.value },
-      formSpecFieldType: "enum"
-    };
+  const aliasSymbol = type.aliasSymbol;
+  if (aliasSymbol?.declarations) {
+    const aliasDecl = aliasSymbol.declarations.find(ts4.isTypeAliasDeclaration);
+    if (aliasDecl) {
+      return aliasDecl.name.text;
+    }
   }
-  if (type.isNumberLiteral()) {
-    return {
-      jsonSchema: { const: type.value },
-      formSpecFieldType: "number"
-    };
+  return null;
+}
+function analyzeMethod(method, checker) {
+  if (!ts4.isIdentifier(method.name)) {
+    return null;
   }
-  if (type.isUnion()) {
-    return convertUnionType(type, checker, visiting);
+  const name = method.name.text;
+  const parameters = [];
+  for (const param of method.parameters) {
+    if (ts4.isIdentifier(param.name)) {
+      const paramInfo = analyzeParameter(param, checker);
+      parameters.push(paramInfo);
+    }
   }
-  if (checker.isArrayType(type)) {
-    return convertArrayType(type, checker, visiting);
+  const returnTypeNode = method.type;
+  const signature = checker.getSignatureFromDeclaration(method);
+  const returnType = signature ? checker.getReturnTypeOfSignature(signature) : checker.getTypeAtLocation(method);
+  return { name, parameters, returnTypeNode, returnType };
+}
+function analyzeParameter(param, checker) {
+  const name = ts4.isIdentifier(param.name) ? param.name.text : "param";
+  const typeNode = param.type;
+  const type = checker.getTypeAtLocation(param);
+  const formSpecExportName = detectFormSpecReference(typeNode);
+  const optional = param.questionToken !== void 0 || param.initializer !== void 0;
+  return { name, typeNode, type, formSpecExportName, optional };
+}
+function detectFormSpecReference(typeNode) {
+  if (!typeNode) return null;
+  if (!ts4.isTypeReferenceNode(typeNode)) return null;
+  const typeName = ts4.isIdentifier(typeNode.typeName) ? typeNode.typeName.text : ts4.isQualifiedName(typeNode.typeName) ? typeNode.typeName.right.text : null;
+  if (typeName !== "InferSchema" && typeName !== "InferFormSchema") return null;
+  const typeArg = typeNode.typeArguments?.[0];
+  if (!typeArg || !ts4.isTypeQueryNode(typeArg)) return null;
+  if (ts4.isIdentifier(typeArg.exprName)) {
+    return typeArg.exprName.text;
   }
-  if (type.flags & ts5.TypeFlags.Object) {
-    return convertObjectType(type, checker, visiting);
+  if (ts4.isQualifiedName(typeArg.exprName)) {
+    return typeArg.exprName.right.text;
   }
-  return { jsonSchema: {}, formSpecFieldType: "unknown" };
+  return null;
 }
-function convertUnionType(type, checker, visiting) {
-  const types = type.types;
-  const nonNullTypes = types.filter(
-    (t) => !(t.flags & (ts5.TypeFlags.Null | ts5.TypeFlags.Undefined))
-  );
-  const hasNull = types.some((t) => t.flags & ts5.TypeFlags.Null);
-  const isBooleanUnion = nonNullTypes.length === 2 && nonNullTypes.every((t) => t.flags & ts5.TypeFlags.BooleanLiteral);
-  if (isBooleanUnion) {
-    const result = {
-      jsonSchema: { type: "boolean" },
-      formSpecFieldType: "boolean"
-    };
-    if (hasNull) {
-      result.jsonSchema = { oneOf: [{ type: "boolean" }, { type: "null" }] };
-    }
-    return result;
+
+// src/json-schema/ir-generator.ts
+function makeContext() {
+  return { defs: {} };
+}
+function generateJsonSchemaFromIR(ir) {
+  const ctx = makeContext();
+  for (const [name, typeDef] of Object.entries(ir.typeRegistry)) {
+    ctx.defs[name] = generateTypeNode(typeDef.type, ctx);
   }
-  const allStringLiterals = nonNullTypes.every((t) => t.isStringLiteral());
-  if (allStringLiterals && nonNullTypes.length > 0) {
-    const enumValues = nonNullTypes.map((t) => t.value);
-    const result = {
-      jsonSchema: { enum: enumValues },
-      formSpecFieldType: "enum"
-    };
-    if (hasNull) {
-      result.jsonSchema = { oneOf: [{ enum: enumValues }, { type: "null" }] };
-    }
-    return result;
+  const properties = {};
+  const required = [];
+  collectFields(ir.elements, properties, required, ctx);
+  const uniqueRequired = [...new Set(required)];
+  const result = {
+    $schema: "https://json-schema.org/draft/2020-12/schema",
+    type: "object",
+    properties,
+    ...uniqueRequired.length > 0 && { required: uniqueRequired }
+  };
+  if (Object.keys(ctx.defs).length > 0) {
+    result.$defs = ctx.defs;
   }
-  const allNumberLiterals = nonNullTypes.every((t) => t.isNumberLiteral());
-  if (allNumberLiterals && nonNullTypes.length > 0) {
-    const enumValues = nonNullTypes.map((t) => t.value);
-    const result = {
-      jsonSchema: { enum: enumValues },
-      formSpecFieldType: "enum"
-    };
-    if (hasNull) {
-      result.jsonSchema = { oneOf: [{ enum: enumValues }, { type: "null" }] };
+  return result;
+}
+function collectFields(elements, properties, required, ctx) {
+  for (const element of elements) {
+    switch (element.kind) {
+      case "field":
+        properties[element.name] = generateFieldSchema(element, ctx);
+        if (element.required) {
+          required.push(element.name);
+        }
+        break;
+      case "group":
+        collectFields(element.elements, properties, required, ctx);
+        break;
+      case "conditional":
+        collectFields(element.elements, properties, required, ctx);
+        break;
+      default: {
+        const _exhaustive = element;
+        void _exhaustive;
+      }
     }
-    return result;
   }
-  if (nonNullTypes.length === 1 && nonNullTypes[0]) {
-    const result = convertTypeInternal(nonNullTypes[0], checker, visiting);
-    if (hasNull) {
-      result.jsonSchema = { oneOf: [result.jsonSchema, { type: "null" }] };
+}
+function generateFieldSchema(field, ctx) {
+  const schema = generateTypeNode(field.type, ctx);
+  applyConstraints(schema, field.constraints);
+  applyAnnotations(schema, field.annotations);
+  return schema;
+}
+function generateTypeNode(type, ctx) {
+  switch (type.kind) {
+    case "primitive":
+      return generatePrimitiveType(type);
+    case "enum":
+      return generateEnumType(type);
+    case "array":
+      return generateArrayType(type, ctx);
+    case "object":
+      return generateObjectType(type, ctx);
+    case "union":
+      return generateUnionType(type, ctx);
+    case "reference":
+      return generateReferenceType(type);
+    case "dynamic":
+      return generateDynamicType(type);
+    case "custom":
+      return generateCustomType(type);
+    default: {
+      const _exhaustive = type;
+      return _exhaustive;
     }
-    return result;
   }
-  const schemas = nonNullTypes.map((t) => convertTypeInternal(t, checker, visiting).jsonSchema);
-  if (hasNull) {
-    schemas.push({ type: "null" });
+}
+function generatePrimitiveType(type) {
+  return { type: type.primitiveKind };
+}
+function generateEnumType(type) {
+  const hasDisplayNames = type.members.some((m) => m.displayName !== void 0);
+  if (hasDisplayNames) {
+    return {
+      oneOf: type.members.map((m) => {
+        const entry = { const: m.value };
+        if (m.displayName !== void 0) {
+          entry.title = m.displayName;
+        }
+        return entry;
+      })
+    };
   }
-  return {
-    jsonSchema: { oneOf: schemas },
-    formSpecFieldType: "union"
-  };
+  return { enum: type.members.map((m) => m.value) };
 }
-function convertArrayType(type, checker, visiting) {
-  const typeArgs = type.typeArguments;
-  const elementType = typeArgs?.[0];
-  const itemSchema = elementType ? convertTypeInternal(elementType, checker, visiting).jsonSchema : {};
+function generateArrayType(type, ctx) {
   return {
-    jsonSchema: {
-      type: "array",
-      items: itemSchema
-    },
-    formSpecFieldType: "array"
+    type: "array",
+    items: generateTypeNode(type.items, ctx)
   };
 }
-function convertObjectType(type, checker, visiting) {
-  if (visiting.has(type)) {
-    return { jsonSchema: { type: "object" }, formSpecFieldType: "object" };
-  }
-  visiting.add(type);
+function generateObjectType(type, ctx) {
   const properties = {};
   const required = [];
-  for (const propInfo of getObjectPropertyInfos(type, checker)) {
-    const propSchema = convertTypeInternal(propInfo.type, checker, visiting).jsonSchema;
-    properties[propInfo.name] = propInfo.fieldInfo ? applyDecoratorsToSchema(propSchema, propInfo.fieldInfo.decorators, propInfo.fieldInfo) : propSchema;
-    if (!propInfo.optional) {
-      required.push(propInfo.name);
+  for (const prop of type.properties) {
+    properties[prop.name] = generatePropertySchema(prop, ctx);
+    if (!prop.optional) {
+      required.push(prop.name);
     }
   }
-  visiting.delete(type);
+  const schema = { type: "object", properties };
+  if (required.length > 0) {
+    schema.required = required;
+  }
+  if (!type.additionalProperties) {
+    schema.additionalProperties = false;
+  }
+  return schema;
+}
+function generatePropertySchema(prop, ctx) {
+  const schema = generateTypeNode(prop.type, ctx);
+  applyConstraints(schema, prop.constraints);
+  applyAnnotations(schema, prop.annotations);
+  return schema;
+}
+function generateUnionType(type, ctx) {
+  if (isBooleanUnion(type)) {
+    return { type: "boolean" };
+  }
   return {
-    jsonSchema: {
-      type: "object",
-      properties,
-      ...required.length > 0 ? { required } : {}
-    },
-    formSpecFieldType: "object"
+    anyOf: type.members.map((m) => generateTypeNode(m, ctx))
   };
 }
-function createFormSpecField(fieldName, type, decorators, optional, checker, visitedTypes = /* @__PURE__ */ new Set()) {
-  const { formSpecFieldType } = convertType(type, checker);
-  const field = {
-    _field: formSpecFieldType,
-    id: fieldName
-  };
-  if (!optional) {
-    field.required = true;
-  }
-  if (formSpecFieldType === "object" && type.flags & ts5.TypeFlags.Object) {
-    if (!visitedTypes.has(type)) {
-      visitedTypes.add(type);
-      const nestedFields = [];
-      for (const propInfo of getObjectPropertyInfos(type, checker)) {
-        nestedFields.push(
-          createFormSpecField(
-            propInfo.name,
-            propInfo.type,
-            propInfo.fieldInfo?.decorators ?? [],
-            propInfo.optional,
-            checker,
-            visitedTypes
-          )
-        );
-      }
-      visitedTypes.delete(type);
-      if (nestedFields.length > 0) {
-        field.fields = nestedFields;
-      }
-    }
-  }
-  for (const dec of decorators) {
-    applyDecoratorToField(field, dec);
-  }
-  return field;
-}
-function applyDecoratorToField(field, decorator) {
-  const { args } = decorator;
-  const resolved = decorator.resolved;
-  const effectiveName = resolved?.extendsBuiltin ?? decorator.name;
-  switch (effectiveName) {
-    case "Field": {
-      const opts = args[0];
-      if (typeof opts === "object" && opts !== null && !Array.isArray(opts)) {
-        if (typeof opts["displayName"] === "string") {
-          field.label = opts["displayName"];
-        }
-        if (typeof opts["description"] === "string") {
-          field.description = opts["description"];
-        }
-        if (typeof opts["placeholder"] === "string") {
-          field.placeholder = opts["placeholder"];
-        }
-      }
-      break;
+function isBooleanUnion(type) {
+  if (type.members.length !== 2) return false;
+  const kinds = type.members.map((m) => m.kind);
+  return kinds.every((k) => k === "primitive") && type.members.every((m) => m.kind === "primitive" && m.primitiveKind === "boolean");
+}
+function generateReferenceType(type) {
+  return { $ref: `#/$defs/${type.name}` };
+}
+function generateDynamicType(type) {
+  if (type.dynamicKind === "enum") {
+    const schema = {
+      type: "string",
+      "x-formspec-source": type.sourceKey
+    };
+    if (type.parameterFields.length > 0) {
+      schema["x-formspec-params"] = [...type.parameterFields];
     }
-    case "Minimum":
-      if (typeof args[0] === "number") {
-        field.min = args[0];
-      }
-      break;
-    case "Maximum":
-      if (typeof args[0] === "number") {
-        field.max = args[0];
-      }
-      break;
-    case "MinLength":
-      if (typeof args[0] === "number") {
-        field.minLength = args[0];
-      }
-      break;
-    case "MaxLength":
-      if (typeof args[0] === "number") {
-        field.maxLength = args[0];
-      }
-      break;
-    case "Pattern":
-      if (typeof args[0] === "string") {
-        field.pattern = args[0];
-      }
-      break;
-    case "EnumOptions":
-      if (Array.isArray(args[0])) {
-        field.options = args[0];
-      }
-      break;
-    case "ShowWhen":
-      if (typeof args[0] === "object" && args[0] !== null) {
-        field.showWhen = args[0];
-      }
-      break;
-    case "Group":
-      if (typeof args[0] === "string") {
-        field.group = args[0];
-      }
-      break;
+    return schema;
   }
+  return {
+    type: "object",
+    additionalProperties: true,
+    "x-formspec-schemaSource": type.sourceKey
+  };
 }
-function applyDecoratorsToSchema(schema, decorators, fieldInfo) {
-  const result = { ...schema };
-  for (const dec of decorators) {
-    const { args } = dec;
-    const resolved = dec.resolved;
-    const effectiveName = resolved?.extendsBuiltin ?? dec.name;
-    switch (effectiveName) {
-      case "Field": {
-        const opts = args[0];
-        if (typeof opts === "object" && opts !== null && !Array.isArray(opts)) {
-          if (typeof opts["displayName"] === "string") {
-            result.title = opts["displayName"];
-          }
-          if (typeof opts["description"] === "string") {
-            result.description = opts["description"];
-          }
+function generateCustomType(_type) {
+  return { type: "object" };
+}
+function applyConstraints(schema, constraints) {
+  for (const constraint of constraints) {
+    switch (constraint.constraintKind) {
+      case "minimum":
+        schema.minimum = constraint.value;
+        break;
+      case "maximum":
+        schema.maximum = constraint.value;
+        break;
+      case "exclusiveMinimum":
+        schema.exclusiveMinimum = constraint.value;
+        break;
+      case "exclusiveMaximum":
+        schema.exclusiveMaximum = constraint.value;
+        break;
+      case "multipleOf": {
+        const { value } = constraint;
+        if (value === 1 && schema.type === "number") {
+          schema.type = "integer";
+        } else {
+          schema.multipleOf = value;
         }
         break;
       }
-      case "Minimum":
-        if (typeof args[0] === "number") {
-          result.minimum = args[0];
-        }
+      case "minLength":
+        schema.minLength = constraint.value;
         break;
-      case "Maximum":
-        if (typeof args[0] === "number") {
-          result.maximum = args[0];
-        }
+      case "maxLength":
+        schema.maxLength = constraint.value;
         break;
-      case "ExclusiveMinimum":
-        if (typeof args[0] === "number") {
-          result.exclusiveMinimum = args[0];
-        }
+      case "minItems":
+        schema.minItems = constraint.value;
         break;
-      case "ExclusiveMaximum":
-        if (typeof args[0] === "number") {
-          result.exclusiveMaximum = args[0];
-        }
+      case "maxItems":
+        schema.maxItems = constraint.value;
         break;
-      case "MinLength":
-        if (typeof args[0] === "number") {
-          result.minLength = args[0];
-        }
+      case "pattern":
+        schema.pattern = constraint.pattern;
         break;
-      case "MaxLength":
-        if (typeof args[0] === "number") {
-          result.maxLength = args[0];
-        }
+      case "uniqueItems":
+        schema.uniqueItems = constraint.value;
         break;
-      case "Pattern":
-        if (typeof args[0] === "string") {
-          result.pattern = args[0];
-        }
+      case "allowedMembers":
         break;
-    }
-    if (resolved?.extensionName && /^[a-z][a-z0-9-]*$/.test(resolved.extensionName)) {
-      const key = `x-formspec-${resolved.extensionName}`;
-      if (resolved.isMarker) {
-        setSchemaExtension(result, key, true);
-      } else {
-        setSchemaExtension(result, key, args[0] ?? true);
+      case "custom":
+        break;
+      default: {
+        const _exhaustive = constraint;
+        void _exhaustive;
       }
     }
   }
-  if (fieldInfo) {
-    if (fieldInfo.deprecated) {
-      result.deprecated = true;
-    }
-    if (fieldInfo.defaultValue !== void 0) {
-      result.default = fieldInfo.defaultValue;
+}
+function applyAnnotations(schema, annotations) {
+  for (const annotation of annotations) {
+    switch (annotation.annotationKind) {
+      case "displayName":
+        schema.title = annotation.value;
+        break;
+      case "description":
+        schema.description = annotation.value;
+        break;
+      case "defaultValue":
+        schema.default = annotation.value;
+        break;
+      case "deprecated":
+        schema.deprecated = true;
+        break;
+      case "placeholder":
+        break;
+      case "formatHint":
+        break;
+      case "custom":
+        break;
+      default: {
+        const _exhaustive = annotation;
+        void _exhaustive;
+      }
     }
   }
-  return result;
 }
 
 // src/ui-schema/schema.ts
@@ -1153,7 +1541,7 @@ var uiSchema = import_zod.z.lazy(
   () => import_zod.z.union([verticalLayoutSchema, horizontalLayoutSchema, groupLayoutSchema, categorizationSchema])
 );
 
-// src/ui-schema/generator.ts
+// src/ui-schema/ir-generator.ts
 var import_zod2 = require("zod");
 function parseOrThrow(schema, value, label) {
   try {
@@ -1168,101 +1556,488 @@ ${error.issues.map((i) => `  ${i.path.join(".")}: ${i.message}`).join("\n")}`
     throw error;
   }
 }
-function formSpecFieldToElement(field, scopePrefix = "#/properties") {
+function fieldToScope(fieldName) {
+  return `#/properties/${fieldName}`;
+}
+function createShowRule(fieldName, value) {
+  return {
+    effect: "SHOW",
+    condition: {
+      scope: fieldToScope(fieldName),
+      schema: { const: value }
+    }
+  };
+}
+function combineRules(parentRule, childRule) {
+  const parentCondition = parentRule.condition;
+  const childCondition = childRule.condition;
+  return {
+    effect: "SHOW",
+    condition: {
+      scope: "#",
+      schema: {
+        allOf: [
+          {
+            properties: {
+              [parentCondition.scope.replace("#/properties/", "")]: parentCondition.schema
+            }
+          },
+          {
+            properties: {
+              [childCondition.scope.replace("#/properties/", "")]: childCondition.schema
+            }
+          }
+        ]
+      }
+    }
+  };
+}
+function fieldNodeToControl(field, parentRule) {
+  const displayNameAnnotation = field.annotations.find((a) => a.annotationKind === "displayName");
   const control = {
     type: "Control",
-    scope: `${scopePrefix}/${field.id}`
+    scope: fieldToScope(field.name),
+    ...displayNameAnnotation !== void 0 && { label: displayNameAnnotation.value },
+    ...parentRule !== void 0 && { rule: parentRule }
   };
-  if (field.label !== void 0) {
-    control.label = field.label;
-  }
-  if (field.showWhen !== void 0 && typeof field.showWhen === "object" && "field" in field.showWhen && "value" in field.showWhen) {
-    const sw = field.showWhen;
-    control.rule = {
-      effect: "SHOW",
-      condition: {
-        scope: `#/properties/${sw.field}`,
-        schema: { const: sw.value }
-      }
-    };
-  }
   return control;
 }
-function generateUiSchemaFromFields(fields) {
-  const groupMap = /* @__PURE__ */ new Map();
-  const orderedKeys = [];
-  const ungrouped = [];
-  for (const field of fields) {
-    const element = formSpecFieldToElement(field);
-    if (field.group !== void 0) {
-      if (!groupMap.has(field.group)) {
-        groupMap.set(field.group, []);
-        orderedKeys.push(field.group);
+function groupNodeToLayout(group, parentRule) {
+  return {
+    type: "Group",
+    label: group.label,
+    elements: irElementsToUiSchema(group.elements, parentRule),
+    ...parentRule !== void 0 && { rule: parentRule }
+  };
+}
+function irElementsToUiSchema(elements, parentRule) {
+  const result = [];
+  for (const element of elements) {
+    switch (element.kind) {
+      case "field": {
+        result.push(fieldNodeToControl(element, parentRule));
+        break;
       }
-      groupMap.get(field.group).push(element);
-    } else {
-      orderedKeys.push(null);
-      ungrouped.push(element);
-    }
-  }
-  const elements = [];
-  let ungroupedIndex = 0;
-  for (const key of orderedKeys) {
-    if (key === null) {
-      const el = ungrouped[ungroupedIndex++];
-      if (el !== void 0) {
-        elements.push(el);
+      case "group": {
+        result.push(groupNodeToLayout(element, parentRule));
+        break;
+      }
+      case "conditional": {
+        const newRule = createShowRule(element.fieldName, element.value);
+        const combinedRule = parentRule !== void 0 ? combineRules(parentRule, newRule) : newRule;
+        const childElements = irElementsToUiSchema(element.elements, combinedRule);
+        result.push(...childElements);
+        break;
+      }
+      default: {
+        const _exhaustive = element;
+        void _exhaustive;
+        throw new Error("Unhandled IR element kind");
       }
-    } else {
-      const groupElements = groupMap.get(key) ?? [];
-      const groupLayout = {
-        type: "Group",
-        label: key,
-        elements: groupElements
-      };
-      elements.push(groupLayout);
     }
   }
+  return result;
+}
+function generateUiSchemaFromIR(ir) {
   const result = {
     type: "VerticalLayout",
-    elements
+    elements: irElementsToUiSchema(ir.elements)
   };
   return parseOrThrow(uiSchema, result, "UI Schema");
 }
 
 // src/generators/class-schema.ts
-function generateClassSchemas(analysis, checker) {
-  const properties = {};
-  const required = [];
-  const uiElements = [];
-  for (const field of analysis.fields) {
-    const { jsonSchema: baseSchema } = convertType(field.type, checker);
-    const fieldSchema = applyDecoratorsToSchema(baseSchema, field.decorators, field);
-    properties[field.name] = fieldSchema;
-    if (!field.optional) {
-      required.push(field.name);
+function generateClassSchemas(analysis, source) {
+  const ir = canonicalizeTSDoc(analysis, source);
+  return {
+    jsonSchema: generateJsonSchemaFromIR(ir),
+    uiSchema: generateUiSchemaFromIR(ir)
+  };
+}
+
+// src/validate/constraint-validator.ts
+function makeCode(ctx, category, number) {
+  return `${ctx.vendorPrefix}-${category}-${String(number).padStart(3, "0")}`;
+}
+function addContradiction(ctx, message, primary, related) {
+  ctx.diagnostics.push({
+    code: makeCode(ctx, "CONTRADICTION", 1),
+    message,
+    severity: "error",
+    primaryLocation: primary,
+    relatedLocations: [related]
+  });
+}
+function addTypeMismatch(ctx, message, primary) {
+  ctx.diagnostics.push({
+    code: makeCode(ctx, "TYPE_MISMATCH", 1),
+    message,
+    severity: "error",
+    primaryLocation: primary,
+    relatedLocations: []
+  });
+}
+function addUnknownExtension(ctx, message, primary) {
+  ctx.diagnostics.push({
+    code: makeCode(ctx, "UNKNOWN_EXTENSION", 1),
+    message,
+    severity: "warning",
+    primaryLocation: primary,
+    relatedLocations: []
+  });
+}
+function findNumeric(constraints, constraintKind) {
+  return constraints.find(
+    (c) => c.constraintKind === constraintKind
+  );
+}
+function findLength(constraints, constraintKind) {
+  return constraints.find(
+    (c) => c.constraintKind === constraintKind
+  );
+}
+function findAllowedMembers(constraints) {
+  return constraints.filter(
+    (c) => c.constraintKind === "allowedMembers"
+  );
+}
+function checkNumericContradictions(ctx, fieldName, constraints) {
+  const min = findNumeric(constraints, "minimum");
+  const max = findNumeric(constraints, "maximum");
+  const exMin = findNumeric(constraints, "exclusiveMinimum");
+  const exMax = findNumeric(constraints, "exclusiveMaximum");
+  if (min !== void 0 && max !== void 0 && min.value > max.value) {
+    addContradiction(
+      ctx,
+      `Field "${fieldName}": minimum (${String(min.value)}) is greater than maximum (${String(max.value)})`,
+      min.provenance,
+      max.provenance
+    );
+  }
+  if (exMin !== void 0 && max !== void 0 && exMin.value >= max.value) {
+    addContradiction(
+      ctx,
+      `Field "${fieldName}": exclusiveMinimum (${String(exMin.value)}) is greater than or equal to maximum (${String(max.value)})`,
+      exMin.provenance,
+      max.provenance
+    );
+  }
+  if (min !== void 0 && exMax !== void 0 && min.value >= exMax.value) {
+    addContradiction(
+      ctx,
+      `Field "${fieldName}": minimum (${String(min.value)}) is greater than or equal to exclusiveMaximum (${String(exMax.value)})`,
+      min.provenance,
+      exMax.provenance
+    );
+  }
+  if (exMin !== void 0 && exMax !== void 0 && exMin.value >= exMax.value) {
+    addContradiction(
+      ctx,
+      `Field "${fieldName}": exclusiveMinimum (${String(exMin.value)}) is greater than or equal to exclusiveMaximum (${String(exMax.value)})`,
+      exMin.provenance,
+      exMax.provenance
+    );
+  }
+}
+function checkLengthContradictions(ctx, fieldName, constraints) {
+  const minLen = findLength(constraints, "minLength");
+  const maxLen = findLength(constraints, "maxLength");
+  if (minLen !== void 0 && maxLen !== void 0 && minLen.value > maxLen.value) {
+    addContradiction(
+      ctx,
+      `Field "${fieldName}": minLength (${String(minLen.value)}) is greater than maxLength (${String(maxLen.value)})`,
+      minLen.provenance,
+      maxLen.provenance
+    );
+  }
+  const minItems = findLength(constraints, "minItems");
+  const maxItems = findLength(constraints, "maxItems");
+  if (minItems !== void 0 && maxItems !== void 0 && minItems.value > maxItems.value) {
+    addContradiction(
+      ctx,
+      `Field "${fieldName}": minItems (${String(minItems.value)}) is greater than maxItems (${String(maxItems.value)})`,
+      minItems.provenance,
+      maxItems.provenance
+    );
+  }
+}
+function checkAllowedMembersContradiction(ctx, fieldName, constraints) {
+  const members = findAllowedMembers(constraints);
+  if (members.length < 2) return;
+  const firstSet = new Set(members[0]?.members ?? []);
+  for (let i = 1; i < members.length; i++) {
+    const current = members[i];
+    if (current === void 0) continue;
+    for (const m of firstSet) {
+      if (!current.members.includes(m)) {
+        firstSet.delete(m);
+      }
+    }
+  }
+  if (firstSet.size === 0) {
+    const first = members[0];
+    const second = members[1];
+    if (first !== void 0 && second !== void 0) {
+      addContradiction(
+        ctx,
+        `Field "${fieldName}": allowedMembers constraints have an empty intersection (no valid values remain)`,
+        first.provenance,
+        second.provenance
+      );
+    }
+  }
+}
+function typeLabel(type) {
+  switch (type.kind) {
+    case "primitive":
+      return type.primitiveKind;
+    case "enum":
+      return "enum";
+    case "array":
+      return "array";
+    case "object":
+      return "object";
+    case "union":
+      return "union";
+    case "reference":
+      return `reference(${type.name})`;
+    case "dynamic":
+      return `dynamic(${type.dynamicKind})`;
+    case "custom":
+      return `custom(${type.typeId})`;
+    default: {
+      const _exhaustive = type;
+      return String(_exhaustive);
+    }
+  }
+}
+function checkTypeApplicability(ctx, fieldName, type, constraints) {
+  const isNumber = type.kind === "primitive" && type.primitiveKind === "number";
+  const isString = type.kind === "primitive" && type.primitiveKind === "string";
+  const isArray = type.kind === "array";
+  const isEnum = type.kind === "enum";
+  const label = typeLabel(type);
+  for (const constraint of constraints) {
+    const ck = constraint.constraintKind;
+    switch (ck) {
+      case "minimum":
+      case "maximum":
+      case "exclusiveMinimum":
+      case "exclusiveMaximum":
+      case "multipleOf": {
+        if (!isNumber) {
+          addTypeMismatch(
+            ctx,
+            `Field "${fieldName}": constraint "${ck}" is only valid on number fields, but field type is "${label}"`,
+            constraint.provenance
+          );
+        }
+        break;
+      }
+      case "minLength":
+      case "maxLength":
+      case "pattern": {
+        if (!isString) {
+          addTypeMismatch(
+            ctx,
+            `Field "${fieldName}": constraint "${ck}" is only valid on string fields, but field type is "${label}"`,
+            constraint.provenance
+          );
+        }
+        break;
+      }
+      case "minItems":
+      case "maxItems":
+      case "uniqueItems": {
+        if (!isArray) {
+          addTypeMismatch(
+            ctx,
+            `Field "${fieldName}": constraint "${ck}" is only valid on array fields, but field type is "${label}"`,
+            constraint.provenance
+          );
+        }
+        break;
+      }
+      case "allowedMembers": {
+        if (!isEnum) {
+          addTypeMismatch(
+            ctx,
+            `Field "${fieldName}": constraint "allowedMembers" is only valid on enum fields, but field type is "${label}"`,
+            constraint.provenance
+          );
+        }
+        break;
+      }
+      case "custom": {
+        checkCustomConstraint(ctx, fieldName, type, constraint);
+        break;
+      }
+      default: {
+        const _exhaustive = constraint;
+        throw new Error(
+          `Unhandled constraint kind: ${_exhaustive.constraintKind}`
+        );
+      }
     }
-    const formSpecField = createFormSpecField(
-      field.name,
-      field.type,
-      field.decorators,
-      field.optional,
-      checker
+  }
+}
+function checkCustomConstraint(ctx, fieldName, type, constraint) {
+  if (ctx.extensionRegistry === void 0) return;
+  const registration = ctx.extensionRegistry.findConstraint(constraint.constraintId);
+  if (registration === void 0) {
+    addUnknownExtension(
+      ctx,
+      `Field "${fieldName}": custom constraint "${constraint.constraintId}" is not registered in the extension registry`,
+      constraint.provenance
+    );
+    return;
+  }
+  if (registration.applicableTypes === null) return;
+  if (!registration.applicableTypes.includes(type.kind)) {
+    addTypeMismatch(
+      ctx,
+      `Field "${fieldName}": custom constraint "${constraint.constraintId}" is not applicable to type "${typeLabel(type)}"`,
+      constraint.provenance
     );
-    uiElements.push(formSpecField);
   }
-  const jsonSchema = {
-    type: "object",
-    properties,
-    ...required.length > 0 ? { required } : {}
+}
+function validateFieldNode(ctx, field) {
+  validateConstraints(ctx, field.name, field.type, field.constraints);
+  if (field.type.kind === "object") {
+    for (const prop of field.type.properties) {
+      validateObjectProperty(ctx, field.name, prop);
+    }
+  }
+}
+function validateObjectProperty(ctx, parentName, prop) {
+  const qualifiedName = `${parentName}.${prop.name}`;
+  validateConstraints(ctx, qualifiedName, prop.type, prop.constraints);
+  if (prop.type.kind === "object") {
+    for (const nestedProp of prop.type.properties) {
+      validateObjectProperty(ctx, qualifiedName, nestedProp);
+    }
+  }
+}
+function validateConstraints(ctx, name, type, constraints) {
+  checkNumericContradictions(ctx, name, constraints);
+  checkLengthContradictions(ctx, name, constraints);
+  checkAllowedMembersContradiction(ctx, name, constraints);
+  checkTypeApplicability(ctx, name, type, constraints);
+}
+function validateElement(ctx, element) {
+  switch (element.kind) {
+    case "field":
+      validateFieldNode(ctx, element);
+      break;
+    case "group":
+      for (const child of element.elements) {
+        validateElement(ctx, child);
+      }
+      break;
+    case "conditional":
+      for (const child of element.elements) {
+        validateElement(ctx, child);
+      }
+      break;
+    default: {
+      const _exhaustive = element;
+      throw new Error(`Unhandled element kind: ${_exhaustive.kind}`);
+    }
+  }
+}
+function validateIR(ir, options) {
+  const ctx = {
+    diagnostics: [],
+    vendorPrefix: options?.vendorPrefix ?? "FORMSPEC",
+    extensionRegistry: options?.extensionRegistry
+  };
+  for (const element of ir.elements) {
+    validateElement(ctx, element);
+  }
+  return {
+    diagnostics: ctx.diagnostics,
+    valid: ctx.diagnostics.every((d) => d.severity !== "error")
+  };
+}
+
+// src/extensions/registry.ts
+function createExtensionRegistry(extensions) {
+  const typeMap = /* @__PURE__ */ new Map();
+  const constraintMap = /* @__PURE__ */ new Map();
+  const annotationMap = /* @__PURE__ */ new Map();
+  for (const ext of extensions) {
+    if (ext.types !== void 0) {
+      for (const type of ext.types) {
+        const qualifiedId = `${ext.extensionId}/${type.typeName}`;
+        if (typeMap.has(qualifiedId)) {
+          throw new Error(`Duplicate custom type ID: "${qualifiedId}"`);
+        }
+        typeMap.set(qualifiedId, type);
+      }
+    }
+    if (ext.constraints !== void 0) {
+      for (const constraint of ext.constraints) {
+        const qualifiedId = `${ext.extensionId}/${constraint.constraintName}`;
+        if (constraintMap.has(qualifiedId)) {
+          throw new Error(`Duplicate custom constraint ID: "${qualifiedId}"`);
+        }
+        constraintMap.set(qualifiedId, constraint);
+      }
+    }
+    if (ext.annotations !== void 0) {
+      for (const annotation of ext.annotations) {
+        const qualifiedId = `${ext.extensionId}/${annotation.annotationName}`;
+        if (annotationMap.has(qualifiedId)) {
+          throw new Error(`Duplicate custom annotation ID: "${qualifiedId}"`);
+        }
+        annotationMap.set(qualifiedId, annotation);
+      }
+    }
+  }
+  return {
+    extensions,
+    findType: (typeId) => typeMap.get(typeId),
+    findConstraint: (constraintId) => constraintMap.get(constraintId),
+    findAnnotation: (annotationId) => annotationMap.get(annotationId)
   };
-  const uiSchema2 = generateUiSchemaFromFields(uiElements);
-  return { jsonSchema, uiSchema: uiSchema2 };
 }
 
 // src/generators/method-schema.ts
+var import_core5 = require("@formspec/core");
+function typeToJsonSchema(type, checker) {
+  const typeRegistry = {};
+  const visiting = /* @__PURE__ */ new Set();
+  const typeNode = resolveTypeNode(type, checker, "", typeRegistry, visiting);
+  const fieldProvenance = { surface: "tsdoc", file: "", line: 0, column: 0 };
+  const ir = {
+    kind: "form-ir",
+    irVersion: import_core5.IR_VERSION,
+    elements: [
+      {
+        kind: "field",
+        name: "__result",
+        type: typeNode,
+        required: true,
+        constraints: [],
+        annotations: [],
+        provenance: fieldProvenance
+      }
+    ],
+    typeRegistry,
+    provenance: fieldProvenance
+  };
+  const schema = generateJsonSchemaFromIR(ir);
+  const fieldSchema = schema.properties?.["__result"];
+  if (fieldSchema) {
+    if (schema.$defs && Object.keys(schema.$defs).length > 0) {
+      return { ...fieldSchema, $defs: schema.$defs };
+    }
+    return fieldSchema;
+  }
+  return { type: "object" };
+}
 function generateMethodSchemas(method, checker, loadedFormSpecs) {
-  const returnType = convertType(method.returnType, checker).jsonSchema;
+  const returnType = typeToJsonSchema(method.returnType, checker);
   const params = generateParamsSchemas(method.parameters, checker, loadedFormSpecs);
   return {
     name: method.name,
@@ -1291,7 +2066,7 @@ function generateParamsSchemas(parameters, checker, loadedFormSpecs) {
   }
   if (parameters.length === 1 && parameters[0]) {
     const param = parameters[0];
-    const jsonSchema = convertType(param.type, checker).jsonSchema;
+    const jsonSchema = typeToJsonSchema(param.type, checker);
     return {
       jsonSchema,
       uiSchema: null,
@@ -1301,7 +2076,7 @@ function generateParamsSchemas(parameters, checker, loadedFormSpecs) {
   const properties = {};
   const required = [];
   for (const param of parameters) {
-    const paramSchema = convertType(param.type, checker).jsonSchema;
+    const paramSchema = typeToJsonSchema(param.type, checker);
     properties[param.name] = paramSchema;
     if (!param.optional) {
       required.push(param.name);
@@ -1330,16 +2105,21 @@ function collectFormSpecReferences(methods) {
 }
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
-  analyzeClass,
-  analyzeInterface,
-  analyzeTypeAlias,
+  analyzeClassToIR,
+  analyzeInterfaceToIR,
+  analyzeTypeAliasToIR,
+  canonicalizeChainDSL,
+  canonicalizeTSDoc,
   collectFormSpecReferences,
+  createExtensionRegistry,
   createProgramContext,
   findClassByName,
   findInterfaceByName,
   findTypeAliasByName,
   generateClassSchemas,
+  generateJsonSchemaFromIR,
   generateMethodSchemas,
-  generateUiSchemaFromFields
+  generateUiSchemaFromIR,
+  validateIR
 });
 //# sourceMappingURL=internals.cjs.map