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

package/dist/ui-schema/schema.d.ts

@@ -0,0 +1,434 @@
+/**
+ * Zod schemas for JSON Forms UI Schema.
+ *
+ * These schemas are the source of truth for UI Schema validation.
+ * TypeScript types are derived from these schemas via `z.infer<>`.
+ *
+ * @see https://jsonforms.io/docs/uischema/
+ */
+import { z } from "zod";
+/**
+ * Zod schema for rule effect values.
+ *
+ * @public
+ */
+export declare const ruleEffectSchema: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+/**
+ * Rule effect types for conditional visibility.
+ *
+ * @public
+ */
+export type RuleEffect = z.infer<typeof ruleEffectSchema>;
+/**
+ * Zod schema for UI Schema element type strings.
+ *
+ * @public
+ */
+export declare const uiSchemaElementTypeSchema: z.ZodEnum<["Control", "VerticalLayout", "HorizontalLayout", "Group", "Categorization", "Category", "Label"]>;
+/**
+ * UI Schema element types.
+ *
+ * @public
+ */
+export type UISchemaElementType = z.infer<typeof uiSchemaElementTypeSchema>;
+/**
+ * JSON Schema subset used in rule conditions.
+ *
+ * @public
+ */
+export interface RuleConditionSchema {
+    const?: unknown;
+    enum?: readonly unknown[];
+    type?: string;
+    not?: RuleConditionSchema;
+    minimum?: number;
+    maximum?: number;
+    exclusiveMinimum?: number;
+    exclusiveMaximum?: number;
+    minLength?: number;
+    properties?: Record<string, RuleConditionSchema>;
+    required?: string[];
+    allOf?: RuleConditionSchema[];
+}
+/**
+ * Zod schema for the rule-condition JSON Schema subset.
+ *
+ * @public
+ */
+export declare const ruleConditionSchema: z.ZodType<RuleConditionSchema>;
+/**
+ * Zod schema for a schema-based rule condition.
+ *
+ * @public
+ */
+export declare const schemaBasedConditionSchema: z.ZodObject<{
+    scope: z.ZodString;
+    schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+}, "strict", z.ZodTypeAny, {
+    schema: RuleConditionSchema;
+    scope: string;
+}, {
+    schema: RuleConditionSchema;
+    scope: string;
+}>;
+/**
+ * Condition for a rule.
+ *
+ * @public
+ */
+export type SchemaBasedCondition = z.infer<typeof schemaBasedConditionSchema>;
+/**
+ * Zod schema for a UI Schema rule.
+ *
+ * @public
+ */
+export declare const ruleSchema: z.ZodObject<{
+    effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+    condition: z.ZodObject<{
+        scope: z.ZodString;
+        schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+    }, "strict", z.ZodTypeAny, {
+        schema: RuleConditionSchema;
+        scope: string;
+    }, {
+        schema: RuleConditionSchema;
+        scope: string;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    condition: {
+        schema: RuleConditionSchema;
+        scope: string;
+    };
+    effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+}, {
+    condition: {
+        schema: RuleConditionSchema;
+        scope: string;
+    };
+    effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+}>;
+/**
+ * Rule for conditional element visibility/enablement.
+ *
+ * @public
+ */
+export type Rule = z.infer<typeof ruleSchema>;
+/**
+ * Union of all UI Schema element types.
+ *
+ * @public
+ */
+export type UISchemaElement = ControlElement | VerticalLayout | HorizontalLayout | GroupLayout | Categorization | Category | LabelElement;
+/**
+ * Zod schema for any UI Schema element.
+ *
+ * @public
+ */
+export declare const uiSchemaElementSchema: z.ZodType<UISchemaElement>;
+/**
+ * Zod schema for a Control element.
+ *
+ * @public
+ */
+export declare const controlSchema: z.ZodObject<{
+    type: z.ZodLiteral<"Control">;
+    scope: z.ZodString;
+    label: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodLiteral<false>]>>;
+    rule: z.ZodOptional<z.ZodObject<{
+        effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+        condition: z.ZodObject<{
+            scope: z.ZodString;
+            schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+        }, "strict", z.ZodTypeAny, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }>>;
+    options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    type: z.ZodLiteral<"Control">;
+    scope: z.ZodString;
+    label: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodLiteral<false>]>>;
+    rule: z.ZodOptional<z.ZodObject<{
+        effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+        condition: z.ZodObject<{
+            scope: z.ZodString;
+            schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+        }, "strict", z.ZodTypeAny, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }>>;
+    options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    type: z.ZodLiteral<"Control">;
+    scope: z.ZodString;
+    label: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodLiteral<false>]>>;
+    rule: z.ZodOptional<z.ZodObject<{
+        effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+        condition: z.ZodObject<{
+            scope: z.ZodString;
+            schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+        }, "strict", z.ZodTypeAny, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }>>;
+    options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.ZodTypeAny, "passthrough">>;
+/**
+ * A Control element that binds to a JSON Schema property.
+ *
+ * @public
+ */
+export type ControlElement = z.infer<typeof controlSchema>;
+/**
+ * A vertical layout element.
+ *
+ * @public
+ */
+export interface VerticalLayout {
+    type: "VerticalLayout";
+    elements: UISchemaElement[];
+    rule?: Rule | undefined;
+    options?: Record<string, unknown> | undefined;
+    [k: string]: unknown;
+}
+/**
+ * Zod schema for a vertical layout element.
+ *
+ * @public
+ */
+export declare const verticalLayoutSchema: z.ZodType<VerticalLayout>;
+/**
+ * A horizontal layout element.
+ *
+ * @public
+ */
+export interface HorizontalLayout {
+    type: "HorizontalLayout";
+    elements: UISchemaElement[];
+    rule?: Rule | undefined;
+    options?: Record<string, unknown> | undefined;
+    [k: string]: unknown;
+}
+/**
+ * Zod schema for a horizontal layout element.
+ *
+ * @public
+ */
+export declare const horizontalLayoutSchema: z.ZodType<HorizontalLayout>;
+/**
+ * A group element with a label.
+ *
+ * @public
+ */
+export interface GroupLayout {
+    type: "Group";
+    label: string;
+    elements: UISchemaElement[];
+    rule?: Rule | undefined;
+    options?: Record<string, unknown> | undefined;
+    [k: string]: unknown;
+}
+/**
+ * Zod schema for a group layout element.
+ *
+ * @public
+ */
+export declare const groupLayoutSchema: z.ZodType<GroupLayout>;
+/**
+ * A Category element, used inside a Categorization layout.
+ *
+ * @public
+ */
+export interface Category {
+    type: "Category";
+    label: string;
+    elements: UISchemaElement[];
+    rule?: Rule | undefined;
+    options?: Record<string, unknown> | undefined;
+    [k: string]: unknown;
+}
+/**
+ * Zod schema for a category element.
+ *
+ * @public
+ */
+export declare const categorySchema: z.ZodType<Category>;
+/**
+ * A Categorization element (tab-based layout).
+ *
+ * @public
+ */
+export interface Categorization {
+    type: "Categorization";
+    elements: Category[];
+    label?: string | undefined;
+    rule?: Rule | undefined;
+    options?: Record<string, unknown> | undefined;
+    [k: string]: unknown;
+}
+/**
+ * Zod schema for a categorization element.
+ *
+ * @public
+ */
+export declare const categorizationSchema: z.ZodType<Categorization>;
+/**
+ * Zod schema for a Label element.
+ *
+ * @public
+ */
+export declare const labelElementSchema: z.ZodObject<{
+    type: z.ZodLiteral<"Label">;
+    text: z.ZodString;
+    rule: z.ZodOptional<z.ZodObject<{
+        effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+        condition: z.ZodObject<{
+            scope: z.ZodString;
+            schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+        }, "strict", z.ZodTypeAny, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }>>;
+    options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    type: z.ZodLiteral<"Label">;
+    text: z.ZodString;
+    rule: z.ZodOptional<z.ZodObject<{
+        effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+        condition: z.ZodObject<{
+            scope: z.ZodString;
+            schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+        }, "strict", z.ZodTypeAny, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }>>;
+    options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    type: z.ZodLiteral<"Label">;
+    text: z.ZodString;
+    rule: z.ZodOptional<z.ZodObject<{
+        effect: z.ZodEnum<["SHOW", "HIDE", "ENABLE", "DISABLE"]>;
+        condition: z.ZodObject<{
+            scope: z.ZodString;
+            schema: z.ZodType<RuleConditionSchema, z.ZodTypeDef, RuleConditionSchema>;
+        }, "strict", z.ZodTypeAny, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }, {
+            schema: RuleConditionSchema;
+            scope: string;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
+        condition: {
+            schema: RuleConditionSchema;
+            scope: string;
+        };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }>>;
+    options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.ZodTypeAny, "passthrough">>;
+/**
+ * A Label element for displaying static text.
+ *
+ * @public
+ */
+export type LabelElement = z.infer<typeof labelElementSchema>;
+/**
+ * Root UI Schema (always a layout — not a Control, Category, or Label).
+ *
+ * @public
+ */
+export type UISchema = VerticalLayout | HorizontalLayout | GroupLayout | Categorization;
+/**
+ * Zod schema for the root UI Schema (layout types only).
+ *
+ * @public
+ */
+export declare const uiSchema: z.ZodType<UISchema>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/ui-schema/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/ui-schema/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAaxB;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,kDAAgD,CAAC;AAE9E;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,8GAQpC,CAAC;AAEH;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAS5E;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,mBAAmB,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACjD,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,mBAAmB,EAAE,CAAC;CAC/B;AAED;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAiB5B,CAAC;AAMpC;;;;GAIG;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;EAK5B,CAAC;AAEZ;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;EAKZ,CAAC;AAEZ;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAQ9C;;;;GAIG;AACH,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,WAAW,GACX,cAAc,GACd,QAAQ,GACR,YAAY,CAAC;AAKjB;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAU9B,CAAC;AAMhC;;;;GAIG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gCAQV,CAAC;AAEjB;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAO3D;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,IAAI,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC9C,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAS1D,CAAC;AAMF;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,IAAI,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC9C,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAS9D,CAAC;AAMF;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,IAAI,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC9C,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAUpD,CAAC;AAMF;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,IAAI,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC9C,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAU9C,CAAC;AAMF;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,IAAI,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IAC9C,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB;AAED;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAU1D,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gCAOf,CAAC;AAEjB;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAM9D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,gBAAgB,GAAG,WAAW,GAAG,cAAc,CAAC;AAExF;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAEjB,CAAC"}

package/dist/ui-schema/types.d.ts

@@ -1,87 +1,24 @@
 /**
  * JSON Forms UI Schema type definitions.
  *
- * These types define the UI layout structure for JSON Forms.
+ * Types are derived from Zod schemas in ./schema.ts.
  * See: https://jsonforms.io/docs/uischema/
  */
-/**
- * UI Schema element types.
- */
-export type UISchemaElementType = "Control" | "VerticalLayout" | "HorizontalLayout" | "Group" | "Categorization" | "Category";
-/**
- * Rule effect types for conditional visibility.
- */
-export type RuleEffect = "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
-/**
- * JSON Schema subset for rule conditions.
- */
-export interface RuleConditionSchema {
-    const?: unknown;
-    enum?: readonly unknown[];
-    type?: string;
-    minimum?: number;
-    maximum?: number;
-    properties?: Record<string, RuleConditionSchema>;
-    allOf?: RuleConditionSchema[];
-}
-/**
- * Condition for a rule.
- */
-export interface SchemaBasedCondition {
-    scope: string;
-    schema: RuleConditionSchema;
-}
-/**
- * Rule for conditional element visibility/enablement.
- */
-export interface Rule {
-    effect: RuleEffect;
-    condition: SchemaBasedCondition;
-}
+export type { RuleConditionSchema, SchemaBasedCondition, Rule, RuleEffect, ControlElement, VerticalLayout, HorizontalLayout, GroupLayout, Categorization, Category, LabelElement, UISchemaElement, UISchemaElementType, UISchema, } from "./schema.js";
+import type { Rule, UISchemaElementType } from "./schema.js";
 /**
  * Base interface for all UI Schema elements.
+ *
+ * This is a manually maintained interface representing the common shape
+ * shared by all element types. It is kept as an interface (rather than
+ * derived from Zod) because it is the base of a discriminated union, not
+ * a union member itself.
+ *
+ * @public
  */
 export interface UISchemaElementBase {
     type: UISchemaElementType;
     rule?: Rule;
     options?: Record<string, unknown>;
 }
-/**
- * A Control element that binds to a JSON Schema property.
- */
-export interface ControlElement extends UISchemaElementBase {
-    type: "Control";
-    scope: string;
-    label?: string;
-}
-/**
- * A vertical layout element.
- */
-export interface VerticalLayout extends UISchemaElementBase {
-    type: "VerticalLayout";
-    elements: UISchemaElement[];
-}
-/**
- * A horizontal layout element.
- */
-export interface HorizontalLayout extends UISchemaElementBase {
-    type: "HorizontalLayout";
-    elements: UISchemaElement[];
-}
-/**
- * A group element with a label.
- */
-export interface GroupLayout extends UISchemaElementBase {
-    type: "Group";
-    label: string;
-    elements: UISchemaElement[];
-}
-/**
- * Union of all UI Schema element types.
- */
-export type UISchemaElement = ControlElement | VerticalLayout | HorizontalLayout | GroupLayout;
-/**
- * Root UI Schema (always a layout).
- */
-export type UISchema = VerticalLayout | HorizontalLayout | GroupLayout;
 //# sourceMappingURL=types.d.ts.map

package/dist/ui-schema/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ui-schema/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,gBAAgB,GAChB,kBAAkB,GAClB,OAAO,GACP,gBAAgB,GAChB,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEhE;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACjD,KAAK,CAAC,EAAE,mBAAmB,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,mBAAmB,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,SAAS,EAAE,oBAAoB,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,mBAAmB;IACzD,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,mBAAmB;IACzD,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,mBAAmB;IAC3D,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,mBAAmB;IACtD,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,WAAW,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,gBAAgB,GAAG,WAAW,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ui-schema/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,IAAI,EACJ,UAAU,EACV,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,mBAAmB,EACnB,QAAQ,GACT,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;;;;;GASG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC"}

package/dist/validate/constraint-validator.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Constraint validator for the FormSpec IR.
+ *
+ * Delegates target-centric semantic analysis to `@formspec/analysis` so build
+ * validation and editor tooling share the same inheritance, path-target,
+ * contradiction, and broadening semantics.
+ *
+ * @packageDocumentation
+ */
+import { type ConstraintSemanticDiagnostic } from "@formspec/analysis/internal";
+import type { FormIR } from "@formspec/core";
+import type { ExtensionRegistry } from "../extensions/index.js";
+export type ValidationDiagnostic = ConstraintSemanticDiagnostic;
+export interface ValidationResult {
+    readonly diagnostics: readonly ValidationDiagnostic[];
+    readonly valid: boolean;
+}
+export interface ValidateIROptions {
+    readonly vendorPrefix?: string;
+    readonly extensionRegistry?: ExtensionRegistry;
+}
+export declare function validateIR(ir: FormIR, options?: ValidateIROptions): ValidationResult;
+//# sourceMappingURL=constraint-validator.d.ts.map

package/dist/validate/constraint-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-validator.d.ts","sourceRoot":"","sources":["../../src/validate/constraint-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAGL,KAAK,4BAA4B,EAClC,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,MAAM,EAA4C,MAAM,gBAAgB,CAAC;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,MAAM,MAAM,oBAAoB,GAAG,4BAA4B,CAAC;AAEhE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CAChD;AA6ED,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,gBAAgB,CAepF"}

package/dist/validate/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Constraint validation for the FormSpec IR.
+ *
+ * @packageDocumentation
+ */
+export { validateIR } from "./constraint-validator.js";
+export type { ValidationDiagnostic, ValidationResult, ValidateIROptions, } from "./constraint-validator.js";
+export type { ExtensionRegistry } from "../extensions/index.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/validate/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validate/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,YAAY,EACV,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,2BAA2B,CAAC;AAGnC,YAAY,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC"}

