@formspec/build 0.1.0-alpha.2 → 0.1.0-alpha.21

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

@@ -0,0 +1,31 @@
+/**
+ * Static shipping-address model for mixed-authoring composition tests.
+ */
+export declare class ShippingAddressModel {
+    /** @displayName Country */
+    country: string;
+    /** @displayName City */
+    city: string;
+    /** @displayName Postal Code */
+    postalCode?: string;
+}
+/**
+ * ChainDSL overlay for the runtime-backed city field.
+ */
+export declare const shippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").DynamicEnumField<"city", "cities">]>;
+export declare class NumericShippingAddressModel {
+    cityCode: number;
+}
+export declare const incompatibleShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").DynamicEnumField<"cityCode", "cities">]>;
+export declare class NestedShippingAddressModel {
+    address: {
+        city: string;
+    };
+}
+export declare const nestedShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").ObjectField<"address", readonly [import("@formspec/core").DynamicEnumField<"city", "cities">]>]>;
+export declare const duplicateShippingAddressOverlays: import("@formspec/core").FormSpec<readonly [import("@formspec/core").DynamicEnumField<"city", "cities">, import("@formspec/core").DynamicEnumField<"city", "backup-cities">]>;
+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

@@ -0,0 +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,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

@@ -0,0 +1,65 @@
+/**
+ * Test fixture for CLI analyzer.
+ *
+ * Contains both:
+ * - Decorated classes (class + decorator DSL)
+ * - FormSpec exports (chain DSL)
+ */
+import type { InferFormSchema } from "@formspec/dsl";
+/**
+ * FormSpec for user registration.
+ */
+export declare const UserRegistrationForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"username">, import("@formspec/core").TextField<"email">, import("@formspec/core").TextField<"password">, import("@formspec/core").BooleanField<"acceptTerms">]>;
+/**
+ * FormSpec for product configuration.
+ */
+export declare const ProductConfigForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"name">, import("@formspec/core").NumberField<"price">, import("@formspec/core").StaticEnumField<"status", readonly ["draft", "active", "archived"]>]>;
+/**
+ * FormSpec for method parameters.
+ */
+export declare const ActivateParams: import("@formspec/core").FormSpec<readonly [import("@formspec/core").NumberField<"amount">, import("@formspec/core").NumberField<"installments">]>;
+export declare const CancelParams: import("@formspec/core").FormSpec<readonly [import("@formspec/core").StaticEnumField<"reason", readonly ["user_request", "fraud", "other"]>, import("@formspec/core").TextField<"notes">]>;
+/**
+ * Sample class with decorated fields and methods.
+ */
+export declare class InstallmentPlan {
+    status: "active" | "paused" | "canceled";
+    amount: number;
+    customerEmail?: string;
+    installments: number;
+    /**
+     * Activates the plan with the given parameters.
+     */
+    activate(params: InferFormSchema<typeof ActivateParams>): {
+        success: boolean;
+    };
+    /**
+     * Cancels the plan.
+     */
+    cancelPlan(params: InferFormSchema<typeof CancelParams>): void;
+    /**
+     * Static factory method.
+     */
+    static createStandard(name: string, amount: number): InstallmentPlan;
+}
+export declare class SimpleProduct {
+    name: string;
+    price?: number;
+    active: boolean;
+    tags?: string[];
+    update(data: {
+        name?: string;
+        price?: number;
+    }): boolean;
+}
+/**
+ * Collect vehicle details for fleet management
+ * @displayName Vehicle Registration
+ */
+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

@@ -0,0 +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;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__/guards.test.d.ts

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

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

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

package/dist/__tests__/ir-analyzer.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Tests for the IR analysis pipeline.
+ *
+ * Verifies that `analyzeClassToIR`, `analyzeInterfaceToIR`, and
+ * `analyzeTypeAliasToIR` produce canonical IR nodes (FieldNode,
+ * TypeNode, ConstraintNode, AnnotationNode) directly.
+ *
+ * @see packages/core/src/types/ir.ts for IR type definitions
+ */
+export {};
+//# sourceMappingURL=ir-analyzer.test.d.ts.map

