@formspec/build 0.1.0-alpha.16 → 0.1.0-alpha.19

package/README.md

@@ -1,173 +1,119 @@
 # @formspec/build
 
-Build tools to compile FormSpec forms into JSON Schema and JSON Forms UI Schema.
+Build-time schema generation for FormSpec.
 
-## Installation
+This package covers:
+
+- Chain DSL to JSON Schema / UI Schema compilation
+- Static analysis of TypeScript classes, interfaces, and type aliases with TSDoc tags
+- Canonical IR generation and validation
+- Extension-aware schema generation with custom vendor keywords
+
+## Install
 
 ```bash
-npm install @formspec/build
-# or
 pnpm add @formspec/build
 ```
 
-> **Note:** Most users should install the `formspec` umbrella package instead, which re-exports everything from this package.
+Most app code can use `formspec`, but use `@formspec/build` directly when you need static analysis or lower-level generation APIs.
 
-## Requirements
+## Public Entry Points
 
-This package is ESM-only and requires:
+| Entry point                 | Purpose                                |
+| --------------------------- | -------------------------------------- |
+| `@formspec/build`           | Public build APIs                      |
+| `@formspec/build/browser`   | Browser-safe schema generation surface |
+| `@formspec/build/internals` | Unstable internal APIs used by the CLI |
 
-```json
-// package.json
-{
-  "type": "module"
-}
-```
+## Chain DSL Generation
 
-```json
-// tsconfig.json
-{
-  "compilerOptions": {
-    "module": "NodeNext",
-    "moduleResolution": "NodeNext"
-  }
-}
-```
+```ts
+import { buildFormSchemas } from "@formspec/build";
+import { field, formspec } from "@formspec/dsl";
 
-## Usage
+const form = formspec(
+  field.text("name", { required: true }),
+  field.enum("status", ["draft", "published"] as const)
+);
 
-### Generate Schemas in Memory
+const { jsonSchema, uiSchema } = buildFormSchemas(form);
+```
 
-```typescript
-import { buildFormSchemas } from "@formspec/build";
-import { formspec, field, group } from "@formspec/dsl";
+## Static Analysis
 
-const ContactForm = formspec(
-  field.text("name", { label: "Name", required: true }),
-  field.text("email", { label: "Email", required: true }),
-  field.enum("subject", ["General", "Support", "Sales"])
-);
+`generateSchemas()` is the main entry point for TSDoc-backed generation.
 
-const { jsonSchema, uiSchema } = buildFormSchemas(ContactForm);
+```ts
+import { generateSchemas } from "@formspec/build";
 
-// Use with JSON Forms renderer
-// <JsonForms schema={jsonSchema} uischema={uiSchema} data={formData} />
+const { jsonSchema, uiSchema } = generateSchemas({
+  filePath: "./src/forms.ts",
+  typeName: "ProductConfig",
+});
 ```
 
-### Write Schemas to Disk
+`generateSchemasFromClass()` remains available when the input is definitely a class declaration.
 
-```typescript
-import { writeSchemas } from "@formspec/build";
+```ts
+import { generateSchemasFromClass } from "@formspec/build";
 
-const result = writeSchemas(ContactForm, {
-  outDir: "./generated",
-  name: "contact-form",
-  indent: 2,
+const result = generateSchemasFromClass({
+  filePath: "./src/forms.ts",
+  className: "ProductConfig",
 });
-
-console.log(`JSON Schema: ${result.jsonSchemaPath}`);
-console.log(`UI Schema: ${result.uiSchemaPath}`);
-// JSON Schema: ./generated/contact-form-schema.json
-// UI Schema: ./generated/contact-form-uischema.json
 ```
 
-### Use Individual Generators
+### Supported TSDoc Examples
 
-```typescript
-import { generateJsonSchema, generateUiSchema } from "@formspec/build";
+```ts
+export interface ProductConfig {
+  /** @displayName Product Name @minLength 1 */
+  name: string;
 
-const jsonSchema = generateJsonSchema(ContactForm);
-const uiSchema = generateUiSchema(ContactForm);
-```
+  /** @format email */
+  supportEmail?: string;
 
-### Canonical IR Pipeline
+  /** @placeholder Search products */
+  query?: string;
 
-The build pipeline now flows through a Canonical Intermediate Representation (IR). When you call `buildFormSchemas()`, the form definition is first converted to IR, then the IR is compiled to JSON Schema and UI Schema:
+  /** @minimum 0 @maximum 9999.99 */
+  price: number;
 
-```
-FormSpec definition → Canonical IR → JSON Schema + UI Schema
+  /** @uniqueItems */
+  tags: string[];
+}
 ```
 
-This enables consistent processing regardless of whether forms are defined via the Chain DSL or analyzed from TypeScript source files.
+## Extension-Aware Generation
 
-### Generate from TypeScript Classes
+Both chain and static generation APIs accept `extensionRegistry` and `vendorPrefix` where relevant.
 
-Generate schemas from TypeScript class definitions using static analysis of JSDoc constraint tags:
+```ts
+import { createExtensionRegistry, generateSchemas } from "@formspec/build";
 
-```typescript
-import { generateSchemasFromClass } from "@formspec/build";
+const registry = createExtensionRegistry([myExtension]);
 
-const { jsonSchema, uiSchema } = generateSchemasFromClass({
+const result = generateSchemas({
   filePath: "./src/forms.ts",
-  className: "UserForm",
+  typeName: "Invoice",
+  extensionRegistry: registry,
+  vendorPrefix: "x-acme",
 });
 ```
 
