@f1studio/form-spec 5.0.0-alpha.127 → 5.0.0-alpha.129

package/src/FormSpec.FS/Interop/FormSpec.Api.Helpers.ts

@@ -1,23 +1,23 @@
-import { value as value_11, map, unwrap, defaultArgWith as defaultArgWith_1, Option, defaultArg as defaultArg_1 } from "@fable-org/fable-library-js/Option.js";
-import { toArray as toArray_1, length as length_1, tryPick, filter, mapIndexed as mapIndexed_1, isEmpty, singleton, map as map_3, empty, ofArray as ofArray_1, ofSeq, fold, collect, tryFind, FSharpList } from "@fable-org/fable-library-js/List.js";
-import { join, printf, toConsole } from "@fable-org/fable-library-js/String.js";
-import { Auto_generateBoxedEncoder_437914C6, toString } from "../../fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
-import { array_type, string_type, union_type, TypeInfo, obj_type } from "@fable-org/fable-library-js/Reflection.js";
-import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../../fable_modules/Thoth.Json.10.4.1/Decode.fs.js";
-import { defaultOf, equals, createObj, stringHash, compare, IDisposable, disposeSafe, IEnumerator, getEnumerator, IMap, isArrayLike, uncurry2 } from "@fable-org/fable-library-js/Util.js";
-import { Spec_ClinicalInstrumentInfo, Spec_FormClassification_$union, ClinicalPathway_StateType_$union, ClinicalPathway_TaskPriority_$union, ClinicalPathway_AlertSeverity_$union, ClinicalPathway_ReferralUrgency_$union, ClinicalPathway_ActionInfo_$union, ClinicalPathway_NavigateToFormAction, ClinicalPathway_ProblemAction, ClinicalPathway_AlertAction, ClinicalPathway_EducationAction, ClinicalPathway_ProcedureAction, ClinicalPathway_TestAction, ClinicalPathway_DocumentationAction, ClinicalPathway_FieldValueSource_$union, ClinicalPathway_SetFieldValueAction, ClinicalPathway_PrescriptionAction, ClinicalPathway_MedicationAction, ClinicalPathway_ReferralAction, Shared_FieldValue, Shared_FieldValue_$union, ClinicalPathway_ClinicalPathwaySpec, ClinicalPathway_PathRequirement, ClinicalPathway_ConstraintDefinition, ClinicalPathway_PathwayExecutionMode_SinglePathway, ClinicalPathway_SinglePathwayConfig, ClinicalPathway_SelectionStrategy_HighestPriority, ClinicalPathway_TransitionDefinition, ClinicalPathway_TransitionCondition_FieldCondition, Shared_ConditionValue_Single, ClinicalPathway_FieldEvaluator_Equals, Shared_TransitionKey, ClinicalPathway_StateType_Terminal, ClinicalPathway_TerminalInfo, ClinicalPathway_StateDefinition, ClinicalPathway_StateType_Action, ClinicalPathway_ActionInfo_Task, ClinicalPathway_TaskAction, ClinicalPathway_DueDate_Today, ClinicalPathway_TaskPriority_Medium, ClinicalPathway_TaskPriority_Low, ClinicalPathway_TaskPriority_High, Shared_StateKey, Spec_FieldType_PluginField, Spec_PluginFieldConfig, Spec_FieldType_Matrix, Spec_MatrixInfo, Spec_FormClassification_General, Spec_FormLifecycle_Blueprint, Spec_FieldType_Text, Spec_TextInfo, Spec_FieldType_CheckboxList, Spec_MultiChoiceInfo, Shared_FieldOptionKey, Spec_FieldType_Checkbox, Spec_BooleanInfo, Shared_FieldKey, Shared_FieldOption, Shared_FieldValue_Single, Shared_FieldValue_PluginData, Shared_PluginDataProperty, Shared_PluginPropertyKey, Shared_FieldValue_Matrix, Shared_MatrixAnswer, Shared_MatrixItemKey, Shared_FieldValue_Multiple, Shared_FieldAnswer, Spec_FormStep$1, Spec_FormField$1, Spec_FieldType_$union, Spec_FormSpec$1, Spec_FormSpec$1_$reflection, Spec_FieldType_$reflection } from "../FormSpec.js";
+import { map, unwrap, value as value_19, orElseWith, orElse, defaultArgWith as defaultArgWith_1, Option, defaultArg as defaultArg_1 } from "@fable-org/fable-library-js/Option.js";
+import { toArray as toArray_1, length as length_1, tryPick, filter, mapIndexed as mapIndexed_1, isEmpty, map as map_3, empty, ofArray as ofArray_1, ofSeq, fold, singleton, collect, tryFind, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { toText, isNullOrEmpty, join, isNullOrWhiteSpace, printf, toConsole } from "@fable-org/fable-library-js/String.js";
+import { Auto_generateBoxedEncoder_437914C6, toString } from "../../Thoth.Json/packages/Thoth.Json/Encode.js";
+import { Spec_SingleChoiceInfo, Spec_ClinicalInstrumentInfo, Spec_FormClassification_$union, ClinicalPathway_StateType_$union, ClinicalPathway_TaskPriority_$union, ClinicalPathway_AlertSeverity_$union, ClinicalPathway_ReferralUrgency_$union, ClinicalPathway_ActionInfo_$union, ClinicalPathway_NavigateToFormAction, ClinicalPathway_ProblemAction, ClinicalPathway_AlertAction, ClinicalPathway_EducationAction, ClinicalPathway_ProcedureAction, ClinicalPathway_TestAction, ClinicalPathway_DocumentationAction, ClinicalPathway_FieldValueSource_$union, ClinicalPathway_SetFieldValueAction, ClinicalPathway_PrescriptionAction, ClinicalPathway_MedicationAction, ClinicalPathway_ReferralAction, Shared_FieldValue, Shared_FieldValue_$union, ClinicalPathway_ClinicalPathwaySpec, ClinicalPathway_PathRequirement, ClinicalPathway_ConstraintDefinition, ClinicalPathway_PathwayExecutionMode_SinglePathway, ClinicalPathway_SinglePathwayConfig, ClinicalPathway_SelectionStrategy_HighestPriority, ClinicalPathway_TransitionDefinition, ClinicalPathway_TransitionCondition_FieldCondition, Shared_ConditionValue_Single, ClinicalPathway_FieldEvaluator_Equals, Shared_TransitionKey, ClinicalPathway_StateType_Terminal, ClinicalPathway_TerminalInfo, ClinicalPathway_StateDefinition, ClinicalPathway_StateType_Action, ClinicalPathway_ActionInfo_Task, ClinicalPathway_TaskAction, ClinicalPathway_DueDate_Today, ClinicalPathway_TaskPriority_Medium, ClinicalPathway_TaskPriority_Low, ClinicalPathway_TaskPriority_High, Shared_StateKey, Spec_FieldType_PluginField, Spec_PluginFieldConfig, Spec_FieldType_Matrix, Spec_MatrixInfo, Spec_FormClassification_General, Spec_FormLifecycle_Blueprint, Spec_FieldType_Text, Spec_TextInfo, Spec_FieldType_CheckboxList, Spec_MultiChoiceInfo, Shared_FieldOptionKey, Spec_FieldType_Checkbox, Spec_BooleanInfo, Shared_FieldKey, Shared_FieldOption, Shared_FieldValue_Single, Shared_FieldValue_PluginData, Shared_PluginDataProperty, Shared_PluginPropertyKey, Shared_FieldValue_Matrix, Shared_MatrixAnswer, Shared_MatrixItemKey, Shared_FieldValue_Multiple, Shared_FieldAnswer, Spec_FormStep$1, Spec_FormField$1, Spec_FieldType_$union, Spec_FormSpec$1, Spec_FormSpec$1_$reflection, Spec_FieldType_$reflection } from "../FormSpec.js";
+import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../../Thoth.Json/packages/Thoth.Json/Decode.js";
+import { comparePrimitives, defaultOf, equals, createObj, stringHash, compare, IDisposable, disposeSafe, IEnumerator, getEnumerator, IMap, isArrayLike, uncurry2 } from "@fable-org/fable-library-js/Util.js";
 import { FSharpResult$2_Ok, FSharpResult$2_Error, FSharpResult$2_$union } from "@fable-org/fable-library-js/Result.js";
 import { newGuid, parse, tryParse } from "@fable-org/fable-library-js/Guid.js";
 import { Union, FSharpRef } from "@fable-org/fable-library-js/Types.js";
-import { IOptionalGetter, array as array_4, IGetters, dict as dict_1, string, IRequiredGetter, object, fromString as fromString_1 } from "../../fable_modules/Thoth.Json.10.4.1/Decode.fs.js";
-import { ErrorReason_$union } from "../../fable_modules/Thoth.Json.10.4.1/Types.fs.js";
-import { count, ofSeq as ofSeq_1, toList, FSharpMap } from "@fable-org/fable-library-js/Map.js";
+import { array_type, string_type, obj_type, union_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
+import { array as array_7, at, IOptionalGetter, IGetters, dict as dict_1, string, IRequiredGetter, object, fromString as fromString_1 } from "../../Thoth.Json/packages/Thoth.Json/Decode.js";
+import { ErrorReason_$union } from "../../Thoth.Json/packages/Thoth.Json/Types.js";
+import { tryFind as tryFind_1, empty as empty_2, count, ofSeq as ofSeq_1, toList, FSharpMap } from "@fable-org/fable-library-js/Map.js";
 import { addToDict } from "@fable-org/fable-library-js/MapUtil.js";
 import { int32 } from "@fable-org/fable-library-js/Int32.js";
 import { getFieldDetails as getFieldDetails_1, FieldDetails$1, findStepIndexForField, updateField } from "../FormSpecValues.js";
 import { length, singleton as singleton_1, empty as empty_1, collect as collect_1, delay, toList as toList_1, mapIndexed, map as map_2, choose } from "@fable-org/fable-library-js/Seq.js";
 import { toArray, ofArray } from "@fable-org/fable-library-js/Set.js";
-import { map as map_1 } from "@fable-org/fable-library-js/Array.js";
+import { tryFind as tryFind_2, append, map as map_1 } from "@fable-org/fable-library-js/Array.js";
 import { now } from "@fable-org/fable-library-js/DateOffset.js";
 import { initializeExecution } from "../PathwayExecutor.js";
 import { List_distinct, distinct } from "@fable-org/fable-library-js/Seq2.js";
@@ -74,10 +74,10 @@ export function normalizeFormValuesForPlatformApi(formValues: any): any {
     return formValues;
 }
 
-export function serializeFormSpec(formSpec: any): string {
+export function serializeFormSpec(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>): string {
     toConsole(printf("[API.Helpers] Serializing FormSpec!!"));
-    toConsole(`[API.Helpers] FormSpec: ${formSpec}`);
-    return toString(0, Auto_generateBoxedEncoder_437914C6(obj_type, undefined, undefined, undefined)(formSpec));
+    toConsole(`[API.Helpers] FormSpec: ${formSpec.Title}`);
+    return toString(0, Auto_generateBoxedEncoder_437914C6(Spec_FormSpec$1_$reflection(Spec_FieldType_$reflection()), undefined, undefined, undefined)(formSpec));
 }
 
 export function deserializeFormSpec(json: string): Option<Spec_FormSpec$1<Spec_FieldType_$union>> {
@@ -329,40 +329,57 @@ export function decodeAsMatrixValue(fieldKey: string, obj: any): { description:
     }
 }
 
+function decodePropertyKey(get$: IGetters): string {
+    let objectArg: IOptionalGetter, objectArg_2: IOptionalGetter;
+    const matchValue: Option<string> = orElse(orElseWith<string>((objectArg = get$.Optional, objectArg.Field<string>("PropertyKey", string)), (): Option<string> => {
+        const objectArg_1: IOptionalGetter = get$.Optional;
+        return objectArg_1.Field<string>("propertyKey", string);
+    }), orElseWith<string>((objectArg_2 = get$.Optional, objectArg_2.Field<string>("PropertyKey", (firstPath: string, firstValue: any): FSharpResult$2_$union<string, [string, ErrorReason_$union]> => at<string>(singleton("Value"), string, firstPath, firstValue))), (): Option<string> => {
+        const objectArg_3: IOptionalGetter = get$.Optional;
+        return objectArg_3.Field<string>("propertyKey", (firstPath_1: string, firstValue_1: any): FSharpResult$2_$union<string, [string, ErrorReason_$union]> => at<string>(singleton("Value"), string, firstPath_1, firstValue_1));
+    }));
+    let matchResult: int32, s_1: string;
+    if (matchValue != null) {
+        if (!isNullOrWhiteSpace(value_19(matchValue))) {
+            matchResult = 0;
+            s_1 = value_19(matchValue);
+        }
+        else {
+            matchResult = 1;
+        }
+    }
+    else {
+        matchResult = 1;
+    }
+    switch (matchResult) {
+        case 0:
+            return parse(s_1!);
+        default:
+            return newGuid();
+    }
+}
+
 export function decodeAsPluginDataArray(fieldKey: string, obj: any): { dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[] {
     let str: string;
     const objAsString: string = (typeof obj === "string") ? ((str = (obj as string), str)) : toString(0, Auto_generateBoxedEncoder_437914C6(obj_type, undefined, undefined, undefined)(obj));
     try {
-        const matchValue: FSharpResult$2_$union<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[], string> = fromString_1<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[]>((path_8: string, value_10: any): FSharpResult$2_$union<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[], [string, ErrorReason_$union]> => array_4<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }>((path_7: string, v: any): FSharpResult$2_$union<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }, [string, ErrorReason_$union]> => object<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }>((get$: IGetters): { dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string } => {
-            let objectArg_6: IOptionalGetter;
-            let propertyKey: string;
-            const objectArg: IRequiredGetter = get$.Required;
-            propertyKey = objectArg.Field<string>("propertyKey", string);
-            let name: string;
-            const objectArg_1: IRequiredGetter = get$.Required;
-            name = objectArg_1.Field<string>("name", string);
-            let dataType: string;
-            const objectArg_2: IRequiredGetter = get$.Required;
-            dataType = objectArg_2.Field<string>("dataType", string);
-            let value_6: string;
-            const objectArg_3: IRequiredGetter = get$.Required;
-            value_6 = objectArg_3.Field<string>("value", string);
-            let displayName: Option<string>;
-            const objectArg_4: IOptionalGetter = get$.Optional;
-            displayName = objectArg_4.Field<string>("displayName", string);
-            let unit: Option<string>;
-            const objectArg_5: IOptionalGetter = get$.Optional;
-            unit = objectArg_5.Field<string>("unit", string);
+        const matchValue: FSharpResult$2_$union<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[], string> = fromString_1<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[]>((path_13: string, value_18: any): FSharpResult$2_$union<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }[], [string, ErrorReason_$union]> => array_7<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }>((path_12: string, v: any): FSharpResult$2_$union<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }, [string, ErrorReason_$union]> => object<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }>((get$: IGetters): { dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string } => {
+            let objectArg: IOptionalGetter, objectArg_1: IOptionalGetter, objectArg_2: IOptionalGetter, objectArg_3: IOptionalGetter, objectArg_4: IOptionalGetter, objectArg_5: IOptionalGetter, objectArg_6: IOptionalGetter, objectArg_7: IOptionalGetter, objectArg_8: IOptionalGetter, objectArg_9: IOptionalGetter, objectArg_10: IOptionalGetter, objectArg_11: IOptionalGetter;
+            const name: string = defaultArg_1(orElse((objectArg = get$.Optional, objectArg.Field<string>("Name", string)), (objectArg_1 = get$.Optional, objectArg_1.Field<string>("name", string))), "");
+            const dataType: string = defaultArg_1(orElse((objectArg_2 = get$.Optional, objectArg_2.Field<string>("DataType", string)), (objectArg_3 = get$.Optional, objectArg_3.Field<string>("dataType", string))), "string");
+            const value_11: string = defaultArg_1(orElse((objectArg_4 = get$.Optional, objectArg_4.Field<string>("Value", string)), (objectArg_5 = get$.Optional, objectArg_5.Field<string>("value", string))), "");
+            const displayName: Option<string> = orElse((objectArg_6 = get$.Optional, objectArg_6.Field<string>("DisplayName", string)), (objectArg_7 = get$.Optional, objectArg_7.Field<string>("displayName", string)));
+            const unitVal: Option<string> = orElse((objectArg_8 = get$.Optional, objectArg_8.Field<string>("Unit", string)), (objectArg_9 = get$.Optional, objectArg_9.Field<string>("unit", string)));
             return {
                 dataType: dataType,
-                description: unwrap((objectArg_6 = get$.Optional, objectArg_6.Field<string>("description", string))),
+                description: unwrap(orElse((objectArg_10 = get$.Optional, objectArg_10.Field<string>("Description", string)), (objectArg_11 = get$.Optional, objectArg_11.Field<string>("description", string)))),
                 displayName: unwrap(displayName),
                 name: name,
-                propertyKey: propertyKey,
-                unit: unwrap(unit),
-                value: value_6,
+                propertyKey: decodePropertyKey(get$),
+                unit: unwrap(unitVal),
+                value: value_11,
             };
-        }, path_7, v), path_8, value_10), objAsString);
+        }, path_12, v), path_13, value_18), objAsString);
         if (matchValue.tag === /* Error */ 1) {
             throw new Error(`Field ${fieldKey}: Invalid plugin data format - ${matchValue.fields[0]}`);
         }