package/dist/__tests__/ir-analyzer.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-analyzer.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/ir-analyzer.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/__tests__/ir-jsdoc-constraints.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Tests for JSDoc constraint and annotation extraction to IR nodes.
+ *
+ * Verifies that {@link extractJSDocConstraintNodes} produces
+ * {@link ConstraintNode} and {@link extractJSDocAnnotationNodes} produces
+ * {@link AnnotationNode} directly.
+ *
+ * @see packages/core/src/types/ir.ts for IR type definitions
+ * @see packages/core/src/types/constraint-definitions.ts for BUILTIN_CONSTRAINT_DEFINITIONS
+ */
+export {};
+//# sourceMappingURL=ir-jsdoc-constraints.test.d.ts.map

package/dist/__tests__/ir-jsdoc-constraints.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-jsdoc-constraints.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/ir-jsdoc-constraints.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}

package/dist/__tests__/ir-json-schema-generator.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Tests for `generateJsonSchemaFromIR`.
+ *
+ * All tests use hand-constructed FormIR objects and assert against expected
+ * JSON Schema 2020-12 output per design doc 003. Tests do NOT compare against
+ * the legacy `generateJsonSchema` function.
+ *
+ * @see scratch/design/003-json-schema-vocabulary.md
+ */
+export {};
+//# sourceMappingURL=ir-json-schema-generator.test.d.ts.map

package/dist/__tests__/ir-json-schema-generator.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-json-schema-generator.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/ir-json-schema-generator.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/__tests__/ir-ui-schema-generator.test.d.ts

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

package/dist/__tests__/ir-ui-schema-generator.test.d.ts.map

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

package/dist/__tests__/mixed-authoring.test.d.ts

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

package/dist/__tests__/mixed-authoring.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mixed-authoring.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/mixed-authoring.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/fixtures/address/chain-dsl.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Parity fixture — address — chain DSL definition.
+ *
+ * A simple address form with string fields for street, city, and postal code.
+ * No constraints or annotations so the provenance-free IR can be compared
+ * directly with the TSDoc equivalent.
+ */
+export declare const addressForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"street">, import("@formspec/core").TextField<"city">, import("@formspec/core").TextField<"postalCode">, import("@formspec/core").TextField<"country">]>;
+//# sourceMappingURL=chain-dsl.d.ts.map

package/dist/__tests__/parity/fixtures/address/chain-dsl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-dsl.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/address/chain-dsl.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,eAAO,MAAM,WAAW,yOAKvB,CAAC"}

package/dist/__tests__/parity/fixtures/address/expected-ir.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Parity fixture — address — expected provenance-free IR.
+ *
+ * This is the canonical shape both the chain DSL and TSDoc surfaces must
+ * produce (after provenance stripping) for the address form.
+ */
+import type { ProvenanceFreeFormIR } from "../../utils.js";
+export declare const expectedIR: ProvenanceFreeFormIR;
+//# sourceMappingURL=expected-ir.d.ts.map

package/dist/__tests__/parity/fixtures/address/expected-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-ir.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/address/expected-ir.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,eAAO,MAAM,UAAU,EAAE,oBAsCxB,CAAC"}

package/dist/__tests__/parity/fixtures/address/tsdoc.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Parity fixture — address — TSDoc class definition.
+ *
+ * Equivalent form definition using a TypeScript class.
+ * Must produce the same provenance-free IR as the chain DSL fixture.
+ *
+ * Field mapping:
+ *   street:     string (required) → field.text("street", { required: true })
+ *   city:       string (required) → field.text("city", { required: true })
+ *   postalCode: string (required) → field.text("postalCode", { required: true })
+ *   country:    string (optional) → field.text("country")
+ */
+export declare class AddressForm {
+    street: string;
+    city: string;
+    postalCode: string;
+    country?: string;
+}
+//# sourceMappingURL=tsdoc.d.ts.map