-The analyzer extracts type information and JSDoc constraint tags (e.g., `/** @Minimum 0 @Maximum 100 */`) from class properties to generate schemas.
-
-### Entry Points
-
-| Entry Point                 | Audience             | Description                                                                       |
-| --------------------------- | -------------------- | --------------------------------------------------------------------------------- |
-| `@formspec/build`           | Public API           | `buildFormSchemas`, `writeSchemas`, `generateSchemasFromClass`, schema generators |
-| `@formspec/build/browser`   | Browser (playground) | Schema generators without Node.js `fs`/`path` — safe for bundlers                 |
-| `@formspec/build/internals` | CLI (unstable)       | Internal APIs: `createProgramContext`, `analyzeClass`, `generateClassSchemas`     |
-
-## Generated Output
-
-### JSON Schema (2020-12)
-
-```json
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "type": "object",
-  "properties": {
-    "name": { "type": "string", "title": "Name" },
-    "email": { "type": "string", "title": "Email" },
-    "subject": {
-      "type": "string",
-      "enum": ["General", "Support", "Sales"]
-    }
-  },
-  "required": ["name", "email"]
-}
-```
-
-### JSON Forms UI Schema
+Generation validates canonical IR before emitting schemas. Invalid inputs now fail generation with structured diagnostic codes surfaced in the thrown error.
 
-```json
-{
-  "type": "VerticalLayout",
-  "elements": [
-    { "type": "Control", "scope": "#/properties/name", "label": "Name" },
-    { "type": "Control", "scope": "#/properties/email", "label": "Email" },
-    { "type": "Control", "scope": "#/properties/subject" }
-  ]
-}
-```
+## Main Exports
 
-## API Reference
-
-### Functions
-
-| Function                            | Description                                                  |
-| ----------------------------------- | ------------------------------------------------------------ |
-| `buildFormSchemas(form)`            | Generate both JSON Schema and UI Schema                      |
-| `generateJsonSchema(form)`          | Generate only JSON Schema                                    |
-| `generateUiSchema(form)`            | Generate only UI Schema                                      |
-| `writeSchemas(form, options)`       | Build and write schemas to disk                              |
-| `generateSchemasFromClass(options)` | Generate schemas from a TypeScript class via static analysis |
-| `generateSchemas(options)`          | Generate schemas from a TypeScript type via static analysis  |
-
-### Types
-
-| Type                       | Description                            |
-| -------------------------- | -------------------------------------- |
-| `BuildResult`              | Return type of `buildFormSchemas`      |
-| `WriteSchemasOptions`      | Options for `writeSchemas`             |
-| `WriteSchemasResult`       | Return type of `writeSchemas`          |
-| `JsonSchema2020`           | JSON Schema 2020-12 type               |
-| `GenerateFromClassOptions` | Options for `generateSchemasFromClass` |
-| `UISchema`                 | JSON Forms UI Schema type              |
+- `buildFormSchemas(form, options?)`
+- `generateJsonSchema(form, options?)`
+- `generateUiSchema(form)`
+- `writeSchemas(form, options)`
+- `generateSchemas(options)`
+- `generateSchemasFromClass(options)`
+- `generateJsonSchemaFromIR(ir, options?)`
+- `buildMixedAuthoringSchemas(options)`
+- `createExtensionRegistry(extensions)`
 
 ## License
 

package/dist/__tests__/class-schema.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=class-schema.test.d.ts.map

package/dist/__tests__/class-schema.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-schema.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/class-schema.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/date-extension.integration.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=date-extension.integration.test.d.ts.map

package/dist/__tests__/date-extension.integration.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"date-extension.integration.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/date-extension.integration.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/fixtures/class-schema-regressions.d.ts

@@ -0,0 +1,83 @@
+export declare class NotificationPreferences {
+    /** @defaultValue "email" */
+    channel?: string;
+    /** @defaultValue 3 */
+    retryCount?: number;
+    /** @defaultValue true */
+    enabled?: boolean;
+    /** @defaultValue null */
+    nickname?: string | null;
+}
+export declare class ContactForm {
+    /** @format email */
+    emailAddress: string;
+    /** @format date */
+    birthDate: string;
+    /** @format uri */
+    website: string;
+}
+export declare class SearchForm {
+    /** @placeholder Search by keyword... */
+    query: string;
+}
+export declare class SettingsForm {
+    /** @deprecated Use displayName instead */
+    legacyName: string;
+    /** @displayName Display Name */
+    displayName: string;
+}
+export declare class TagManager {
+    /** @minItems 1 @maxItems 10 @uniqueItems */
+    tags: string[];
+}
+export declare class SurveyForm {
+    /** @maxLength 280 */
+    responses: string[];
+}
+/**
+ * Summary text becomes the root schema description when no explicit tag is present.
+ */
+export declare class DescriptionPrecedenceForm {
+    /**
+     * Summary that should be ignored.
+     * @remarks Ignored remarks.
+     * @description Explicit description wins.
+     */
+    explicit: string;
+    /** @remarks Remarks become description when no explicit description is present. */
+    remarks: string;
+    /** Summary text becomes the description when there are no explicit tags. */
+    summary: string;
+}
+export declare class PriceRange {
+    /** @minimum 100 @maximum 50 */
+    price: number;
+}
+export declare class MismatchedForm {
+    /** @minimum 0 */
+    label: string;
+}
+interface Address {
+    street: string;
+    city: string;
+}
+export declare class LocationForm {
+    /** @minLength :zipCode 5 */
+    address: Address;
+}
+interface Dimensions {
+    name: string;
+    width: number;
+}
+export declare class BoxForm {
+    /** @minimum :name 0 */
+    size: Dimensions;
+}
+/** @minimum 0 */
+type SafeTemperature = number;
+export declare class ThermostatForm {
+    /** @minimum -10 */
+    target: SafeTemperature;
+}
+export {};
+//# sourceMappingURL=class-schema-regressions.d.ts.map

