@formality-ui/core 0.0.0 → 0.1.0

package/dist/index.d.cts

@@ -1,3 +1,28 @@
+/**
+ * FieldMatcher - Matchers for a single field in multi-field conditions
+ *
+ * Used when `when` is an object mapping field names to their matchers.
+ * All specified matchers must pass (AND logic).
+ */
+interface FieldMatcher {
+    /** Exact value match */
+    is?: unknown;
+    /** Truthy/falsy check (alias: isTruthy) */
+    truthy?: boolean;
+    /** Truthy/falsy check (alias for truthy) */
+    isTruthy?: boolean;
+    /** Field validity check - true if field has no errors */
+    isValid?: boolean;
+    /** Field disabled state check */
+    isDisabled?: boolean;
+}
+/**
+ * Multi-field when trigger - maps field names to their matchers
+ *
+ * All field conditions must match (AND logic).
+ * Example: { email: { isValid: true }, name: { isTruthy: true } }
+ */
+type WhenMultiField = Record<string, FieldMatcher>;
 /**
  * ConditionDescriptor - Defines a single condition rule
  *
@@ -7,10 +32,11 @@
  */
 interface ConditionDescriptor {
     /**
-     * Simple field reference trigger
-     * Example: "client" - triggers when client field has a value
+     * Field reference trigger - can be:
+     * - string: Single field reference (e.g., "client")
+     * - object: Multi-field with per-field matchers (e.g., { email: { isValid: true }, name: { isTruthy: true } })
      */
-    when?: string;
+    when?: string | WhenMultiField;
     /**
      * Expression or function trigger
      * Example: "client.id > 5" or ({ fields }) => fields.client?.value?.id > 5
@@ -27,6 +53,18 @@ interface ConditionDescriptor {
      * false: matches if trigger is falsy
      */
     truthy?: boolean;
+    /**
+     * Field validity check (requires 'when' trigger)
+     * true: matches if the 'when' field is valid (no errors)
+     * false: matches if the 'when' field is invalid (has errors)
+     */
+    isValid?: boolean;
+    /**
+     * Field disabled state check (requires 'when' trigger)
+     * true: matches if the 'when' field is disabled
+     * false: matches if the 'when' field is enabled
+     */
+    isDisabled?: boolean;
     /**
      * Set disabled state
      * Multiple conditions use OR logic (any true = disabled)
@@ -117,16 +155,33 @@ type ValidatorSpec = string | ValidatorFunction | Array<string | ValidatorFuncti
 /**
  * ValidatorFactory - Factory function for parameterized validators
  *
- * Example: minLength(5) returns a ValidatorFunction
+ * Accepts any number of factory arguments and returns a {@link ValidatorFunction}.
+ * The `...args: any[]` rest signature is intentional: it lets concrete factories
+ * with specific parameter types (e.g. `(min: number) => ValidatorFunction`,
+ * `(regex: RegExp, message: string) => ValidatorFunction`) be assignable to this
+ * type without parameter-invariance errors, while still producing a fully typed
+ * `ValidatorFunction` return.
+ *
+ * @example
+ * const min: ValidatorFactory = (minVal: number) => (value) =>
+ *   Number(value) < minVal ? { type: 'min' } : true;
+ */
+type ValidatorFactory = (...args: any[]) => ValidatorFunction;
+/**
+ * ValidatorEntry - A named validator or a validator factory.
+ *
+ * Either a direct {@link ValidatorFunction} (called with `value` + `formValues`)
+ * or a {@link ValidatorFactory} (called with factory args to produce a
+ * `ValidatorFunction`).
  */
-type ValidatorFactory<TArgs = unknown> = (args: TArgs) => ValidatorFunction;
+type ValidatorEntry = ValidatorFunction | ValidatorFactory;
 /**
  * ValidatorsConfig - Named validators configuration
  *
- * Values can be direct validators or validator factories
+ * Values can be direct {@link ValidatorFunction}s or {@link ValidatorFactory}s.
  */
 interface ValidatorsConfig {
-    [name: string]: ValidatorFunction | ValidatorFactory;
+    [name: string]: ValidatorEntry;
 }
 /**
  * ErrorMessagesConfig - Error message templates by type key
@@ -164,6 +219,8 @@ interface FieldState {
     error?: FieldError;
     /** Inverse of valid state for convenience */
     invalid: boolean;
+    /** Whether the field is disabled */
+    disabled?: boolean;
     /** Map of subscriber field names watching this field */
     watchers?: Record<string, boolean>;
 }
