@f1studio/form-spec 5.0.0-alpha.101 → 5.0.0-alpha.103

package/src/FormSpecHelpers.ts

@@ -1,374 +1,397 @@
-import { value as value_2, Option, bind } from "@fable-org/fable-library-js/Option.js";
-import { Shared_FieldValue_Single, Shared_FieldValue_PluginData, Shared_FieldValue_Matrix, Shared_MatrixAnswer, Shared_FieldValue_Multiple, Shared_ConditionValue_Single, Shared_ConditionValue_PluginData, Shared_ConditionValue_Matrix, Shared_ConditionValue_Multiple, Spec_FormSpec$1, ClinicalPathway_ConstraintDefinition, ClinicalPathway_ConstraintType_$union, ClinicalPathway_TransitionDefinition, ClinicalPathway_ClinicalPathwaySpec, Spec_FormStep$1, Spec_FormField$1, ClinicalPathway_TransitionCondition_$union, ClinicalPathway_LogicalOp_$union, Shared_PluginPropertyKey, Shared_FieldOptionKey, Shared_ConditionValue_$union, ClinicalPathway_FieldEvaluator_$union, Values_DynamicFormResultData$1, Values_StepOrder, Shared_FieldKey, Spec_FieldType_$union, Values_FieldDetails$1, Shared_PluginDataProperty_$reflection, Shared_PluginDataProperty, Shared_MatrixItemKey, Shared_FieldAnswer, Shared_FieldValue_$union } from "./FormSpec.js";
-import { join } from "@fable-org/fable-library-js/String.js";
-import { singleton, head, isEmpty, ofSeq, iterate, forAll, exists, FSharpList, map } from "@fable-org/fable-library-js/List.js";
-import { map as map_1, toList } from "@fable-org/fable-library-js/Set.js";
-import { iterate as iterate_1, FSharpMap, tryFind, toList as toList_1 } from "@fable-org/fable-library-js/Map.js";
-import { Auto_generateBoxedEncoder_437914C6, toString } from "./fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
-import { list_type } from "@fable-org/fable-library-js/Reflection.js";
-import { int32, float64 } from "@fable-org/fable-library-js/Int32.js";
-import { tryParse } from "@fable-org/fable-library-js/Double.js";
-import { FSharpRef } from "@fable-org/fable-library-js/Types.js";
-import { FSharpResult$2_$union, FSharpResult$2_Error, FSharpResult$2_Ok } from "@fable-org/fable-library-js/Result.js";
-import { addRangeInPlace } from "@fable-org/fable-library-js/Array.js";
-import { compare, comparePrimitives } from "@fable-org/fable-library-js/Util.js";
-
-/**
- * Extract a field value as a string from form data
- */
-export function getFieldValue(fieldKey: Shared_FieldKey, formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>): Option<string> {
-    return bind<Values_FieldDetails$1<Spec_FieldType_$union>, string>((fieldDetails: Values_FieldDetails$1<Spec_FieldType_$union>): Option<string> => {
-        const matchValue: Shared_FieldValue_$union = fieldDetails.FieldValue;
-        switch (matchValue.tag) {
-            case /* Multiple */ 1:
-                return join(",", map<Shared_FieldAnswer, string>((a: Shared_FieldAnswer): string => a.Value, toList<Shared_FieldAnswer>(matchValue.fields[0])));
-            case /* Matrix */ 2:
-                return join(",", map<[Shared_MatrixItemKey, string], string>((tuple: [Shared_MatrixItemKey, string]): string => tuple[1], toList_1<Shared_MatrixItemKey, string>(matchValue.fields[0].Values)));
-            case /* PluginData */ 3: {
-                const pluginData: FSharpList<Shared_PluginDataProperty> = matchValue.fields[0];
-                return toString(0, Auto_generateBoxedEncoder_437914C6(list_type(Shared_PluginDataProperty_$reflection()), undefined, undefined, undefined)(pluginData));
-            }
-            default:
-                return matchValue.fields[0].Value;
-        }
-    }, bind<FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>, Values_FieldDetails$1<Spec_FieldType_$union>>((stepValues: FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>): Option<Values_FieldDetails$1<Spec_FieldType_$union>> => tryFind<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>(fieldKey, stepValues), tryFind<Values_StepOrder, FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>>(new Values_StepOrder(1), formData.ResultSteps)));
-}
-
-/**
- * Check if a field has a specific value
- */
-export function fieldHasValue(fieldKey: Shared_FieldKey, expectedValue: string, formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>): boolean {
-    const matchValue: Option<string> = getFieldValue(fieldKey, formData);
-    if (matchValue == null) {
-        return false;
-    }
-    else {
-        return value_2(matchValue) === expectedValue;
-    }
-}
-
-/**
- * Check if a field value is greater than a threshold
- */
-export function fieldGreaterThan(fieldKey: Shared_FieldKey, threshold: float64, formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>): boolean {
-    const matchValue: Option<string> = getFieldValue(fieldKey, formData);
-    if (matchValue == null) {
-        return false;
-    }
-    else {
-        let matchValue_1: [boolean, float64];
-        let outArg = 0;
-        matchValue_1 = ([tryParse(value_2(matchValue), new FSharpRef<float64>((): float64 => outArg, (v: float64): void => {
-            outArg = v;
-        })), outArg] as [boolean, float64]);
-        if (matchValue_1[0]) {
-            return matchValue_1[1] > threshold;
-        }
-        else {
-            return false;
-        }
-    }
-}
-
-/**
- * Check if a field value is less than a threshold
- */
-export function fieldLessThan(fieldKey: Shared_FieldKey, threshold: float64, formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>): boolean {
-    const matchValue: Option<string> = getFieldValue(fieldKey, formData);
-    if (matchValue == null) {
-        return false;
-    }
-    else {
-        let matchValue_1: [boolean, float64];
-        let outArg = 0;
-        matchValue_1 = ([tryParse(value_2(matchValue), new FSharpRef<float64>((): float64 => outArg, (v: float64): void => {
-            outArg = v;
-        })), outArg] as [boolean, float64]);
-        if (matchValue_1[0]) {
-            return matchValue_1[1] < threshold;
-        }
-        else {
-            return false;
-        }
-    }
-}
-
-/**
- * Evaluate a single field condition (string-based, for backward compatibility)
- */
-export function evaluateFieldCondition(fieldKey: Shared_FieldKey, evaluator: ClinicalPathway_FieldEvaluator_$union, expectedValue: string, formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>): boolean {
-    switch (evaluator.tag) {
-        case /* Equals */ 0:
-            return fieldHasValue(fieldKey, expectedValue, formData);
-        case /* NotEquals */ 1:
-            return !fieldHasValue(fieldKey, expectedValue, formData);
-        case /* GreaterThan */ 5: {
-            let matchValue: [boolean, float64];
-            let outArg = 0;
-            matchValue = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg, (v: float64): void => {
-                outArg = v;
-            })), outArg] as [boolean, float64]);
-            if (matchValue[0]) {
-                return fieldGreaterThan(fieldKey, matchValue[1], formData);
-            }
-            else {
-                return false;
-            }
-        }
-        case /* LessThan */ 7: {
-            let matchValue_1: [boolean, float64];
-            let outArg_1 = 0;
-            matchValue_1 = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg_1, (v_1: float64): void => {
-                outArg_1 = v_1;
-            })), outArg_1] as [boolean, float64]);
-            if (matchValue_1[0]) {
-                return fieldLessThan(fieldKey, matchValue_1[1], formData);
-            }
-            else {
-                return false;
-            }
-        }
-        case /* GreaterOrEqual */ 6: {
-            let matchValue_2: [boolean, float64];
-            let outArg_2 = 0;
-            matchValue_2 = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg_2, (v_2: float64): void => {
-                outArg_2 = v_2;
-            })), outArg_2] as [boolean, float64]);
-            if (matchValue_2[0]) {
-                if (fieldGreaterThan(fieldKey, matchValue_2[1], formData)) {
-                    return true;
-                }
-                else {
-                    return fieldHasValue(fieldKey, expectedValue, formData);
-                }
-            }
-            else {
-                return false;
-            }
-        }
-        case /* LessOrEqual */ 8: {
-            let matchValue_3: [boolean, float64];
-            let outArg_3 = 0;
-            matchValue_3 = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg_3, (v_3: float64): void => {
-                outArg_3 = v_3;
-            })), outArg_3] as [boolean, float64]);
-            if (matchValue_3[0]) {
-                if (fieldLessThan(fieldKey, matchValue_3[1], formData)) {
-                    return true;
-                }
-                else {
-                    return fieldHasValue(fieldKey, expectedValue, formData);
-                }
-            }
-            else {
-                return false;
-            }
-        }
-        default:
-            return false;
-    }
-}
-
-/**
- * Recursively evaluate a transition condition
- */
-export function evaluateCondition(formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>, condition: ClinicalPathway_TransitionCondition_$union): boolean {
-    switch (condition.tag) {
-        case /* FieldCondition */ 0: {
-            const conditionValue: Shared_ConditionValue_$union = condition.fields[2];
-            return evaluateFieldCondition(condition.fields[0], condition.fields[1], (conditionValue.tag === /* Multiple */ 1) ? join(",", toList<string>(conditionValue.fields[0])) : ((conditionValue.tag === /* Matrix */ 2) ? join(",", map<[Shared_MatrixItemKey, string], string>((tupledArg: [Shared_MatrixItemKey, string]): string => tupledArg[1], toList_1<Shared_MatrixItemKey, string>(conditionValue.fields[0]))) : ((conditionValue.tag === /* PluginData */ 3) ? conditionValue.fields[0].Value : conditionValue.fields[0])), formData);
-        }
-        case /* FieldOptionCondition */ 1: {
-            const optionKey: Shared_FieldOptionKey = condition.fields[2];
-            const fieldKey_1: Shared_FieldKey = condition.fields[0];
-            const fieldItemKey: Option<Shared_MatrixItemKey> = condition.fields[1];
-            const evaluator_1: ClinicalPathway_FieldEvaluator_$union = condition.fields[3];
-            const conditionValue_1: Shared_ConditionValue_$union = condition.fields[4];
-            return evaluateFieldCondition((fieldItemKey == null) ? fieldKey_1 : (new Shared_FieldKey(value_2(fieldItemKey).fields[0])), evaluator_1, (conditionValue_1.tag === /* Multiple */ 1) ? join(",", toList<string>(conditionValue_1.fields[0])) : ((conditionValue_1.tag === /* Matrix */ 2) ? join(",", map<[Shared_MatrixItemKey, string], string>((tupledArg_1: [Shared_MatrixItemKey, string]): string => tupledArg_1[1], toList_1<Shared_MatrixItemKey, string>(conditionValue_1.fields[0]))) : ((conditionValue_1.tag === /* PluginData */ 3) ? conditionValue_1.fields[0].Value : conditionValue_1.fields[0])), formData);
-        }
-        case /* PluginPropertyCondition */ 2: {
-            const propertyKey: Shared_PluginPropertyKey = condition.fields[1];
-            const fieldKey_2: Shared_FieldKey = condition.fields[0];
-            const evaluator_2: ClinicalPathway_FieldEvaluator_$union = condition.fields[2];
-            const conditionValue_2: Shared_ConditionValue_$union = condition.fields[3];
-            const expectedValueStr_2: string = (conditionValue_2.tag === /* Multiple */ 1) ? join(",", toList<string>(conditionValue_2.fields[0])) : ((conditionValue_2.tag === /* Matrix */ 2) ? join(",", map<[Shared_MatrixItemKey, string], string>((tupledArg_2: [Shared_MatrixItemKey, string]): string => tupledArg_2[1], toList_1<Shared_MatrixItemKey, string>(conditionValue_2.fields[0]))) : ((conditionValue_2.tag === /* PluginData */ 3) ? conditionValue_2.fields[0].Value : conditionValue_2.fields[0]));
-            return false;
-        }
-        case /* CompositeCondition */ 4: {
-            const operator: ClinicalPathway_LogicalOp_$union = condition.fields[0];
-            const conditions: FSharpList<ClinicalPathway_TransitionCondition_$union> = condition.fields[1];
-            switch (operator.tag) {
-                case /* Or */ 1:
-                    return exists<ClinicalPathway_TransitionCondition_$union>((condition_2: ClinicalPathway_TransitionCondition_$union): boolean => evaluateCondition(formData, condition_2), conditions);
-                case /* Not */ 2:
-                    throw new Error("Not operator should not be used directly with CompositeCondition");
-                default:
-                    return forAll<ClinicalPathway_TransitionCondition_$union>((condition_1: ClinicalPathway_TransitionCondition_$union): boolean => evaluateCondition(formData, condition_1), conditions);
-            }
-        }
-        case /* StateCondition */ 3:
-            return true;
-        case /* TestResultCondition */ 5:
-            return true;
-        default:
-            return true;
-    }
-}
-
-/**
- * Validate that a FormSpec only uses GUID field keys
- */
-export function validateFormSpecFieldKeys(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): FSharpResult$2_$union<void, FSharpList<string>> {
-    const errors: string[] = [];
-    iterate<Spec_FormStep$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): void => {
-        iterate<Spec_FormField$1<Spec_FieldType_$union>>((field: Spec_FormField$1<Spec_FieldType_$union>): void => {
-            if (field.FieldKey.fields[0] === "00000000-0000-0000-0000-000000000000") {
-                void (errors.push(`Field '${field.Label}' has empty GUID field key`));
-            }
-        }, step.Fields);
-    }, formSpec.Steps);
-    const matchValue: Option<ClinicalPathway_ClinicalPathwaySpec> = formSpec.ClinicalPathway;
-    if (matchValue == null) {
-    }
-    else {
-        const pathway: ClinicalPathway_ClinicalPathwaySpec = value_2(matchValue);
-        pathway.States;
-        iterate<ClinicalPathway_TransitionDefinition>((transition: ClinicalPathway_TransitionDefinition): void => {
-            const validateCondition = (condition: ClinicalPathway_TransitionCondition_$union): void => {
-                switch (condition.tag) {
-                    case /* FieldCondition */ 0: {
-                        if (condition.fields[0].fields[0] === "00000000-0000-0000-0000-000000000000") {
-                            void (errors.push(`Transition '${transition.TransitionKey}' has empty GUID field key in condition`));
-                        }
-                        break;
-                    }
-                    case /* PluginPropertyCondition */ 2: {
-                        const propGuid: string = condition.fields[1].fields[0];
-                        if (condition.fields[0].fields[0] === "00000000-0000-0000-0000-000000000000") {
-                            void (errors.push(`Transition '${transition.TransitionKey}' has empty GUID field key in plugin property condition`));
-                        }
-                        if (propGuid === "00000000-0000-0000-0000-000000000000") {
-                            void (errors.push(`Transition '${transition.TransitionKey}' has empty GUID property key in plugin property condition`));
-                        }
-                        break;
-                    }
-                    case /* CompositeCondition */ 4: {
-                        iterate<ClinicalPathway_TransitionCondition_$union>(validateCondition, condition.fields[1]);
-                        break;
-                    }
-                    default:
-                        undefined;
-                }
-            };
-            validateCondition(transition.Condition);
-        }, pathway.Transitions);
-        iterate<ClinicalPathway_ConstraintDefinition>((constraintDef: ClinicalPathway_ConstraintDefinition): void => {
-            const matchValue_1: ClinicalPathway_ConstraintType_$union = constraintDef.ConstraintType;
-            if (matchValue_1.tag === /* RequiredField */ 3) {
-                if (matchValue_1.fields[0].fields[0] === "00000000-0000-0000-0000-000000000000") {
-                    void (errors.push(`Constraint '${constraintDef.ConstraintKey}' has empty GUID field key`));
-                }
-            }
-        }, pathway.Constraints);
-    }
-    if (errors.length === 0) {
-        return FSharpResult$2_Ok<void, FSharpList<string>>(undefined);
-    }
-    else {
-        return FSharpResult$2_Error<void, FSharpList<string>>(ofSeq<string>(errors));
-    }
-}
-
-/**
- * Validate that form data only contains GUID field keys
- */
-export function validateFormDataFieldKeys(formData: Values_DynamicFormResultData$1<Spec_FieldType_$union>): FSharpResult$2_$union<void, FSharpList<string>> {
-    const errors: string[] = [];
-    iterate_1<Values_StepOrder, FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>>((stepOrder: Values_StepOrder, stepValues: FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>): void => {
-        iterate_1<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>((fieldKey: Shared_FieldKey, _arg: Values_FieldDetails$1<Spec_FieldType_$union>): void => {
-            if (fieldKey.fields[0] === "00000000-0000-0000-0000-000000000000") {
-                void (errors.push(`Step ${stepOrder} contains field with empty GUID`));
-            }
-        }, stepValues);
-    }, formData.ResultSteps);
-    if (errors.length === 0) {
-        return FSharpResult$2_Ok<void, FSharpList<string>>(undefined);
-    }
-    else {
-        return FSharpResult$2_Error<void, FSharpList<string>>(ofSeq<string>(errors));
-    }
-}
-
-/**
- * Comprehensive validation that ensures FormSpec only works with GUID keys
- */
-export function validateGuidOnlyFormSpec(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, formData: Option<Values_DynamicFormResultData$1<Spec_FieldType_$union>>): FSharpResult$2_$union<void, FSharpList<string>> {
-    const errors: string[] = [];
-    const matchValue: FSharpResult$2_$union<void, FSharpList<string>> = validateFormSpecFieldKeys(formSpec);
-    if (matchValue.tag === /* Ok */ 0) {
-    }
-    else {
-        addRangeInPlace(matchValue.fields[0], errors);
-    }
-    if (formData == null) {
-    }
-    else {
-        const matchValue_1: FSharpResult$2_$union<void, FSharpList<string>> = validateFormDataFieldKeys(value_2(formData));
-        if (matchValue_1.tag === /* Ok */ 0) {
-        }
-        else {
-            addRangeInPlace(matchValue_1.fields[0], errors);
-        }
-    }
-    if (errors.length === 0) {
-        return FSharpResult$2_Ok<void, FSharpList<string>>(undefined);
-    }
-    else {
-        return FSharpResult$2_Error<void, FSharpList<string>>(ofSeq<string>(errors));
-    }
-}
-
-/**
- * Convert FieldValue to ConditionValue (extracts just the values, no FieldAnswer wrapper)
- */
-export function fieldValueToConditionValue(fieldValue: Shared_FieldValue_$union): Shared_ConditionValue_$union {
-    switch (fieldValue.tag) {
-        case /* Multiple */ 1:
-            return Shared_ConditionValue_Multiple(map_1<Shared_FieldAnswer, string>((a: Shared_FieldAnswer): string => a.Value, fieldValue.fields[0], {
-                Compare: comparePrimitives,
-            }));
-        case /* Matrix */ 2:
-            return Shared_ConditionValue_Matrix(fieldValue.fields[0].Values);
-        case /* PluginData */ 3: {
-            const pluginDataList: FSharpList<Shared_PluginDataProperty> = fieldValue.fields[0];
-            if (!isEmpty(pluginDataList)) {
-                return Shared_ConditionValue_PluginData(head(pluginDataList));
-            }
-            else {
-                throw new Error("Empty plugin data list cannot be converted to ConditionValue");
-            }
-        }
-        default:
-            return Shared_ConditionValue_Single(fieldValue.fields[0].Value);
-    }
-}
-
-/**
- * Convert ConditionValue to FieldValue (for evaluation - needs fieldKey for FieldAnswer)
- */
-export function conditionValueToFieldValue(conditionValue: Shared_ConditionValue_$union, fieldKey: Shared_FieldKey, fieldLabel: string): Shared_FieldValue_$union {
-    switch (conditionValue.tag) {
-        case /* Multiple */ 1:
-            return Shared_FieldValue_Multiple(map_1<string, Shared_FieldAnswer>((value_1: string): Shared_FieldAnswer => (new Shared_FieldAnswer(fieldKey, fieldLabel, value_1)), conditionValue.fields[0], {
-                Compare: compare,
-            }));
-        case /* Matrix */ 2:
-            return Shared_FieldValue_Matrix(new Shared_MatrixAnswer(fieldKey, fieldLabel, conditionValue.fields[0]));
-        case /* PluginData */ 3:
-            return Shared_FieldValue_PluginData(singleton(conditionValue.fields[0]));
-        default:
-            return Shared_FieldValue_Single(new Shared_FieldAnswer(fieldKey, fieldLabel, conditionValue.fields[0]));
-    }
-}
-
-//# sourceMappingURL=FormSpecHelpers.ts.map
+import { singleton, head, isEmpty, ofSeq, iterate, forAll, exists, FSharpList, empty, sortBy, mapIndexed, map } from "@fable-org/fable-library-js/List.js";
+import { float64, int32 } from "@fable-org/fable-library-js/Int32.js";
+import { getFieldDetails, FormSpecMetadata, FieldDetails$1 } from "./FormSpecValues.js";
+import { Shared_FieldValue_Single, Shared_FieldValue_PluginData, Shared_FieldValue_Matrix, Shared_MatrixAnswer, Shared_FieldValue_Multiple, Shared_ConditionValue_Single, Shared_ConditionValue_PluginData, Shared_ConditionValue_Matrix, Shared_ConditionValue_Multiple, ClinicalPathway_ConstraintDefinition, ClinicalPathway_ConstraintType_$union, ClinicalPathway_TransitionDefinition, ClinicalPathway_ClinicalPathwaySpec, ClinicalPathway_TransitionCondition_$union, ClinicalPathway_LogicalOp_$union, Shared_PluginPropertyKey, Shared_FieldOptionKey, Shared_ConditionValue_$union, ClinicalPathway_FieldEvaluator_$union, Shared_PluginDataProperty_$reflection, Shared_PluginDataProperty, Shared_MatrixItemKey, Shared_FieldAnswer, Shared_FieldValue_$union, Spec_FormSpec$1, Spec_FormLifecycle_Draft, Values_StepOrder, Spec_FormStep$1, Shared_FieldKey, Spec_FormField$1, Spec_FieldType_$union } from "./FormSpec.js";
+import { FSharpMap, toList } from "@fable-org/fable-library-js/Map.js";
+import { compare, comparePrimitives } from "@fable-org/fable-library-js/Util.js";
+import { newGuid } from "@fable-org/fable-library-js/Guid.js";
+import { value as value_2, Option, bind } from "@fable-org/fable-library-js/Option.js";
+import { join } from "@fable-org/fable-library-js/String.js";
+import { map as map_1, toList as toList_1 } from "@fable-org/fable-library-js/Set.js";
+import { Auto_generateBoxedEncoder_437914C6, toString } from "./fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
+import { list_type } from "@fable-org/fable-library-js/Reflection.js";
+import { tryParse } from "@fable-org/fable-library-js/Double.js";
+import { FSharpRef } from "@fable-org/fable-library-js/Types.js";
+import { FSharpResult$2_$union, FSharpResult$2_Error, FSharpResult$2_Ok } from "@fable-org/fable-library-js/Result.js";
+import { addRangeInPlace } from "@fable-org/fable-library-js/Array.js";
+
+/**
+ * Build minimal FormSpec structure from ResultSteps Map (for TS interop when formSpec not available)
+ */
+export function buildFormSpecFromResultStepsMap(details: FormSpecMetadata, stepsMap: FSharpMap<Values_StepOrder, FSharpMap<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>>): Spec_FormSpec$1<Spec_FieldType_$union> {
+    return new Spec_FormSpec$1(details.FormSpecId, details.FormSpecCode, "", "", details.DynamicVersion, details.FormSpecVersion, map<[Values_StepOrder, FSharpMap<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>], Spec_FormStep$1<Spec_FieldType_$union>>((tupledArg_1: [Values_StepOrder, FSharpMap<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>]): Spec_FormStep$1<Spec_FieldType_$union> => {
+        const stepOrder: int32 = tupledArg_1[0].fields[0] | 0;
+        return new Spec_FormStep$1(stepOrder, `Step ${stepOrder}`, mapIndexed<[Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>], Spec_FormField$1<Spec_FieldType_$union>>((i: int32, tupledArg_3: [Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>]): Spec_FormField$1<Spec_FieldType_$union> => {
+            const fd_1: FieldDetails$1<Spec_FieldType_$union> = tupledArg_3[1];
+            return new Spec_FormField$1(i + 1, tupledArg_3[0], fd_1.Label, undefined, undefined, false, false, fd_1.FieldType, fd_1.FieldValue);
+        }, sortBy<[Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>], int32>((tupledArg_2: [Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>]): int32 => tupledArg_2[1].FieldOrder, toList<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>(tupledArg_1[1]), {
+            Compare: comparePrimitives,
+        })));
+    }, sortBy<[Values_StepOrder, FSharpMap<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>], int32>((tupledArg: [Values_StepOrder, FSharpMap<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>]): int32 => tupledArg[0].fields[0], toList<Values_StepOrder, FSharpMap<Shared_FieldKey, FieldDetails$1<Spec_FieldType_$union>>>(stepsMap), {
+        Compare: comparePrimitives,
+    })), empty<string>(), details.MaxScore, empty<string>(), false, false, undefined, Spec_FormLifecycle_Draft(newGuid()), undefined);
+}
+
+/**
+ * Extract a field value as a string from FormSpec
+ */
+export function getFieldValue(fieldKey: Shared_FieldKey, formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): Option<string> {
+    return bind<FieldDetails$1<Spec_FieldType_$union>, string>((fieldDetails: FieldDetails$1<Spec_FieldType_$union>): Option<string> => {
+        const matchValue: Shared_FieldValue_$union = fieldDetails.FieldValue;
+        switch (matchValue.tag) {
+            case /* Multiple */ 1:
+                return join(",", map<Shared_FieldAnswer, string>((a: Shared_FieldAnswer): string => a.Value, toList_1<Shared_FieldAnswer>(matchValue.fields[0])));
+            case /* Matrix */ 2:
+                return join(",", map<[Shared_MatrixItemKey, string], string>((tuple: [Shared_MatrixItemKey, string]): string => tuple[1], toList<Shared_MatrixItemKey, string>(matchValue.fields[0].Values)));
+            case /* PluginData */ 3: {
+                const pluginData: FSharpList<Shared_PluginDataProperty> = matchValue.fields[0];
+                return toString(0, Auto_generateBoxedEncoder_437914C6(list_type(Shared_PluginDataProperty_$reflection()), undefined, undefined, undefined)(pluginData));
+            }
+            default:
+                return matchValue.fields[0].Value;
+        }
+    }, getFieldDetails(formSpec, fieldKey));
+}
+
+/**
+ * Check if a field has a specific value
+ */
+export function fieldHasValue(fieldKey: Shared_FieldKey, expectedValue: string, formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): boolean {
+    const matchValue: Option<string> = getFieldValue(fieldKey, formSpec);
+    if (matchValue == null) {
+        return false;
+    }
+    else {
+        return value_2(matchValue) === expectedValue;
+    }
+}
+
+/**
+ * Check if a field value is greater than a threshold
+ */
+export function fieldGreaterThan(fieldKey: Shared_FieldKey, threshold: float64, formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): boolean {
+    const matchValue: Option<string> = getFieldValue(fieldKey, formSpec);
+    if (matchValue == null) {
+        return false;
+    }
+    else {
+        let matchValue_1: [boolean, float64];
+        let outArg = 0;
+        matchValue_1 = ([tryParse(value_2(matchValue), new FSharpRef<float64>((): float64 => outArg, (v: float64): void => {
+            outArg = v;
+        })), outArg] as [boolean, float64]);
+        if (matchValue_1[0]) {
+            return matchValue_1[1] > threshold;
+        }
+        else {
+            return false;
+        }
+    }
+}
+
+/**
+ * Check if a field value is less than a threshold
+ */
+export function fieldLessThan(fieldKey: Shared_FieldKey, threshold: float64, formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): boolean {
+    const matchValue: Option<string> = getFieldValue(fieldKey, formSpec);
+    if (matchValue == null) {
+        return false;
+    }
+    else {
+        let matchValue_1: [boolean, float64];
+        let outArg = 0;
+        matchValue_1 = ([tryParse(value_2(matchValue), new FSharpRef<float64>((): float64 => outArg, (v: float64): void => {
+            outArg = v;
+        })), outArg] as [boolean, float64]);
+        if (matchValue_1[0]) {
+            return matchValue_1[1] < threshold;
+        }
+        else {
+            return false;
+        }
+    }
+}
+
+/**
+ * Evaluate a single field condition (string-based, for backward compatibility)
+ */
+export function evaluateFieldCondition(fieldKey: Shared_FieldKey, evaluator: ClinicalPathway_FieldEvaluator_$union, expectedValue: string, formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): boolean {
+    switch (evaluator.tag) {
+        case /* Equals */ 0:
+            return fieldHasValue(fieldKey, expectedValue, formSpec);
+        case /* NotEquals */ 1:
+            return !fieldHasValue(fieldKey, expectedValue, formSpec);
+        case /* GreaterThan */ 5: {
+            let matchValue: [boolean, float64];
+            let outArg = 0;
+            matchValue = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg, (v: float64): void => {
+                outArg = v;
+            })), outArg] as [boolean, float64]);
+            if (matchValue[0]) {
+                return fieldGreaterThan(fieldKey, matchValue[1], formSpec);
+            }
+            else {
+                return false;
+            }
+        }
+        case /* LessThan */ 7: {
+            let matchValue_1: [boolean, float64];
+            let outArg_1 = 0;
+            matchValue_1 = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg_1, (v_1: float64): void => {
+                outArg_1 = v_1;
+            })), outArg_1] as [boolean, float64]);
+            if (matchValue_1[0]) {
+                return fieldLessThan(fieldKey, matchValue_1[1], formSpec);
+            }
+            else {
+                return false;
+            }
+        }
+        case /* GreaterOrEqual */ 6: {
+            let matchValue_2: [boolean, float64];
+            let outArg_2 = 0;
+            matchValue_2 = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg_2, (v_2: float64): void => {
+                outArg_2 = v_2;
+            })), outArg_2] as [boolean, float64]);
+            if (matchValue_2[0]) {
+                if (fieldGreaterThan(fieldKey, matchValue_2[1], formSpec)) {
+                    return true;
+                }
+                else {
+                    return fieldHasValue(fieldKey, expectedValue, formSpec);
+                }
+            }
+            else {
+                return false;
+            }
+        }
+        case /* LessOrEqual */ 8: {
+            let matchValue_3: [boolean, float64];
+            let outArg_3 = 0;
+            matchValue_3 = ([tryParse(expectedValue, new FSharpRef<float64>((): float64 => outArg_3, (v_3: float64): void => {
+                outArg_3 = v_3;
+            })), outArg_3] as [boolean, float64]);
+            if (matchValue_3[0]) {
+                if (fieldLessThan(fieldKey, matchValue_3[1], formSpec)) {
+                    return true;
+                }
+                else {
+                    return fieldHasValue(fieldKey, expectedValue, formSpec);
+                }
+            }
+            else {
+                return false;
+            }
+        }
+        default:
+            return false;
+    }
+}
+
+/**
+ * Recursively evaluate a transition condition
+ */
+export function evaluateCondition(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, condition: ClinicalPathway_TransitionCondition_$union): boolean {
+    switch (condition.tag) {
+        case /* ScoreInRange */ 3:
+            return false;
+        case /* FieldScoreInRange */ 4:
+            return false;
+        case /* FieldCondition */ 0: {
+            const conditionValue: Shared_ConditionValue_$union = condition.fields[2];
+            return evaluateFieldCondition(condition.fields[0], condition.fields[1], (conditionValue.tag === /* Multiple */ 1) ? join(",", toList_1<string>(conditionValue.fields[0])) : ((conditionValue.tag === /* Matrix */ 2) ? join(",", map<[Shared_MatrixItemKey, string], string>((tupledArg: [Shared_MatrixItemKey, string]): string => tupledArg[1], toList<Shared_MatrixItemKey, string>(conditionValue.fields[0]))) : ((conditionValue.tag === /* PluginData */ 3) ? conditionValue.fields[0].Value : conditionValue.fields[0])), formSpec);
+        }
+        case /* FieldOptionCondition */ 1: {
+            const optionKey: Shared_FieldOptionKey = condition.fields[2];
+            const fieldKey_1: Shared_FieldKey = condition.fields[0];
+            const fieldItemKey: Option<Shared_MatrixItemKey> = condition.fields[1];
+            const evaluator_1: ClinicalPathway_FieldEvaluator_$union = condition.fields[3];
+            const conditionValue_1: Shared_ConditionValue_$union = condition.fields[4];
+            return evaluateFieldCondition((fieldItemKey == null) ? fieldKey_1 : (new Shared_FieldKey(value_2(fieldItemKey).fields[0])), evaluator_1, (conditionValue_1.tag === /* Multiple */ 1) ? join(",", toList_1<string>(conditionValue_1.fields[0])) : ((conditionValue_1.tag === /* Matrix */ 2) ? join(",", map<[Shared_MatrixItemKey, string], string>((tupledArg_1: [Shared_MatrixItemKey, string]): string => tupledArg_1[1], toList<Shared_MatrixItemKey, string>(conditionValue_1.fields[0]))) : ((conditionValue_1.tag === /* PluginData */ 3) ? conditionValue_1.fields[0].Value : conditionValue_1.fields[0])), formSpec);
+        }
+        case /* PluginPropertyCondition */ 2: {
+            const propertyKey: Shared_PluginPropertyKey = condition.fields[1];
+            const fieldKey_2: Shared_FieldKey = condition.fields[0];
+            const evaluator_2: ClinicalPathway_FieldEvaluator_$union = condition.fields[2];
+            const conditionValue_2: Shared_ConditionValue_$union = condition.fields[3];
+            const expectedValueStr_2: string = (conditionValue_2.tag === /* Multiple */ 1) ? join(",", toList_1<string>(conditionValue_2.fields[0])) : ((conditionValue_2.tag === /* Matrix */ 2) ? join(",", map<[Shared_MatrixItemKey, string], string>((tupledArg_2: [Shared_MatrixItemKey, string]): string => tupledArg_2[1], toList<Shared_MatrixItemKey, string>(conditionValue_2.fields[0]))) : ((conditionValue_2.tag === /* PluginData */ 3) ? conditionValue_2.fields[0].Value : conditionValue_2.fields[0]));
+            return false;
+        }
+        case /* CompositeCondition */ 6: {
+            const operator: ClinicalPathway_LogicalOp_$union = condition.fields[0];
+            const conditions: FSharpList<ClinicalPathway_TransitionCondition_$union> = condition.fields[1];
+            switch (operator.tag) {
+                case /* Or */ 1:
+                    return exists<ClinicalPathway_TransitionCondition_$union>((condition_2: ClinicalPathway_TransitionCondition_$union): boolean => evaluateCondition(formSpec, condition_2), conditions);
+                case /* Not */ 2:
+                    throw new Error("Not operator should not be used directly with CompositeCondition");
+                default:
+                    return forAll<ClinicalPathway_TransitionCondition_$union>((condition_1: ClinicalPathway_TransitionCondition_$union): boolean => evaluateCondition(formSpec, condition_1), conditions);
+            }
+        }
+        case /* StateCondition */ 5:
+            return true;
+        case /* TestResultCondition */ 7:
+            return true;
+        default:
+            return true;
+    }
+}
+
+/**
+ * Validate that a FormSpec only uses GUID field keys
+ */
+export function validateFormSpecFieldKeys(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): FSharpResult$2_$union<void, FSharpList<string>> {
+    const errors: string[] = [];
+    iterate<Spec_FormStep$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): void => {
+        iterate<Spec_FormField$1<Spec_FieldType_$union>>((field: Spec_FormField$1<Spec_FieldType_$union>): void => {
+            if (field.FieldKey.fields[0] === "00000000-0000-0000-0000-000000000000") {
+                void (errors.push(`Field '${field.Label}' has empty GUID field key`));
+            }
+        }, step.Fields);
+    }, formSpec.Steps);
+    const matchValue: Option<ClinicalPathway_ClinicalPathwaySpec> = formSpec.ClinicalPathway;
+    if (matchValue == null) {
+    }
+    else {
+        const pathway: ClinicalPathway_ClinicalPathwaySpec = value_2(matchValue);
+        pathway.States;
+        iterate<ClinicalPathway_TransitionDefinition>((transition: ClinicalPathway_TransitionDefinition): void => {
+            const validateCondition = (condition: ClinicalPathway_TransitionCondition_$union): void => {
+                switch (condition.tag) {
+                    case /* FieldCondition */ 0: {
+                        if (condition.fields[0].fields[0] === "00000000-0000-0000-0000-000000000000") {
+                            void (errors.push(`Transition '${transition.TransitionKey}' has empty GUID field key in condition`));
+                        }
+                        break;
+                    }
+                    case /* PluginPropertyCondition */ 2: {
+                        const propGuid: string = condition.fields[1].fields[0];
+                        if (condition.fields[0].fields[0] === "00000000-0000-0000-0000-000000000000") {
+                            void (errors.push(`Transition '${transition.TransitionKey}' has empty GUID field key in plugin property condition`));
+                        }
+                        if (propGuid === "00000000-0000-0000-0000-000000000000") {
+                            void (errors.push(`Transition '${transition.TransitionKey}' has empty GUID property key in plugin property condition`));
+                        }
+                        break;
+                    }
+                    case /* CompositeCondition */ 6: {
+                        iterate<ClinicalPathway_TransitionCondition_$union>(validateCondition, condition.fields[1]);
+                        break;
+                    }
+                    default:
+                        undefined;
+                }
+            };
+            validateCondition(transition.Condition);
+        }, pathway.Transitions);
+        iterate<ClinicalPathway_ConstraintDefinition>((constraintDef: ClinicalPathway_ConstraintDefinition): void => {
+            const matchValue_1: ClinicalPathway_ConstraintType_$union = constraintDef.ConstraintType;
+            if (matchValue_1.tag === /* RequiredField */ 3) {
+                if (matchValue_1.fields[0].fields[0] === "00000000-0000-0000-0000-000000000000") {
+                    void (errors.push(`Constraint '${constraintDef.ConstraintKey}' has empty GUID field key`));
+                }
+            }
+        }, pathway.Constraints);
+    }
+    if (errors.length === 0) {
+        return FSharpResult$2_Ok<void, FSharpList<string>>(undefined);
+    }
+    else {
+        return FSharpResult$2_Error<void, FSharpList<string>>(ofSeq<string>(errors));
+    }
+}
+
+/**
+ * Validate that FormSpec only contains GUID field keys (for form data validation)
+ */
+export function validateFormDataFieldKeys(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): FSharpResult$2_$union<void, FSharpList<string>> {
+    const errors: string[] = [];
+    iterate<Spec_FormStep$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): void => {
+        iterate<Spec_FormField$1<Spec_FieldType_$union>>((field: Spec_FormField$1<Spec_FieldType_$union>): void => {
+            if (field.FieldKey.fields[0] === "00000000-0000-0000-0000-000000000000") {
+                void (errors.push(`Step ${step.StepOrder} contains field with empty GUID`));
+            }
+        }, step.Fields);
+    }, formSpec.Steps);
+    if (errors.length === 0) {
+        return FSharpResult$2_Ok<void, FSharpList<string>>(undefined);
+    }
+    else {
+        return FSharpResult$2_Error<void, FSharpList<string>>(ofSeq<string>(errors));
+    }
+}
+
+/**
+ * Comprehensive validation that ensures FormSpec only works with GUID keys
+ */
+export function validateGuidOnlyFormSpec(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, formSpecWithValues: Option<Spec_FormSpec$1<Spec_FieldType_$union>>): FSharpResult$2_$union<void, FSharpList<string>> {
+    const errors: string[] = [];
+    const matchValue: FSharpResult$2_$union<void, FSharpList<string>> = validateFormSpecFieldKeys(formSpec);
+    if (matchValue.tag === /* Ok */ 0) {
+    }
+    else {
+        addRangeInPlace(matchValue.fields[0], errors);
+    }
+    if (formSpecWithValues == null) {
+    }
+    else {
+        const matchValue_1: FSharpResult$2_$union<void, FSharpList<string>> = validateFormDataFieldKeys(value_2(formSpecWithValues));
+        if (matchValue_1.tag === /* Ok */ 0) {
+        }
+        else {
+            addRangeInPlace(matchValue_1.fields[0], errors);
+        }
+    }
+    if (errors.length === 0) {
+        return FSharpResult$2_Ok<void, FSharpList<string>>(undefined);
+    }
+    else {
+        return FSharpResult$2_Error<void, FSharpList<string>>(ofSeq<string>(errors));
+    }
+}
+
+/**
+ * Convert FieldValue to ConditionValue (extracts just the values, no FieldAnswer wrapper)
+ */
+export function fieldValueToConditionValue(fieldValue: Shared_FieldValue_$union): Shared_ConditionValue_$union {
+    switch (fieldValue.tag) {
+        case /* Multiple */ 1:
+            return Shared_ConditionValue_Multiple(map_1<Shared_FieldAnswer, string>((a: Shared_FieldAnswer): string => a.Value, fieldValue.fields[0], {
+                Compare: comparePrimitives,
+            }));
+        case /* Matrix */ 2:
+            return Shared_ConditionValue_Matrix(fieldValue.fields[0].Values);
+        case /* PluginData */ 3: {
+            const pluginDataList: FSharpList<Shared_PluginDataProperty> = fieldValue.fields[0];
+            if (!isEmpty(pluginDataList)) {
+                return Shared_ConditionValue_PluginData(head(pluginDataList));
+            }
+            else {
+                throw new Error("Empty plugin data list cannot be converted to ConditionValue");
+            }
+        }
+        default:
+            return Shared_ConditionValue_Single(fieldValue.fields[0].Value);
+    }
+}
+
+/**
+ * Convert ConditionValue to FieldValue (for evaluation - needs fieldKey for FieldAnswer)
+ */
+export function conditionValueToFieldValue(conditionValue: Shared_ConditionValue_$union, fieldKey: Shared_FieldKey, fieldLabel: string): Shared_FieldValue_$union {
+    switch (conditionValue.tag) {
+        case /* Multiple */ 1:
+            return Shared_FieldValue_Multiple(map_1<string, Shared_FieldAnswer>((value_1: string): Shared_FieldAnswer => (new Shared_FieldAnswer(fieldKey, fieldLabel, value_1)), conditionValue.fields[0], {
+                Compare: compare,
+            }));
+        case /* Matrix */ 2:
+            return Shared_FieldValue_Matrix(new Shared_MatrixAnswer(fieldKey, fieldLabel, conditionValue.fields[0]));
+        case /* PluginData */ 3:
+            return Shared_FieldValue_PluginData(singleton(conditionValue.fields[0]));
+        default:
+            return Shared_FieldValue_Single(new Shared_FieldAnswer(fieldKey, fieldLabel, conditionValue.fields[0]));
+    }
+}
+
+//# sourceMappingURL=FormSpecHelpers.ts.map