package/dist/__tests__/parity/fixtures/address/tsdoc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsdoc.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/address/tsdoc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,qBAAa,WAAW;IACtB,MAAM,EAAG,MAAM,CAAC;IAChB,IAAI,EAAG,MAAM,CAAC;IACd,UAAU,EAAG,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB"}

package/dist/__tests__/parity/fixtures/plan-status/chain-dsl.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Parity fixture — plan-status — chain DSL definition.
+ *
+ * Covers the shared static enum surface:
+ * - field-level display name
+ * - labeled enum members via object options
+ * - required enum field
+ */
+export declare const planStatusForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").StaticEnumField<"status", readonly [{
+    readonly id: "active";
+    readonly label: "Active";
+}, {
+    readonly id: "paused";
+    readonly label: "Paused";
+}, {
+    readonly id: "cancelled";
+    readonly label: "Cancelled";
+}]>]>;
+//# sourceMappingURL=chain-dsl.d.ts.map

package/dist/__tests__/parity/fixtures/plan-status/chain-dsl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-dsl.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/plan-status/chain-dsl.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,eAAO,MAAM,cAAc;;;;;;;;;KAa1B,CAAC"}

package/dist/__tests__/parity/fixtures/plan-status/expected-ir.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Parity fixture — plan-status — expected provenance-free IR.
+ */
+import type { ProvenanceFreeFormIR } from "../../utils.js";
+export declare const expectedIR: ProvenanceFreeFormIR;
+//# sourceMappingURL=expected-ir.d.ts.map

package/dist/__tests__/parity/fixtures/plan-status/expected-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-ir.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/plan-status/expected-ir.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,eAAO,MAAM,UAAU,EAAE,oBA2BxB,CAAC"}

package/dist/__tests__/parity/fixtures/plan-status/tsdoc.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Parity fixture — plan-status — TSDoc class definition.
+ *
+ * This stays on the shared static surface. The TSDoc field carries the same
+ * field-level label and member labels that the chain DSL expresses via
+ * `field.enum(..., [{ id, label }], { label })`.
+ */
+export declare class SubscriptionForm {
+    /**
+     * @displayName Plan Status
+     * @displayName :active Active
+     * @displayName :paused Paused
+     * @displayName :cancelled Cancelled
+     */
+    status: "active" | "paused" | "cancelled";
+}
+//# sourceMappingURL=tsdoc.d.ts.map

package/dist/__tests__/parity/fixtures/plan-status/tsdoc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsdoc.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/plan-status/tsdoc.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,qBAAa,gBAAgB;IAC3B;;;;;OAKG;IACH,MAAM,EAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;CAC5C"}

package/dist/__tests__/parity/fixtures/product-config/chain-dsl.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Parity fixture — product-config — chain DSL definition.
+ *
+ * A product configuration form with a nested object field for pricing.
+ * Uses field.objectWithConfig() to create an inline ObjectTypeNode — matching
+ * the anonymous inline object type used in the TSDoc fixture.
+ *
+ * Named classes/interfaces in the TSDoc fixture would produce a ReferenceTypeNode
+ * via the type registry, which would diverge from the chain DSL inline object.
+ * Both surfaces therefore use anonymous inline objects for the nested type.
+ */
+export declare const productConfigForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"sku">, import("@formspec/core").TextField<"name">, import("@formspec/core").BooleanField<"available">, import("@formspec/core").ObjectField<"pricing", readonly [import("@formspec/core").NumberField<"basePrice">, import("@formspec/core").TextField<"currency">]>]>;
+//# sourceMappingURL=chain-dsl.d.ts.map

package/dist/__tests__/parity/fixtures/product-config/chain-dsl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-dsl.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/product-config/chain-dsl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,eAAO,MAAM,iBAAiB,wVAU7B,CAAC"}

package/dist/__tests__/parity/fixtures/product-config/expected-ir.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Parity fixture — product-config — expected provenance-free IR.
+ *
+ * This is the canonical shape both the chain DSL and TSDoc surfaces must
+ * produce (after provenance stripping) for the product-config form.
+ */
+import type { ProvenanceFreeFormIR } from "../../utils.js";
+export declare const expectedIR: ProvenanceFreeFormIR;
+//# sourceMappingURL=expected-ir.d.ts.map