@@ -230,9 +287,24 @@ type SelectFunction<TReturn = unknown> = (formState: FormState, methods: unknown
  *
  * This defines how a particular input type (e.g., textField, switch, autocomplete)
  * behaves across all forms.
+ *
+ * Framework agnosticism: `component` and `template` are intentionally `unknown`
+ * here (core cannot import a UI framework). React consumers should use the
+ * `ReactInputConfig<TValue>` overlay exported from `@formality-ui/react`, which
+ * narrows both to `ComponentType<...>`.
+ *
+ * `TValue` (default `unknown`) links `defaultValue`, `parser`, and `formatter`
+ * to a single value type. It defaults to `unknown` because the framework-agnostic
+ * core cannot know the value type of every UI component; React consumers can
+ * parameterize it via `ReactInputConfig<TValue>` (e.g.
+ * `ReactInputConfig<string>` for a text field). Today only the overlay exposes
+ * this parameterization; end-to-end per-input value inference is a future
+ * enhancement.
+ *
+ * @template TValue - The form value type this input produces/consumes.
  */
 interface InputConfig<TValue = unknown> {
-    /** The React component to render */
+    /** The component to render (typed `unknown` for framework agnosticism; React consumers see `ComponentType<any>` via `ReactInputConfig`) */
     component: unknown;
     /** Default value for this input type (e.g., '' for text, false for switch) */
     defaultValue: TValue;
@@ -250,7 +322,7 @@ interface InputConfig<TValue = unknown> {
     formatter?: string | ((value: TValue) => unknown);
     /** Type-level validation (runs after field-level validator) */
     validator?: ValidatorSpec;
-    /** Template component wrapper for consistent styling */
+    /** Template component wrapper for consistent styling (typed `unknown` for framework agnosticism; React consumers see `ComponentType<InputTemplateProps>` via `ReactInputConfig`) */
     template?: unknown;
     /** Default props for this input type */
     props?: Record<string, unknown>;
@@ -260,6 +332,12 @@ interface InputConfig<TValue = unknown> {
  *
  * This defines field-level behavior including conditions, validation,
  * and dynamic props.
+ *
+ * Framework agnosticism: `rules` is intentionally `Record<string, unknown>` here
+ * (core cannot import react-hook-form). React consumers should use the
+ * `ReactFieldConfig` overlay exported from `@formality-ui/react`, which narrows
+ * `rules` to react-hook-form's `RegisterOptions` for full autocomplete and
+ * checking (required, min, max, pattern, validate, valueAsNumber, …).
  */
 interface FieldConfig {
     /** Input type key (resolves to InputConfig) */
@@ -276,7 +354,7 @@ interface FieldConfig {
     order?: number;
     /** Key to use when reading initial value from record (defaults to field name) */
     recordKey?: string;
-    /** React Hook Form RegisterOptions (required, min, max, pattern, etc.) */
+    /** Register options forwarded to the framework's field register call (typed loose for framework agnosticism; React consumers see react-hook-form's `RegisterOptions` via `ReactFieldConfig`) */
     rules?: Record<string, unknown>;
     /** Field-level validation (runs before type-level validator) */
     validator?: ValidatorSpec;
@@ -297,8 +375,12 @@ interface FieldConfig {
 }
 /**
  * FormFieldsConfig - Map of field names to their configurations
+ *
+ * Generic over the field-name union so a typed `<Form<TFieldValues>>` can reject
+ * unknown config keys. Defaults to `string`, which is identical to the previous
+ * non-generic `Record<string, FieldConfig>` (backwards compatible).
  */
-type FormFieldsConfig = Record<string, FieldConfig>;
+type FormFieldsConfig<TName extends string = string> = Record<TName, FieldConfig>;
 /**
  * GroupConfig - Configuration for a FieldGroup
  */
@@ -334,6 +416,11 @@ interface FormConfig {
  * FormalityProviderConfig - Global provider configuration
  *
  * Sets up input types, transformers, validators, and global defaults.
+ *
+ * Framework agnosticism: `defaultInputTemplate` and `inputTemplates` are
+ * intentionally `unknown` here (core cannot import a UI framework). React's
+ * `FormalityProviderProps` and `ConfigContextValue` overlay
+ * `ComponentType<InputTemplateProps>` on top of these loose fields.
  */
 interface FormalityProviderConfig {
     /** Input type definitions */
@@ -359,6 +446,10 @@ interface FormalityProviderConfig {
 }
 /**
  * InputTemplateProps - Props passed to input template components
+ *
+ * Framework agnosticism: `Field` is intentionally `unknown` here. React overlays
+ * this same-named type in `@formality-ui/react` with `Field: ComponentType<any>`
+ * and RHF-typed `fieldState`/`formState`; React consumers import that overlay.
  */
 interface InputTemplateProps {
     /** The input component to render */
@@ -481,6 +572,7 @@ interface FieldStateForContext {
     isValidating?: boolean;
     error?: unknown;
     invalid?: boolean;
+    disabled?: boolean;
 }
 /**
  * Build a minimal evaluation context from field values
@@ -500,8 +592,8 @@ declare function buildEvaluationContext(fieldValues: Record<string, unknown>, re
  * Extract field names from an expression string
  *
  * Scans the expression for unqualified identifiers that represent field names.
- * Skips JavaScript keywords. Qualified prefixes (fields, record, props, etc.)
- * are only skipped when followed by a dot.
+ * Skips JavaScript keywords and identifiers inside string literals.
+ * Qualified prefixes (fields, record, props, etc.) are only skipped when followed by a dot.
  *
  * @param expr - Expression string to analyze
  * @returns Array of unique field names referenced
@@ -512,6 +604,7 @@ declare function buildEvaluationContext(fieldValues: Record<string, unknown>, re
  * inferFieldsFromExpression("record.name") // → [] (qualified path)
  * inferFieldsFromExpression("true && false") // → [] (keywords)
  * inferFieldsFromExpression("fields === null") // → ["fields"] (not followed by dot)
+ * inferFieldsFromExpression('signed ? "target-on" : "target-off"') // → ["signed"] (string contents skipped)
  */
 declare function inferFieldsFromExpression(expr: string): string[];
 /**
@@ -541,6 +634,7 @@ interface FieldStateInput {
     isValidating?: boolean;
     error?: unknown;
     invalid?: boolean;
+    disabled?: boolean;
 }
 /**
  * Input for condition evaluation
@@ -589,9 +683,10 @@ declare function evaluateConditions(input: EvaluateConditionsInput): ConditionRe
  * @param fieldValues - Map of field names to their current values
  * @param record - Optional record for expression context
  * @param props - Optional props for expression context
+ * @param fieldStates - Optional field states for state-based matchers
  * @returns true if the condition matches
  */
-declare function conditionMatches(condition: ConditionDescriptor, fieldValues: Record<string, unknown>, record?: Record<string, unknown>, props?: Record<string, unknown>): boolean;
+declare function conditionMatches(condition: ConditionDescriptor, fieldValues: Record<string, unknown>, record?: Record<string, unknown>, props?: Record<string, unknown>, fieldStates?: Record<string, FieldStateInput>): boolean;
 /**
  * Merge condition results from multiple sources (e.g., group + field)
  *
@@ -917,7 +1012,7 @@ declare function deepMerge<T extends object>(base: T, override: Partial<T> | und
  * @param formInputs - Form input configs (or function to transform)
  * @returns Merged input configs
  */
-declare function mergeInputConfigs(providerInputs: Record<string, InputConfig>, formInputs?: FormConfig['inputs']): Record<string, InputConfig>;
+declare function mergeInputConfigs(providerInputs: Record<string, InputConfig>, formInputs?: FormConfig["inputs"]): Record<string, InputConfig>;
 /**
  * Resolve input config for a specific type
  *
@@ -1179,4 +1274,4 @@ declare function getUnusedFields(allFields: string[], declaredFields: Set<string
  */
 declare function getOrderedUnusedFields(allFields: string[], declaredFields: Set<string>, fieldConfigs: Record<string, FieldConfig>): string[];
 
-export { type ConditionDescriptor, type ConditionResult, type ErrorMessagesConfig, type EvaluateConditionsInput, type EvaluationContext, FIELD_PROXY_MARKER, FIELD_PROXY_VALUE, type FieldConfig, type FieldError, type FieldState, type FieldStateInput, type FormConfig, type FormFieldsConfig, type FormState, type FormalityProviderConfig, type FormatterFunction, type FormatterSpec, type FormattersConfig, type GroupConfig, type InputConfig, type InputTemplateProps, KEYWORDS, type ParserFunction, type ParserSpec, type ParsersConfig, QUALIFIED_PREFIXES, type SelectFunction, type SelectValue, type ValidationResult, type ValidatorFactory, type ValidatorFunction, type ValidatorSpec, type ValidatorsConfig, buildEvaluationContext, buildFieldContext, buildFormContext, clearExpressionCache, composeValidators, conditionMatches, createConfigContext, createDefaultFormatters, createDefaultParsers, createErrorMessages, createFieldStateProxy, createFloatFormatter, createFloatParser, createIntParser, createLabelWithUnit, createTrimParser, createValidationError, deepMerge, evaluate, evaluateConditions, evaluateDescriptor, extractValueField, format, formatTypeAsMessage, getErrorType, getInputDefaultValue, getOrderedUnusedFields, getUnusedFields, humanizeLabel, inferFieldsFromConditions, inferFieldsFromDescriptor, inferFieldsFromExpression, isAutoGeneratedLabel, isEmptyValue, isFieldProxy, isValid, maxLength, mergeConditionResults, mergeFieldProps, mergeInputConfigs, mergeRecordWithDefaults, mergeStaticProps, minLength, parse, parseLabelWithUnit, pattern, required, resolveAllInitialValues, resolveErrorMessage, resolveFieldType, resolveFormTitle, resolveInitialValue, resolveInputConfig, resolveLabel, runValidator, runValidatorSync, sortFieldsByOrder, transformFieldName, unwrapFieldProxy };
+export { type ConditionDescriptor, type ConditionResult, type ErrorMessagesConfig, type EvaluateConditionsInput, type EvaluationContext, FIELD_PROXY_MARKER, FIELD_PROXY_VALUE, type FieldConfig, type FieldError, type FieldState, type FieldStateInput, type FormConfig, type FormFieldsConfig, type FormState, type FormalityProviderConfig, type FormatterFunction, type FormatterSpec, type FormattersConfig, type GroupConfig, type InputConfig, type InputTemplateProps, KEYWORDS, type ParserFunction, type ParserSpec, type ParsersConfig, QUALIFIED_PREFIXES, type SelectFunction, type SelectValue, type ValidationResult, type ValidatorEntry, type ValidatorFactory, type ValidatorFunction, type ValidatorSpec, type ValidatorsConfig, buildEvaluationContext, buildFieldContext, buildFormContext, clearExpressionCache, composeValidators, conditionMatches, createConfigContext, createDefaultFormatters, createDefaultParsers, createErrorMessages, createFieldStateProxy, createFloatFormatter, createFloatParser, createIntParser, createLabelWithUnit, createTrimParser, createValidationError, deepMerge, evaluate, evaluateConditions, evaluateDescriptor, extractValueField, format, formatTypeAsMessage, getErrorType, getInputDefaultValue, getOrderedUnusedFields, getUnusedFields, humanizeLabel, inferFieldsFromConditions, inferFieldsFromDescriptor, inferFieldsFromExpression, isAutoGeneratedLabel, isEmptyValue, isFieldProxy, isValid, maxLength, mergeConditionResults, mergeFieldProps, mergeInputConfigs, mergeRecordWithDefaults, mergeStaticProps, minLength, parse, parseLabelWithUnit, pattern, required, resolveAllInitialValues, resolveErrorMessage, resolveFieldType, resolveFormTitle, resolveInitialValue, resolveInputConfig, resolveLabel, runValidator, runValidatorSync, sortFieldsByOrder, transformFieldName, unwrapFieldProxy };

package/dist/index.d.ts

@@ -1,3 +1,28 @@
+/**
+ * FieldMatcher - Matchers for a single field in multi-field conditions
+ *
+ * Used when `when` is an object mapping field names to their matchers.
+ * All specified matchers must pass (AND logic).
+ */
+interface FieldMatcher {
+    /** Exact value match */
+    is?: unknown;
+    /** Truthy/falsy check (alias: isTruthy) */
+    truthy?: boolean;
+    /** Truthy/falsy check (alias for truthy) */
+    isTruthy?: boolean;
+    /** Field validity check - true if field has no errors */
+    isValid?: boolean;
+    /** Field disabled state check */
+    isDisabled?: boolean;
+}
+/**
+ * Multi-field when trigger - maps field names to their matchers
+ *
+ * All field conditions must match (AND logic).
+ * Example: { email: { isValid: true }, name: { isTruthy: true } }
+ */
+type WhenMultiField = Record<string, FieldMatcher>;
 /**
  * ConditionDescriptor - Defines a single condition rule
  *
@@ -7,10 +32,11 @@
  */
 interface ConditionDescriptor {
     /**
-     * Simple field reference trigger
-     * Example: "client" - triggers when client field has a value
+     * Field reference trigger - can be:
+     * - string: Single field reference (e.g., "client")
+     * - object: Multi-field with per-field matchers (e.g., { email: { isValid: true }, name: { isTruthy: true } })
      */
-    when?: string;
+    when?: string | WhenMultiField;
     /**
      * Expression or function trigger
      * Example: "client.id > 5" or ({ fields }) => fields.client?.value?.id > 5
@@ -27,6 +53,18 @@ interface ConditionDescriptor {
      * false: matches if trigger is falsy
      */
     truthy?: boolean;
+    /**
+     * Field validity check (requires 'when' trigger)
+     * true: matches if the 'when' field is valid (no errors)
+     * false: matches if the 'when' field is invalid (has errors)
+     */
+    isValid?: boolean;
+    /**
+     * Field disabled state check (requires 'when' trigger)
+     * true: matches if the 'when' field is disabled
+     * false: matches if the 'when' field is enabled
+     */
+    isDisabled?: boolean;
     /**
      * Set disabled state
      * Multiple conditions use OR logic (any true = disabled)
@@ -117,16 +155,33 @@ type ValidatorSpec = string | ValidatorFunction | Array<string | ValidatorFuncti
 /**
  * ValidatorFactory - Factory function for parameterized validators
  *
- * Example: minLength(5) returns a ValidatorFunction
+ * Accepts any number of factory arguments and returns a {@link ValidatorFunction}.
+ * The `...args: any[]` rest signature is intentional: it lets concrete factories
+ * with specific parameter types (e.g. `(min: number) => ValidatorFunction`,
+ * `(regex: RegExp, message: string) => ValidatorFunction`) be assignable to this
+ * type without parameter-invariance errors, while still producing a fully typed
+ * `ValidatorFunction` return.
+ *
+ * @example
+ * const min: ValidatorFactory = (minVal: number) => (value) =>
+ *   Number(value) < minVal ? { type: 'min' } : true;
+ */
+type ValidatorFactory = (...args: any[]) => ValidatorFunction;
+/**
+ * ValidatorEntry - A named validator or a validator factory.
+ *
+ * Either a direct {@link ValidatorFunction} (called with `value` + `formValues`)
+ * or a {@link ValidatorFactory} (called with factory args to produce a
+ * `ValidatorFunction`).
  */
-type ValidatorFactory<TArgs = unknown> = (args: TArgs) => ValidatorFunction;
+type ValidatorEntry = ValidatorFunction | ValidatorFactory;
 /**
  * ValidatorsConfig - Named validators configuration
  *
- * Values can be direct validators or validator factories
+ * Values can be direct {@link ValidatorFunction}s or {@link ValidatorFactory}s.
  */
 interface ValidatorsConfig {
-    [name: string]: ValidatorFunction | ValidatorFactory;
+    [name: string]: ValidatorEntry;
 }
 /**
  * ErrorMessagesConfig - Error message templates by type key
@@ -164,6 +219,8 @@ interface FieldState {
     error?: FieldError;
     /** Inverse of valid state for convenience */
     invalid: boolean;
+    /** Whether the field is disabled */
+    disabled?: boolean;
     /** Map of subscriber field names watching this field */
     watchers?: Record<string, boolean>;
 }
@@ -230,9 +287,24 @@ type SelectFunction<TReturn = unknown> = (formState: FormState, methods: unknown
  *
  * This defines how a particular input type (e.g., textField, switch, autocomplete)
  * behaves across all forms.
+ *
+ * Framework agnosticism: `component` and `template` are intentionally `unknown`
+ * here (core cannot import a UI framework). React consumers should use the
+ * `ReactInputConfig<TValue>` overlay exported from `@formality-ui/react`, which
+ * narrows both to `ComponentType<...>`.
+ *
+ * `TValue` (default `unknown`) links `defaultValue`, `parser`, and `formatter`
+ * to a single value type. It defaults to `unknown` because the framework-agnostic
+ * core cannot know the value type of every UI component; React consumers can
+ * parameterize it via `ReactInputConfig<TValue>` (e.g.
+ * `ReactInputConfig<string>` for a text field). Today only the overlay exposes
+ * this parameterization; end-to-end per-input value inference is a future
+ * enhancement.
+ *
+ * @template TValue - The form value type this input produces/consumes.
  */
 interface InputConfig<TValue = unknown> {
-    /** The React component to render */
+    /** The component to render (typed `unknown` for framework agnosticism; React consumers see `ComponentType<any>` via `ReactInputConfig`) */
     component: unknown;
     /** Default value for this input type (e.g., '' for text, false for switch) */
     defaultValue: TValue;
@@ -250,7 +322,7 @@ interface InputConfig<TValue = unknown> {
     formatter?: string | ((value: TValue) => unknown);
     /** Type-level validation (runs after field-level validator) */
     validator?: ValidatorSpec;
-    /** Template component wrapper for consistent styling */
+    /** Template component wrapper for consistent styling (typed `unknown` for framework agnosticism; React consumers see `ComponentType<InputTemplateProps>` via `ReactInputConfig`) */
     template?: unknown;
     /** Default props for this input type */
     props?: Record<string, unknown>;
@@ -260,6 +332,12 @@ interface InputConfig<TValue = unknown> {
  *
  * This defines field-level behavior including conditions, validation,
  * and dynamic props.
+ *
+ * Framework agnosticism: `rules` is intentionally `Record<string, unknown>` here
+ * (core cannot import react-hook-form). React consumers should use the
+ * `ReactFieldConfig` overlay exported from `@formality-ui/react`, which narrows
+ * `rules` to react-hook-form's `RegisterOptions` for full autocomplete and
+ * checking (required, min, max, pattern, validate, valueAsNumber, …).
  */
 interface FieldConfig {
     /** Input type key (resolves to InputConfig) */
@@ -276,7 +354,7 @@ interface FieldConfig {
     order?: number;
     /** Key to use when reading initial value from record (defaults to field name) */
     recordKey?: string;
-    /** React Hook Form RegisterOptions (required, min, max, pattern, etc.) */
+    /** Register options forwarded to the framework's field register call (typed loose for framework agnosticism; React consumers see react-hook-form's `RegisterOptions` via `ReactFieldConfig`) */
     rules?: Record<string, unknown>;
     /** Field-level validation (runs before type-level validator) */
     validator?: ValidatorSpec;
@@ -297,8 +375,12 @@ interface FieldConfig {
 }
 /**
  * FormFieldsConfig - Map of field names to their configurations
+ *
+ * Generic over the field-name union so a typed `<Form<TFieldValues>>` can reject
+ * unknown config keys. Defaults to `string`, which is identical to the previous
+ * non-generic `Record<string, FieldConfig>` (backwards compatible).
  */
-type FormFieldsConfig = Record<string, FieldConfig>;
+type FormFieldsConfig<TName extends string = string> = Record<TName, FieldConfig>;
 /**
  * GroupConfig - Configuration for a FieldGroup
  */
@@ -334,6 +416,11 @@ interface FormConfig {
  * FormalityProviderConfig - Global provider configuration
  *
  * Sets up input types, transformers, validators, and global defaults.
+ *
+ * Framework agnosticism: `defaultInputTemplate` and `inputTemplates` are
+ * intentionally `unknown` here (core cannot import a UI framework). React's
+ * `FormalityProviderProps` and `ConfigContextValue` overlay
+ * `ComponentType<InputTemplateProps>` on top of these loose fields.
  */
 interface FormalityProviderConfig {
     /** Input type definitions */
@@ -359,6 +446,10 @@ interface FormalityProviderConfig {
 }
 /**
  * InputTemplateProps - Props passed to input template components
+ *
+ * Framework agnosticism: `Field` is intentionally `unknown` here. React overlays
+ * this same-named type in `@formality-ui/react` with `Field: ComponentType<any>`
+ * and RHF-typed `fieldState`/`formState`; React consumers import that overlay.
  */
 interface InputTemplateProps {
     /** The input component to render */
@@ -481,6 +572,7 @@ interface FieldStateForContext {
     isValidating?: boolean;
     error?: unknown;
     invalid?: boolean;
+    disabled?: boolean;
 }
 /**
  * Build a minimal evaluation context from field values
@@ -500,8 +592,8 @@ declare function buildEvaluationContext(fieldValues: Record<string, unknown>, re
  * Extract field names from an expression string
  *
  * Scans the expression for unqualified identifiers that represent field names.
- * Skips JavaScript keywords. Qualified prefixes (fields, record, props, etc.)
- * are only skipped when followed by a dot.
+ * Skips JavaScript keywords and identifiers inside string literals.
+ * Qualified prefixes (fields, record, props, etc.) are only skipped when followed by a dot.
  *
  * @param expr - Expression string to analyze
  * @returns Array of unique field names referenced
@@ -512,6 +604,7 @@ declare function buildEvaluationContext(fieldValues: Record<string, unknown>, re
  * inferFieldsFromExpression("record.name") // → [] (qualified path)
  * inferFieldsFromExpression("true && false") // → [] (keywords)
  * inferFieldsFromExpression("fields === null") // → ["fields"] (not followed by dot)
+ * inferFieldsFromExpression('signed ? "target-on" : "target-off"') // → ["signed"] (string contents skipped)
  */
 declare function inferFieldsFromExpression(expr: string): string[];
 /**
@@ -541,6 +634,7 @@ interface FieldStateInput {
     isValidating?: boolean;
     error?: unknown;
     invalid?: boolean;
+    disabled?: boolean;
 }
 /**
  * Input for condition evaluation
@@ -589,9 +683,10 @@ declare function evaluateConditions(input: EvaluateConditionsInput): ConditionRe
  * @param fieldValues - Map of field names to their current values
  * @param record - Optional record for expression context
  * @param props - Optional props for expression context
+ * @param fieldStates - Optional field states for state-based matchers
  * @returns true if the condition matches
  */
-declare function conditionMatches(condition: ConditionDescriptor, fieldValues: Record<string, unknown>, record?: Record<string, unknown>, props?: Record<string, unknown>): boolean;
+declare function conditionMatches(condition: ConditionDescriptor, fieldValues: Record<string, unknown>, record?: Record<string, unknown>, props?: Record<string, unknown>, fieldStates?: Record<string, FieldStateInput>): boolean;
 /**
  * Merge condition results from multiple sources (e.g., group + field)
  *
@@ -917,7 +1012,7 @@ declare function deepMerge<T extends object>(base: T, override: Partial<T> | und
  * @param formInputs - Form input configs (or function to transform)
  * @returns Merged input configs
  */
-declare function mergeInputConfigs(providerInputs: Record<string, InputConfig>, formInputs?: FormConfig['inputs']): Record<string, InputConfig>;
+declare function mergeInputConfigs(providerInputs: Record<string, InputConfig>, formInputs?: FormConfig["inputs"]): Record<string, InputConfig>;
 /**
  * Resolve input config for a specific type
  *
@@ -1179,4 +1274,4 @@ declare function getUnusedFields(allFields: string[], declaredFields: Set<string
  */
 declare function getOrderedUnusedFields(allFields: string[], declaredFields: Set<string>, fieldConfigs: Record<string, FieldConfig>): string[];
 
-export { type ConditionDescriptor, type ConditionResult, type ErrorMessagesConfig, type EvaluateConditionsInput, type EvaluationContext, FIELD_PROXY_MARKER, FIELD_PROXY_VALUE, type FieldConfig, type FieldError, type FieldState, type FieldStateInput, type FormConfig, type FormFieldsConfig, type FormState, type FormalityProviderConfig, type FormatterFunction, type FormatterSpec, type FormattersConfig, type GroupConfig, type InputConfig, type InputTemplateProps, KEYWORDS, type ParserFunction, type ParserSpec, type ParsersConfig, QUALIFIED_PREFIXES, type SelectFunction, type SelectValue, type ValidationResult, type ValidatorFactory, type ValidatorFunction, type ValidatorSpec, type ValidatorsConfig, buildEvaluationContext, buildFieldContext, buildFormContext, clearExpressionCache, composeValidators, conditionMatches, createConfigContext, createDefaultFormatters, createDefaultParsers, createErrorMessages, createFieldStateProxy, createFloatFormatter, createFloatParser, createIntParser, createLabelWithUnit, createTrimParser, createValidationError, deepMerge, evaluate, evaluateConditions, evaluateDescriptor, extractValueField, format, formatTypeAsMessage, getErrorType, getInputDefaultValue, getOrderedUnusedFields, getUnusedFields, humanizeLabel, inferFieldsFromConditions, inferFieldsFromDescriptor, inferFieldsFromExpression, isAutoGeneratedLabel, isEmptyValue, isFieldProxy, isValid, maxLength, mergeConditionResults, mergeFieldProps, mergeInputConfigs, mergeRecordWithDefaults, mergeStaticProps, minLength, parse, parseLabelWithUnit, pattern, required, resolveAllInitialValues, resolveErrorMessage, resolveFieldType, resolveFormTitle, resolveInitialValue, resolveInputConfig, resolveLabel, runValidator, runValidatorSync, sortFieldsByOrder, transformFieldName, unwrapFieldProxy };
+export { type ConditionDescriptor, type ConditionResult, type ErrorMessagesConfig, type EvaluateConditionsInput, type EvaluationContext, FIELD_PROXY_MARKER, FIELD_PROXY_VALUE, type FieldConfig, type FieldError, type FieldState, type FieldStateInput, type FormConfig, type FormFieldsConfig, type FormState, type FormalityProviderConfig, type FormatterFunction, type FormatterSpec, type FormattersConfig, type GroupConfig, type InputConfig, type InputTemplateProps, KEYWORDS, type ParserFunction, type ParserSpec, type ParsersConfig, QUALIFIED_PREFIXES, type SelectFunction, type SelectValue, type ValidationResult, type ValidatorEntry, type ValidatorFactory, type ValidatorFunction, type ValidatorSpec, type ValidatorsConfig, buildEvaluationContext, buildFieldContext, buildFormContext, clearExpressionCache, composeValidators, conditionMatches, createConfigContext, createDefaultFormatters, createDefaultParsers, createErrorMessages, createFieldStateProxy, createFloatFormatter, createFloatParser, createIntParser, createLabelWithUnit, createTrimParser, createValidationError, deepMerge, evaluate, evaluateConditions, evaluateDescriptor, extractValueField, format, formatTypeAsMessage, getErrorType, getInputDefaultValue, getOrderedUnusedFields, getUnusedFields, humanizeLabel, inferFieldsFromConditions, inferFieldsFromDescriptor, inferFieldsFromExpression, isAutoGeneratedLabel, isEmptyValue, isFieldProxy, isValid, maxLength, mergeConditionResults, mergeFieldProps, mergeInputConfigs, mergeRecordWithDefaults, mergeStaticProps, minLength, parse, parseLabelWithUnit, pattern, required, resolveAllInitialValues, resolveErrorMessage, resolveFieldType, resolveFormTitle, resolveInitialValue, resolveInputConfig, resolveLabel, runValidator, runValidatorSync, sortFieldsByOrder, transformFieldName, unwrapFieldProxy };