package/dist/__tests__/fixtures/class-schema-regressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-schema-regressions.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/class-schema-regressions.ts"],"names":[],"mappings":"AAAA,qBAAa,uBAAuB;IAClC,4BAA4B;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,sBAAsB;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,yBAAyB;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,yBAAyB;IACzB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,qBAAa,WAAW;IACtB,oBAAoB;IACpB,YAAY,EAAG,MAAM,CAAC;IAEtB,mBAAmB;IACnB,SAAS,EAAG,MAAM,CAAC;IAEnB,kBAAkB;IAClB,OAAO,EAAG,MAAM,CAAC;CAClB;AAED,qBAAa,UAAU;IACrB,wCAAwC;IACxC,KAAK,EAAG,MAAM,CAAC;CAChB;AAED,qBAAa,YAAY;IACvB,0CAA0C;IAC1C,UAAU,EAAG,MAAM,CAAC;IAEpB,gCAAgC;IAChC,WAAW,EAAG,MAAM,CAAC;CACtB;AAED,qBAAa,UAAU;IACrB,4CAA4C;IAC5C,IAAI,EAAG,MAAM,EAAE,CAAC;CACjB;AAED,qBAAa,UAAU;IACrB,qBAAqB;IACrB,SAAS,EAAG,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,qBAAa,yBAAyB;IACpC;;;;OAIG;IACH,QAAQ,EAAG,MAAM,CAAC;IAElB,mFAAmF;IACnF,OAAO,EAAG,MAAM,CAAC;IAEjB,4EAA4E;IAC5E,OAAO,EAAG,MAAM,CAAC;CAClB;AAED,qBAAa,UAAU;IACrB,+BAA+B;IAC/B,KAAK,EAAG,MAAM,CAAC;CAChB;AAED,qBAAa,cAAc;IACzB,iBAAiB;IACjB,KAAK,EAAG,MAAM,CAAC;CAChB;AAED,UAAU,OAAO;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,qBAAa,YAAY;IACvB,4BAA4B;IAC5B,OAAO,EAAG,OAAO,CAAC;CACnB;AAED,UAAU,UAAU;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED,qBAAa,OAAO;IAClB,uBAAuB;IACvB,IAAI,EAAG,UAAU,CAAC;CACnB;AAED,iBAAiB;AACjB,KAAK,eAAe,GAAG,MAAM,CAAC;AAE9B,qBAAa,cAAc;IACzB,mBAAmB;IACnB,MAAM,EAAG,eAAe,CAAC;CAC1B"}

package/dist/__tests__/fixtures/example-date-extension.d.ts

@@ -0,0 +1,12 @@
+import { type ConstraintTagRegistration, type CustomConstraintRegistration, type CustomTypeRegistration } from "@formspec/core";
+export declare const DATE_EXTENSION_ID = "x-formspec/example-date";
+export declare const DATE_TIME_TYPE_ID = "x-formspec/example-date/DateTime";
+export declare function parseCanonicalDateTime(raw: string): string;
+export declare const dateTimeType: CustomTypeRegistration;
+export declare const afterConstraint: CustomConstraintRegistration;
+export declare const beforeConstraint: CustomConstraintRegistration;
+export declare const afterTag: ConstraintTagRegistration;
+export declare const beforeTag: ConstraintTagRegistration;
+export declare const dateExtension: import("@formspec/core").ExtensionDefinition;
+export declare function createDateExtensionRegistry(): import("../../extensions/registry.js").ExtensionRegistry;
+//# sourceMappingURL=example-date-extension.d.ts.map

package/dist/__tests__/fixtures/example-date-extension.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"example-date-extension.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/example-date-extension.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,yBAAyB,EAC9B,KAAK,4BAA4B,EACjC,KAAK,sBAAsB,EAG5B,MAAM,gBAAgB,CAAC;AAGxB,eAAO,MAAM,iBAAiB,4BAA4B,CAAC;AAC3D,eAAO,MAAM,iBAAiB,qCAAkC,CAAC;AAKjE,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAc1D;AAoBD,eAAO,MAAM,YAAY,EAAE,sBASzB,CAAC;AAwBH,eAAO,MAAM,eAAe,8BAAiD,CAAC;AAC9E,eAAO,MAAM,gBAAgB,8BAAmD,CAAC;AAEjF,eAAO,MAAM,QAAQ,EAAE,yBAKrB,CAAC;AAEH,eAAO,MAAM,SAAS,EAAE,yBAKtB,CAAC;AAEH,eAAO,MAAM,aAAa,8CAKxB,CAAC;AAEH,wBAAgB,2BAA2B,6DAE1C"}

package/dist/__tests__/fixtures/example-numeric-extension.d.ts