@@ -398,7 +415,7 @@ export function buildFormSpecWithValues(formSpec: Spec_FormSpec$1<Spec_FieldType
             return undefined;
         }
         else {
-            const field: Spec_FormField$1<Spec_FieldType_$union> = value_11(matchValue);
+            const field: Spec_FormField$1<Spec_FieldType_$union> = value_19(matchValue);
             try {
                 return [field, new FieldDetails$1(field.FieldOrder, field.FieldKey, field.Label, (matchValue_1 = getExpectedFieldValueType(field.FieldType), (matchValue_1.tag === /* MultipleValues */ 1) ? Shared_FieldValue_Multiple(ofArray<Shared_FieldAnswer>(map_1<string, Shared_FieldAnswer>((value: string): Shared_FieldAnswer => (new Shared_FieldAnswer(field.FieldKey, field.Label, value)), decodeAsStringArray(input.fieldKey, input.objectValue)), {
                     Compare: compare,
@@ -484,7 +501,7 @@ export function createPluginField(fieldKeyString: string, label: string, config:
  * TypeScript: createActionState(stateKey: string, label: string, taskDescription: string, priority?: string)
  */
 export function createActionState(stateKeyString: string, label: string, taskDescription: string, priority: Option<string>): ClinicalPathway_StateDefinition {
-    return new ClinicalPathway_StateDefinition(new Shared_StateKey(parse(stateKeyString)), label, 1, ClinicalPathway_StateType_Action(ClinicalPathway_ActionInfo_Task(new ClinicalPathway_TaskAction("Clinical", taskDescription, (priority != null) ? ((value_11(priority) === "High") ? ClinicalPathway_TaskPriority_High() : ((value_11(priority) === "Low") ? ClinicalPathway_TaskPriority_Low() : ClinicalPathway_TaskPriority_Medium())) : ClinicalPathway_TaskPriority_Medium(), ClinicalPathway_DueDate_Today(), "Clinical Staff", undefined))), undefined);
+    return new ClinicalPathway_StateDefinition(new Shared_StateKey(parse(stateKeyString)), label, 1, ClinicalPathway_StateType_Action(ClinicalPathway_ActionInfo_Task(new ClinicalPathway_TaskAction("Clinical", taskDescription, (priority != null) ? ((value_19(priority) === "High") ? ClinicalPathway_TaskPriority_High() : ((value_19(priority) === "Low") ? ClinicalPathway_TaskPriority_Low() : ClinicalPathway_TaskPriority_Medium())) : ClinicalPathway_TaskPriority_Medium(), ClinicalPathway_DueDate_Today(), "Clinical Staff", undefined))), undefined);
 }
 
 /**
@@ -755,12 +772,12 @@ export function getFieldMatrixInfo(field: Spec_FormField$1<Spec_FieldType_$union
                 items: (collection_2 = map_3<Shared_FieldOption, { key: string, label: string }>((item_1: Shared_FieldOption): { key: string, label: string } => ({
                     key: item_1.OptionKey.fields[0],
                     label: item_1.Description,
-                }), value_11(config_1!.Items)), Array.from(collection_2)),
+                }), value_19(config_1!.Items)), Array.from(collection_2)),
                 options: (collection_3 = map_3<Shared_FieldOption, { description: string, key: string, value: string }>((opt_1: Shared_FieldOption): { description: string, key: string, value: string } => ({
                     description: opt_1.Description,
                     key: opt_1.OptionKey.fields[0],
                     value: opt_1.Value,
-                }), value_11(config_1!.Options)), Array.from(collection_3)),
+                }), value_19(config_1!.Options)), Array.from(collection_3)),
             };
         default:
             return undefined;
@@ -777,15 +794,15 @@ export function getFieldMatrixInfoFromValue(field: Spec_FormField$1<Spec_FieldTy
     const matchValue: Option<Shared_FieldValue_$union> = field.Value;
     let matchResult: int32, ma: Shared_MatrixAnswer, props: FSharpList<Shared_PluginDataProperty>;
     if (matchValue != null) {
-        switch (value_11(matchValue).tag) {
+        switch (value_19(matchValue).tag) {
             case /* Matrix */ 2: {
                 matchResult = 0;
-                ma = (value_11(matchValue) as Shared_FieldValue<2>).fields[0];
+                ma = (value_19(matchValue) as Shared_FieldValue<2>).fields[0];
                 break;
             }
             case /* PluginData */ 3: {
                 matchResult = 1;
-                props = (value_11(matchValue) as Shared_FieldValue<3>).fields[0];
+                props = (value_19(matchValue) as Shared_FieldValue<3>).fields[0];
                 break;
             }
             default:
@@ -875,7 +892,7 @@ export function extractFormValuesFromFormSpec(spec: Spec_FormSpec$1<Spec_FieldTy
             return empty_1<[string, any]>();
         }
         else {
-            const fv: Shared_FieldValue_$union = value_11(matchValue);
+            const fv: Shared_FieldValue_$union = value_19(matchValue);
             return singleton_1<[string, any]>([getFieldKeyString(field.FieldKey), (fv.tag === /* Multiple */ 1) ? ((arr = map_1<Shared_FieldAnswer, string>((fa_1: Shared_FieldAnswer): string => fa_1.Value, toArray<Shared_FieldAnswer>(fv.fields[0])), Array.from(arr))) : ((fv.tag === /* Matrix */ 2) ? ((ma = fv.fields[0], (dict = (new Map<string, string>([])), ((enumerator = getEnumerator(ma.Values), (() => {
                 try {
                     while (enumerator["System.Collections.IEnumerator.MoveNext"]()) {
@@ -1191,7 +1208,7 @@ export function validateAndBuildFormSpec(formSpec: Spec_FormSpec$1<Spec_FieldTyp
                 }));
             }
             else {
-                const field: Spec_FormField$1<Spec_FieldType_$union> = value_11(matchValue);
+                const field: Spec_FormField$1<Spec_FieldType_$union> = value_19(matchValue);
                 try {
                     validFieldCount = ((validFieldCount + 1) | 0);
                 }
@@ -1249,7 +1266,7 @@ export function tryEncodeToFormAnswers(provenancePayload: string, filledFormSpec
             error: result.fields[0],
             success: false,
         } : {
-            answerCount: (matchValue = result.fields[0].Answers, (matchValue == null) ? 0 : length_1<CoreMRAnswer>(value_11(matchValue))),
+            answerCount: (matchValue = result.fields[0].Answers, (matchValue == null) ? 0 : length_1<CoreMRAnswer>(value_19(matchValue))),
             error: defaultOf(),
             success: true,
         };
@@ -1272,4 +1289,168 @@ export function getAllFieldKeys(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>
     return toArray_1<string>(map_3<Spec_FormField$1<Spec_FieldType_$union>, string>((field: Spec_FormField$1<Spec_FieldType_$union>): string => getFieldKeyString(field.FieldKey), collect<Spec_FormStep$1<Spec_FieldType_$union>, Spec_FormField$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<Spec_FormField$1<Spec_FieldType_$union>> => step.Fields, formSpec.Steps)));
 }
 
+/**
+ * Get comprehensive validation telemetry - structure, data, and provenance validation.
+ * TypeScript: getFullValidationTelemetry(formSpec: FormSpec, values: any) => ValidationTelemetry
+ * ACTIONABLE intelligence - not just counts!
+ */
+export function getFullValidationTelemetry(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, values: any): any {
+    let dict: any;
+    const valuesDict: FSharpMap<string, any> = empty_2<string, any>({
+        Compare: comparePrimitives,
+    });
+    const fieldTelemetry: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }[] = toArray_1<{ actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }>(map_3<Spec_FormField$1<Spec_FieldType_$union>, { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }>((field: Spec_FormField$1<Spec_FieldType_$union>): { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean } => {
+        let matchValue_2: Spec_FieldType_$union;
+        const fieldKey: string = getFieldKeyString(field.FieldKey);
+        const fieldLabel: string = isNullOrEmpty(field.Label) ? fieldKey : field.Label;
+        const fieldTypeInfo: { isRequired: boolean, typeName: string } = getFieldTypeInfo(field);
+        const fieldValue: Option<any> = tryFind_1<string, any>(fieldKey, valuesDict);
+        let patternInput: [boolean, any[], string[], string[]];
+        const matchValue: Spec_FieldType_$union = field.FieldType;
+        let matchResult: int32, info_2: Spec_SingleChoiceInfo;
+        switch (matchValue.tag) {
+            case /* CheckboxList */ 16: {
+                matchResult = 0;
+                break;
+            }
+            case /* Matrix */ 19: {
+                matchResult = 1;
+                break;
+            }
+            case /* Radio */ 12: {
+                matchResult = 2;
+                info_2 = matchValue.fields[0];
+                break;
+            }
+            case /* SingleChoice */ 13: {
+                matchResult = 2;
+                info_2 = matchValue.fields[0];
+                break;
+            }
+            case /* Dropdown */ 14: {
+                matchResult = 2;
+                info_2 = matchValue.fields[0];
+                break;
+            }
+            default:
+                matchResult = 3;
+        }
+        switch (matchResult) {
+            case 0: {
+                const expected: string[] = toArray_1<string>(map_3<Shared_FieldOption, string>((opt: Shared_FieldOption): string => opt.Value, matchValue.fields[0].Options));
+                patternInput = ([true, [], expected, expected] as [boolean, any[], string[], string[]]);
+                break;
+            }
+            case 1: {
+                const info_1: Spec_MatrixInfo = matchValue.fields[0];
+                const expected_1: string[] = append<string>(toArray_1<string>(map_3<Shared_FieldOption, string>((item: Shared_FieldOption): string => item.Value, info_1.Items)), toArray_1<string>(map_3<Shared_FieldOption, string>((opt_1: Shared_FieldOption): string => opt_1.Value, info_1.Options)));
+                patternInput = ([true, [], expected_1, expected_1] as [boolean, any[], string[], string[]]);
+                break;
+            }
+            case 2: {
+                const expected_2: string[] = toArray_1<string>(map_3<Shared_FieldOption, string>((opt_2: Shared_FieldOption): string => opt_2.Value, info_2!.Options));
+                patternInput = ([true, [], expected_2, expected_2] as [boolean, any[], string[], string[]]);
+                break;
+            }
+            default:
+                patternInput = ([true, [], [], []] as [boolean, any[], string[], string[]]);
+        }
+        let patternInput_1: [boolean, string[], string, string];
+        const isRequired: boolean = !field.IsOptional;
+        const hasValue: boolean = fieldValue != null;
+        let expectedValueDesc: string;
+        const matchValue_1: Spec_FieldType_$union = field.FieldType;
+        switch (matchValue_1.tag) {
+            case /* Text */ 0:
+            case /* TextArea */ 1:
+            case /* Email */ 2: {
+                expectedValueDesc = "text";
+                break;
+            }
+            case /* Number */ 6: {
+                expectedValueDesc = "number";
+                break;
+            }
+            case /* Date */ 8: {
+                expectedValueDesc = "date";
+                break;
+            }
+            case /* Checkbox */ 11: {
+                expectedValueDesc = "boolean";
+                break;
+            }
+            case /* Radio */ 12:
+            case /* SingleChoice */ 13:
+            case /* Dropdown */ 14: {
+                expectedValueDesc = "single choice";
+                break;
+            }
+            case /* CheckboxList */ 16:
+            case /* MultiChoice */ 15: {
+                expectedValueDesc = "multiple choices";
+                break;
+            }
+            case /* Matrix */ 19: {
+                expectedValueDesc = "matrix values";
+                break;
+            }
+            case /* Signature */ 20: {
+                expectedValueDesc = "signature";
+                break;
+            }
+            default:
+                expectedValueDesc = "value";
+        }
+        let actualValueDesc: string;
+        if (fieldValue == null) {
+            actualValueDesc = "null";
+        }
+        else {
+            const v: any = value_19(fieldValue);
+            actualValueDesc = toText(printf("present (%A)"))(v);
+        }
+        patternInput_1 = ((isRequired && !hasValue) ? ([false, ["Required field is empty"], expectedValueDesc, actualValueDesc] as [boolean, string[], string, string]) : (hasValue ? ([true, [], expectedValueDesc, actualValueDesc] as [boolean, string[], string, string]) : ([true, [], expectedValueDesc, actualValueDesc] as [boolean, string[], string, string])));
+        const dataValid: boolean = patternInput_1[0];
+        return {
+            actionHint: !dataValid ? ((matchValue_2 = field.FieldType, (matchValue_2.tag === /* Signature */ 20) ? "Tap to sign" : ((matchValue_2.tag === /* CheckboxList */ 16) ? "Select at least one option" : ((matchValue_2.tag === /* Radio */ 12) ? "Select an option" : ((matchValue_2.tag === /* Text */ 0) ? ("Enter " + fieldLabel) : "Complete this field"))))) : "",
+            actualChoices: patternInput[3],
+            actualValue: patternInput_1[3],
+            dataIssues: patternInput_1[1],
+            dataValid: dataValid,
+            expectedChoices: patternInput[2],
+            expectedValue: patternInput_1[2],
+            fieldKey: fieldKey,
+            fieldLabel: fieldLabel,
+            fieldType: fieldTypeInfo.typeName,
+            severity: !dataValid ? "error" : "success",
+            structureIssues: patternInput[1],
+            structureValid: patternInput[0],
+        };
+    }, collect<Spec_FormStep$1<Spec_FieldType_$union>, Spec_FormField$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<Spec_FormField$1<Spec_FieldType_$union>> => step.Fields, formSpec.Steps)));
+    const totalFields: int32 = fieldTelemetry.length | 0;
+    let validFields: int32;
+    const array_1: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }[] = fieldTelemetry.filter((f: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }): boolean => f.dataValid);
+    validFields = array_1.length;
+    let structuralIssues: int32;
+    const array_3: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }[] = fieldTelemetry.filter((f_1: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }): boolean => !f_1.structureValid);
+    structuralIssues = array_3.length;
+    let dataIssues_1: int32;
+    const array_5: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }[] = fieldTelemetry.filter((f_2: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }): boolean => !f_2.dataValid);
+    dataIssues_1 = array_5.length;
+    const overallStatus: string = (structuralIssues > 0) ? "critical" : ((dataIssues_1 > 0) ? "incomplete" : "valid");
+    const progressPercent: int32 = ((totalFields === 0) ? 100 : ~~((validFields * 100) / totalFields)) | 0;
+    return {
+        dataIssues: dataIssues_1,
+        estimatedTimeToComplete: (dataIssues_1 === 0) ? "Complete" : ((dataIssues_1 <= 2) ? "1-2 minutes" : "3-5 minutes"),
+        fields: fieldTelemetry,
+        formValid: (dataIssues_1 === 0) && (structuralIssues === 0),
+        nextCriticalAction: defaultArg_1(map<{ actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }, string>((f_4: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }): string => f_4.actionHint, tryFind_2<{ actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }>((f_3: { actionHint: string, actualChoices: string[], actualValue: string, dataIssues: string[], dataValid: boolean, expectedChoices: string[], expectedValue: string, fieldKey: string, fieldLabel: string, fieldType: string, severity: string, structureIssues: any[], structureValid: boolean }): boolean => !f_3.dataValid, fieldTelemetry)), ""),
+        overallStatus: overallStatus,
+        progressPercent: progressPercent,
+        structuralIssues: structuralIssues,
+        totalFields: totalFields,
+        validFields: validFields,
+    };
+}
+
 //# sourceMappingURL=FormSpec.Api.Helpers.ts.map

package/src/FormSpec.FS/Interop/FormSpec.Api.Option.ts

@@ -7,9 +7,9 @@ import { Spec_FormSpec$1_$reflection, Spec_FieldType_$reflection, Spec_FormClass
 import { tryParse } from "@fable-org/fable-library-js/Guid.js";
 import { ofArray, reverse, empty, FSharpList, cons, map, toArray } from "@fable-org/fable-library-js/List.js";
 import { sumBy, tryFind, collect, map as map_1, fold } from "@fable-org/fable-library-js/Array.js";
-import { Auto_generateBoxedEncoder_437914C6, toString } from "../../fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
+import { Auto_generateBoxedEncoder_437914C6, toString } from "../../Thoth.Json/packages/Thoth.Json/Encode.js";
 import { FSharpResult$2_$union, Result_ToOption } from "@fable-org/fable-library-js/Result.js";
-import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../../fable_modules/Thoth.Json.10.4.1/Decode.fs.js";
+import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../../Thoth.Json/packages/Thoth.Json/Decode.js";
 import { printf, toConsole } from "@fable-org/fable-library-js/String.js";
 
 export class Types_FieldKeyTS extends Record implements IEquatable<Types_FieldKeyTS>, IComparable<Types_FieldKeyTS> {

package/src/FormSpec.FS/Interop/FormSpec.Values.Api.Option.ts

@@ -13,9 +13,9 @@ import { ofArray, empty as empty_1, add as add_1, FSharpSet, toList as toList_1
 import { resultStepsMapToFormSpec, formSpecToResultStepsMap, formSpecToMetadata, FormSpecMetadata, FieldDetails$1 } from "../FormSpecValues.js";
 import { tryParse as tryParse_1, minValue, toString } from "@fable-org/fable-library-js/Date.js";
 import { buildFormSpecFromResultStepsMap } from "../FormSpecHelpers.js";
-import { Auto_generateBoxedEncoder_437914C6, toString as toString_1 } from "../../fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
+import { Auto_generateBoxedEncoder_437914C6, toString as toString_1 } from "../../Thoth.Json/packages/Thoth.Json/Encode.js";
 import { FSharpResult$2_$union, Result_ToOption } from "@fable-org/fable-library-js/Result.js";
-import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../../fable_modules/Thoth.Json.10.4.1/Decode.fs.js";
+import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../../Thoth.Json/packages/Thoth.Json/Decode.js";
 
 export class ValuesTypes_FieldAnswerTS extends Record implements IEquatable<ValuesTypes_FieldAnswerTS>, IComparable<ValuesTypes_FieldAnswerTS> {
     readonly FieldKey: Types_FieldKeyTS;

package/src/FormSpec.FS/Migrator.ts

@@ -1,7 +1,7 @@
 import { Union } from "@fable-org/fable-library-js/Types.js";
 import { string_type, union_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
 import { Spec_FieldType_$union, Spec_FieldType_$reflection, Spec_FormSpec$1_$reflection, Spec_FormSpec$1 } from "./FormSpec.js";
-import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../fable_modules/Thoth.Json.10.4.1/Decode.fs.js";
+import { Auto_generateBoxedDecoder_Z6670B51, fromString } from "../Thoth.Json/packages/Thoth.Json/Decode.js";
 import { uncurry2 } from "@fable-org/fable-library-js/Util.js";
 import { FSharpResult$2_$union } from "@fable-org/fable-library-js/Result.js";
 

package/src/FormSpec.FS/PathwayExecutor.ts

@@ -10,7 +10,7 @@ import { tryFind as tryFind_1, FSharpMap, ofList, toList as toList_1 } from "@fa
 import { updateField, getFieldDetails, FieldDetails$1, fieldToDetails } from "./FormSpecValues.js";
 import { Helpers_generateDeterministicGuidRaw, Helpers_canonicalizeFieldKey } from "./Helpers.js";
 import { printf, toText, isNullOrEmpty, isNullOrWhiteSpace, join } from "@fable-org/fable-library-js/String.js";
-import { Auto_generateBoxedEncoder_437914C6, toString } from "../fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
+import { Auto_generateBoxedEncoder_437914C6, toString } from "../Thoth.Json/packages/Thoth.Json/Encode.js";
 import { tryParse } from "@fable-org/fable-library-js/Double.js";
 import { create, isMatch } from "@fable-org/fable-library-js/RegExp.js";
 import { map as map_3 } from "@fable-org/fable-library-js/Array.js";