package/dist/__tests__/parity/fixtures/product-config/expected-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-ir.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/product-config/expected-ir.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,eAAO,MAAM,UAAU,EAAE,oBAyDxB,CAAC"}

package/dist/__tests__/parity/fixtures/product-config/tsdoc.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Parity fixture — product-config — TSDoc class definition.
+ *
+ * Equivalent form definition using a TypeScript class.
+ * Must produce the same provenance-free IR as the chain DSL fixture.
+ *
+ * The `pricing` field uses an anonymous inline object type so the TSDoc
+ * canonicalizer produces an inline ObjectTypeNode (not a ReferenceTypeNode).
+ * A named class or interface would be placed in the type registry and produce
+ * a ReferenceTypeNode, which would diverge from the chain DSL output.
+ *
+ * Field mapping:
+ *   sku:              string (required)  → field.text("sku", { required: true })
+ *   name:             string (required)  → field.text("name", { required: true })
+ *   available:        boolean (optional) → field.boolean("available")
+ *   pricing.basePrice: number (required) → field.number("basePrice", { required: true })
+ *   pricing.currency: string (required)  → field.text("currency", { required: true })
+ */
+export declare class ProductConfigForm {
+    sku: string;
+    name: string;
+    available?: boolean;
+    pricing: {
+        basePrice: number;
+        currency: string;
+    };
+}
+//# sourceMappingURL=tsdoc.d.ts.map

package/dist/__tests__/parity/fixtures/product-config/tsdoc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsdoc.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/product-config/tsdoc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,qBAAa,iBAAiB;IAC5B,GAAG,EAAG,MAAM,CAAC;IACb,IAAI,EAAG,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,OAAO,EAAG;QACR,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;CACH"}

package/dist/__tests__/parity/fixtures/usd-cents/chain-dsl.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Parity fixture — usd-cents — chain DSL definition.
+ *
+ * Mirrors the effective numeric semantics of the TSDoc alias chain:
+ * - integer-valued number fields via `multipleOf: 1`
+ * - inherited minimum bounds resolved into the final field constraints
+ */
+export declare const usdCentsForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").NumberField<"unitPrice">, import("@formspec/core").NumberField<"quantity">]>;
+//# sourceMappingURL=chain-dsl.d.ts.map

package/dist/__tests__/parity/fixtures/usd-cents/chain-dsl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-dsl.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/usd-cents/chain-dsl.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,eAAO,MAAM,YAAY,mJAWxB,CAAC"}

package/dist/__tests__/parity/fixtures/usd-cents/expected-ir.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Parity fixture — usd-cents — expected provenance-free IR.
+ */
+import type { ProvenanceFreeFormIR } from "../../utils.js";
+export declare const expectedIR: ProvenanceFreeFormIR;
+//# sourceMappingURL=expected-ir.d.ts.map

package/dist/__tests__/parity/fixtures/usd-cents/expected-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-ir.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/usd-cents/expected-ir.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,eAAO,MAAM,UAAU,EAAE,oBAgDxB,CAAC"}

package/dist/__tests__/parity/fixtures/usd-cents/tsdoc.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Parity fixture — usd-cents — TSDoc class definition.
+ *
+ * The alias chain exercises the same shared static semantics as the chain DSL:
+ * integer-valued fields represented as numbers plus `@multipleOf 1`, with
+ * per-alias minimum bounds flowing to the final field.
+ */
+/** @multipleOf 1 */
+type Integer = number;
+/** @minimum 0 */
+type USDCents = Integer;
+/** @minimum 1 */
+type Quantity = Integer;
+export declare class LineItemForm {
+    unitPrice: USDCents;
+    quantity: Quantity;
+}
+export {};
+//# sourceMappingURL=tsdoc.d.ts.map