@@ -0,0 +1,20 @@
+import { type ConstraintTagRegistration, type CustomTypeRegistration } from "@formspec/core";
+export declare const NUMERIC_EXTENSION_ID = "x-formspec/example-numeric";
+export declare const DECIMAL_TYPE_ID = "x-formspec/example-numeric/Decimal";
+export declare const BIGINT_TYPE_ID = "x-formspec/example-numeric/BigInt";
+export interface DecimalValue {
+    readonly coefficient: bigint;
+    readonly scale: number;
+}
+export declare function parseDecimal(raw: string): DecimalValue;
+export declare function formatDecimal(value: DecimalValue): string;
+export declare function compareDecimal(left: DecimalValue, right: DecimalValue): -1 | 0 | 1;
+export declare function addDecimal(left: DecimalValue, right: DecimalValue): DecimalValue;
+export declare function subtractDecimal(left: DecimalValue, right: DecimalValue): DecimalValue;
+export declare const decimalType: CustomTypeRegistration;
+export declare const bigIntType: CustomTypeRegistration;
+export declare const maxSigFigTag: ConstraintTagRegistration;
+export declare const maxDecimalPlacesTag: ConstraintTagRegistration;
+export declare const numericExtension: import("@formspec/core").ExtensionDefinition;
+export declare function createNumericExtensionRegistry(): import("../../extensions/registry.js").ExtensionRegistry;
+//# sourceMappingURL=example-numeric-extension.d.ts.map

package/dist/__tests__/fixtures/example-numeric-extension.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"example-numeric-extension.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/example-numeric-extension.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,yBAAyB,EAE9B,KAAK,sBAAsB,EAG5B,MAAM,gBAAgB,CAAC;AAGxB,eAAO,MAAM,oBAAoB,+BAA+B,CAAC;AACjE,eAAO,MAAM,eAAe,uCAAoC,CAAC;AACjE,eAAO,MAAM,cAAc,sCAAmC,CAAC;AAE/D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAMD,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAetD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAazD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CASlF;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY,CAQhF;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY,CAQrF;AAgDD,eAAO,MAAM,WAAW,EAAE,sBAkCxB,CAAC;AAEH,eAAO,MAAM,UAAU,EAAE,sBAOvB,CAAC;AA6FH,eAAO,MAAM,YAAY,EAAE,yBAKzB,CAAC;AAEH,eAAO,MAAM,mBAAmB,EAAE,yBAKhC,CAAC;AAEH,eAAO,MAAM,gBAAgB,8CAa3B,CAAC;AAEH,wBAAgB,8BAA8B,6DAE7C"}

package/dist/__tests__/fixtures/extension-forms.d.ts

@@ -0,0 +1,7 @@
+type MoneyDecimal = string;
+export interface BillingForm {
+    /** @minimum USD */
+    amount: MoneyDecimal;
+}
+export {};
+//# sourceMappingURL=extension-forms.d.ts.map

package/dist/__tests__/fixtures/extension-forms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension-forms.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/extension-forms.ts"],"names":[],"mappings":"AAAA,KAAK,YAAY,GAAG,MAAM,CAAC;AAE3B,MAAM,WAAW,WAAW;IAC1B,mBAAmB;IACnB,MAAM,EAAE,YAAY,CAAC;CACtB"}

package/dist/__tests__/fixtures/mixed-authoring-shipping-address.d.ts

@@ -27,4 +27,5 @@ export declare const duplicateShippingAddressOverlays: import("@formspec/core").
 export declare const unknownShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").DynamicEnumField<"region", "regions">]>;
 export declare const constrainedShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"city">]>;
 export declare const requiredShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"postalCode">]>;
+export declare const requiredCountryShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"country">]>;
 //# sourceMappingURL=mixed-authoring-shipping-address.d.ts.map

package/dist/__tests__/fixtures/mixed-authoring-shipping-address.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mixed-authoring-shipping-address.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/mixed-authoring-shipping-address.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,qBAAa,oBAAoB;IAC/B,2BAA2B;IAC3B,OAAO,EAAG,MAAM,CAAC;IAEjB,wBAAwB;IACxB,IAAI,EAAG,MAAM,CAAC;IAEd,+BAA+B;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,eAAO,MAAM,uBAAuB,2GAInC,CAAC;AAEF,qBAAa,2BAA2B;IACtC,QAAQ,EAAG,MAAM,CAAC;CACnB;AAED,eAAO,MAAM,mCAAmC,+GAE/C,CAAC;AAEF,qBAAa,0BAA0B;IACrC,OAAO,EAAG;QACR,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH;AAED,eAAO,MAAM,6BAA6B,uKAEzC,CAAC;AAEF,eAAO,MAAM,gCAAgC,+KAG5C,CAAC;AAEF,eAAO,MAAM,8BAA8B,8GAAmD,CAAC;AAE/F,eAAO,MAAM,kCAAkC,0FAE9C,CAAC;AAEF,eAAO,MAAM,+BAA+B,gGAE3C,CAAC"}
+{"version":3,"file":"mixed-authoring-shipping-address.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/mixed-authoring-shipping-address.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,qBAAa,oBAAoB;IAC/B,2BAA2B;IAC3B,OAAO,EAAG,MAAM,CAAC;IAEjB,wBAAwB;IACxB,IAAI,EAAG,MAAM,CAAC;IAEd,+BAA+B;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,eAAO,MAAM,uBAAuB,2GAInC,CAAC;AAEF,qBAAa,2BAA2B;IACtC,QAAQ,EAAG,MAAM,CAAC;CACnB;AAED,eAAO,MAAM,mCAAmC,+GAE/C,CAAC;AAEF,qBAAa,0BAA0B;IACrC,OAAO,EAAG;QACR,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH;AAED,eAAO,MAAM,6BAA6B,uKAEzC,CAAC;AAEF,eAAO,MAAM,gCAAgC,+KAG5C,CAAC;AAEF,eAAO,MAAM,8BAA8B,8GAAmD,CAAC;AAE/F,eAAO,MAAM,kCAAkC,0FAAiD,CAAC;AAEjG,eAAO,MAAM,+BAA+B,gGAE3C,CAAC;AAEF,eAAO,MAAM,sCAAsC,6FAElD,CAAC"}

