@f1studio/form-spec 5.0.0-alpha.168 → 5.0.0-alpha.169

package/src/FormSpec.FS/Integrations/CorEMR/FormTemplateDomainDecoder.ts

@@ -0,0 +1,287 @@
+import { Result_Map, FSharpResult$2_Ok, FSharpResult$2_Error, FSharpResult$2_$union } from "@fable-org/fable-library-js/Result.js";
+import { ErrorReason_$union } from "../../../Thoth.Json/packages/Thoth.Json/Types.js";
+import { bool, decimal, list as list_1, map, IRequiredGetter, IGetters, string, option, int, object, succeed, fail, andThen } from "../../../Thoth.Json/packages/Thoth.Json/Decode.js";
+import { uncurry2, uncurry3 } from "@fable-org/fable-library-js/Util.js";
+import { printf, toText } from "@fable-org/fable-library-js/String.js";
+import { int32 } from "@fable-org/fable-library-js/Int32.js";
+import { value as value_8, Option } from "@fable-org/fable-library-js/Option.js";
+import { Trigger, StatedAction, StatedCondition, Availability$1_NotReadYet, Availability$1_NotInRelease, Availability$1_$union, Availability$1_Stated, Firing_OnceOnly, Firing_$union, Firing_EveryTime, Timing_UnrecognisedTiming, Timing_OnFirstOpen, Timing_OnLock, Timing_$union, Timing_OnSave, ActionRead_Unmodelled, ActionRead_$union, ActionRead_Modelled, Action_ChangeGroups, Action_Medset, MedsetOrder, Action_Problem, ProblemOrder, Action_Alert, Action_StandingOrder, Action_$union, Action_OneOffTask, GroupChange_RemoveFrom, GroupChange_$union, GroupChange_AddTo, NonEmpty$1, NonEmpty_ofList, Standing_Treatment, Standing_$union, Standing_RecurringTask, TreatmentOrder, Cadence_Every, Cadence_$union, Cadence_OnSchedule, TaskOrder, Priority, Join_UnrecognisedJoin, Join_Or, Join_$union, Join_And, Condition_UnmodelledCondition, Condition_TextCompares, Condition_BooleanIs, Condition_VitalIs, Condition_NoneChosen, Condition_AllChosen, Condition_$union, Condition_AnyChosen, ChoiceId, VitalSign_Weight, VitalSign_SpO2, VitalSign_Temperature, VitalSign_Respiration, VitalSign_HeartRate, VitalSign_DiastolicBP, VitalSign_$union, VitalSign_SystolicBP, Comparison_Greater, Comparison_GreaterOrEqual, Comparison_NotEqual, Comparison_Equal, Comparison_LessOrEqual, Comparison_$union, Comparison_Less, Ref } from "../../../vye-os-contracts-fs/src/CoreMR/FormTemplate.js";
+import { FSharpList, map as map_1 } from "@fable-org/fable-library-js/List.js";
+import { decimal as decimal_1 } from "@fable-org/fable-library-js/Decimal.js";
+
+function orFail<T>(d: ((arg0: string, arg1: any) => FSharpResult$2_$union<FSharpResult$2_$union<T, string>, [string, ErrorReason_$union]>)): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>)) {
+    const decoder: ((arg0: string, arg1: any) => FSharpResult$2_$union<FSharpResult$2_$union<T, string>, [string, ErrorReason_$union]>) = d;
+    return (path_1: string): ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>) => ((value: any): FSharpResult$2_$union<T, [string, ErrorReason_$union]> => andThen<FSharpResult$2_$union<T, string>, T>(uncurry3((_arg: FSharpResult$2_$union<T, string>): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>)) => {
+        if (_arg.tag === /* Error */ 1) {
+            const msg: string = _arg.fields[0];
+            return (path: string): ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>) => ((arg20$0040_1: any): FSharpResult$2_$union<T, [string, ErrorReason_$union]> => fail<T>(msg, path, arg20$0040_1));
+        }
+        else {
+            const v: T = _arg.fields[0];
+            return (arg10$0040: string): ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>) => ((arg20$0040: any): FSharpResult$2_$union<T, [string, ErrorReason_$union]> => succeed<T>(v, arg10$0040, arg20$0040));
+        }
+    }), decoder, path_1, value));
+}
+
+function unknown<T>(what: string, tag: string): FSharpResult$2_$union<T, string> {
+    return FSharpResult$2_Error<T, string>(toText(printf("`%s.kind` = `%s` is not a case this build understands — it is NOT read as any other"))(what)(tag));
+}
+
+const reference = (path_2: string): ((arg0: any) => FSharpResult$2_$union<Ref, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<Ref, [string, ErrorReason_$union]> => object<Ref>((get$: IGetters): Ref => {
+    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter;
+    return new Ref((objectArg = get$.Required, objectArg.Field<int32>("id", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<Option<string>>("name", (path_1: string, value_1: any): FSharpResult$2_$union<Option<string>, [string, ErrorReason_$union]> => option<string>(string, path_1, value_1))));
+}, path_2, v));
+
+const comparison: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Comparison_$union, [string, ErrorReason_$union]>)) = orFail<Comparison_$union>((path_1: string, value_1: any): FSharpResult$2_$union<FSharpResult$2_$union<Comparison_$union, string>, [string, ErrorReason_$union]> => map<string, FSharpResult$2_$union<Comparison_$union, string>>((_arg: string): FSharpResult$2_$union<Comparison_$union, string> => {
+    switch (_arg) {
+        case "less":
+            return FSharpResult$2_Ok<Comparison_$union, string>(Comparison_Less());
+        case "lessOrEqual":
+            return FSharpResult$2_Ok<Comparison_$union, string>(Comparison_LessOrEqual());
+        case "equal":
+            return FSharpResult$2_Ok<Comparison_$union, string>(Comparison_Equal());
+        case "notEqual":
+            return FSharpResult$2_Ok<Comparison_$union, string>(Comparison_NotEqual());
+        case "greaterOrEqual":
+            return FSharpResult$2_Ok<Comparison_$union, string>(Comparison_GreaterOrEqual());
+        case "greater":
+            return FSharpResult$2_Ok<Comparison_$union, string>(Comparison_Greater());
+        default:
+            return FSharpResult$2_Error<Comparison_$union, string>(toText(printf("`comparison` = `%s` is not a comparison this build understands"))(_arg));
+    }
+}, string, path_1, value_1));
+
+const vital: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<VitalSign_$union, [string, ErrorReason_$union]>)) = orFail<VitalSign_$union>((path_1: string, value_1: any): FSharpResult$2_$union<FSharpResult$2_$union<VitalSign_$union, string>, [string, ErrorReason_$union]> => map<string, FSharpResult$2_$union<VitalSign_$union, string>>((_arg: string): FSharpResult$2_$union<VitalSign_$union, string> => {
+    switch (_arg) {
+        case "systolicBP":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_SystolicBP());
+        case "diastolicBP":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_DiastolicBP());
+        case "heartRate":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_HeartRate());
+        case "respiration":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_Respiration());
+        case "temperature":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_Temperature());
+        case "spO2":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_SpO2());
+        case "weight":
+            return FSharpResult$2_Ok<VitalSign_$union, string>(VitalSign_Weight());
+        default:
+            return FSharpResult$2_Error<VitalSign_$union, string>(toText(printf("`vital` = `%s` is not a vital sign this build understands"))(_arg));
+    }
+}, string, path_1, value_1));
+
+function choices(get$: IGetters): FSharpList<ChoiceId> {
+    let objectArg: IRequiredGetter;
+    return map_1<int32, ChoiceId>((Item: int32): ChoiceId => (new ChoiceId(Item)), (objectArg = get$.Required, objectArg.Field<FSharpList<int32>>("choices", (path: string, value: any): FSharpResult$2_$union<FSharpList<int32>, [string, ErrorReason_$union]> => list_1<int32>(uncurry2(int), path, value))));
+}
+
+const test: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Condition_$union, [string, ErrorReason_$union]>)) = orFail<Condition_$union>((path_7: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Condition_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Condition_$union, string>>((get$: IGetters): FSharpResult$2_$union<Condition_$union, string> => {
+    let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter, objectArg_7: IRequiredGetter, objectArg_8: IRequiredGetter, objectArg_9: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "anyChosen":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_AnyChosen(choices(get$)));
+        case "allChosen":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_AllChosen(choices(get$)));
+        case "noneChosen":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_NoneChosen(choices(get$)));
+        case "vitalIs":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_VitalIs((objectArg_1 = get$.Required, objectArg_1.Field<VitalSign_$union>("vital", uncurry2(vital))), (objectArg_2 = get$.Required, objectArg_2.Field<Comparison_$union>("comparison", uncurry2(comparison))), (objectArg_3 = get$.Required, objectArg_3.Field<decimal_1>("threshold", decimal))));
+        case "booleanIs":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_BooleanIs((objectArg_4 = get$.Required, objectArg_4.Field<boolean>("equals", bool))));
+        case "textCompares":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_TextCompares((objectArg_5 = get$.Required, objectArg_5.Field<Comparison_$union>("comparison", uncurry2(comparison))), (objectArg_6 = get$.Required, objectArg_6.Field<string>("text", string))));
+        case "unmodelledCondition":
+            return FSharpResult$2_Ok<Condition_$union, string>(Condition_UnmodelledCondition((objectArg_7 = get$.Required, objectArg_7.Field<string>("source", string)), (objectArg_8 = get$.Required, objectArg_8.Field<string>("operator", string)), (objectArg_9 = get$.Required, objectArg_9.Field<string>("because", string))));
+        default:
+            return unknown<Condition_$union>("test", matchValue);
+    }
+}, path_7, v));
+
+const join: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Join_$union, [string, ErrorReason_$union]>)) = orFail<Join_$union>((path_2: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Join_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Join_$union, string>>((get$: IGetters): FSharpResult$2_$union<Join_$union, string> => {
+    let objectArg_1: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "and":
+            return FSharpResult$2_Ok<Join_$union, string>(Join_And());
+        case "or":
+            return FSharpResult$2_Ok<Join_$union, string>(Join_Or());
+        case "unrecognisedJoin":
+            return FSharpResult$2_Ok<Join_$union, string>(Join_UnrecognisedJoin((objectArg_1 = get$.Required, objectArg_1.Field<string>("stated", string))));
+        default:
+            return unknown<Join_$union>("join", matchValue);
+    }
+}, path_2, v));
+
+const taskOrder = (path_4: string): ((arg0: any) => FSharpResult$2_$union<TaskOrder, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TaskOrder, [string, ErrorReason_$union]> => object<TaskOrder>((get$: IGetters): TaskOrder => {
+    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter;
+    return new TaskOrder((objectArg = get$.Required, objectArg.Field<Ref>("category", uncurry2(reference))), (objectArg_1 = get$.Required, objectArg_1.Field<Option<string>>("description", (path_1: string, value_1: any): FSharpResult$2_$union<Option<string>, [string, ErrorReason_$union]> => option<string>(string, path_1, value_1))), new Priority((objectArg_2 = get$.Required, objectArg_2.Field<int32>("priority", uncurry2(int)))), (objectArg_3 = get$.Required, objectArg_3.Field<Option<string>>("due", (path_3: string, value_3: any): FSharpResult$2_$union<Option<string>, [string, ErrorReason_$union]> => option<string>(string, path_3, value_3))));
+}, path_4, v));
+
+const cadence: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Cadence_$union, [string, ErrorReason_$union]>)) = orFail<Cadence_$union>((path_5: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Cadence_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Cadence_$union, string>>((get$: IGetters): FSharpResult$2_$union<Cadence_$union, string> => {
+    let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "onSchedule":
+            return FSharpResult$2_Ok<Cadence_$union, string>(Cadence_OnSchedule((objectArg_1 = get$.Required, objectArg_1.Field<Ref>("schedule", uncurry2(reference))), (objectArg_2 = get$.Required, objectArg_2.Field<Option<string>>("ends", (path_2: string, value_2: any): FSharpResult$2_$union<Option<string>, [string, ErrorReason_$union]> => option<string>(string, path_2, value_2)))));
+        case "every":
+            return FSharpResult$2_Ok<Cadence_$union, string>(Cadence_Every((objectArg_3 = get$.Required, objectArg_3.Field<string>("interval", string)), (objectArg_4 = get$.Required, objectArg_4.Field<string>("until", string))));
+        default:
+            return unknown<Cadence_$union>("cadence", matchValue);
+    }
+}, path_5, v));
+
+const treatmentOrder = (path_6: string): ((arg0: any) => FSharpResult$2_$union<TreatmentOrder, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TreatmentOrder, [string, ErrorReason_$union]> => object<TreatmentOrder>((get$: IGetters): TreatmentOrder => {
+    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter;
+    return new TreatmentOrder((objectArg = get$.Required, objectArg.Field<Ref>("treatment", uncurry2(reference))), (objectArg_1 = get$.Required, objectArg_1.Field<Option<Ref>>("provider", (path: string, value: any): FSharpResult$2_$union<Option<Ref>, [string, ErrorReason_$union]> => option<Ref>(uncurry2(reference), path, value))), (objectArg_2 = get$.Required, objectArg_2.Field<string>("start", string)), (objectArg_3 = get$.Required, objectArg_3.Field<Option<string>>("instructions", (path_3: string, value_3: any): FSharpResult$2_$union<Option<string>, [string, ErrorReason_$union]> => option<string>(string, path_3, value_3))), (objectArg_4 = get$.Required, objectArg_4.Field<Option<boolean>>("canTreatImmediately", (path_5: string, value_5: any): FSharpResult$2_$union<Option<boolean>, [string, ErrorReason_$union]> => option<boolean>(bool, path_5, value_5))));
+}, path_6, v));
+
+const standing: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Standing_$union, [string, ErrorReason_$union]>)) = orFail<Standing_$union>((path_1: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Standing_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Standing_$union, string>>((get$: IGetters): FSharpResult$2_$union<Standing_$union, string> => {
+    let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "recurringTask":
+            return FSharpResult$2_Ok<Standing_$union, string>(Standing_RecurringTask((objectArg_1 = get$.Required, objectArg_1.Field<TaskOrder>("task", uncurry2(taskOrder)))));
+        case "treatment":
+            return FSharpResult$2_Ok<Standing_$union, string>(Standing_Treatment((objectArg_2 = get$.Required, objectArg_2.Field<TreatmentOrder>("treatment", uncurry2(treatmentOrder)))));
+        default:
+            return unknown<Standing_$union>("standing", matchValue);
+    }
+}, path_1, v));
+
+const groupChange: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<GroupChange_$union, [string, ErrorReason_$union]>)) = orFail<GroupChange_$union>((path_2: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<GroupChange_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<GroupChange_$union, string>>((get$: IGetters): FSharpResult$2_$union<GroupChange_$union, string> => {
+    const groups = (): FSharpResult$2_$union<NonEmpty$1<Ref>, string> => {
+        let objectArg: IRequiredGetter;
+        const matchValue: Option<NonEmpty$1<Ref>> = NonEmpty_ofList<Ref>((objectArg = get$.Required, objectArg.Field<FSharpList<Ref>>("groups", (path: string, value: any): FSharpResult$2_$union<FSharpList<Ref>, [string, ErrorReason_$union]> => list_1<Ref>(uncurry2(reference), path, value))));
+        if (matchValue == null) {
+            return FSharpResult$2_Error<NonEmpty$1<Ref>, string>("a group change names NO group — `groups` is empty");
+        }
+        else {
+            return FSharpResult$2_Ok<NonEmpty$1<Ref>, string>(value_8(matchValue));
+        }
+    };
+    let matchValue_1: string;
+    const objectArg_1: IRequiredGetter = get$.Required;
+    matchValue_1 = objectArg_1.Field<string>("kind", string);
+    switch (matchValue_1) {
+        case "addTo":
+            return Result_Map<NonEmpty$1<Ref>, GroupChange_$union, string>(GroupChange_AddTo, groups());
+        case "removeFrom":
+            return Result_Map<NonEmpty$1<Ref>, GroupChange_$union, string>(GroupChange_RemoveFrom, groups());
+        default:
+            return unknown<GroupChange_$union>("change", matchValue_1);
+    }
+}, path_2, v));
+
+const action: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Action_$union, [string, ErrorReason_$union]>)) = orFail<Action_$union>((path_8: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Action_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Action_$union, string>>((get$: IGetters): FSharpResult$2_$union<Action_$union, string> => {
+    let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter, objectArg_7: IRequiredGetter, objectArg_8: IRequiredGetter, objectArg_9: IRequiredGetter, objectArg_10: IRequiredGetter, objectArg_11: IRequiredGetter, objectArg_12: IRequiredGetter, objectArg_13: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "oneOffTask":
+            return FSharpResult$2_Ok<Action_$union, string>(Action_OneOffTask((objectArg_1 = get$.Required, objectArg_1.Field<TaskOrder>("task", uncurry2(taskOrder)))));
+        case "standingOrder":
+            return FSharpResult$2_Ok<Action_$union, string>(Action_StandingOrder((objectArg_2 = get$.Required, objectArg_2.Field<Cadence_$union>("cadence", uncurry2(cadence))), (objectArg_3 = get$.Required, objectArg_3.Field<Standing_$union>("standing", uncurry2(standing)))));
+        case "alert":
+            return FSharpResult$2_Ok<Action_$union, string>(Action_Alert((objectArg_4 = get$.Required, objectArg_4.Field<Ref>("category", uncurry2(reference)))));
+        case "problem":
+            return FSharpResult$2_Ok<Action_$union, string>(Action_Problem(new ProblemOrder((objectArg_5 = get$.Required, objectArg_5.Field<Ref>("problem", uncurry2(reference))), (objectArg_6 = get$.Required, objectArg_6.Field<Option<int32>>("chronic", (path_1: string, value_1: any): FSharpResult$2_$union<Option<int32>, [string, ErrorReason_$union]> => option<int32>(uncurry2(int), path_1, value_1))), (objectArg_7 = get$.Required, objectArg_7.Field<Option<int32>>("severity", (path_2: string, value_2: any): FSharpResult$2_$union<Option<int32>, [string, ErrorReason_$union]> => option<int32>(uncurry2(int), path_2, value_2))), (objectArg_8 = get$.Required, objectArg_8.Field<Option<int32>>("inflammation", (path_3: string, value_3: any): FSharpResult$2_$union<Option<int32>, [string, ErrorReason_$union]> => option<int32>(uncurry2(int), path_3, value_3))))));
+        case "medset":
+            return FSharpResult$2_Ok<Action_$union, string>(Action_Medset(new MedsetOrder((objectArg_9 = get$.Required, objectArg_9.Field<Ref>("medset", uncurry2(reference))), (objectArg_10 = get$.Required, objectArg_10.Field<Option<Ref>>("prescriber", (path_4: string, value_4: any): FSharpResult$2_$union<Option<Ref>, [string, ErrorReason_$union]> => option<Ref>(uncurry2(reference), path_4, value_4))), (objectArg_11 = get$.Required, objectArg_11.Field<Option<Ref>>("pharmacy", (path_5: string, value_5: any): FSharpResult$2_$union<Option<Ref>, [string, ErrorReason_$union]> => option<Ref>(uncurry2(reference), path_5, value_5))), (objectArg_12 = get$.Required, objectArg_12.Field<Option<string>>("start", (path_7: string, value_7: any): FSharpResult$2_$union<Option<string>, [string, ErrorReason_$union]> => option<string>(string, path_7, value_7))))));
+        case "changeGroups":
+            return FSharpResult$2_Ok<Action_$union, string>(Action_ChangeGroups((objectArg_13 = get$.Required, objectArg_13.Field<GroupChange_$union>("change", uncurry2(groupChange)))));
+        default:
+            return unknown<Action_$union>("action", matchValue);
+    }
+}, path_8, v));
+
+const read: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ActionRead_$union, [string, ErrorReason_$union]>)) = orFail<ActionRead_$union>((path_3: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<ActionRead_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<ActionRead_$union, string>>((get$: IGetters): FSharpResult$2_$union<ActionRead_$union, string> => {
+    let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "modelled":
+            return FSharpResult$2_Ok<ActionRead_$union, string>(ActionRead_Modelled((objectArg_1 = get$.Required, objectArg_1.Field<Action_$union>("action", uncurry2(action)))));
+        case "unmodelled":
+            return FSharpResult$2_Ok<ActionRead_$union, string>(ActionRead_Unmodelled((objectArg_2 = get$.Required, objectArg_2.Field<string>("actionKind", string)), (objectArg_3 = get$.Required, objectArg_3.Field<string>("because", string))));
+        default:
+            return unknown<ActionRead_$union>("read", matchValue);
+    }
+}, path_3, v));
+
+const timing: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Timing_$union, [string, ErrorReason_$union]>)) = orFail<Timing_$union>((path_2: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Timing_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Timing_$union, string>>((get$: IGetters): FSharpResult$2_$union<Timing_$union, string> => {
+    let objectArg_1: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "onSave":
+            return FSharpResult$2_Ok<Timing_$union, string>(Timing_OnSave());
+        case "onLock":
+            return FSharpResult$2_Ok<Timing_$union, string>(Timing_OnLock());
+        case "onFirstOpen":
+            return FSharpResult$2_Ok<Timing_$union, string>(Timing_OnFirstOpen());
+        case "unrecognisedTiming":
+            return FSharpResult$2_Ok<Timing_$union, string>(Timing_UnrecognisedTiming((objectArg_1 = get$.Required, objectArg_1.Field<string>("eventName", string))));
+        default:
+            return unknown<Timing_$union>("timing", matchValue);
+    }
+}, path_2, v));
+
+const firingValue: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Firing_$union, [string, ErrorReason_$union]>)) = orFail<Firing_$union>((path_1: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Firing_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Firing_$union, string>>((get$: IGetters): FSharpResult$2_$union<Firing_$union, string> => {
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "everyTime":
+            return FSharpResult$2_Ok<Firing_$union, string>(Firing_EveryTime());
+        case "onceOnly":
+            return FSharpResult$2_Ok<Firing_$union, string>(Firing_OnceOnly());
+        default:
+            return unknown<Firing_$union>("firing.value", matchValue);
+    }
+}, path_1, v));
+
+const firing: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<Availability$1_$union<Firing_$union>, [string, ErrorReason_$union]>)) = orFail<Availability$1_$union<Firing_$union>>((path_5: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<Availability$1_$union<Firing_$union>, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<Availability$1_$union<Firing_$union>, string>>((get$: IGetters): FSharpResult$2_$union<Availability$1_$union<Firing_$union>, string> => {
+    let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter;
+    let matchValue: string;
+    const objectArg: IRequiredGetter = get$.Required;
+    matchValue = objectArg.Field<string>("kind", string);
+    switch (matchValue) {
+        case "stated":
+            return FSharpResult$2_Ok<Availability$1_$union<Firing_$union>, string>(Availability$1_Stated<Firing_$union>((objectArg_1 = get$.Required, objectArg_1.Field<Firing_$union>("value", uncurry2(firingValue)))));
+        case "notInRelease":
+            return FSharpResult$2_Ok<Availability$1_$union<Firing_$union>, string>(Availability$1_NotInRelease<Firing_$union>((objectArg_2 = get$.Required, objectArg_2.Field<string>("because", string))));
+        case "notReadYet":
+            return FSharpResult$2_Ok<Availability$1_$union<Firing_$union>, string>(Availability$1_NotReadYet<Firing_$union>((objectArg_3 = get$.Required, objectArg_3.Field<string>("because", string)), (objectArg_4 = get$.Required, objectArg_4.Field<FSharpList<string>>("witness", (path_4: string, value_4: any): FSharpResult$2_$union<FSharpList<string>, [string, ErrorReason_$union]> => list_1<string>(string, path_4, value_4)))));
+        default:
+            return unknown<Availability$1_$union<Firing_$union>>("firing", matchValue);
+    }
+}, path_5, v));
+
+export const trigger = (path_7: string): ((arg0: any) => FSharpResult$2_$union<Trigger, [string, ErrorReason_$union]>) => ((v_2: any): FSharpResult$2_$union<Trigger, [string, ErrorReason_$union]> => object<Trigger>((get$: IGetters): Trigger => {
+    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_8: IRequiredGetter;
+    return new Trigger((objectArg = get$.Required, objectArg.Field<int32>("triggerId", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<Timing_$union>("timing", uncurry2(timing))), (objectArg_2 = get$.Required, objectArg_2.Field<Availability$1_$union<Firing_$union>>("firing", uncurry2(firing))), (objectArg_3 = get$.Required, objectArg_3.Field<boolean>("enabled", bool)), (objectArg_4 = get$.Required, objectArg_4.Field<FSharpList<StatedCondition>>("conditions", (path_4: string, value_3: any): FSharpResult$2_$union<FSharpList<StatedCondition>, [string, ErrorReason_$union]> => list_1<StatedCondition>((path_3: string, v: any): FSharpResult$2_$union<StatedCondition, [string, ErrorReason_$union]> => object<StatedCondition>((c: IGetters): StatedCondition => {
+        let objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter, objectArg_7: IRequiredGetter;
+        return new StatedCondition((objectArg_5 = c.Required, objectArg_5.Field<Option<int32>>("sourceItem", (path_1: string, value_1: any): FSharpResult$2_$union<Option<int32>, [string, ErrorReason_$union]> => option<int32>(uncurry2(int), path_1, value_1))), (objectArg_6 = c.Required, objectArg_6.Field<Option<Join_$union>>("join", (path_2: string, value_2: any): FSharpResult$2_$union<Option<Join_$union>, [string, ErrorReason_$union]> => option<Join_$union>(uncurry2(join), path_2, value_2))), (objectArg_7 = c.Required, objectArg_7.Field<Condition_$union>("test", uncurry2(test))));
+    }, path_3, v), path_4, value_3))), (objectArg_8 = get$.Required, objectArg_8.Field<FSharpList<StatedAction>>("actions", (path_6: string, value_4: any): FSharpResult$2_$union<FSharpList<StatedAction>, [string, ErrorReason_$union]> => list_1<StatedAction>((path_5: string, v_1: any): FSharpResult$2_$union<StatedAction, [string, ErrorReason_$union]> => object<StatedAction>((a: IGetters): StatedAction => {
+        let objectArg_9: IRequiredGetter, objectArg_10: IRequiredGetter;
+        return new StatedAction((objectArg_9 = a.Required, objectArg_9.Field<int32>("actionId", uncurry2(int))), (objectArg_10 = a.Required, objectArg_10.Field<ActionRead_$union>("read", uncurry2(read))));
+    }, path_5, v_1), path_6, value_4))));
+}, path_7, v_2));
+
+export const triggers = (path: string): ((arg0: any) => FSharpResult$2_$union<FSharpList<Trigger>, [string, ErrorReason_$union]>) => ((value: any): FSharpResult$2_$union<FSharpList<Trigger>, [string, ErrorReason_$union]> => list_1<Trigger>(uncurry2(trigger), path, value));
+
+//# sourceMappingURL=FormTemplateDomainDecoder.ts.map

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

@@ -1,12 +1,12 @@
-import { map as map_2, bind, unwrap, orElse, value as value_19, orElseWith, defaultArgWith as defaultArgWith_1, Option, defaultArg as defaultArg_1 } from "@fable-org/fable-library-js/Option.js";
-import { exists, sortBy, toArray, length as length_1, tryPick, filter as filter_1, mapIndexed as mapIndexed_2, isEmpty, map as map_3, empty, fold, ofSeq as ofSeq_1, ofArray as ofArray_2, singleton as singleton_1, collect as collect_1, tryFind, FSharpList } from "@fable-org/fable-library-js/List.js";
-import { int32ToString, int64ToString, stringHash, compare, comparePrimitives, IDisposable, disposeSafe, IEnumerator, getEnumerator, IMap, isArrayLike, uncurry2, createObj, equals, defaultOf } from "@fable-org/fable-library-js/Util.js";
+import { toNullable, map as map_2, bind, unwrap, orElse, value as value_19, orElseWith, defaultArgWith as defaultArgWith_1, Option, defaultArg as defaultArg_1 } from "@fable-org/fable-library-js/Option.js";
+import { exists, sortBy, length as length_1, tryPick, toArray, filter as filter_1, mapIndexed as mapIndexed_2, isEmpty, map as map_3, empty, fold, ofSeq as ofSeq_1, ofArray as ofArray_2, singleton as singleton_1, collect as collect_1, tryFind, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { int64ToString, int32ToString, stringHash, compare, comparePrimitives, IDisposable, disposeSafe, IEnumerator, getEnumerator, IMap, isArrayLike, uncurry2, createObj, equals, defaultOf } from "@fable-org/fable-library-js/Util.js";
 import { toText, join, isNullOrWhiteSpace, printf, toConsole, isNullOrEmpty } from "@fable-org/fable-library-js/String.js";
 import { int32, float64 } from "@fable-org/fable-library-js/Int32.js";
 import { append, mapIndexed, tryFind as tryFind_1, map, item as item_2 } from "@fable-org/fable-library-js/Array.js";
 import { length, mapIndexed as mapIndexed_1, filter, choose, map as map_1, singleton, collect, delay, toList } from "@fable-org/fable-library-js/Seq.js";
 import { Auto_generateBoxedEncoder_437914C6, toString } from "../../Thoth.Json/packages/Thoth.Json/Encode.js";
-import { Spec_SingleChoiceInfo, Spec_FormClassification_$union, ClinicalPathway_StateType_$union, ClinicalPathway_TaskPriority_$union, ClinicalPathway_AlertSeverity_$union, ClinicalPathway_ReferralUrgency_$union, ClinicalPathway_ActionInfo_$union, ClinicalPathway_NavigateToFormAction, ClinicalPathway_MedsetAction, ClinicalPathway_TreatmentAction, 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, 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, Shared_FieldValue_$union, Spec_FormStep$1, Spec_FormField$1, Spec_FieldType_$union, Spec_FormSpec$1, Spec_FormSpec$1_$reflection, Spec_FieldType_$reflection } from "../FormSpec.js";
+import { Spec_SingleChoiceInfo, Spec_FormClassification_$union, ClinicalPathway_StateType_$union, ClinicalPathway_ReferralUrgency_$union, ClinicalPathway_ActionInfo_$union, ClinicalPathway_TaskPriority_$union, ClinicalPathway_GroupRef, ClinicalPathway_GroupChangeAction, ClinicalPathway_NavigateToFormAction, ClinicalPathway_MedsetAction, ClinicalPathway_TreatmentAction, ClinicalPathway_ProblemAction, ClinicalPathway_AlertSeverity_$union, ClinicalPathway_AlertAction, ClinicalPathway_EducationAction, ClinicalPathway_ProcedureAction, ClinicalPathway_TestAction, ClinicalPathway_DocumentationAction, ClinicalPathway_FieldValueSource_$union, ClinicalPathway_SetFieldValueAction, ClinicalPathway_PrescriptionAction, ClinicalPathway_MedicationAction, ClinicalPathway_ReferralAction, Shared_FieldValue, 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_PathwayAction, ClinicalPathway_ActionOrigin_Authored, 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_Label_shown, Shared_FieldValue_$union, 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 { 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";
@@ -538,7 +538,7 @@ export function decodeAsPluginDataArray(fieldKey: string, obj: any): { dataType:
  * TypeScript: convertFlatValuesToCanonical(formSpec: FormSpec, flatValues: Record<string, unknown>) => BlueprintFilledFormFieldValueAnswersMap
  */
 export function convertFlatValuesToCanonical(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, flatValues: any): any {
-    let matchValue_2: ExpectedFieldValueType_$union, matrixData: { description: string, values: IMap<string, string> };
+    let matchValue_2: ExpectedFieldValueType_$union, matrixData: { description: string, values: IMap<string, string> }, stringValue: string;
     if (flatValues == null) {
         return {};
     }
@@ -572,11 +572,11 @@ export function convertFlatValuesToCanonical(formSpec: Spec_FormSpec$1<Spec_Fiel
                         const matchValue_1: Option<Shared_FieldValue_$union> = tryDecodeFieldValueFromObject(rawValue);
                         if (matchValue_1 == null) {
                             const docOpt: Option<string> = orElseWith<string>(decodeAsOptionalDocumentation(rawValue), (): Option<string> => tryFind_2<string, string>(fieldKey, docMap));
-                            const canonical_1: any = Convert_fieldValueToTs((matchValue_2 = getExpectedFieldValueType(field.FieldType), (matchValue_2.tag === /* MultipleValues */ 1) ? Shared_FieldValue_Multiple(ofArray_1<Shared_FieldAnswer>(mapIndexed<string, Shared_FieldAnswer>((i: int32, value_1: string): Shared_FieldAnswer => (new Shared_FieldAnswer(field.FieldKey, field.Label, value_1, (i === 0) ? docOpt : undefined)), decodeAsStringArray(fieldKey, rawValue)), {
+                            const canonical_1: any = Convert_fieldValueToTs((matchValue_2 = getExpectedFieldValueType(field.FieldType), (matchValue_2.tag === /* MultipleValues */ 1) ? Shared_FieldValue_Multiple(ofArray_1<Shared_FieldAnswer>(mapIndexed<string, Shared_FieldAnswer>((i: int32, value_1: string): Shared_FieldAnswer => (new Shared_FieldAnswer(field.FieldKey, Spec_Label_shown(field.Label), value_1, (i === 0) ? docOpt : undefined)), decodeAsStringArray(fieldKey, rawValue)), {
                                 Compare: compare,
                             })) : ((matchValue_2.tag === /* MatrixValue */ 2) ? ((matrixData = decodeAsMatrixValue(fieldKey, rawValue), Shared_FieldValue_Matrix(new Shared_MatrixAnswer(field.FieldKey, matrixData.description, ofSeq<Shared_MatrixItemKey, string>(map_1<[string, string], [Shared_MatrixItemKey, string]>((kvp: [string, string]): [Shared_MatrixItemKey, string] => ([new Shared_MatrixItemKey(parse(kvp[0])), kvp[1]] as [Shared_MatrixItemKey, string]), matrixData.values), {
                                 Compare: compare,
-                            }), docOpt)))) : ((matchValue_2.tag === /* PluginDataValue */ 3) ? Shared_FieldValue_PluginData(ofArray_2<Shared_PluginDataProperty>(map<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }, Shared_PluginDataProperty>((prop: { dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }): Shared_PluginDataProperty => (new Shared_PluginDataProperty(new Shared_PluginPropertyKey(parse(prop.propertyKey)), prop.name, prop.dataType, prop.value, prop.displayName, prop.unit, prop.description)), decodeAsPluginDataArray(fieldKey, rawValue)))) : Shared_FieldValue_Single(new Shared_FieldAnswer(field.FieldKey, field.Label, decodeAsString(fieldKey, rawValue), docOpt))))));
+                            }), docOpt)))) : ((matchValue_2.tag === /* PluginDataValue */ 3) ? Shared_FieldValue_PluginData(ofArray_2<Shared_PluginDataProperty>(map<{ dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }, Shared_PluginDataProperty>((prop: { dataType: string, description?: string, displayName?: string, name: string, propertyKey: string, unit?: string, value: string }): Shared_PluginDataProperty => (new Shared_PluginDataProperty(new Shared_PluginPropertyKey(parse(prop.propertyKey)), prop.name, prop.dataType, prop.value, prop.displayName, prop.unit, prop.description)), decodeAsPluginDataArray(fieldKey, rawValue)))) : ((stringValue = decodeAsString(fieldKey, rawValue), Shared_FieldValue_Single(new Shared_FieldAnswer(field.FieldKey, Spec_Label_shown(field.Label), stringValue, docOpt))))))));
                             void (resultPairs.push([fieldKey, canonical_1] as [string, any]));
                         }
                         else {
@@ -611,7 +611,6 @@ export function buildFormSpecWithValues(formSpec: Spec_FormSpec$1<Spec_FieldType
         const field_1: Spec_FormField$1<Spec_FieldType_$union> = tupledArg[0];
         return defaultArg_1(map_2<int32, Spec_FormSpec$1<Spec_FieldType_$union>>((stepIdx: int32): Spec_FormSpec$1<Spec_FieldType_$union> => updateField<Spec_FieldType_$union>(spec, field_1.FieldKey, tupledArg[1].FieldValue, stepIdx), findStepIndexForField<Spec_FieldType_$union>(spec, field_1.FieldKey)), spec);
     }, formSpec, ofSeq_1<[Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>]>(choose<{ fieldKey: string, objectValue: any }, [Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>]>((input_1: { fieldKey: string, objectValue: any }): Option<[Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>]> => {
-        let matchValue_1: Option<Shared_FieldValue_$union>, matchValue_2: Spec_FieldType_$union;
         const matchValue: Option<Spec_FormField$1<Spec_FieldType_$union>> = findFieldByKey(formSpec, input_1.fieldKey);
         if (matchValue == null) {
             toConsole(`Warning: Field ${input_1.fieldKey} not found in FormSpec`);
@@ -620,9 +619,18 @@ export function buildFormSpecWithValues(formSpec: Spec_FormSpec$1<Spec_FieldType
         else {
             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 = tryDecodeFieldValueFromObject(input_1.objectValue), (matchValue_1 == null) ? (() => {
+                let fieldValue: Shared_FieldValue_$union;
+                const matchValue_1: Option<Shared_FieldValue_$union> = tryDecodeFieldValueFromObject(input_1.objectValue);
+                if (matchValue_1 == null) {
                     throw new Error(`Field ${input_1.fieldKey}: Expected canonical discriminated format (with 'kind' tag). Got flat value. Use convertFlatValuesToCanonical() at the boundary to convert flat values before calling buildFormSpecWithValues.`);
-                })() : value_19(matchValue_1)), field.FieldType, (matchValue_2 = field.FieldType, (matchValue_2.tag === /* Radio */ 12) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* SingleChoice */ 13) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* Dropdown */ 14) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* MultiChoice */ 15) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* CheckboxList */ 16) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* TagList */ 17) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* TextAutoComplete */ 18) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* Matrix */ 19) ? matchValue_2.fields[0].Options : empty<Shared_FieldOption>())))))))))] as [Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>];
+                }
+                else {
+                    fieldValue = value_19(matchValue_1);
+                }
+                let fieldOptions: FSharpList<Shared_FieldOption>;
+                const matchValue_2: Spec_FieldType_$union = field.FieldType;
+                fieldOptions = ((matchValue_2.tag === /* Radio */ 12) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* SingleChoice */ 13) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* Dropdown */ 14) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* MultiChoice */ 15) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* CheckboxList */ 16) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* TagList */ 17) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* TextAutoComplete */ 18) ? matchValue_2.fields[0].Options : ((matchValue_2.tag === /* Matrix */ 19) ? matchValue_2.fields[0].Options : empty<Shared_FieldOption>()))))))));
+                return [field, new FieldDetails$1(field.FieldOrder, field.FieldKey, Spec_Label_shown(field.Label), fieldValue, field.FieldType, fieldOptions)] as [Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>];
             }
             catch (ex: any) {
                 toConsole(`Error processing field ${input_1.fieldKey}: ${ex.message}`);
@@ -732,7 +740,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(undefined, "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);
+    return new ClinicalPathway_StateDefinition(new Shared_StateKey(parse(stateKeyString)), label, 1, ClinicalPathway_StateType_Action(new ClinicalPathway_PathwayAction(ClinicalPathway_ActionInfo_Task(new ClinicalPathway_TaskAction(undefined, "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)), ClinicalPathway_ActionOrigin_Authored())), undefined);
 }
 
 /**
@@ -1174,7 +1182,7 @@ export function extractFormValuesFromFormSpec(spec: Spec_FormSpec$1<Spec_FieldTy
  * TypeScript: convertActionInfo(action: ActionInfo) => {type: string, description: string, ...}
  */
 export function convertActionInfo(action: ClinicalPathway_ActionInfo_$union): any {
-    let matchValue_1: ClinicalPathway_ReferralUrgency_$union, matchValue_3: ClinicalPathway_AlertSeverity_$union, matchValue: ClinicalPathway_TaskPriority_$union;
+    let matchValue_1: ClinicalPathway_ReferralUrgency_$union;
     switch (action.tag) {
         case /* Referral */ 4: {
             const referral: ClinicalPathway_ReferralAction = action.fields[0];
@@ -1264,26 +1272,38 @@ export function convertActionInfo(action: ClinicalPathway_ActionInfo_$union): an
             return {
                 category: alert.Category,
                 description: alert.Message,
-                severity: (matchValue_3 = alert.Severity, (matchValue_3.tag === /* High */ 2) ? "high" : ((matchValue_3.tag === /* Medium */ 1) ? "medium" : ((matchValue_3.tag === /* Low */ 0) ? "low" : "critical"))),
+                severity: toNullable<string>(map_2<ClinicalPathway_AlertSeverity_$union, string>((_arg: ClinicalPathway_AlertSeverity_$union): string => {
+                    switch (_arg.tag) {
+                        case /* High */ 2:
+                            return "high";
+                        case /* Medium */ 1:
+                            return "medium";
+                        case /* Low */ 0:
+                            return "low";
+                        default:
+                            return "critical";
+                    }
+                }, alert.Severity)),
                 type: "alert",
             };
         }
         case /* Problem */ 10: {
             const prob: ClinicalPathway_ProblemAction = action.fields[0];
+            const icdStr: string = defaultArg_1(map_2<string, string>((code: string): string => (` (ICD: ${code})`), prob.IcdCode), "");
             return {
-                description: `${prob.ProblemName}${defaultArg_1(map_2<string, string>((code: string): string => (` (ICD: ${code})`), prob.IcdCode), "")}`,
+                description: `${defaultArg<string>(prob.ProblemName, "")}${icdStr}`,
                 icdCode: unwrap(prob.IcdCode),
-                problemName: prob.ProblemName,
+                problemName: toNullable<string>(prob.ProblemName),
                 type: "problem",
             };
         }
         case /* Treatment */ 1: {
             const t: ClinicalPathway_TreatmentAction = action.fields[0];
             return {
-                description: `Treatment: ${t.Name}`,
+                description: `Treatment: ${defaultArg<string>(t.Name, "")}`,
                 signature: unwrap(t.Signature),
                 treatmentId: unwrap(t.TreatmentId),
-                treatmentName: t.Name,
+                treatmentName: toNullable<string>(t.Name),
                 type: "treatment",
             };
         }
@@ -1305,12 +1325,25 @@ export function convertActionInfo(action: ClinicalPathway_ActionInfo_$union): an
                 type: "navigateToForm",
             };
         }
+        case /* ChangeGroups */ 14: {
+            const g: ClinicalPathway_GroupChangeAction = action.fields[0];
+            const verb: string = (g.Change.tag === /* RemoveFromGroups */ 1) ? "remove" : "add";
+            return {
+                change: verb,
+                description: `${verb} groups: ${join(", ", map_3<ClinicalPathway_GroupRef, string>((r: ClinicalPathway_GroupRef): string => int32ToString(r.GroupId), g.Groups))}`,
+                groupIds: toArray<int32>(map_3<ClinicalPathway_GroupRef, int32>((r_1: ClinicalPathway_GroupRef): int32 => r_1.GroupId, g.Groups)),
+                type: "groups",
+            };
+        }
         default: {
             const task: ClinicalPathway_TaskAction = action.fields[0];
+            let priorityStr: string;
+            const matchValue: ClinicalPathway_TaskPriority_$union = task.Priority;
+            priorityStr = ((matchValue.tag === /* Medium */ 1) ? "medium" : ((matchValue.tag === /* Low */ 2) ? "low" : ((matchValue.tag === /* Stated */ 3) ? int32ToString(matchValue.fields[0]) : "high")));
             return {
                 category: task.Category,
-                description: task.Description,
-                priority: (matchValue = task.Priority, (matchValue.tag === /* Medium */ 1) ? "medium" : ((matchValue.tag === /* Low */ 2) ? "low" : "high")),
+                description: toNullable<string>(task.Description),
+                priority: priorityStr,
                 type: "task",
             };
         }
@@ -1318,16 +1351,34 @@ export function convertActionInfo(action: ClinicalPathway_ActionInfo_$union): an
 }
 
 /**
- * Find the StateKey for a given ActionInfo in a ClinicalPathwaySpec
- * TypeScript: stateKeyForAction(pathway: ClinicalPathwaySpec, action: ActionInfo) => string | null
+ * What a view SHOWS for a step or field label: the stated text, or the "(no text)" marker (wave 8, ruling B).
+ * ⭐ The ONE marker for TypeScript too — a TS view never invents its own placeholder.
+ * TypeScript: shownLabel(label: Option<string>) => string
+ */
+export function shownLabel(label: Option<string>): string {
+    return Spec_Label_shown(label);
+}
+
+/**
+ * A step or field label AS STATED, for a POJO: the text, or `null` where the source states none — an explicit
+ * absence, never "" and never a placeholder (wave 8, ruling B).
+ * TypeScript: statedLabel(label: Option<string>) => string | null
+ */
+export function statedLabel(label: Option<string>): string {
+    return toNullable<string>(label);
+}
+
+/**
+ * Find the StateKey of the single-action state holding a given executed PathwayAction (intent AND origin)
+ * TypeScript: stateKeyForAction(pathway: ClinicalPathwaySpec, action: PathwayAction) => string | null
  */
-export function stateKeyForAction(pathway: ClinicalPathway_ClinicalPathwaySpec, action: ClinicalPathway_ActionInfo_$union): Option<string> {
+export function stateKeyForAction(pathway: ClinicalPathway_ClinicalPathwaySpec, action: ClinicalPathway_PathwayAction): Option<string> {
     toConsole(printf("PathwayId: %A"))(pathway.PathwayId);
     toConsole(printf("Finding state key for action: %A"))(action);
     return tryPick<ClinicalPathway_StateDefinition, string>((state: ClinicalPathway_StateDefinition): Option<string> => {
         const matchValue: ClinicalPathway_StateType_$union = state.StateType;
-        let matchResult: int32, actionInfo_1: ClinicalPathway_ActionInfo_$union;
-        if (matchValue.tag === /* Action */ 2) {
+        let matchResult: int32, actionInfo_1: ClinicalPathway_PathwayAction;
+        if (matchValue.tag === /* Action */ 1) {
             if (equals(matchValue.fields[0], action)) {
                 matchResult = 0;
                 actionInfo_1 = matchValue.fields[0];
@@ -1651,7 +1702,7 @@ export function getFullValidationTelemetry(formSpec: Spec_FormSpec$1<Spec_FieldT
     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<{ 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 fieldLabel: string = Spec_Label_shown(field.Label);
         const fieldTypeInfo: { isRequired: boolean, typeName: string } = getFieldTypeInfo(field);
         const fieldValue: Option<any> = tryFind_2<string, any>(fieldKey, valuesDict);
         let patternInput: [boolean, any[], string[], string[]];

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

@@ -271,7 +271,7 @@ export function Types_DependsOnTS_$reflection(): TypeInfo {
 export class Types_FormFieldTS extends Record implements IEquatable<Types_FormFieldTS> {
     readonly FieldOrder: int32;
     readonly FieldKey: Types_FieldKeyTS;
-    readonly Label: string;
+    readonly Label: Option<string>;
     readonly Notes: Option<string>;
     readonly DependsOn: Option<Types_DependsOnTS>;
     readonly IsOptional: boolean;
@@ -279,7 +279,7 @@ export class Types_FormFieldTS extends Record implements IEquatable<Types_FormFi
     readonly NeedsDocumentation: boolean;
     readonly FieldType: Types_FieldTypeTS;
     readonly Value: Option<any>;
-    constructor(FieldOrder: int32, FieldKey: Types_FieldKeyTS, Label: string, Notes: Option<string>, DependsOn: Option<Types_DependsOnTS>, IsOptional: boolean, IsDeprecated: boolean, NeedsDocumentation: boolean, FieldType: Types_FieldTypeTS, Value: Option<any>) {
+    constructor(FieldOrder: int32, FieldKey: Types_FieldKeyTS, Label: Option<string>, Notes: Option<string>, DependsOn: Option<Types_DependsOnTS>, IsOptional: boolean, IsDeprecated: boolean, NeedsDocumentation: boolean, FieldType: Types_FieldTypeTS, Value: Option<any>) {
         super();
         this.FieldOrder = (FieldOrder | 0);
         this.FieldKey = FieldKey;
@@ -295,14 +295,14 @@ export class Types_FormFieldTS extends Record implements IEquatable<Types_FormFi
 }
 
 export function Types_FormFieldTS_$reflection(): TypeInfo {
-    return record_type("F1.Studio.FormSpec.Interop.OptionBased.Types.FormFieldTS", [], Types_FormFieldTS, () => [["FieldOrder", int32_type], ["FieldKey", Types_FieldKeyTS_$reflection()], ["Label", string_type], ["Notes", option_type(string_type)], ["DependsOn", option_type(Types_DependsOnTS_$reflection())], ["IsOptional", bool_type], ["IsDeprecated", bool_type], ["NeedsDocumentation", bool_type], ["FieldType", Types_FieldTypeTS_$reflection()], ["Value", option_type(obj_type)]]);
+    return record_type("F1.Studio.FormSpec.Interop.OptionBased.Types.FormFieldTS", [], Types_FormFieldTS, () => [["FieldOrder", int32_type], ["FieldKey", Types_FieldKeyTS_$reflection()], ["Label", option_type(string_type)], ["Notes", option_type(string_type)], ["DependsOn", option_type(Types_DependsOnTS_$reflection())], ["IsOptional", bool_type], ["IsDeprecated", bool_type], ["NeedsDocumentation", bool_type], ["FieldType", Types_FieldTypeTS_$reflection()], ["Value", option_type(obj_type)]]);
 }
 
 export class Types_FormStepTS extends Record implements IEquatable<Types_FormStepTS> {
     readonly StepOrder: int32;
-    readonly StepLabel: string;
+    readonly StepLabel: Option<string>;
     readonly Fields: Types_FormFieldTS[];
-    constructor(StepOrder: int32, StepLabel: string, Fields: Types_FormFieldTS[]) {
+    constructor(StepOrder: int32, StepLabel: Option<string>, Fields: Types_FormFieldTS[]) {
         super();
         this.StepOrder = (StepOrder | 0);
         this.StepLabel = StepLabel;
@@ -311,7 +311,7 @@ export class Types_FormStepTS extends Record implements IEquatable<Types_FormSte
 }
 
 export function Types_FormStepTS_$reflection(): TypeInfo {
-    return record_type("F1.Studio.FormSpec.Interop.OptionBased.Types.FormStepTS", [], Types_FormStepTS, () => [["StepOrder", int32_type], ["StepLabel", string_type], ["Fields", array_type(Types_FormFieldTS_$reflection())]]);
+    return record_type("F1.Studio.FormSpec.Interop.OptionBased.Types.FormStepTS", [], Types_FormStepTS, () => [["StepOrder", int32_type], ["StepLabel", option_type(string_type)], ["Fields", array_type(Types_FormFieldTS_$reflection())]]);
 }
 
 export class Types_ScoreRangeTS extends Record implements IEquatable<Types_ScoreRangeTS>, IComparable<Types_ScoreRangeTS> {