@fogpipe/forma-core 0.11.2 → 0.12.0-alpha.2

package/dist/types.d.ts

@@ -3,6 +3,16 @@
  *
  * This module defines the complete type system for Forma specifications.
  * All conditional logic uses FEEL (Friendly Enough Expression Language).
+ *
+ * FieldDefinition is a discriminated union on the required `type` property,
+ * grouped by shared capabilities:
+ * - AdornableFieldDefinition: text-like and numeric inputs with prefix/suffix
+ * - SelectionFieldDefinition: select/multiselect with options
+ * - SimpleFieldDefinition: boolean, date, datetime (no type-specific props)
+ * - ArrayFieldDefinition: array with itemFields, minItems, maxItems
+ * - ObjectFieldDefinition: nested object grouping
+ * - DisplayFieldDefinition: presentation content and computed output (no data)
+ * - ComputedFieldDefinition: computed field reference in fields map
  */
 /**
  * FEEL expression - a string that will be evaluated at runtime.
@@ -79,7 +89,7 @@ export interface JSONSchemaEnum extends JSONSchemaBase {
 /**
  * Field type enumeration - maps to UI component types
  */
-export type FieldType = "text" | "password" | "number" | "integer" | "boolean" | "select" | "multiselect" | "date" | "datetime" | "email" | "url" | "textarea" | "array" | "object" | "computed";
+export type FieldType = "text" | "password" | "number" | "integer" | "boolean" | "select" | "multiselect" | "date" | "datetime" | "email" | "url" | "textarea" | "array" | "object" | "computed" | "display";
 /**
  * Validation rule with FEEL expression
  */
@@ -102,34 +112,137 @@ export interface SelectOption {
     visibleWhen?: FEELExpression;
 }
 /**
- * Field definition with all conditional logic
+ * Base properties shared by all field types.
+ *
+ * Note: Display fields technically inherit all base properties including
+ * conditional logic (enabledWhen, requiredWhen, etc.), but these properties
+ * are semantically meaningless on display fields and should not be set.
+ * Runtime validation (Zod layer) enforces this constraint.
  */