package/dist/__tests__/fixtures/named-primitive-aliases.d.ts

@@ -0,0 +1,15 @@
+/** @multipleOf 1 */
+export type Integer = number;
+/** @minimum 0 @maximum 65535 */
+export type PortNumber = Integer;
+/** @minimum 0 @maximum 100 */
+export type Percentage = number;
+/** @minimum 0 @maximum 9007199254740991 */
+export type BigCounter = bigint;
+export declare class ServerConfig {
+    httpPort: PortNumber;
+    httpsPort: PortNumber;
+    cpuThreshold: Percentage;
+    requestCount: BigCounter;
+}
+//# sourceMappingURL=named-primitive-aliases.d.ts.map

package/dist/__tests__/fixtures/named-primitive-aliases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"named-primitive-aliases.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/named-primitive-aliases.ts"],"names":[],"mappings":"AAAA,oBAAoB;AACpB,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,gCAAgC;AAChC,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC;AAEjC,8BAA8B;AAC9B,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAEhC,2CAA2C;AAC3C,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAEhC,qBAAa,YAAY;IACvB,QAAQ,EAAG,UAAU,CAAC;IACtB,SAAS,EAAG,UAAU,CAAC;IACvB,YAAY,EAAG,UAAU,CAAC;IAC1B,YAAY,EAAG,UAAU,CAAC;CAC3B"}

package/dist/__tests__/fixtures/nested-array-path-constraints.d.ts

@@ -0,0 +1,14 @@
+export interface Article {
+    tags: string[];
+}
+export declare class BlogConfig {
+    /**
+     * @minItems 1
+     * @maxItems 50
+     * @minItems :tags 1
+     * @maxItems :tags 20
+     * @uniqueItems :tags
+     */
+    articles: Article[];
+}
+//# sourceMappingURL=nested-array-path-constraints.d.ts.map

package/dist/__tests__/fixtures/nested-array-path-constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nested-array-path-constraints.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/nested-array-path-constraints.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,qBAAa,UAAU;IACrB;;;;;;OAMG;IACH,QAAQ,EAAG,OAAO,EAAE,CAAC;CACtB"}

package/dist/__tests__/fixtures/sample-forms.d.ts

@@ -52,4 +52,14 @@ export declare class SimpleProduct {
         price?: number;
     }): boolean;
 }
+/**
+ * @displayName Vehicle Registration
+ * @description Collect vehicle details for fleet management
+ */
+export declare class VehicleRegistration {
+    /** @displayName Make */
+    make: string;
+    /** @displayName Model */
+    model: string;
+}
 //# sourceMappingURL=sample-forms.d.ts.map

package/dist/__tests__/fixtures/sample-forms.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sample-forms.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/sample-forms.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAMrD;;GAEG;AACH,eAAO,MAAM,oBAAoB,iPAKhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,uOAM7B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,oJAG1B,CAAC;AAEF,eAAO,MAAM,YAAY,4LAKxB,CAAC;AAMF;;GAEG;AACH,qBAAa,eAAe;IAC1B,MAAM,EAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IAE1C,MAAM,EAAG,MAAM,CAAC;IAEhB,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,YAAY,EAAG,MAAM,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,cAAc,CAAC,GAAG;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE;IAK9E;;OAEG;IACH,UAAU,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,YAAY,CAAC,GAAG,IAAI;IAI9D;;OAEG;IACH,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe;CAKrE;AAMD,qBAAa,aAAa;IACxB,IAAI,EAAG,MAAM,CAAC;IAEd,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,MAAM,EAAG,OAAO,CAAC;IAEjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAEhB,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO;CAKzD"}
+{"version":3,"file":"sample-forms.d.ts","sourceRoot":"","sources":["../../../src/__tests__/fixtures/sample-forms.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAMrD;;GAEG;AACH,eAAO,MAAM,oBAAoB,iPAKhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,uOAM7B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,oJAG1B,CAAC;AAEF,eAAO,MAAM,YAAY,4LAKxB,CAAC;AAMF;;GAEG;AACH,qBAAa,eAAe;IAC1B,MAAM,EAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IAE1C,MAAM,EAAG,MAAM,CAAC;IAEhB,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,YAAY,EAAG,MAAM,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,cAAc,CAAC,GAAG;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE;IAK9E;;OAEG;IACH,UAAU,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,YAAY,CAAC,GAAG,IAAI;IAI9D;;OAEG;IACH,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe;CAKrE;AAMD,qBAAa,aAAa;IACxB,IAAI,EAAG,MAAM,CAAC;IAEd,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,MAAM,EAAG,OAAO,CAAC;IAEjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAEhB,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO;CAKzD;AAED;;;GAGG;AACH,qBAAa,mBAAmB;IAC9B,wBAAwB;IACxB,IAAI,EAAG,MAAM,CAAC;IAEd,yBAAyB;IACzB,KAAK,EAAG,MAAM,CAAC;CAChB"}

package/dist/__tests__/generate-schemas.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=generate-schemas.test.d.ts.map

package/dist/__tests__/generate-schemas.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate-schemas.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/generate-schemas.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/numeric-extension.integration.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=numeric-extension.integration.test.d.ts.map

package/dist/__tests__/numeric-extension.integration.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-extension.integration.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/numeric-extension.integration.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/parity/parity.test.d.ts

@@ -2,8 +2,12 @@
  * Parity tests.
  *
  * Proves that both authoring surfaces (chain DSL and TSDoc/class annotations)
- * produce identical intermediate representations (IR) for equivalent form
- * definitions, modulo provenance metadata.
+ * produce identical intermediate representations (IR) for equivalent shared
+ * form constructs, modulo provenance metadata.
+ *
+ * TSDoc-only helper types that the chain DSL cannot express directly, such as
+ * constrained primitive aliases, are normalized to their effective field
+ * semantics before parity comparison.
  *
  * Three-test pattern per fixture:
  *   1. Chain DSL → IR matches expected IR

package/dist/__tests__/parity/parity.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parity.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/parity/parity.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}
+{"version":3,"file":"parity.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/parity/parity.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG"}