package/dist/__tests__/parity/fixtures/usd-cents/tsdoc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsdoc.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/usd-cents/tsdoc.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,oBAAoB;AACpB,KAAK,OAAO,GAAG,MAAM,CAAC;AAEtB,iBAAiB;AACjB,KAAK,QAAQ,GAAG,OAAO,CAAC;AAExB,iBAAiB;AACjB,KAAK,QAAQ,GAAG,OAAO,CAAC;AAExB,qBAAa,YAAY;IACvB,SAAS,EAAG,QAAQ,CAAC;IACrB,QAAQ,EAAG,QAAQ,CAAC;CACrB"}

package/dist/__tests__/parity/fixtures/user-registration/chain-dsl.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Parity fixture — user-registration — chain DSL definition.
+ *
+ * A user registration form with a mix of text, boolean, and enum fields.
+ * No constraints or annotations so the provenance-free IR can be compared
+ * directly with the TSDoc equivalent.
+ *
+ * Uses plain string enum options to match the string literal union type
+ * produced by the TSDoc surface.
+ */
+export declare const userRegistrationForm: import("@formspec/core").FormSpec<readonly [import("@formspec/core").TextField<"email">, import("@formspec/core").TextField<"username">, import("@formspec/core").BooleanField<"agreedToTerms">, import("@formspec/core").StaticEnumField<"accountType", readonly ["personal", "business", "enterprise"]>]>;
+//# sourceMappingURL=chain-dsl.d.ts.map

package/dist/__tests__/parity/fixtures/user-registration/chain-dsl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-dsl.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/user-registration/chain-dsl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,eAAO,MAAM,oBAAoB,6SAKhC,CAAC"}

package/dist/__tests__/parity/fixtures/user-registration/expected-ir.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Parity fixture — user-registration — expected provenance-free IR.
+ *
+ * This is the canonical shape both the chain DSL and TSDoc surfaces must
+ * produce (after provenance stripping) for the user-registration form.
+ */
+import type { ProvenanceFreeFormIR } from "../../utils.js";
+export declare const expectedIR: ProvenanceFreeFormIR;
+//# sourceMappingURL=expected-ir.d.ts.map

package/dist/__tests__/parity/fixtures/user-registration/expected-ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-ir.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/user-registration/expected-ir.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE3D,eAAO,MAAM,UAAU,EAAE,oBAyCxB,CAAC"}

package/dist/__tests__/parity/fixtures/user-registration/tsdoc.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Parity fixture — user-registration — TSDoc class definition.
+ *
+ * Equivalent form definition using a TypeScript class.
+ * Must produce the same provenance-free IR as the chain DSL fixture.
+ *
+ * Field mapping:
+ *   email:          string (required)                            → field.text("email", { required: true })
+ *   username:       string (required)                            → field.text("username", { required: true })
+ *   agreedToTerms:  boolean (required)                           → field.boolean("agreedToTerms", { required: true })
+ *   accountType:    "personal" | "business" | "enterprise" (req) → field.enum("accountType", [...] as const, { required: true })
+ */
+export declare class UserRegistrationForm {
+    email: string;
+    username: string;
+    agreedToTerms: boolean;
+    accountType: "personal" | "business" | "enterprise";
+}
+//# sourceMappingURL=tsdoc.d.ts.map

package/dist/__tests__/parity/fixtures/user-registration/tsdoc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsdoc.d.ts","sourceRoot":"","sources":["../../../../../src/__tests__/parity/fixtures/user-registration/tsdoc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,qBAAa,oBAAoB;IAC/B,KAAK,EAAG,MAAM,CAAC;IACf,QAAQ,EAAG,MAAM,CAAC;IAClB,aAAa,EAAG,OAAO,CAAC;IACxB,WAAW,EAAG,UAAU,GAAG,UAAU,GAAG,YAAY,CAAC;CACtD"}

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

@@ -0,0 +1,18 @@
+/**
+ * Parity tests.
+ *
+ * Proves that both authoring surfaces (chain DSL and TSDoc/class annotations)
+ * 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
+ *   2. TSDoc class → IR matches expected IR
+ *   3. Chain DSL IR === TSDoc IR (modulo provenance)
+ */
+export {};
+//# sourceMappingURL=parity.test.d.ts.map

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

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