package/package.json

@@ -1,9 +1,10 @@
 {
   "name": "@formspec/build",
-  "version": "0.1.0-alpha.2",
+  "version": "0.1.0-alpha.21",
   "description": "Build tools to compile FormSpec forms to JSON Schema and UI Schema",
   "type": "module",
-  "main": "./dist/index.js",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
   "types": "./dist/build.d.ts",
   "bin": {
     "formspec-build": "./dist/cli.js"
@@ -11,18 +12,37 @@
   "exports": {
     ".": {
       "types": "./dist/build.d.ts",
-      "import": "./dist/index.js"
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    },
+    "./browser": {
+      "types": "./dist/browser.d.ts",
+      "import": "./dist/browser.js",
+      "require": "./dist/browser.cjs"
+    },
+    "./internals": {
+      "types": "./dist/internals.d.ts",
+      "import": "./dist/internals.js",
+      "require": "./dist/internals.cjs"
     }
   },
   "files": [
-    "dist"
+    "dist",
+    "README.md"
   ],
   "dependencies": {
-    "@formspec/core": "0.1.0-alpha.2"
+    "@microsoft/tsdoc": "^0.16.0",
+    "@microsoft/tsdoc-config": "^0.18.1",
+    "zod": "^3.25.0",
+    "@formspec/analysis": "0.1.0-alpha.21",
+    "@formspec/core": "0.1.0-alpha.21"
+  },
+  "peerDependencies": {
+    "typescript": "^5.0.0"
   },
   "devDependencies": {
     "vitest": "^3.0.0",
-    "@formspec/dsl": "0.1.0-alpha.2"
+    "@formspec/dsl": "0.1.0-alpha.21"
   },
   "publishConfig": {
     "access": "public"
@@ -30,7 +50,7 @@
   "keywords": [],
   "license": "UNLICENSED",
   "scripts": {
-    "build": "tsc",
+    "build": "tsup && tsc --emitDeclarationOnly && api-extractor run --local",
     "clean": "rm -rf dist temp",
     "typecheck": "tsc --noEmit",
     "test": "pnpm run build && vitest run",