package/dist/__tests__/parity/utils.d.ts

@@ -5,11 +5,14 @@
  * - `ProvenanceFree<T>` — type-level mapper that strips `provenance` fields from IR nodes
  * - `stripProvenance(ir)` — runtime equivalent for `FormIR`
  * - `compareIR(a, b)` — structured IR comparison after stripping provenance
+ * - narrow parity normalization for TSDoc-only helper types the chain DSL
+ *   cannot express directly
  *
- * `ProvenanceFree<T>` is implemented as explicit per-type mapped interfaces rather
- * than a generic deep-recursive mapped type. This keeps the type system's structural
- * guarantees intact: if an IR node gains or loses a field, the provenance-free variants
- * here will fail to compile, catching shape regressions at type-check time.
+ * `ProvenanceFree<T>` is implemented as explicit per-type mapped interfaces
+ * rather than a generic deep-recursive mapped type. This keeps the type
+ * system's structural guarantees intact: if an IR node gains or loses a
+ * field, the provenance-free variants here will fail to compile, catching
+ * shape regressions at type-check time.
  */
 import type { FormIR, FormIRElement, PrimitiveTypeNode, EnumMember, DynamicTypeNode, CustomTypeNode, NumericConstraintNode, LengthConstraintNode, PatternConstraintNode, ArrayCardinalityConstraintNode, EnumMemberConstraintNode, ConstConstraintNode, CustomConstraintNode, DisplayNameAnnotationNode, DescriptionAnnotationNode, FormatAnnotationNode, PlaceholderAnnotationNode, DefaultValueAnnotationNode, DeprecatedAnnotationNode, FormatHintAnnotationNode, CustomAnnotationNode, JsonValue } from "@formspec/core";
 /** Primitive type node has no `provenance` field — pass through unchanged. */
