@f1studio/form-spec 5.0.0-alpha.117 → 5.0.0-alpha.121

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@f1studio/form-spec",
-  "version": "5.0.0-alpha.117",
+  "version": "5.0.0-alpha.121",
   "description": "F1 Core - Form specification and types",
   "main": "./FormSpec.TS/FormSpec.FS/Interop/FormSpec.Api.Option.js",
   "types": "./FormSpec.FS/Interop/FormSpec.Api.Option.d.ts",

package/src/FormSpec.FS/BlueprintValidation.ts

@@ -1,10 +1,12 @@
+import { Blueprint_validateBlueprint } from "./Validation/Validation.FilledForm.js";
+import { FSharpResult$2_Error, FSharpResult$2_Ok, FSharpResult$2_$union } from "@fable-org/fable-library-js/Result.js";
+import { tryHead, map, append, isEmpty, choose, collect, empty, singleton, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { ValidationError } from "./Validation/ValidationTypes.js";
 import { printf, toText, isNullOrWhiteSpace } from "@fable-org/fable-library-js/String.js";
-import { value as value_2, Option, map, defaultArg } from "@fable-org/fable-library-js/Option.js";
 import { isMatch } from "@fable-org/fable-library-js/RegExp.js";
-import { map as map_1, empty, singleton, append, FSharpList, choose, collect, tryPick, tryFind, isEmpty } from "@fable-org/fable-library-js/List.js";
-import { Spec_FormSpec$1, Spec_MatrixInfo, Spec_MultiChoiceInfo, Spec_SingleChoiceInfo, Spec_FormField$1, Spec_FieldType_$union, Spec_FormStep$1 } from "./FormSpec.js";
 import { int32 } from "@fable-org/fable-library-js/Int32.js";
-import { FSharpResult$2_$union, FSharpResult$2_Ok, FSharpResult$2_Error } from "@fable-org/fable-library-js/Result.js";
+import { Spec_FormSpec$1, Spec_MatrixInfo, Spec_FormStep$1, Spec_MultiChoiceInfo, Spec_SingleChoiceInfo, Spec_FieldType_$union, Spec_FormField$1 } from "./FormSpec.js";
+import { map as map_1, defaultArg, Option } from "@fable-org/fable-library-js/Option.js";
 import { FSharpMap, empty as empty_1, add } from "@fable-org/fable-library-js/Map.js";
 import { Auto_generateBoxedEncoder_437914C6, toString } from "../fable_modules/Thoth.Json.10.4.1/Encode.fs.js";
 import { list_type, string_type } from "@fable-org/fable-library-js/Reflection.js";
@@ -20,75 +22,55 @@ const semverRegex = /^(0|[1-9]\d*)\.(0|[1-9]\d*)\.(0|[1-9]\d*)(?:-[0-9A-Za-z-]+(
  * Returns Ok ((), warnings) or Error msg.
  */
 export function validateBlueprintForSave(spec: Spec_FormSpec$1<Spec_FieldType_$union>, relaxForImport: boolean): FSharpResult$2_$union<[void, FSharpList<string>], string> {
-    const hasTitle: boolean = !isNullOrWhiteSpace(spec.Title);
-    const hasCode: boolean = defaultArg(map<string, boolean>((c: string): boolean => !isNullOrWhiteSpace(c), spec.Code), false);
-    const version: string = (spec.Version == null) ? "" : spec.Version.trim();
-    const hasVersion: boolean = !isNullOrWhiteSpace(version);
-    const isSemver: boolean = hasVersion && isMatch(semverRegex, version);
-    const hasSteps: boolean = !isEmpty(spec.Steps);
-    const blankStepLabel: Option<int32> = map<Spec_FormStep$1<Spec_FieldType_$union>, int32>((step_1: Spec_FormStep$1<Spec_FieldType_$union>): int32 => step_1.StepOrder, tryFind<Spec_FormStep$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): boolean => isNullOrWhiteSpace(step.StepLabel), spec.Steps));
-    const blankFieldLabel: Option<[int32, int32]> = tryPick<Spec_FormStep$1<Spec_FieldType_$union>, [int32, int32]>((step_2: Spec_FormStep$1<Spec_FieldType_$union>): Option<[int32, int32]> => map<Spec_FormField$1<Spec_FieldType_$union>, [int32, int32]>((field_1: Spec_FormField$1<Spec_FieldType_$union>): [int32, int32] => ([step_2.StepOrder, field_1.FieldOrder] as [int32, int32]), tryFind<Spec_FormField$1<Spec_FieldType_$union>>((field: Spec_FormField$1<Spec_FieldType_$union>): boolean => isNullOrWhiteSpace(field.Label), step_2.Fields)), spec.Steps);
-    const invalidOptionsFields: FSharpList<[int32, int32, string]> = collect<Spec_FormStep$1<Spec_FieldType_$union>, [int32, int32, string]>((step_3: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<[int32, int32, string]> => choose<Spec_FormField$1<Spec_FieldType_$union>, [int32, int32, string]>((field_2: Spec_FormField$1<Spec_FieldType_$union>): Option<[int32, int32, string]> => {
-        let matchValue: Spec_FieldType_$union, matchValue_1: Spec_FieldType_$union, info: Spec_SingleChoiceInfo, info_1: Spec_MultiChoiceInfo;
-        if (((matchValue = field_2.FieldType, (matchValue.tag === /* Radio */ 12) ? true : ((matchValue.tag === /* SingleChoice */ 13) ? true : ((matchValue.tag === /* Dropdown */ 14) ? true : ((matchValue.tag === /* MultiChoice */ 15) ? true : ((matchValue.tag === /* CheckboxList */ 16) ? true : ((matchValue.tag === /* TagList */ 17) ? true : ((matchValue.tag === /* TextAutoComplete */ 18) ? true : (matchValue.tag === /* Matrix */ 19))))))))) && !((matchValue_1 = field_2.FieldType, (matchValue_1.tag === /* Radio */ 12) ? ((info = matchValue_1.fields[0], !isEmpty(info.Options))) : ((matchValue_1.tag === /* SingleChoice */ 13) ? ((info = matchValue_1.fields[0], !isEmpty(info.Options))) : ((matchValue_1.tag === /* Dropdown */ 14) ? ((info = matchValue_1.fields[0], !isEmpty(info.Options))) : ((matchValue_1.tag === /* TextAutoComplete */ 18) ? ((info = matchValue_1.fields[0], !isEmpty(info.Options))) : ((matchValue_1.tag === /* MultiChoice */ 15) ? ((info_1 = matchValue_1.fields[0], !isEmpty(info_1.Options))) : ((matchValue_1.tag === /* CheckboxList */ 16) ? ((info_1 = matchValue_1.fields[0], !isEmpty(info_1.Options))) : ((matchValue_1.tag === /* TagList */ 17) ? ((info_1 = matchValue_1.fields[0], !isEmpty(info_1.Options))) : ((matchValue_1.tag === /* Matrix */ 19) ? !isEmpty(matchValue_1.fields[0].Options) : true)))))))))) {
-            return [step_3.StepOrder, field_2.FieldOrder, field_2.Label] as [int32, int32, string];
-        }
-        else {
-            return undefined;
-        }
-    }, step_3.Fields), spec.Steps);
-    const invalidMatrixItemsFields: FSharpList<[int32, int32, string]> = collect<Spec_FormStep$1<Spec_FieldType_$union>, [int32, int32, string]>((step_4: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<[int32, int32, string]> => choose<Spec_FormField$1<Spec_FieldType_$union>, [int32, int32, string]>((field_3: Spec_FormField$1<Spec_FieldType_$union>): Option<[int32, int32, string]> => {
-        const matchValue_2: Spec_FieldType_$union = field_3.FieldType;
-        let matchResult: int32, info_4: Spec_MatrixInfo;
-        if (matchValue_2.tag === /* Matrix */ 19) {
-            if (isEmpty(matchValue_2.fields[0].Items)) {
-                matchResult = 0;
-                info_4 = matchValue_2.fields[0];
+    const matchValue: FSharpResult$2_$union<void, FSharpList<ValidationError>> = Blueprint_validateBlueprint(spec, relaxForImport);
+    if (matchValue.tag === /* Ok */ 0) {
+        const version: string = (spec.Version == null) ? "" : spec.Version.trim();
+        const hasVersion: boolean = !isNullOrWhiteSpace(version);
+        const semverWarning: FSharpList<string> = (hasVersion && !(hasVersion && isMatch(semverRegex, version))) ? singleton("Version should be valid semver (e.g. 1.0.0) for lineage") : empty<string>();
+        const invalidOptionsFields: FSharpList<[int32, int32, string]> = collect<Spec_FormStep$1<Spec_FieldType_$union>, [int32, int32, string]>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<[int32, int32, string]> => choose<Spec_FormField$1<Spec_FieldType_$union>, [int32, int32, string]>((field: Spec_FormField$1<Spec_FieldType_$union>): Option<[int32, int32, string]> => {
+            let matchValue_1: Spec_FieldType_$union, matchValue_2: Spec_FieldType_$union, info: Spec_SingleChoiceInfo, info_1: Spec_MultiChoiceInfo;
+            if (((matchValue_1 = field.FieldType, (matchValue_1.tag === /* Radio */ 12) ? true : ((matchValue_1.tag === /* SingleChoice */ 13) ? true : ((matchValue_1.tag === /* Dropdown */ 14) ? true : ((matchValue_1.tag === /* MultiChoice */ 15) ? true : ((matchValue_1.tag === /* CheckboxList */ 16) ? true : ((matchValue_1.tag === /* TagList */ 17) ? true : ((matchValue_1.tag === /* TextAutoComplete */ 18) ? true : (matchValue_1.tag === /* Matrix */ 19))))))))) && !((matchValue_2 = field.FieldType, (matchValue_2.tag === /* Radio */ 12) ? ((info = matchValue_2.fields[0], !isEmpty(info.Options))) : ((matchValue_2.tag === /* SingleChoice */ 13) ? ((info = matchValue_2.fields[0], !isEmpty(info.Options))) : ((matchValue_2.tag === /* Dropdown */ 14) ? ((info = matchValue_2.fields[0], !isEmpty(info.Options))) : ((matchValue_2.tag === /* TextAutoComplete */ 18) ? ((info = matchValue_2.fields[0], !isEmpty(info.Options))) : ((matchValue_2.tag === /* MultiChoice */ 15) ? ((info_1 = matchValue_2.fields[0], !isEmpty(info_1.Options))) : ((matchValue_2.tag === /* CheckboxList */ 16) ? ((info_1 = matchValue_2.fields[0], !isEmpty(info_1.Options))) : ((matchValue_2.tag === /* TagList */ 17) ? ((info_1 = matchValue_2.fields[0], !isEmpty(info_1.Options))) : ((matchValue_2.tag === /* Matrix */ 19) ? !isEmpty(matchValue_2.fields[0].Options) : true)))))))))) {
+                return [step.StepOrder, field.FieldOrder, field.Label] as [int32, int32, string];
+            }
+            else {
+                return undefined;
+            }
+        }, step.Fields), spec.Steps);
+        const invalidMatrixItemsFields: FSharpList<[int32, int32, string]> = collect<Spec_FormStep$1<Spec_FieldType_$union>, [int32, int32, string]>((step_1: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<[int32, int32, string]> => choose<Spec_FormField$1<Spec_FieldType_$union>, [int32, int32, string]>((field_1: Spec_FormField$1<Spec_FieldType_$union>): Option<[int32, int32, string]> => {
+            const matchValue_3: Spec_FieldType_$union = field_1.FieldType;
+            let matchResult: int32, info_4: Spec_MatrixInfo;
+            if (matchValue_3.tag === /* Matrix */ 19) {
+                if (isEmpty(matchValue_3.fields[0].Items)) {
+                    matchResult = 0;
+                    info_4 = matchValue_3.fields[0];
+                }
+                else {
+                    matchResult = 1;
+                }
             }
             else {
                 matchResult = 1;
             }
-        }
-        else {
-            matchResult = 1;
-        }
-        switch (matchResult) {
-            case 0:
-                return [step_4.StepOrder, field_3.FieldOrder, field_3.Label] as [int32, int32, string];
-            default:
-                return undefined;
-        }
-    }, step_4.Fields), spec.Steps);
-    if (!hasTitle) {
-        return FSharpResult$2_Error<[void, FSharpList<string>], string>("Title is required");
-    }
-    else if (!hasCode) {
-        return FSharpResult$2_Error<[void, FSharpList<string>], string>("Code is required");
-    }
-    else if (!hasVersion) {
-        return FSharpResult$2_Error<[void, FSharpList<string>], string>("Version is required");
-    }
-    else if (!hasSteps) {
-        return FSharpResult$2_Error<[void, FSharpList<string>], string>("At least one step is required");
-    }
-    else if (!relaxForImport && (blankStepLabel != null)) {
-        return FSharpResult$2_Error<[void, FSharpList<string>], string>(`Step ${value_2(blankStepLabel)} label is required`);
-    }
-    else if (!relaxForImport && (blankFieldLabel != null)) {
-        const patternInput: [int32, int32] = value_2(blankFieldLabel);
-        return FSharpResult$2_Error<[void, FSharpList<string>], string>(`Field label is required (step ${patternInput[0]}, field ${patternInput[1]})`);
-    }
-    else {
-        return FSharpResult$2_Ok<[void, FSharpList<string>], string>([undefined, append((hasVersion && !isSemver) ? singleton("Version should be valid semver (e.g. 1.0.0) for lineage") : empty<string>(), append(map_1<[int32, int32, string], string>((tupledArg: [int32, int32, string]): string => {
+            switch (matchResult) {
+                case 0:
+                    return [step_1.StepOrder, field_1.FieldOrder, field_1.Label] as [int32, int32, string];
+                default:
+                    return undefined;
+            }
+        }, step_1.Fields), spec.Steps);
+        return FSharpResult$2_Ok<[void, FSharpList<string>], string>([undefined, append(semverWarning, append(map<[int32, int32, string], string>((tupledArg: [int32, int32, string]): string => {
             const fieldLabel: string = tupledArg[2];
             const fieldName: string = isNullOrWhiteSpace(fieldLabel) ? "(unnamed field)" : toText(printf("\'%s\'"))(fieldLabel);
             return toText(printf("%s: Field %s (step %d, field %d) has zero choices - display-only"))("EMPTY_OPTIONS")(fieldName)(tupledArg[0])(tupledArg[1]);
-        }, invalidOptionsFields), map_1<[int32, int32, string], string>((tupledArg_1: [int32, int32, string]): string => {
+        }, invalidOptionsFields), map<[int32, int32, string], string>((tupledArg_1: [int32, int32, string]): string => {
             const fieldLabel_1: string = tupledArg_1[2];
             const fieldName_1: string = isNullOrWhiteSpace(fieldLabel_1) ? "(unnamed field)" : toText(printf("\'%s\'"))(fieldLabel_1);
             return toText(printf("EMPTY_MATRIX_ITEMS: Field %s (step %d, field %d) has zero matrix items - display-only"))(fieldName_1)(tupledArg_1[0])(tupledArg_1[1]);
         }, invalidMatrixItemsFields)))] as [void, FSharpList<string>]);
     }
+    else {
+        return FSharpResult$2_Error<[void, FSharpList<string>], string>(defaultArg(map_1<ValidationError, string>((e: ValidationError): string => e.Message, tryHead<ValidationError>(matchValue.fields[0])), "Validation failed"));
+    }
 }
 
 /**

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

@@ -1,22 +1,24 @@
 import { map as map_1, value as value_11, unwrap, defaultArgWith as defaultArgWith_1, Option, defaultArg as defaultArg_1 } from "@fable-org/fable-library-js/Option.js";
-import { tryPick, filter, mapIndexed as mapIndexed_1, isEmpty, map as map_3, ofSeq, fold, partition, ofArray, append, singleton, empty, collect, tryFind, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { tryPick, filter, mapIndexed as mapIndexed_1, isEmpty, map as map_3, ofSeq, fold as fold_1, partition, ofArray, append, singleton, empty, collect, tryFind, FSharpList } from "@fable-org/fable-library-js/List.js";
 import { join, substring, isNullOrEmpty, 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 { equals, stringHash, compare, createObj, IDisposable, disposeSafe, IEnumerator, getEnumerator, IMap, isArrayLike, uncurry2 } from "@fable-org/fable-library-js/Util.js";
+import { equals, stringHash, compare, comparePrimitives, createObj, IDisposable, disposeSafe, IEnumerator, getEnumerator, IMap, isArrayLike, uncurry2 } from "@fable-org/fable-library-js/Util.js";
 import { 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_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 { 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 { toString as toString_1, 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 { count, ofSeq as ofSeq_1, add, empty as empty_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 { extractPropertyKeyFromUnknown, resolvePropertyKey } from "./PluginPropertyKeyRegistry.js";
-import { empty as empty_1, append as append_1, mapIndexed, map as map_2, choose, singleton as singleton_1, collect as collect_1, delay, toList as toList_1 } from "@fable-org/fable-library-js/Seq.js";
-import { map } from "@fable-org/fable-library-js/Array.js";
+import { empty as empty_2, append as append_1, mapIndexed, map as map_2, choose, singleton as singleton_1, collect as collect_1, delay, toList as toList_1 } from "@fable-org/fable-library-js/Seq.js";
+import { fold, map } from "@fable-org/fable-library-js/Array.js";
+import { FilledForm_validateFilledFormData } from "../Validation/Validation.FilledForm.js";
+import { ValidationError } from "../Validation/ValidationTypes.js";
 import { getFieldDetails as getFieldDetails_1, FieldDetails$1, updateField, findStepIndexForField, updateFieldDocumentation } from "../FormSpecValues.js";
 import { toArray, ofArray as ofArray_1 } from "@fable-org/fable-library-js/Set.js";
 import { now } from "@fable-org/fable-library-js/DateOffset.js";
@@ -63,12 +65,20 @@ export function listToArray<T>(list: FSharpList<T>): T[] {
     return Array.from(list);
 }
 
+/**
+ * Serialize FormSpec to JSON. Uses PascalCase (Thoth default).
+ * Case conversion at API boundaries per COREMR_F1_CACHING_STRATEGY.md.
+ */
 export function serializeFormSpec(formSpec: any): string {
     toConsole(printf("[API.Helpers] Serializing FormSpec!!"));
     toConsole(`[API.Helpers] FormSpec: ${formSpec}`);
     return toString(0, Auto_generateBoxedEncoder_437914C6(obj_type, undefined, undefined, undefined)(formSpec));
 }
 
+/**
+ * Deserialize FormSpec from JSON. Uses PascalCase (Thoth default).
+ * Case conversion at API boundaries per COREMR_F1_CACHING_STRATEGY.md.
+ */
 export function deserializeFormSpec(json: string): Option<Spec_FormSpec$1<Spec_FieldType_$union>> {
     toConsole(printf("[API.Helpers] Deserializing FormSpec"));
     const matchValue: FSharpResult$2_$union<Spec_FormSpec$1<Spec_FieldType_$union>, string> = fromString<Spec_FormSpec$1<Spec_FieldType_$union>>(uncurry2(Auto_generateBoxedDecoder_Z6670B51(Spec_FormSpec$1_$reflection(Spec_FieldType_$reflection()), undefined, undefined)), json);
@@ -407,13 +417,36 @@ export function normalizeFormValuesForPlatformApi(formValues: any): any {
     }, entries))));
 }
 
+function jsObjectToFilledFormDataMap(o: any): FSharpMap<string, any> {
+    if (o == null) {
+        return empty_1<string, any>({
+            Compare: comparePrimitives,
+        });
+    }
+    else {
+        const entries: [string, any][] = Object.entries(o);
+        return fold<[string, any], FSharpMap<string, any>>((m: FSharpMap<string, any>, tupledArg: [string, any]): FSharpMap<string, any> => add<string, any>(tupledArg[0], tupledArg[1], m), empty_1<string, any>({
+            Compare: comparePrimitives,
+        }), entries);
+    }
+}
+
+/**
+ * Validate filled form data against FormSpec. Returns Ok () or Error with ValidationError list.
+ * plainValues: { [fieldKey]: value, [fieldKey_doc]: doc }. Converted at boundary to typed Map. Use before save/publish.
+ * TypeScript: import { validateFilledFormData } from '@f1studio/form-spec/Interop/FormSpec.Api.Helpers'
+ */
+export function validateFilledFormData(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, plainValues: any): FSharpResult$2_$union<void, FSharpList<ValidationError>> {
+    return FilledForm_validateFilledFormData(formSpec, jsObjectToFilledFormDataMap(plainValues));
+}
+
 /**
  * Build FormSpec with field values applied. Primary API - pathway uses FormSpec directly.
  * TypeScript: buildFormSpecWithValues(formSpec: FormSpec, fieldData: FieldInput[]) => FormSpec
  */
 export function buildFormSpecWithValues(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, fieldData: { fieldKey: string, objectValue: any }[]): Spec_FormSpec$1<Spec_FieldType_$union> {
     const patternInput: [FSharpList<{ fieldKey: string, objectValue: any }>, FSharpList<{ fieldKey: string, objectValue: any }>] = partition<{ fieldKey: string, objectValue: any }>((input: { fieldKey: string, objectValue: any }): boolean => !input.fieldKey.endsWith("_doc"), toList_1<{ fieldKey: string, objectValue: any }>(fieldData));
-    return fold<{ fieldKey: string, objectValue: any }, Spec_FormSpec$1<Spec_FieldType_$union>>((spec_1: Spec_FormSpec$1<Spec_FieldType_$union>, input_2: { fieldKey: string, objectValue: any }): Spec_FormSpec$1<Spec_FieldType_$union> => {
+    return fold_1<{ fieldKey: string, objectValue: any }, Spec_FormSpec$1<Spec_FieldType_$union>>((spec_1: Spec_FormSpec$1<Spec_FieldType_$union>, input_2: { fieldKey: string, objectValue: any }): Spec_FormSpec$1<Spec_FieldType_$union> => {
         const baseKey: string = substring(input_2.fieldKey, 0, input_2.fieldKey.length - 4);
         const matchValue_3: Option<Spec_FormField$1<Spec_FieldType_$union>> = findFieldByKey(spec_1, baseKey);
         if (matchValue_3 == null) {
@@ -426,7 +459,7 @@ export function buildFormSpecWithValues(formSpec: Spec_FormSpec$1<Spec_FieldType
             const docOpt: Option<string> = isNullOrEmpty(docStr) ? undefined : docStr;
             return defaultArg_1(map_1<int32, Spec_FormSpec$1<Spec_FieldType_$union>>((stepIdx_1: int32): Spec_FormSpec$1<Spec_FieldType_$union> => updateFieldDocumentation<Spec_FieldType_$union>(spec_1, field_2.FieldKey, docOpt, stepIdx_1), findStepIndexForField<Spec_FieldType_$union>(spec_1, field_2.FieldKey)), spec_1);
         }
-    }, fold<[Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>], Spec_FormSpec$1<Spec_FieldType_$union>>((spec: Spec_FormSpec$1<Spec_FieldType_$union>, tupledArg: [Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>]): Spec_FormSpec$1<Spec_FieldType_$union> => {
+    }, fold_1<[Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>], Spec_FormSpec$1<Spec_FieldType_$union>>((spec: Spec_FormSpec$1<Spec_FieldType_$union>, tupledArg: [Spec_FormField$1<Spec_FieldType_$union>, FieldDetails$1<Spec_FieldType_$union>]): Spec_FormSpec$1<Spec_FieldType_$union> => {
         const field_1: Spec_FormField$1<Spec_FieldType_$union> = tupledArg[0];
         return defaultArg_1(map_1<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<[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>]> => {
@@ -910,7 +943,7 @@ export function extractFormValuesFromFormSpec(spec: Spec_FormSpec$1<Spec_FieldTy
     const pairs: FSharpList<[string, any]> = toList_1<[string, any]>(delay<[string, any]>((): Iterable<[string, any]> => collect_1<Spec_FormStep$1<Spec_FieldType_$union>, Iterable<[string, any]>, [string, any]>((step: Spec_FormStep$1<Spec_FieldType_$union>): Iterable<[string, any]> => collect_1<Spec_FormField$1<Spec_FieldType_$union>, Iterable<[string, any]>, [string, any]>((field: Spec_FormField$1<Spec_FieldType_$union>): Iterable<[string, any]> => {
         let matchValue: Option<Shared_FieldValue_$union>, fv: Shared_FieldValue_$union, arr: string[], ma: Shared_MatrixAnswer, dict: IMap<string, string>, enumerator: IEnumerator<[Shared_MatrixItemKey, string]>, arr_1: FSharpList<any>;
         const keyStr: string = getFieldKeyString(field.FieldKey);
-        return append_1<[string, any]>((matchValue = field.Value, (matchValue == null) ? (empty_1<[string, any]>()) : ((fv = value_11(matchValue), singleton_1<[string, any]>([keyStr, (fv.tag === /* Multiple */ 1) ? ((arr = map<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), (() => {
+        return append_1<[string, any]>((matchValue = field.Value, (matchValue == null) ? (empty_2<[string, any]>()) : ((fv = value_11(matchValue), singleton_1<[string, any]>([keyStr, (fv.tag === /* Multiple */ 1) ? ((arr = map<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"]()) {
                     const kvp: [Shared_MatrixItemKey, string] = enumerator["System.Collections.Generic.IEnumerator`1.get_Current"]();
@@ -928,7 +961,7 @@ export function extractFormValuesFromFormSpec(spec: Spec_FormSpec$1<Spec_FieldTy
             propertyKey: p.PropertyKey.fields[0],
             unit: unwrap(p.Unit),
             value: p.Value,
-        }), fv.fields[0]), Array.from(arr_1))) : fv.fields[0].Value))] as [string, any])))), delay<[string, any]>((): Iterable<[string, any]> => (field.NeedsDocumentation ? singleton_1<[string, any]>([keyStr + "_doc", defaultArg_1(field.Documentation, "")] as [string, any]) : empty_1<[string, any]>())));
+        }), fv.fields[0]), Array.from(arr_1))) : fv.fields[0].Value))] as [string, any])))), delay<[string, any]>((): Iterable<[string, any]> => (field.NeedsDocumentation ? singleton_1<[string, any]>([keyStr + "_doc", defaultArg_1(field.Documentation, "")] as [string, any]) : empty_2<[string, any]>())));
     }, step.Fields), spec.Steps)));
     if (isEmpty(pairs)) {
         return {};

package/src/FormSpec.FS/Validation/Validation.FilledForm.ts

@@ -0,0 +1,158 @@
+import { Spec_FormSpec$1, Spec_FormStep$1, Spec_FieldType_$union, Spec_FormField$1, Shared_FieldKey } from "../FormSpec.js";
+import { int32, float64 } from "@fable-org/fable-library-js/Int32.js";
+import { equals } from "@fable-org/fable-library-js/BigInt.js";
+import { empty as empty_1, singleton as singleton_1, append as append_1, toList, enumerateFromFunctions, map, delay, exists } from "@fable-org/fable-library-js/Seq.js";
+import { IEnumerator, getEnumerator } from "@fable-org/fable-library-js/Util.js";
+import { ValidationError } from "./ValidationTypes.js";
+import { isEmpty, collect, append, FSharpList, singleton, empty } from "@fable-org/fable-library-js/List.js";
+import { FSharpMap, tryFind } from "@fable-org/fable-library-js/Map.js";
+import { map as map_1, defaultArg, value as value_1, Option } from "@fable-org/fable-library-js/Option.js";
+import { printf, toText, isNullOrWhiteSpace } from "@fable-org/fable-library-js/String.js";
+import { toString } from "@fable-org/fable-library-js/Types.js";
+import { FSharpResult$2_$union, FSharpResult$2_Error, FSharpResult$2_Ok } from "@fable-org/fable-library-js/Result.js";
+
+function FilledForm_getFieldKeyString(fieldKey: Shared_FieldKey): string {
+    return fieldKey.fields[0];
+}
+
+function FilledForm_isTruthyValue(v: any): boolean {
+    if (v == null) {
+        return false;
+    }
+    else if (typeof v === "string") {
+        const s: string = v;
+        const t: string = s.trim().toLowerCase();
+        if ((t === "yes") ? true : (t === "true")) {
+            return true;
+        }
+        else {
+            return t === "1";
+        }
+    }
+    else if (typeof v === "boolean") {
+        return v;
+    }
+    else if (typeof v === "number") {
+        return v === 1;
+    }
+    else if (typeof v === "number") {
+        const f: float64 = v;
+        return Math.abs(f - 1) < 0.001;
+    }
+    else if (typeof v === "bigint") {
+        return equals(v, 1n);
+    }
+    else {
+        const arr = v as Iterable<any>;
+        if (arr == null) {
+            return false;
+        }
+        else {
+            return exists<any>(FilledForm_isTruthyValue, delay<any>((): Iterable<any> => map<any, any>((x: any): any => x, enumerateFromFunctions<IEnumerator<any>, any>((): IEnumerator<any> => getEnumerator(arr), (enumerator: IEnumerator<any>): boolean => enumerator["System.Collections.IEnumerator.MoveNext"](), (enumerator_1: IEnumerator<any>): any => enumerator_1["System.Collections.IEnumerator.get_Current"]()))));
+        }
+    }
+}
+
+/**
+ * If field.NeedsDocumentation and value is truthy (yes/true/1) and filledFormData[fieldKey_doc] is empty -> error
+ */
+export function FilledForm_validateNeedsDocumentation(field: Spec_FormField$1<Spec_FieldType_$union>, filledFormData: FSharpMap<string, any>): FSharpList<ValidationError> {
+    let s: string, x: any;
+    if (!field.NeedsDocumentation) {
+        return empty<ValidationError>();
+    }
+    else {
+        const keyStr: string = FilledForm_getFieldKeyString(field.FieldKey);
+        const value: Option<any> = tryFind<string, any>(keyStr, filledFormData);
+        if (value != null) {
+            if (!FilledForm_isTruthyValue(value_1(value))) {
+                const v_1: any = value_1(value);
+                return empty<ValidationError>();
+            }
+            else {
+                const docVal: Option<any> = tryFind<string, any>(keyStr + "_doc", filledFormData);
+                if (isNullOrWhiteSpace((docVal != null) ? ((typeof value_1(docVal) === "string") ? ((s = (value_1(docVal) as string), s.trim())) : ((x = value_1(docVal), toString(x)))) : "")) {
+                    return singleton(new ValidationError(keyStr, field.Label, "NEEDS_DOCUMENTATION", toText(printf("Field \'%s\' requires documentation when value is \'yes\' or similar."))(field.Label)));
+                }
+                else {
+                    return empty<ValidationError>();
+                }
+            }
+        }
+        else {
+            return empty<ValidationError>();
+        }
+    }
+}
+
+/**
+ * FieldKey must be non-empty GUID. Reuses logic from FormSpecHelpers.validateFormDataFieldKeys.
+ */
+export function FilledForm_validateFieldKeys(field: Spec_FormField$1<Spec_FieldType_$union>): FSharpList<ValidationError> {
+    if (field.FieldKey.fields[0] === "00000000-0000-0000-0000-000000000000") {
+        return singleton(new ValidationError("", field.Label, "INVALID_FIELD_KEY", toText(printf("Field \'%s\' has empty GUID field key."))(field.Label)));
+    }
+    else {
+        return empty<ValidationError>();
+    }
+}
+
+/**
+ * Field-level: compose primitives (validateNeedsDocumentation, validateFieldKeys).
+ */
+export function FilledForm_validateFilledFormFieldValue(field: Spec_FormField$1<Spec_FieldType_$union>, filledFormData: FSharpMap<string, any>): FSharpList<ValidationError> {
+    return append(FilledForm_validateFieldKeys(field), FilledForm_validateNeedsDocumentation(field, filledFormData));
+}
+
+/**
+ * Step-level: iterate fields, collect errors.
+ */
+export function FilledForm_validateFilledFormStep(step: Spec_FormStep$1<Spec_FieldType_$union>, filledFormData: FSharpMap<string, any>): FSharpList<ValidationError> {
+    return collect<Spec_FormField$1<Spec_FieldType_$union>, ValidationError>((field: Spec_FormField$1<Spec_FieldType_$union>): FSharpList<ValidationError> => FilledForm_validateFilledFormFieldValue(field, filledFormData), step.Fields);
+}
+
+/**
+ * Top-level: validate FormSpec + filledFormData. Returns Result<unit, ValidationError list>.
+ * Takes typed Map - no guessing. Callers convert at boundary.
+ */
+export function FilledForm_validateFilledFormData(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, filledFormData: FSharpMap<string, any>): FSharpResult$2_$union<void, FSharpList<ValidationError>> {
+    const errors: FSharpList<ValidationError> = collect<Spec_FormStep$1<Spec_FieldType_$union>, ValidationError>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<ValidationError> => FilledForm_validateFilledFormStep(step, filledFormData), formSpec.Steps);
+    if (isEmpty(errors)) {
+        return FSharpResult$2_Ok<void, FSharpList<ValidationError>>(undefined);
+    }
+    else {
+        return FSharpResult$2_Error<void, FSharpList<ValidationError>>(errors);
+    }
+}
+
+function Blueprint_getFieldKeyString(fieldKey: Shared_FieldKey): string {
+    return fieldKey.fields[0];
+}
+
+export function Blueprint_validateBlueprintFieldType(stepOrder: int32, fieldOrder: int32, field: Spec_FormField$1<Spec_FieldType_$union>, relaxForImport: boolean): FSharpList<ValidationError> {
+    if (relaxForImport) {
+        return empty<ValidationError>();
+    }
+    else if (isNullOrWhiteSpace(field.Label)) {
+        return singleton(new ValidationError(Blueprint_getFieldKeyString(field.FieldKey), field.Label, "BLANK_FIELD_LABEL", toText(printf("Field label is required (step %d, field %d)"))(stepOrder)(fieldOrder)));
+    }
+    else {
+        return empty<ValidationError>();
+    }
+}
+
+export function Blueprint_validateBlueprintFormStep(step: Spec_FormStep$1<Spec_FieldType_$union>, relaxForImport: boolean): FSharpList<ValidationError> {
+    return append(relaxForImport ? empty<ValidationError>() : (isNullOrWhiteSpace(step.StepLabel) ? singleton(new ValidationError(toText(printf("step-%d"))(step.StepOrder), step.StepLabel, "BLANK_STEP_LABEL", toText(printf("Step %d label is required"))(step.StepOrder))) : empty<ValidationError>()), collect<Spec_FormField$1<Spec_FieldType_$union>, ValidationError>((f: Spec_FormField$1<Spec_FieldType_$union>): FSharpList<ValidationError> => Blueprint_validateBlueprintFieldType(step.StepOrder, f.FieldOrder, f, relaxForImport), step.Fields));
+}
+
+export function Blueprint_validateBlueprint(spec: Spec_FormSpec$1<Spec_FieldType_$union>, relaxForImport: boolean): FSharpResult$2_$union<void, FSharpList<ValidationError>> {
+    const allErrors: FSharpList<ValidationError> = append(toList<ValidationError>(delay<ValidationError>((): Iterable<ValidationError> => append_1<ValidationError>(isNullOrWhiteSpace(spec.Title) ? singleton_1<ValidationError>(new ValidationError("", "", "BLUEPRINT_TITLE_REQUIRED", "Title is required")) : empty_1<ValidationError>(), delay<ValidationError>((): Iterable<ValidationError> => append_1<ValidationError>(!defaultArg(map_1<string, boolean>((c: string): boolean => !isNullOrWhiteSpace(c), spec.Code), false) ? singleton_1<ValidationError>(new ValidationError("", "", "BLUEPRINT_CODE_REQUIRED", "Code is required")) : empty_1<ValidationError>(), delay<ValidationError>((): Iterable<ValidationError> => append_1<ValidationError>(isNullOrWhiteSpace((spec.Version == null) ? "" : spec.Version.trim()) ? singleton_1<ValidationError>(new ValidationError("", "", "BLUEPRINT_VERSION_REQUIRED", "Version is required")) : empty_1<ValidationError>(), delay<ValidationError>((): Iterable<ValidationError> => (isEmpty(spec.Steps) ? singleton_1<ValidationError>(new ValidationError("", "", "BLUEPRINT_STEPS_REQUIRED", "At least one step is required")) : empty_1<ValidationError>()))))))))), collect<Spec_FormStep$1<Spec_FieldType_$union>, ValidationError>((s: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<ValidationError> => Blueprint_validateBlueprintFormStep(s, relaxForImport), spec.Steps));
+    if (isEmpty(allErrors)) {
+        return FSharpResult$2_Ok<void, FSharpList<ValidationError>>(undefined);
+    }
+    else {
+        return FSharpResult$2_Error<void, FSharpList<ValidationError>>(allErrors);
+    }
+}
+
+//# sourceMappingURL=Validation.FilledForm.ts.map

package/src/FormSpec.FS/Validation/ValidationTypes.ts

@@ -0,0 +1,23 @@
+import { Record } from "@fable-org/fable-library-js/Types.js";
+import { IComparable, IEquatable } from "@fable-org/fable-library-js/Util.js";
+import { record_type, string_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
+
+export class ValidationError extends Record implements IEquatable<ValidationError>, IComparable<ValidationError> {
+    readonly FieldKey: string;
+    readonly Label: string;
+    readonly Code: string;
+    readonly Message: string;
+    constructor(FieldKey: string, Label: string, Code: string, Message: string) {
+        super();
+        this.FieldKey = FieldKey;
+        this.Label = Label;
+        this.Code = Code;
+        this.Message = Message;
+    }
+}
+
+export function ValidationError_$reflection(): TypeInfo {
+    return record_type("F1.Studio.ValidationTypes.ValidationError", [], ValidationError, () => [["FieldKey", string_type], ["Label", string_type], ["Code", string_type], ["Message", string_type]]);
+}
+
+//# sourceMappingURL=ValidationTypes.ts.map