-export interface FieldDefinition {
-    /** Display label for the field */
+export interface FieldDefinitionBase {
+    /** Field type - REQUIRED, used as discriminant for the union */
+    type: FieldType;
+    /** Display label */
     label?: string;
     /** Help text or description */
     description?: string;
     /** Placeholder text for input fields */
     placeholder?: string;
-    /** Field type override (inferred from schema if not provided) */
-    type?: FieldType;
     /** When to show this field. If omitted, always visible. */
     visibleWhen?: FEELExpression;
     /** When this field is required. If omitted, uses schema required. */
     requiredWhen?: FEELExpression;
     /** When this field is editable. If omitted, always enabled. */
     enabledWhen?: FEELExpression;
+    /** When this field is read-only (visible, not editable, value still submitted). */
+    readonlyWhen?: FEELExpression;
     /** Custom validation rules using FEEL expressions */
     validations?: ValidationRule[];
-    /** For array fields: field definitions for each item. Requires type: "array" */
+    /** Presentation variant hint (e.g., "slider", "radio", "nps", "metric") */
+    variant?: string;
+    /** Variant-specific configuration */
+    variantConfig?: Record<string, unknown>;
+}
+/**
+ * Text-like and numeric input fields that support prefix/suffix adorners.
+ *
+ * Adorners are cross-variant: a "$" prefix applies to input, stepper,
+ * and slider variants alike. That's why they're top-level properties
+ * rather than inside variantConfig.
+ */
+export interface AdornableFieldDefinition extends FieldDefinitionBase {
+    type: "text" | "email" | "url" | "password" | "textarea" | "number" | "integer";
+    /** Text/symbol displayed before input (e.g., "$", "https://") */
+    prefix?: string;
+    /** Text/symbol displayed after input (e.g., "USD", "kg", "%") */
+    suffix?: string;
+}
+/**
+ * Selection fields that have options.
+ */
+export interface SelectionFieldDefinition extends FieldDefinitionBase {
+    type: "select" | "multiselect";
+    /** Available options for selection */
+    options?: SelectOption[];
+}
+/**
+ * Simple fields with no type-specific properties beyond the base.
+ */
+export interface SimpleFieldDefinition extends FieldDefinitionBase {
+    type: "boolean" | "date" | "datetime";
+}
+/**
+ * Array fields with item field definitions and count constraints.
+ */
+export interface ArrayFieldDefinition extends FieldDefinitionBase {
+    type: "array";
+    /** Field definitions for each array item. Use `item.fieldName` in FEEL. */
     itemFields?: Record<string, FieldDefinition>;
     /** Minimum number of items (overrides schema) */
     minItems?: number;
     /** Maximum number of items (overrides schema) */
     maxItems?: number;
-    /** For select fields: available options */
-    options?: SelectOption[];
 }
+/**
+ * Object fields (nested grouping).
+ */
+export interface ObjectFieldDefinition extends FieldDefinitionBase {
+    type: "object";
+}
+/**
+ * Display-only fields for presentation content and computed output.
+ * Collect no data - excluded from JSON Schema, validation, and submission.
+ *
+ * Although display fields inherit all base properties, conditional logic
+ * properties (readonlyWhen, requiredWhen, enabledWhen, validations, placeholder)
+ * are semantically meaningless on display fields. Only visibleWhen is meaningful
+ * (to conditionally show/hide display content). The Zod validation layer
+ * enforces this constraint at runtime.
+ */
+export interface DisplayFieldDefinition extends FieldDefinitionBase {
+    type: "display";
+    /** Static content (plain text or markdown). For text, heading, alert, callout. */
+    content?: string;
+    /** Data source for dynamic display (e.g., "computed.totalPrice"). For metric, alert, summary. */
+    source?: string;
+    /** Display format (e.g., "currency", "percent", "decimal(2)", or template "{value} Nm") */
+    format?: string;
+}
+/**
+ * Computed fields (read-only calculated values).
+ * Note: Computed field definitions live in Forma.computed, not Forma.fields.
+ * This type exists for completeness if computed fields appear in the fields map.
+ */
+export interface ComputedFieldDefinition extends FieldDefinitionBase {
+    type: "computed";
+}
+/**
+ * Field definition - discriminated union on `type`.
+ *
+ * Use type narrowing to access type-specific properties:
+ *
+ * @example
+ * if (field.type === "number") {
+ *   field.prefix;  // string | undefined
+ * }
+ * if (field.type === "display") {
+ *   field.content; // string | undefined
+ * }
+ * if (field.type === "select") {
+ *   field.options; // SelectOption[] | undefined
+ * }
+ */
+export type FieldDefinition = AdornableFieldDefinition | SelectionFieldDefinition | SimpleFieldDefinition | ArrayFieldDefinition | ObjectFieldDefinition | DisplayFieldDefinition | ComputedFieldDefinition;
+/** Check if field supports prefix/suffix adorners */
+export declare function isAdornableField(field: FieldDefinition): field is AdornableFieldDefinition;
+/** Check if field is a display-only field (no data) */
+export declare function isDisplayField(field: FieldDefinition): field is DisplayFieldDefinition;
+/** Check if field is a selection field (has options) */
+export declare function isSelectionField(field: FieldDefinition): field is SelectionFieldDefinition;
+/** Check if field is an array field */
+export declare function isArrayField(field: FieldDefinition): field is ArrayFieldDefinition;
+/** Check if field collects data (not display) */
+export declare function isDataField(field: FieldDefinition): boolean;
 /**
  * Computed field definition - derived values from form data
  */
@@ -241,6 +354,12 @@ export type RequiredFieldsResult = RequiredResult;
 export interface EnabledResult {
     [fieldPath: string]: boolean;
 }
+/**
+ * Readonly fields result - map of field path to readonly state
+ */
+export interface ReadonlyResult {
+    [fieldPath: string]: boolean;
+}
 /**
  * Field validation error
  */

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AAMpC;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC/C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;CAC5C;AAED,MAAM,MAAM,kBAAkB,GAC1B,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,gBAAgB,GAChB,cAAc,CAAC;AAEnB,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,OAAO,GAAG,KAAK,GAAG,MAAM,CAAC;IACzD,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,kBAAkB,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC/C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,cAAe,SAAQ,cAAc;IACpD,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAMD;;GAEG;AACH,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,UAAU,GACV,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,aAAa,GACb,MAAM,GACN,UAAU,GACV,OAAO,GACP,KAAK,GACL,UAAU,GACV,OAAO,GACP,QAAQ,GACR,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,IAAI,EAAE,cAAc,CAAC;IACrB,gDAAgD;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,+BAA+B;IAC/B,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,kCAAkC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,+BAA+B;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iEAAiE;IACjE,IAAI,CAAC,EAAE,SAAS,CAAC;IAIjB,2DAA2D;IAC3D,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,qEAAqE;IACrE,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,+DAA+D;IAC/D,WAAW,CAAC,EAAE,cAAc,CAAC;IAI7B,qDAAqD;IACrD,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAI/B,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAIlB,2CAA2C;IAC3C,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,6CAA6C;IAC7C,UAAU,EAAE,cAAc,CAAC;IAC3B,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,0CAA0C;IAC1C,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,KAAK;IACpB,gCAAgC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mBAAmB;IACnB,OAAO,EAAE,KAAK,CAAC;IACf,oBAAoB;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,8CAA8C;IAC9C,MAAM,EAAE,UAAU,CAAC;IACnB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACzC,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,wCAAwC;IACxC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACxC,gDAAgD;IAChD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,2CAA2C;IAC3C,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC;CAC1B;AAMD;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,gEAAgE;IAChE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,yCAAyC;IACzC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAMD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,cAAc,CAAC;AAElD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oCAAoC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qCAAqC;IACrC,KAAK,EAAE,OAAO,CAAC;IACf,gCAAgC;IAChC,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,4CAA4C;IAC5C,MAAM,EAAE,gBAAgB,EAAE,CAAC;CAC5B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAMH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC;AAMpC;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC/C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;CAC5C;AAED,MAAM,MAAM,kBAAkB,GAC1B,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,gBAAgB,GAChB,cAAc,CAAC;AAEnB,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,OAAO,GAAG,KAAK,GAAG,MAAM,CAAC;IACzD,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,kBAAkB,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC/C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,cAAe,SAAQ,cAAc;IACpD,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAMD;;GAEG;AACH,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,UAAU,GACV,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,aAAa,GACb,MAAM,GACN,UAAU,GACV,OAAO,GACP,KAAK,GACL,UAAU,GACV,OAAO,GACP,QAAQ,GACR,UAAU,GACV,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,IAAI,EAAE,cAAc,CAAC;IACrB,gDAAgD;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,+BAA+B;IAC/B,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,gEAAgE;IAChE,IAAI,EAAE,SAAS,CAAC;IAChB,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,+BAA+B;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IAIrB,2DAA2D;IAC3D,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,qEAAqE;IACrE,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,+DAA+D;IAC/D,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,mFAAmF;IACnF,YAAY,CAAC,EAAE,cAAc,CAAC;IAI9B,qDAAqD;IACrD,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAI/B,2EAA2E;IAC3E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAyB,SAAQ,mBAAmB;IACnE,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,UAAU,GAAG,UAAU,GACnD,QAAQ,GAAG,SAAS,CAAC;IAC1B,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAyB,SAAQ,mBAAmB;IACnE,IAAI,EAAE,QAAQ,GAAG,aAAa,CAAC;IAC/B,sCAAsC;IACtC,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,mBAAmB;IAChE,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,UAAU,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,IAAI,EAAE,OAAO,CAAC;IACd,2EAA2E;IAC3E,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,mBAAmB;IAChE,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAuB,SAAQ,mBAAmB;IACjE,IAAI,EAAE,SAAS,CAAC;IAChB,kFAAkF;IAClF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iGAAiG;IACjG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2FAA2F;IAC3F,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAwB,SAAQ,mBAAmB;IAClE,IAAI,EAAE,UAAU,CAAC;CAClB;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,eAAe,GACvB,wBAAwB,GACxB,wBAAwB,GACxB,qBAAqB,GACrB,oBAAoB,GACpB,qBAAqB,GACrB,sBAAsB,GACtB,uBAAuB,CAAC;AAW5B,qDAAqD;AACrD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,IAAI,wBAAwB,CAE1F;AAED,uDAAuD;AACvD,wBAAgB,cAAc,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,IAAI,sBAAsB,CAEtF;AAED,wDAAwD;AACxD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,IAAI,wBAAwB,CAE1F;AAED,uCAAuC;AACvC,wBAAgB,YAAY,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,IAAI,oBAAoB,CAElF;AAED,iDAAiD;AACjD,wBAAgB,WAAW,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAE3D;AAMD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,6CAA6C;IAC7C,UAAU,EAAE,cAAc,CAAC;IAC3B,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAMD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,0CAA0C;IAC1C,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,KAAK;IACpB,gCAAgC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mBAAmB;IACnB,OAAO,EAAE,KAAK,CAAC;IACf,oBAAoB;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,8CAA8C;IAC9C,MAAM,EAAE,UAAU,CAAC;IACnB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACzC,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,wCAAwC;IACxC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACxC,gDAAgD;IAChD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,2CAA2C;IAC3C,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC;CAC1B;AAMD;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,gEAAgE;IAChE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,yCAAyC;IACzC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAMD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,cAAc,CAAC;AAElD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oCAAoC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qCAAqC;IACrC,KAAK,EAAE,OAAO,CAAC;IACf,gCAAgC;IAChC,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,4CAA4C;IAC5C,MAAM,EAAE,gBAAgB,EAAE,CAAC;CAC5B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fogpipe/forma-core",
-  "version": "0.11.2",
+  "version": "0.12.0-alpha.2",
   "description": "Forma core runtime: Types and evaluation engines for dynamic forms with FEEL expressions",
   "type": "module",
   "main": "./dist/index.js",

package/src/__tests__/validate.test.ts

@@ -589,6 +589,7 @@ describe("validate", () => {
               type: "array",
               itemFields: {
                 quantity: {
+                  type: "number",
                   label: "Quantity",
                   validations: [
                     { rule: "value <= 100", message: "Cannot order more than 100 items" },

package/src/engine/enabled.ts

@@ -11,6 +11,7 @@ import type {
   FieldDefinition,
   EvaluationContext,
   EnabledResult,
+  ArrayFieldDefinition,
 } from "../types.js";
 import { calculate } from "./calculate.js";
 
@@ -69,24 +70,10 @@ export function getEnabled(
 
   // Also check array item fields
   for (const [fieldPath, fieldDef] of Object.entries(spec.fields)) {
-    if (fieldDef.itemFields) {
+    if (fieldDef.type === "array" && fieldDef.itemFields) {
       const arrayData = data[fieldPath];
       if (Array.isArray(arrayData)) {
-        for (let i = 0; i < arrayData.length; i++) {
-          const item = arrayData[i] as Record<string, unknown>;
-          const itemContext: EvaluationContext = {
-            data,
-            computed,
-            referenceData: spec.referenceData,
-            item,
-            itemIndex: i,
-          };
-
-          for (const [itemFieldName, itemFieldDef] of Object.entries(fieldDef.itemFields)) {
-            const itemFieldPath = `${fieldPath}[${i}].${itemFieldName}`;
-            result[itemFieldPath] = isFieldEnabled(itemFieldDef, itemContext);
-          }
-        }
+        evaluateArrayItemEnabled(fieldPath, fieldDef, arrayData, data, computed, spec, result);
       }
     }
   }
@@ -114,6 +101,37 @@ function isFieldEnabled(
   return true;
 }
 
+/**
+ * Evaluate enabled state for array item fields
+ */
+function evaluateArrayItemEnabled(
+  arrayPath: string,
+  fieldDef: ArrayFieldDefinition,
+  arrayData: unknown[],
+  data: Record<string, unknown>,
+  computed: Record<string, unknown>,
+  spec: Forma,
+  result: EnabledResult
+): void {
+  if (!fieldDef.itemFields) return;
+
+  for (let i = 0; i < arrayData.length; i++) {
+    const item = arrayData[i] as Record<string, unknown>;
+    const itemContext: EvaluationContext = {
+      data,
+      computed,
+      referenceData: spec.referenceData,
+      item,
+      itemIndex: i,
+    };
+
+    for (const [itemFieldName, itemFieldDef] of Object.entries(fieldDef.itemFields)) {
+      const itemFieldPath = `${arrayPath}[${i}].${itemFieldName}`;
+      result[itemFieldPath] = isFieldEnabled(itemFieldDef, itemContext);
+    }
+  }
+}
+
 /**
  * Check if a single field is currently enabled
  *

package/src/engine/index.ts

@@ -57,6 +57,16 @@ export type {
   EnabledOptions,
 } from "./enabled.js";
 
+// Readonly
+export {
+  getReadonly,
+  isReadonly,
+} from "./readonly.js";
+
+export type {
+  ReadonlyOptions,
+} from "./readonly.js";
+
 // Validate
 export {
   validate,

package/src/engine/readonly.ts

@@ -0,0 +1,169 @@
+/**
+ * Readonly Fields Engine
+ *
+ * Determines which fields are currently read-only based on
+ * conditional readonlyWhen expressions.
+ *
+ * Readonly vs disabled:
+ * - readonlyWhen: field is visible with normal appearance, not editable, value IS submitted
+ * - enabledWhen: field is greyed out/dimmed, not interactive, value may be excluded
+ */
+
+import { evaluateBoolean } from "../feel/index.js";
+import type {
+  Forma,
+  FieldDefinition,
+  ArrayFieldDefinition,
+  EvaluationContext,
+  ReadonlyResult,
+} from "../types.js";
+import { calculate } from "./calculate.js";
+
+// ============================================================================
+// Types
+// ============================================================================
+
+export interface ReadonlyOptions {
+  /** Pre-calculated computed values */
+  computed?: Record<string, unknown>;
+}
+
+// ============================================================================
+// Main Function
+// ============================================================================
+
+/**
+ * Determine which fields are currently read-only
+ *
+ * Returns a map of field paths to boolean readonly states.
+ * Fields without readonlyWhen expressions are never readonly.
+ *
+ * @param data - Current form data
+ * @param spec - Form specification
+ * @param options - Optional pre-calculated computed values
+ * @returns Map of field paths to readonly states
+ *
+ * @example
+ * const readonly = getReadonly(
+ *   { status: "submitted" },
+ *   forma
+ * );
+ * // => { status: false, policyNumber: true, ... }
+ */
+export function getReadonly(
+  data: Record<string, unknown>,
+  spec: Forma,
+  options: ReadonlyOptions = {}
+): ReadonlyResult {
+  const computed = options.computed ?? calculate(data, spec);
+  const context: EvaluationContext = {
+    data,
+    computed,
+    referenceData: spec.referenceData,
+  };
+
+  const result: ReadonlyResult = {};
+
+  // Evaluate each field's readonly status
+  for (const fieldPath of spec.fieldOrder) {
+    const fieldDef = spec.fields[fieldPath];
+    if (fieldDef) {
+      result[fieldPath] = isFieldReadonly(fieldDef, context);
+    }
+  }
+
+  // Also check array item fields
+  for (const [fieldPath, fieldDef] of Object.entries(spec.fields)) {
+    if (fieldDef.type === "array" && fieldDef.itemFields) {
+      const arrayData = data[fieldPath];
+      if (Array.isArray(arrayData)) {
+        evaluateArrayItemReadonly(fieldPath, fieldDef, arrayData, data, computed, spec, result);
+      }
+    }
+  }
+
+  return result;
+}
+
+// ============================================================================
+// Field Readonly Check
+// ============================================================================
+
+/**
+ * Check if a field is readonly based on its definition
+ */
+function isFieldReadonly(
+  fieldDef: FieldDefinition,
+  context: EvaluationContext
+): boolean {
+  // If field has readonlyWhen, evaluate it
+  if (fieldDef.readonlyWhen) {
+    return evaluateBoolean(fieldDef.readonlyWhen, context);
+  }
+
+  // No condition = never readonly
+  return false;
+}
+
+/**
+ * Evaluate readonly state for array item fields
+ */
+function evaluateArrayItemReadonly(
+  arrayPath: string,
+  fieldDef: ArrayFieldDefinition,
+  arrayData: unknown[],
+  data: Record<string, unknown>,
+  computed: Record<string, unknown>,
+  spec: Forma,
+  result: ReadonlyResult
+): void {
+  if (!fieldDef.itemFields) return;
+
+  for (let i = 0; i < arrayData.length; i++) {
+    const item = arrayData[i] as Record<string, unknown>;
+    const itemContext: EvaluationContext = {
+      data,
+      computed,
+      referenceData: spec.referenceData,
+      item,
+      itemIndex: i,
+    };
+
+    for (const [itemFieldName, itemFieldDef] of Object.entries(fieldDef.itemFields)) {
+      const itemFieldPath = `${arrayPath}[${i}].${itemFieldName}`;
+      result[itemFieldPath] = isFieldReadonly(itemFieldDef, itemContext);
+    }
+  }
+}
+
+/**
+ * Check if a single field is currently readonly
+ *
+ * @param fieldPath - Path to the field
+ * @param data - Current form data
+ * @param spec - Form specification
+ * @returns True if the field is readonly
+ */
+export function isReadonly(
+  fieldPath: string,
+  data: Record<string, unknown>,
+  spec: Forma
+): boolean {
+  const fieldDef = spec.fields[fieldPath];
+  if (!fieldDef) {
+    return false; // Unknown fields are not readonly by default
+  }
+
+  if (!fieldDef.readonlyWhen) {
+    return false; // No condition = never readonly
+  }
+
+  const computed = calculate(data, spec);
+  const context: EvaluationContext = {
+    data,
+    computed,
+    referenceData: spec.referenceData,
+  };
+
+  return evaluateBoolean(fieldDef.readonlyWhen, context);
+}

package/src/engine/required.ts

@@ -69,7 +69,7 @@ export function getRequired(
 
   // Also check array item fields
   for (const [fieldPath, fieldDef] of Object.entries(spec.fields)) {
-    if (fieldDef.itemFields) {
+    if (fieldDef.type === "array" && fieldDef.itemFields) {
       const arrayData = data[fieldPath];
       if (Array.isArray(arrayData)) {
         for (let i = 0; i < arrayData.length; i++) {

package/src/engine/validate.ts

@@ -12,6 +12,7 @@ import { evaluateBoolean } from "../feel/index.js";
 import type {
   Forma,
   FieldDefinition,
+  ArrayFieldDefinition,
   ValidationRule,
   EvaluationContext,
   ValidationResult,
@@ -95,6 +96,11 @@ export function validate(
       continue;
     }
 
+    // Skip display fields - they collect no data and need no validation
+    if (fieldDef.type === "display") {
+      continue;
+    }
+
     // Get schema property for type validation
     const schemaProperty = spec.schema.properties[fieldPath];
 
@@ -173,7 +179,7 @@ function validateField(
   }
 
   // 4. Array validation
-  if (Array.isArray(value)) {
+  if (Array.isArray(value) && fieldDef.type === "array") {
     const arrayErrors = validateArray(
       path,
       value,
@@ -212,7 +218,7 @@ function validateType(
   path: string,
   value: unknown,
   schema: JSONSchemaProperty,
-  fieldDef: FieldDefinition
+  fieldDef: { label?: string }
 ): FieldError | null {
   const label = fieldDef.label ?? path;
 
@@ -514,7 +520,7 @@ function validateCustomRules(
 function validateArray(
   path: string,
   value: unknown[],
-  fieldDef: FieldDefinition,
+  fieldDef: ArrayFieldDefinition,
   schemaProperty: JSONSchemaProperty | undefined,
   spec: Forma,
   data: Record<string, unknown>,

package/src/engine/visibility.ts

@@ -9,10 +9,12 @@ import { evaluateBoolean } from "../feel/index.js";
 import type {
   Forma,
   FieldDefinition,
+  ArrayFieldDefinition,
   EvaluationContext,
   VisibilityResult,
   SelectOption,
 } from "../types.js";
+import { isArrayField, isSelectionField } from "../types.js";
 import { calculate } from "./calculate.js";
 
 // ============================================================================
@@ -62,7 +64,7 @@ function filterOptionsByContext(
  */
 function processArrayItemOptions(
   arrayPath: string,
-  fieldDef: FieldDefinition,
+  fieldDef: ArrayFieldDefinition,
   arrayData: readonly unknown[],
   baseContext: EvaluationContext,
   result: Record<string, SelectOption[]>
@@ -78,7 +80,7 @@ function processArrayItemOptions(
     };
 
     for (const [itemFieldName, itemFieldDef] of Object.entries(fieldDef.itemFields)) {
-      if (itemFieldDef.options && itemFieldDef.options.length > 0) {
+      if (isSelectionField(itemFieldDef) && itemFieldDef.options && itemFieldDef.options.length > 0) {
         const itemFieldPath = `${arrayPath}[${i}].${itemFieldName}`;
         result[itemFieldPath] = filterOptionsByContext(itemFieldDef.options, itemContext);
       }
@@ -153,7 +155,7 @@ function evaluateFieldVisibility(
     return;
   }
 
-  if (fieldDef.itemFields) {
+  if (isArrayField(fieldDef) && fieldDef.itemFields) {
     const arrayData = data[path];
     if (Array.isArray(arrayData)) {
       evaluateArrayItemVisibility(path, fieldDef, arrayData, context, result);
@@ -166,7 +168,7 @@ function evaluateFieldVisibility(
  */
 function evaluateArrayItemVisibility(
   arrayPath: string,
-  fieldDef: FieldDefinition,
+  fieldDef: ArrayFieldDefinition,
   arrayData: unknown[],
   baseContext: EvaluationContext,
   result: VisibilityResult
@@ -308,12 +310,12 @@ export function getOptionsVisibility(
     if (!fieldDef) continue;
 
     // Top-level fields with options
-    if (fieldDef.options && fieldDef.options.length > 0) {
+    if (isSelectionField(fieldDef) && fieldDef.options && fieldDef.options.length > 0) {
       result[fieldPath] = filterOptionsByContext(fieldDef.options, baseContext);
     }
 
     // Array item fields with options
-    if (fieldDef.itemFields) {
+    if (isArrayField(fieldDef) && fieldDef.itemFields) {
       const arrayData = data[fieldPath];
       if (Array.isArray(arrayData)) {
         processArrayItemOptions(fieldPath, fieldDef, arrayData, baseContext, result);

package/src/index.ts

@@ -20,11 +20,19 @@ export type {
   JSONSchemaArray,
   JSONSchemaObject,
   JSONSchemaEnum,
-  // Field types
+  // Field types - base and groups
   FieldType,
+  FieldDefinitionBase,
+  AdornableFieldDefinition,
+  SelectionFieldDefinition,
+  SimpleFieldDefinition,
+  ArrayFieldDefinition,
+  ObjectFieldDefinition,
+  DisplayFieldDefinition,
+  ComputedFieldDefinition,
+  FieldDefinition,
   ValidationRule,
   SelectOption,
-  FieldDefinition,
   ComputedField,
   PageDefinition,
   FormMeta,
@@ -36,12 +44,22 @@ export type {
   RequiredResult,
   RequiredFieldsResult,
   EnabledResult,
+  ReadonlyResult,
   FieldError,
   ValidationResult,
   CalculationError,
   CalculationResult,
 } from "./types.js";
 
+// Type guards (runtime exports)
+export {
+  isAdornableField,
+  isDisplayField,
+  isSelectionField,
+  isArrayField,
+  isDataField,
+} from "./types.js";
+
 // FEEL expression evaluation
 export * from "./feel/index.js";