@@ -107,6 +110,8 @@ export type ProvenanceFreeFormIRElement = ProvenanceFreeFieldNode | ProvenanceFr
 export interface ProvenanceFreeTypeDefinition {
     readonly name: string;
     readonly type: ProvenanceFreeTypeNode;
+    readonly constraints?: readonly ProvenanceFreeConstraintNode[];
+    readonly annotations?: readonly ProvenanceFreeAnnotationNode[];
 }
 /** The top-level `FormIR` with all `provenance` fields stripped. */
 export interface ProvenanceFreeFormIR {

package/dist/__tests__/parity/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/__tests__/parity/utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,aAAa,EAKb,iBAAiB,EACjB,UAAU,EAGV,eAAe,EACf,cAAc,EAEd,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,8BAA8B,EAC9B,wBAAwB,EACxB,mBAAmB,EACnB,oBAAoB,EAEpB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,wBAAwB,EACxB,wBAAwB,EACxB,oBAAoB,EACpB,SAAS,EACV,MAAM,gBAAgB,CAAC;AAUxB,8EAA8E;AAC9E,MAAM,MAAM,+BAA+B,GAAG,iBAAiB,CAAC;AAEhE,6CAA6C;AAC7C,MAAM,MAAM,wBAAwB,GAAG,UAAU,CAAC;AAElD,gDAAgD;AAChD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;CACvD;AAED,mEAAmE;AACnE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;CACxC;AAED,sFAAsF;AACtF,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAE/D;AAED,qEAAqE;AACrE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC7D,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,mEAAmE;AACnE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AAED,iEAAiE;AACjE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACrD;AAED,4EAA4E;AAC5E,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC3D;AAED,4EAA4E;AAC5E,MAAM,MAAM,6BAA6B,GAAG,eAAe,CAAC;AAE5D,2EAA2E;AAC3E,MAAM,MAAM,4BAA4B,GAAG,cAAc,CAAC;AAE1D,uDAAuD;AACvD,MAAM,MAAM,sBAAsB,GAC9B,+BAA+B,GAC/B,0BAA0B,GAC1B,2BAA2B,GAC3B,4BAA4B,GAC5B,4BAA4B,GAC5B,2BAA2B,GAC3B,+BAA+B,GAC/B,6BAA6B,GAC7B,4BAA4B,CAAC;AAIjC,MAAM,MAAM,mCAAmC,GAAG,IAAI,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;AAC5F,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAC1F,MAAM,MAAM,mCAAmC,GAAG,IAAI,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;AAC5F,MAAM,MAAM,4CAA4C,GAAG,IAAI,CAC7D,8BAA8B,EAC9B,YAAY,CACb,CAAC;AACF,MAAM,MAAM,sCAAsC,GAAG,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAC;AAClG,MAAM,MAAM,iCAAiC,GAAG,IAAI,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;AACxF,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAE1F,MAAM,MAAM,4BAA4B,GACpC,mCAAmC,GACnC,kCAAkC,GAClC,mCAAmC,GACnC,4CAA4C,GAC5C,sCAAsC,GACtC,iCAAiC,GACjC,kCAAkC,CAAC;AAIvC,MAAM,MAAM,uCAAuC,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AACpG,MAAM,MAAM,uCAAuC,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AACpG,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAC1F,MAAM,MAAM,uCAAuC,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AACpG,MAAM,MAAM,wCAAwC,GAAG,IAAI,CACzD,0BAA0B,EAC1B,YAAY,CACb,CAAC;AACF,MAAM,MAAM,sCAAsC,GAAG,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAC;AAClG,MAAM,MAAM,sCAAsC,GAAG,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAC;AAClG,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAE1F,MAAM,MAAM,4BAA4B,GACpC,uCAAuC,GACvC,uCAAuC,GACvC,kCAAkC,GAClC,uCAAuC,GACvC,wCAAwC,GACxC,sCAAsC,GACtC,sCAAsC,GACtC,kCAAkC,CAAC;AAEvC,sGAAsG;AACtG,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAE/D;AAED,qFAAqF;AACrF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAE3D;AAED,0DAA0D;AAC1D,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAE3D;AAED,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GACnC,uBAAuB,GACvB,6BAA6B,GAC7B,mCAAmC,CAAC;AAExC,iDAAiD;AACjD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;CAEvC;AAED,oEAAoE;AACpE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;CAErE;AAMD;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAMD;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,aAAa,GAAG,2BAA2B,CAS9F;AAyID;;;GAGG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,oBAAoB,CAgBhE;AAMD;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,YAAY,EAAE,CAQ9D"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/__tests__/parity/utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,aAAa,EAKb,iBAAiB,EACjB,UAAU,EAGV,eAAe,EACf,cAAc,EAEd,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,8BAA8B,EAC9B,wBAAwB,EACxB,mBAAmB,EACnB,oBAAoB,EAEpB,yBAAyB,EACzB,yBAAyB,EACzB,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,wBAAwB,EACxB,wBAAwB,EACxB,oBAAoB,EACpB,SAAS,EACV,MAAM,gBAAgB,CAAC;AAUxB,8EAA8E;AAC9E,MAAM,MAAM,+BAA+B,GAAG,iBAAiB,CAAC;AAEhE,6CAA6C;AAC7C,MAAM,MAAM,wBAAwB,GAAG,UAAU,CAAC;AAElD,gDAAgD;AAChD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;CACvD;AAED,mEAAmE;AACnE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;CACxC;AAED,sFAAsF;AACtF,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAE/D;AAED,qEAAqE;AACrE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC7D,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,mEAAmE;AACnE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AAED,iEAAiE;AACjE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACrD;AAED,4EAA4E;AAC5E,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC3D;AAED,4EAA4E;AAC5E,MAAM,MAAM,6BAA6B,GAAG,eAAe,CAAC;AAE5D,2EAA2E;AAC3E,MAAM,MAAM,4BAA4B,GAAG,cAAc,CAAC;AAE1D,uDAAuD;AACvD,MAAM,MAAM,sBAAsB,GAC9B,+BAA+B,GAC/B,0BAA0B,GAC1B,2BAA2B,GAC3B,4BAA4B,GAC5B,4BAA4B,GAC5B,2BAA2B,GAC3B,+BAA+B,GAC/B,6BAA6B,GAC7B,4BAA4B,CAAC;AAIjC,MAAM,MAAM,mCAAmC,GAAG,IAAI,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;AAC5F,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAC1F,MAAM,MAAM,mCAAmC,GAAG,IAAI,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;AAC5F,MAAM,MAAM,4CAA4C,GAAG,IAAI,CAC7D,8BAA8B,EAC9B,YAAY,CACb,CAAC;AACF,MAAM,MAAM,sCAAsC,GAAG,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAC;AAClG,MAAM,MAAM,iCAAiC,GAAG,IAAI,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC;AACxF,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAE1F,MAAM,MAAM,4BAA4B,GACpC,mCAAmC,GACnC,kCAAkC,GAClC,mCAAmC,GACnC,4CAA4C,GAC5C,sCAAsC,GACtC,iCAAiC,GACjC,kCAAkC,CAAC;AAIvC,MAAM,MAAM,uCAAuC,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AACpG,MAAM,MAAM,uCAAuC,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AACpG,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAC1F,MAAM,MAAM,uCAAuC,GAAG,IAAI,CAAC,yBAAyB,EAAE,YAAY,CAAC,CAAC;AACpG,MAAM,MAAM,wCAAwC,GAAG,IAAI,CACzD,0BAA0B,EAC1B,YAAY,CACb,CAAC;AACF,MAAM,MAAM,sCAAsC,GAAG,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAC;AAClG,MAAM,MAAM,sCAAsC,GAAG,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC,CAAC;AAClG,MAAM,MAAM,kCAAkC,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAE1F,MAAM,MAAM,4BAA4B,GACpC,uCAAuC,GACvC,uCAAuC,GACvC,kCAAkC,GAClC,uCAAuC,GACvC,wCAAwC,GACxC,sCAAsC,GACtC,sCAAsC,GACtC,kCAAkC,CAAC;AAEvC,sGAAsG;AACtG,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAE/D;AAED,qFAAqF;AACrF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAE3D;AAED,0DAA0D;AAC1D,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAE3D;AAED,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GACnC,uBAAuB,GACvB,6BAA6B,GAC7B,mCAAmC,CAAC;AAExC,iDAAiD;AACjD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC/D,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAEhE;AAED,oEAAoE;AACpE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;CAErE;AAMD;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAMD;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,aAAa,GAAG,2BAA2B,CAS9F;AAyID;;;GAGG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,oBAAoB,CAsBhE;AA4ED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,YAAY,EAAE,CAQ9D"}

package/dist/analyzer/class-analyzer.d.ts

@@ -7,6 +7,7 @@
  */
 import * as ts from "typescript";
 import type { FieldNode, TypeNode, AnnotationNode, TypeDefinition, JsonValue } from "@formspec/core";
+import type { ExtensionRegistry } from "../extensions/index.js";
 /**
  * Layout metadata extracted from `@Group` and `@ShowWhen` TSDoc tags.
  * One entry per field, in the same order as `fields`.
@@ -52,19 +53,19 @@ export type AnalyzeTypeAliasToIRResult = {
 /**
  * Analyzes a class declaration and produces canonical IR FieldNodes.
  */
-export declare function analyzeClassToIR(classDecl: ts.ClassDeclaration, checker: ts.TypeChecker, file?: string): IRClassAnalysis;
+export declare function analyzeClassToIR(classDecl: ts.ClassDeclaration, checker: ts.TypeChecker, file?: string, extensionRegistry?: ExtensionRegistry): IRClassAnalysis;
 /**
  * Analyzes an interface declaration and produces canonical IR FieldNodes.
  */
-export declare function analyzeInterfaceToIR(interfaceDecl: ts.InterfaceDeclaration, checker: ts.TypeChecker, file?: string): IRClassAnalysis;
+export declare function analyzeInterfaceToIR(interfaceDecl: ts.InterfaceDeclaration, checker: ts.TypeChecker, file?: string, extensionRegistry?: ExtensionRegistry): IRClassAnalysis;
 /**
  * Analyzes a type alias declaration and produces canonical IR FieldNodes.
  */
-export declare function analyzeTypeAliasToIR(typeAlias: ts.TypeAliasDeclaration, checker: ts.TypeChecker, file?: string): AnalyzeTypeAliasToIRResult;
+export declare function analyzeTypeAliasToIR(typeAlias: ts.TypeAliasDeclaration, checker: ts.TypeChecker, file?: string, extensionRegistry?: ExtensionRegistry): AnalyzeTypeAliasToIRResult;
 /**
  * Resolves a TypeScript type to a canonical IR TypeNode.
  */
-export declare function resolveTypeNode(type: ts.Type, checker: ts.TypeChecker, file: string, typeRegistry: Record<string, TypeDefinition>, visiting: Set<ts.Type>, sourceNode?: ts.Node): TypeNode;
+export declare function resolveTypeNode(type: ts.Type, checker: ts.TypeChecker, file: string, typeRegistry: Record<string, TypeDefinition>, visiting: Set<ts.Type>, sourceNode?: ts.Node, extensionRegistry?: ExtensionRegistry): TypeNode;
 /**
  * Analyzed method information.
  */

package/dist/analyzer/class-analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"class-analyzer.d.ts","sourceRoot":"","sources":["../../src/analyzer/class-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EAIR,cAAc,EAId,cAAc,EACd,SAAS,EACV,MAAM,gBAAgB,CAAC;AAgDxB;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,YAAY,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtD,kDAAkD;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtD,wDAAwD;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,SAAS,UAAU,EAAE,CAAC;IAChD,qBAAqB;IACrB,QAAQ,CAAC,aAAa,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAMnD;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,GACR,eAAe,CAuCjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,EAAE,CAAC,oBAAoB,EACtC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,GACR,eAAe,CA0BjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,EAAE,CAAC,oBAAoB,EAClC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,GACR,0BAA0B,CAuC5B;AA+ND;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC5C,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EACtB,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,GACnB,QAAQ,CAoDV;AAqjBD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,uBAAuB;IACvB,cAAc,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IACxC,2BAA2B;IAC3B,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IAClC,oBAAoB;IACpB,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACd,0DAA0D;IAC1D,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iEAAiE;IACjE,QAAQ,EAAE,OAAO,CAAC;CACnB"}
+{"version":3,"file":"class-analyzer.d.ts","sourceRoot":"","sources":["../../src/analyzer/class-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EAIR,cAAc,EAId,cAAc,EACd,SAAS,EACV,MAAM,gBAAgB,CAAC;AAOxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAwDhE;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,YAAY,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtD,kDAAkD;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtD,wDAAwD;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,SAAS,UAAU,EAAE,CAAC;IAChD,qBAAqB;IACrB,QAAQ,CAAC,aAAa,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAMnD;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,eAAe,CAkDjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,EAAE,CAAC,oBAAoB,EACtC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,eAAe,CAqCjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,EAAE,CAAC,oBAAoB,EAClC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,0BAA0B,CAkD5B;AAyVD;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC5C,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EACtB,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,EACpB,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,QAAQ,CAwFV;AAo2BD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,uBAAuB;IACvB,cAAc,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IACxC,2BAA2B;IAC3B,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IAClC,oBAAoB;IACpB,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACd,0DAA0D;IAC1D,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iEAAiE;IACjE,QAAQ,EAAE,OAAO,CAAC;CACnB"}