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

package/src/PathwayValidator.ts

@@ -1,244 +1,238 @@
-import { Record } from "@fable-org/fable-library-js/Types.js";
-import { tryFind, toList, ofList, FSharpMap } from "@fable-org/fable-library-js/Map.js";
-import { ClinicalPathway_StateDefinition, Values_DynamicFormResultData$1, Values_FieldDetails$1, Values_StepOrder, Values_DynamicFormSpecDetails, Values_Signature, Values_FormStatus_Complete, Spec_MatrixInfo, Shared_FieldValue_$union, Shared_FieldValue_Single, Shared_FieldAnswer, Shared_FieldValue_Matrix, Shared_MatrixAnswer, Shared_MatrixItemKey, Spec_FormSpec$1, Spec_FormStep$1, ClinicalPathway_ClinicalPathwaySpec, ClinicalPathway_TransitionDefinition, ClinicalPathway_TransitionCondition_$union, Spec_FormField$1, Shared_FieldOption, Spec_FieldType_$union, Shared_StateKey_$reflection, Shared_StateKey, Shared_FieldKey_$reflection, Shared_FieldKey } from "./FormSpec.js";
-import { stringHash, safeHash, compare, equals, IComparable, IEquatable } from "@fable-org/fable-library-js/Util.js";
-import { option_type, list_type, int32_type, bool_type, record_type, class_type, string_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
-import { ofList as ofList_1, intersect, isEmpty as isEmpty_1, empty as empty_1, FSharpSet } from "@fable-org/fable-library-js/Set.js";
-import { int32 } from "@fable-org/fable-library-js/Int32.js";
-import { reverse, choose, take, length, zip, mapIndexed, head as head_1, cons, tail as tail_1, collect, isEmpty, filter, exists, empty, singleton, ofArray, map, FSharpList } from "@fable-org/fable-library-js/List.js";
-import { isExecutionComplete, ExecutionContext$1, initializeExecution, executeStep, ExecutionLogEntry_$reflection, ExecutionLogEntry } from "./PathwayExecutor.js";
-import { map as map_1, value as value_2, Option } from "@fable-org/fable-library-js/Option.js";
-import { substring, join } from "@fable-org/fable-library-js/String.js";
-import { newGuid } from "@fable-org/fable-library-js/Guid.js";
-import { List_distinct, List_groupBy } from "@fable-org/fable-library-js/Seq2.js";
-import { min } from "@fable-org/fable-library-js/Double.js";
-
-export class TestScenario extends Record implements IEquatable<TestScenario>, IComparable<TestScenario> {
-    readonly ScenarioId: string;
-    readonly FieldValues: FSharpMap<Shared_FieldKey, string>;
-    readonly Description: string;
-    constructor(ScenarioId: string, FieldValues: FSharpMap<Shared_FieldKey, string>, Description: string) {
-        super();
-        this.ScenarioId = ScenarioId;
-        this.FieldValues = FieldValues;
-        this.Description = Description;
-    }
-}
-
-export function TestScenario_$reflection(): TypeInfo {
-    return record_type("F1.Studio.PathwayValidator.TestScenario", [], TestScenario, () => [["ScenarioId", string_type], ["FieldValues", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [Shared_FieldKey_$reflection(), string_type])], ["Description", string_type]]);
-}
-
-export class ScenarioValidationResult extends Record implements IEquatable<ScenarioValidationResult>, IComparable<ScenarioValidationResult> {
-    readonly Scenario: TestScenario;
-    readonly ReachedTerminal: boolean;
-    readonly FinalStates: FSharpSet<Shared_StateKey>;
-    readonly ExecutionComplete: boolean;
-    readonly DeadEndDetected: boolean;
-    readonly InfiniteLoopDetected: boolean;
-    readonly MaxDepthExceeded: boolean;
-    readonly ExecutionIterations: int32;
-    readonly ExecutionLog: FSharpList<ExecutionLogEntry>;
-    readonly Error: Option<string>;
-    constructor(Scenario: TestScenario, ReachedTerminal: boolean, FinalStates: FSharpSet<Shared_StateKey>, ExecutionComplete: boolean, DeadEndDetected: boolean, InfiniteLoopDetected: boolean, MaxDepthExceeded: boolean, ExecutionIterations: int32, ExecutionLog: FSharpList<ExecutionLogEntry>, Error$: Option<string>) {
-        super();
-        this.Scenario = Scenario;
-        this.ReachedTerminal = ReachedTerminal;
-        this.FinalStates = FinalStates;
-        this.ExecutionComplete = ExecutionComplete;
-        this.DeadEndDetected = DeadEndDetected;
-        this.InfiniteLoopDetected = InfiniteLoopDetected;
-        this.MaxDepthExceeded = MaxDepthExceeded;
-        this.ExecutionIterations = (ExecutionIterations | 0);
-        this.ExecutionLog = ExecutionLog;
-        this.Error = Error$;
-    }
-}
-
-export function ScenarioValidationResult_$reflection(): TypeInfo {
-    return record_type("F1.Studio.PathwayValidator.ScenarioValidationResult", [], ScenarioValidationResult, () => [["Scenario", TestScenario_$reflection()], ["ReachedTerminal", bool_type], ["FinalStates", class_type("Microsoft.FSharp.Collections.FSharpSet`1", [Shared_StateKey_$reflection()])], ["ExecutionComplete", bool_type], ["DeadEndDetected", bool_type], ["InfiniteLoopDetected", bool_type], ["MaxDepthExceeded", bool_type], ["ExecutionIterations", int32_type], ["ExecutionLog", list_type(ExecutionLogEntry_$reflection())], ["Error", option_type(string_type)]]);
-}
-
-export class PathwayValidationResult extends Record implements IEquatable<PathwayValidationResult>, IComparable<PathwayValidationResult> {
-    readonly TotalScenarios: int32;
-    readonly ValidScenarios: int32;
-    readonly DeadEndScenarios: FSharpList<ScenarioValidationResult>;
-    readonly InfiniteLoopScenarios: FSharpList<ScenarioValidationResult>;
-    readonly OverComplexScenarios: FSharpList<ScenarioValidationResult>;
-    readonly Errors: FSharpList<string>;
-    constructor(TotalScenarios: int32, ValidScenarios: int32, DeadEndScenarios: FSharpList<ScenarioValidationResult>, InfiniteLoopScenarios: FSharpList<ScenarioValidationResult>, OverComplexScenarios: FSharpList<ScenarioValidationResult>, Errors: FSharpList<string>) {
-        super();
-        this.TotalScenarios = (TotalScenarios | 0);
-        this.ValidScenarios = (ValidScenarios | 0);
-        this.DeadEndScenarios = DeadEndScenarios;
-        this.InfiniteLoopScenarios = InfiniteLoopScenarios;
-        this.OverComplexScenarios = OverComplexScenarios;
-        this.Errors = Errors;
-    }
-}
-
-export function PathwayValidationResult_$reflection(): TypeInfo {
-    return record_type("F1.Studio.PathwayValidator.PathwayValidationResult", [], PathwayValidationResult, () => [["TotalScenarios", int32_type], ["ValidScenarios", int32_type], ["DeadEndScenarios", list_type(ScenarioValidationResult_$reflection())], ["InfiniteLoopScenarios", list_type(ScenarioValidationResult_$reflection())], ["OverComplexScenarios", list_type(ScenarioValidationResult_$reflection())], ["Errors", list_type(string_type)]]);
-}
-
-function getFieldPossibleValues(field: Spec_FormField$1<Spec_FieldType_$union>): FSharpList<string> {
-    const matchValue: Spec_FieldType_$union = field.FieldType;
-    switch (matchValue.tag) {
-        case /* SingleChoice */ 13:
-            return map<Shared_FieldOption, string>((opt: Shared_FieldOption): string => opt.Value, matchValue.fields[0].Options);
-        case /* MultiChoice */ 15:
-            return map<Shared_FieldOption, string>((opt_1: Shared_FieldOption): string => opt_1.Value, matchValue.fields[0].Options);
-        case /* CheckboxList */ 16:
-            return map<Shared_FieldOption, string>((opt_2: Shared_FieldOption): string => opt_2.Value, matchValue.fields[0].Options);
-        case /* Dropdown */ 14:
-            return map<Shared_FieldOption, string>((opt_3: Shared_FieldOption): string => opt_3.Value, matchValue.fields[0].Options);
-        case /* Radio */ 12:
-            return map<Shared_FieldOption, string>((opt_4: Shared_FieldOption): string => opt_4.Value, matchValue.fields[0].Options);
-        case /* Matrix */ 19:
-            return map<Shared_FieldOption, string>((opt_5: Shared_FieldOption): string => opt_5.Value, matchValue.fields[0].Options);
-        case /* Checkbox */ 11:
-            return ofArray(["true", "false"]);
-        case /* Number */ 6:
-            return ofArray(["0", "1", "10", "100"]);
-        case /* Text */ 0:
-        case /* TextArea */ 1:
-            return singleton("");
-        default:
-            return empty<string>();
-    }
-}
-
-function isFieldRelevantForPathway(field: Spec_FormField$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec): boolean {
-    const fieldKey: Shared_FieldKey = field.FieldKey;
-    return exists<ClinicalPathway_TransitionDefinition>((trans: ClinicalPathway_TransitionDefinition): boolean => {
-        const conditionUsesField = (cond: ClinicalPathway_TransitionCondition_$union): boolean => {
-            switch (cond.tag) {
-                case /* FieldCondition */ 0:
-                    return equals(cond.fields[0], fieldKey);
-                case /* FieldOptionCondition */ 1:
-                    return equals(cond.fields[0], fieldKey);
-                case /* PluginPropertyCondition */ 2:
-                    return equals(cond.fields[0], fieldKey);
-                case /* StateCondition */ 3:
-                    return false;
-                case /* CompositeCondition */ 4:
-                    return exists<ClinicalPathway_TransitionCondition_$union>(conditionUsesField, cond.fields[1]);
-                case /* TestResultCondition */ 5:
-                    return false;
-                default:
-                    return false;
-            }
-        };
-        return conditionUsesField(trans.Condition);
-    }, pathway.Transitions);
-}
-
-/**
- * Generate test scenarios for pathway validation
- * Strategy: Only generate scenarios for fields that are actually used in pathway conditions
- * For Likert fields, generate scenarios for each item independently
- */
-export function generateTestScenarios(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec, maxScenarios: Option<int32>): FSharpList<TestScenario> {
-    let max: int32, max_1: int32;
-    const fieldValueOptions: FSharpList<[Shared_FieldKey, FSharpList<string>]> = filter<[Shared_FieldKey, FSharpList<string>]>((tupledArg: [Shared_FieldKey, FSharpList<string>]): boolean => !isEmpty(tupledArg[1]), map<Spec_FormField$1<Spec_FieldType_$union>, [Shared_FieldKey, FSharpList<string>]>((field_1: Spec_FormField$1<Spec_FieldType_$union>): [Shared_FieldKey, FSharpList<string>] => ([field_1.FieldKey, getFieldPossibleValues(field_1)] as [Shared_FieldKey, FSharpList<string>]), filter<Spec_FormField$1<Spec_FieldType_$union>>((field: Spec_FormField$1<Spec_FieldType_$union>): boolean => isFieldRelevantForPathway(field, pathway), collect<Spec_FormStep$1<Spec_FieldType_$union>, Spec_FormField$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<Spec_FormField$1<Spec_FieldType_$union>> => step.Fields, formSpec.Steps))));
-    const cartesianProduct = <a>(lists: FSharpList<FSharpList<a>>): FSharpList<FSharpList<a>> => {
-        if (!isEmpty(lists)) {
-            const tailProducts: FSharpList<FSharpList<a>> = cartesianProduct(tail_1(lists));
-            return collect<a, FSharpList<a>>((h: a): FSharpList<FSharpList<a>> => map<FSharpList<a>, FSharpList<a>>((t: FSharpList<a>): FSharpList<a> => cons(h, t), tailProducts), head_1(lists));
-        }
-        else {
-            return singleton(empty<a>());
-        }
-    };
-    const allCombinations: FSharpList<FSharpList<string>> = cartesianProduct(map<[Shared_FieldKey, FSharpList<string>], FSharpList<string>>((tuple: [Shared_FieldKey, FSharpList<string>]): FSharpList<string> => tuple[1], fieldValueOptions));
-    return mapIndexed<FSharpList<string>, TestScenario>((index: int32, combination: FSharpList<string>): TestScenario => {
-        const fieldValues: FSharpMap<Shared_FieldKey, string> = ofList<Shared_FieldKey, string>(map<[[Shared_FieldKey, FSharpList<string>], string], [Shared_FieldKey, string]>((tupledArg_1: [[Shared_FieldKey, FSharpList<string>], string]): [Shared_FieldKey, string] => ([tupledArg_1[0][0], tupledArg_1[1]] as [Shared_FieldKey, string]), zip<[Shared_FieldKey, FSharpList<string>], string>(fieldValueOptions, combination)), {
-            Compare: compare,
-        });
-        return new TestScenario(`scenario_${index + 1}`, fieldValues, join(", ", map<[Shared_FieldKey, string], string>((tupledArg_2: [Shared_FieldKey, string]): string => (`${substring(tupledArg_2[0].fields[0], 0, 8)}=${tupledArg_2[1]}`), toList<Shared_FieldKey, string>(fieldValues))));
-    }, (maxScenarios != null) ? (((max = (value_2(maxScenarios) | 0), length(allCombinations) > max)) ? ((max_1 = (value_2(maxScenarios) | 0), take<FSharpList<string>>(max_1, allCombinations))) : allCombinations) : allCombinations);
-}
-
-function scenarioToFormData(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, scenario: TestScenario): Values_DynamicFormResultData$1<Spec_FieldType_$union> {
-    const fieldValues: FSharpMap<Shared_FieldKey, Shared_FieldValue_$union> = ofList<Shared_FieldKey, Shared_FieldValue_$union>(choose<Spec_FormField$1<Spec_FieldType_$union>, [Shared_FieldKey, Shared_FieldValue_$union]>((field: Spec_FormField$1<Spec_FieldType_$union>): Option<[Shared_FieldKey, Shared_FieldValue_$union]> => map_1<string, [Shared_FieldKey, Shared_FieldValue_$union]>((value: string): [Shared_FieldKey, Shared_FieldValue_$union] => {
-        let matchValue: Spec_FieldType_$union, info: Spec_MatrixInfo;
-        return [field.FieldKey, (matchValue = field.FieldType, (matchValue.tag === /* Matrix */ 19) ? ((info = matchValue.fields[0], Shared_FieldValue_Matrix(new Shared_MatrixAnswer(field.FieldKey, field.Label, ofList<Shared_MatrixItemKey, string>(map<Shared_MatrixItemKey, [Shared_MatrixItemKey, string]>((itemKey: Shared_MatrixItemKey): [Shared_MatrixItemKey, string] => ([itemKey, value] as [Shared_MatrixItemKey, string]), singleton(new Shared_MatrixItemKey(newGuid()))), {
-            Compare: compare,
-        }))))) : Shared_FieldValue_Single(new Shared_FieldAnswer(field.FieldKey, field.Label, value)))] as [Shared_FieldKey, Shared_FieldValue_$union];
-    }, tryFind<Shared_FieldKey, string>(field.FieldKey, scenario.FieldValues)), collect<Spec_FormStep$1<Spec_FieldType_$union>, Spec_FormField$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<Spec_FormField$1<Spec_FieldType_$union>> => step.Fields, formSpec.Steps)), {
-        Compare: compare,
-    });
-    return new Values_DynamicFormResultData$1(new Values_DynamicFormSpecDetails(formSpec.Id, formSpec.Code, formSpec.FormSpecVersion, formSpec.Version, formSpec.Score, Values_FormStatus_Complete(), empty<Values_Signature>()), ofList<Values_StepOrder, FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>>(map<Spec_FormStep$1<Spec_FieldType_$union>, [Values_StepOrder, FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>]>((step_1: Spec_FormStep$1<Spec_FieldType_$union>): [Values_StepOrder, FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>] => ([new Values_StepOrder(step_1.StepOrder), ofList<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>(choose<Spec_FormField$1<Spec_FieldType_$union>, [Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>]>((field_1: Spec_FormField$1<Spec_FieldType_$union>): Option<[Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>]> => map_1<Shared_FieldValue_$union, [Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>]>((value_1: Shared_FieldValue_$union): [Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>] => {
-        let matchValue_1: Spec_FieldType_$union;
-        return [field_1.FieldKey, new Values_FieldDetails$1(field_1.FieldOrder, field_1.FieldKey, field_1.Label, value_1, field_1.FieldType, (matchValue_1 = field_1.FieldType, (matchValue_1.tag === /* SingleChoice */ 13) ? matchValue_1.fields[0].Options : ((matchValue_1.tag === /* MultiChoice */ 15) ? matchValue_1.fields[0].Options : ((matchValue_1.tag === /* CheckboxList */ 16) ? matchValue_1.fields[0].Options : ((matchValue_1.tag === /* Dropdown */ 14) ? matchValue_1.fields[0].Options : ((matchValue_1.tag === /* Radio */ 12) ? matchValue_1.fields[0].Options : ((matchValue_1.tag === /* Matrix */ 19) ? matchValue_1.fields[0].Options : empty<Shared_FieldOption>())))))))] as [Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>];
-    }, tryFind<Shared_FieldKey, Shared_FieldValue_$union>(field_1.FieldKey, fieldValues)), step_1.Fields), {
-        Compare: compare,
-    })] as [Values_StepOrder, FSharpMap<Shared_FieldKey, Values_FieldDetails$1<Spec_FieldType_$union>>]), formSpec.Steps), {
-        Compare: compare,
-    }));
-}
-
-function isTerminalState(state: ClinicalPathway_StateDefinition): boolean {
-    if (state.StateType.tag === /* Terminal */ 5) {
-        return true;
-    }
-    else {
-        return false;
-    }
-}
-
-function detectInfiniteLoop(executionLog: FSharpList<ExecutionLogEntry>, maxDepth: int32): boolean {
-    let list_1: FSharpList<ExecutionLogEntry>;
-    if (length(executionLog) > maxDepth) {
-        return exists<[Shared_StateKey, int32]>((tupledArg_1: [Shared_StateKey, int32]): boolean => (tupledArg_1[1] >= 3), map<[Shared_StateKey, FSharpList<Shared_StateKey>], [Shared_StateKey, int32]>((tupledArg: [Shared_StateKey, FSharpList<Shared_StateKey>]): [Shared_StateKey, int32] => ([tupledArg[0], length(tupledArg[1])] as [Shared_StateKey, int32]), List_groupBy<Shared_StateKey, Shared_StateKey>((x: Shared_StateKey): Shared_StateKey => x, map<ExecutionLogEntry, Shared_StateKey>((log: ExecutionLogEntry): Shared_StateKey => log.StateKey, (list_1 = reverse<ExecutionLogEntry>(executionLog), take<ExecutionLogEntry>(min(20, length(executionLog)), list_1))), {
-            Equals: equals,
-            GetHashCode: safeHash,
-        })));
-    }
-    else {
-        return false;
-    }
-}
-
-function validateScenario(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec, scenario: TestScenario, maxDepth: int32): ScenarioValidationResult {
-    try {
-        const finalContext: ExecutionContext$1<Spec_FieldType_$union> = executeStep<Spec_FieldType_$union>(initializeExecution<Spec_FieldType_$union>(formSpec, scenarioToFormData(formSpec, scenario)), maxDepth);
-        const reachedTerminal: boolean = !isEmpty_1<Shared_StateKey>(intersect<Shared_StateKey>(ofList_1<Shared_StateKey>(map<ClinicalPathway_StateDefinition, Shared_StateKey>((s: ClinicalPathway_StateDefinition): Shared_StateKey => s.StateKey, filter<ClinicalPathway_StateDefinition>(isTerminalState, pathway.States)), {
-            Compare: compare,
-        }), finalContext.CurrentStates));
-        const isComplete: boolean = isExecutionComplete<Spec_FieldType_$union>(finalContext);
-        const infiniteLoopDetected: boolean = detectInfiniteLoop(finalContext.ExecutionLog, maxDepth);
-        return new ScenarioValidationResult(scenario, reachedTerminal, finalContext.CurrentStates, isComplete, (((!isComplete && !reachedTerminal) && isEmpty(finalContext.ActiveTransitions)) && isEmpty(finalContext.PendingTransitions)) && !infiniteLoopDetected, infiniteLoopDetected, (length(finalContext.ExecutionLog) >= maxDepth) && !isComplete, length(finalContext.ExecutionLog), finalContext.ExecutionLog, undefined);
-    }
-    catch (ex: any) {
-        return new ScenarioValidationResult(scenario, false, empty_1<Shared_StateKey>({
-            Compare: compare,
-        }), false, true, false, false, 0, empty<ExecutionLogEntry>(), ex.message);
-    }
-}
-
-/**
- * Validate pathway for dead-end scenarios, infinite loops, and overcomplexity
- */
-export function validatePathwayCompleteness(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec, maxScenarios: Option<int32>, maxDepth: int32): PathwayValidationResult {
-    const scenarios: FSharpList<TestScenario> = generateTestScenarios(formSpec, pathway, maxScenarios);
-    const results: FSharpList<ScenarioValidationResult> = map<TestScenario, ScenarioValidationResult>((scenario: TestScenario): ScenarioValidationResult => validateScenario(formSpec, pathway, scenario, maxDepth), scenarios);
-    const deadEnds: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r: ScenarioValidationResult): boolean => r.DeadEndDetected, results);
-    const infiniteLoops: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r_1: ScenarioValidationResult): boolean => r_1.InfiniteLoopDetected, results);
-    const overComplex: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r_2: ScenarioValidationResult): boolean => r_2.MaxDepthExceeded, results);
-    const valid: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r_3: ScenarioValidationResult): boolean => {
-        if (!r_3.DeadEndDetected && !r_3.InfiniteLoopDetected) {
-            return !r_3.MaxDepthExceeded;
-        }
-        else {
-            return false;
-        }
-    }, results);
-    const errors: FSharpList<string> = List_distinct<string>(choose<ScenarioValidationResult, string>((r_4: ScenarioValidationResult): Option<string> => r_4.Error, results), {
-        Equals: (x: string, y: string): boolean => (x === y),
-        GetHashCode: stringHash,
-    });
-    return new PathwayValidationResult(length(scenarios), length(valid), deadEnds, infiniteLoops, overComplex, errors);
-}
-
-//# sourceMappingURL=PathwayValidator.ts.map
+import { Record } from "@fable-org/fable-library-js/Types.js";
+import { tryFind, fold, toList, ofList, FSharpMap } from "@fable-org/fable-library-js/Map.js";
+import { ClinicalPathway_StateDefinition, Shared_FieldValue_Single, Shared_FieldAnswer, Shared_FieldValue_Matrix, Shared_MatrixAnswer, Shared_MatrixItemKey, Shared_FieldValue_$union, Spec_FormSpec$1, Spec_FormStep$1, ClinicalPathway_ClinicalPathwaySpec, ClinicalPathway_TransitionDefinition, ClinicalPathway_TransitionCondition_$union, Spec_FormField$1, Shared_FieldOption, Spec_FieldType_$union, Shared_StateKey_$reflection, Shared_StateKey, Shared_FieldKey_$reflection, Shared_FieldKey } from "./FormSpec.js";
+import { stringHash, safeHash, compare, equals, IComparable, IEquatable } from "@fable-org/fable-library-js/Util.js";
+import { option_type, list_type, int32_type, bool_type, record_type, class_type, string_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
+import { ofList as ofList_1, intersect, isEmpty as isEmpty_1, empty as empty_1, FSharpSet } from "@fable-org/fable-library-js/Set.js";
+import { int32 } from "@fable-org/fable-library-js/Int32.js";
+import { reverse, choose, take, length, zip, mapIndexed, head as head_1, cons, tail as tail_1, collect, isEmpty, filter, exists, empty, singleton, ofArray, map, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { isExecutionComplete, ExecutionContext, initializeExecution, executeStep, ExecutionLogEntry_$reflection, ExecutionLogEntry } from "./PathwayExecutor.js";
+import { map as map_1, defaultArg, value as value_2, Option } from "@fable-org/fable-library-js/Option.js";
+import { substring, join } from "@fable-org/fable-library-js/String.js";
+import { findStepIndexForField, updateField } from "./FormSpecValues.js";
+import { newGuid } from "@fable-org/fable-library-js/Guid.js";
+import { List_distinct, List_groupBy } from "@fable-org/fable-library-js/Seq2.js";
+import { min } from "@fable-org/fable-library-js/Double.js";
+
+export class TestScenario extends Record implements IEquatable<TestScenario>, IComparable<TestScenario> {
+    readonly ScenarioId: string;
+    readonly FieldValues: FSharpMap<Shared_FieldKey, string>;
+    readonly Description: string;
+    constructor(ScenarioId: string, FieldValues: FSharpMap<Shared_FieldKey, string>, Description: string) {
+        super();
+        this.ScenarioId = ScenarioId;
+        this.FieldValues = FieldValues;
+        this.Description = Description;
+    }
+}
+
+export function TestScenario_$reflection(): TypeInfo {
+    return record_type("F1.Studio.PathwayValidator.TestScenario", [], TestScenario, () => [["ScenarioId", string_type], ["FieldValues", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [Shared_FieldKey_$reflection(), string_type])], ["Description", string_type]]);
+}
+
+export class ScenarioValidationResult extends Record implements IEquatable<ScenarioValidationResult>, IComparable<ScenarioValidationResult> {
+    readonly Scenario: TestScenario;
+    readonly ReachedTerminal: boolean;
+    readonly FinalStates: FSharpSet<Shared_StateKey>;
+    readonly ExecutionComplete: boolean;
+    readonly DeadEndDetected: boolean;
+    readonly InfiniteLoopDetected: boolean;
+    readonly MaxDepthExceeded: boolean;
+    readonly ExecutionIterations: int32;
+    readonly ExecutionLog: FSharpList<ExecutionLogEntry>;
+    readonly Error: Option<string>;
+    constructor(Scenario: TestScenario, ReachedTerminal: boolean, FinalStates: FSharpSet<Shared_StateKey>, ExecutionComplete: boolean, DeadEndDetected: boolean, InfiniteLoopDetected: boolean, MaxDepthExceeded: boolean, ExecutionIterations: int32, ExecutionLog: FSharpList<ExecutionLogEntry>, Error$: Option<string>) {
+        super();
+        this.Scenario = Scenario;
+        this.ReachedTerminal = ReachedTerminal;
+        this.FinalStates = FinalStates;
+        this.ExecutionComplete = ExecutionComplete;
+        this.DeadEndDetected = DeadEndDetected;
+        this.InfiniteLoopDetected = InfiniteLoopDetected;
+        this.MaxDepthExceeded = MaxDepthExceeded;
+        this.ExecutionIterations = (ExecutionIterations | 0);
+        this.ExecutionLog = ExecutionLog;
+        this.Error = Error$;
+    }
+}
+
+export function ScenarioValidationResult_$reflection(): TypeInfo {
+    return record_type("F1.Studio.PathwayValidator.ScenarioValidationResult", [], ScenarioValidationResult, () => [["Scenario", TestScenario_$reflection()], ["ReachedTerminal", bool_type], ["FinalStates", class_type("Microsoft.FSharp.Collections.FSharpSet`1", [Shared_StateKey_$reflection()])], ["ExecutionComplete", bool_type], ["DeadEndDetected", bool_type], ["InfiniteLoopDetected", bool_type], ["MaxDepthExceeded", bool_type], ["ExecutionIterations", int32_type], ["ExecutionLog", list_type(ExecutionLogEntry_$reflection())], ["Error", option_type(string_type)]]);
+}
+
+export class PathwayValidationResult extends Record implements IEquatable<PathwayValidationResult>, IComparable<PathwayValidationResult> {
+    readonly TotalScenarios: int32;
+    readonly ValidScenarios: int32;
+    readonly DeadEndScenarios: FSharpList<ScenarioValidationResult>;
+    readonly InfiniteLoopScenarios: FSharpList<ScenarioValidationResult>;
+    readonly OverComplexScenarios: FSharpList<ScenarioValidationResult>;
+    readonly Errors: FSharpList<string>;
+    constructor(TotalScenarios: int32, ValidScenarios: int32, DeadEndScenarios: FSharpList<ScenarioValidationResult>, InfiniteLoopScenarios: FSharpList<ScenarioValidationResult>, OverComplexScenarios: FSharpList<ScenarioValidationResult>, Errors: FSharpList<string>) {
+        super();
+        this.TotalScenarios = (TotalScenarios | 0);
+        this.ValidScenarios = (ValidScenarios | 0);
+        this.DeadEndScenarios = DeadEndScenarios;
+        this.InfiniteLoopScenarios = InfiniteLoopScenarios;
+        this.OverComplexScenarios = OverComplexScenarios;
+        this.Errors = Errors;
+    }
+}
+
+export function PathwayValidationResult_$reflection(): TypeInfo {
+    return record_type("F1.Studio.PathwayValidator.PathwayValidationResult", [], PathwayValidationResult, () => [["TotalScenarios", int32_type], ["ValidScenarios", int32_type], ["DeadEndScenarios", list_type(ScenarioValidationResult_$reflection())], ["InfiniteLoopScenarios", list_type(ScenarioValidationResult_$reflection())], ["OverComplexScenarios", list_type(ScenarioValidationResult_$reflection())], ["Errors", list_type(string_type)]]);
+}
+
+function getFieldPossibleValues(field: Spec_FormField$1<Spec_FieldType_$union>): FSharpList<string> {
+    const matchValue: Spec_FieldType_$union = field.FieldType;
+    switch (matchValue.tag) {
+        case /* SingleChoice */ 13:
+            return map<Shared_FieldOption, string>((opt: Shared_FieldOption): string => opt.Value, matchValue.fields[0].Options);
+        case /* MultiChoice */ 15:
+            return map<Shared_FieldOption, string>((opt_1: Shared_FieldOption): string => opt_1.Value, matchValue.fields[0].Options);
+        case /* CheckboxList */ 16:
+            return map<Shared_FieldOption, string>((opt_2: Shared_FieldOption): string => opt_2.Value, matchValue.fields[0].Options);
+        case /* Dropdown */ 14:
+            return map<Shared_FieldOption, string>((opt_3: Shared_FieldOption): string => opt_3.Value, matchValue.fields[0].Options);
+        case /* Radio */ 12:
+            return map<Shared_FieldOption, string>((opt_4: Shared_FieldOption): string => opt_4.Value, matchValue.fields[0].Options);
+        case /* Matrix */ 19:
+            return map<Shared_FieldOption, string>((opt_5: Shared_FieldOption): string => opt_5.Value, matchValue.fields[0].Options);
+        case /* Checkbox */ 11:
+            return ofArray(["true", "false"]);
+        case /* Number */ 6:
+            return ofArray(["0", "1", "10", "100"]);
+        case /* Text */ 0:
+        case /* TextArea */ 1:
+            return singleton("");
+        default:
+            return empty<string>();
+    }
+}
+
+function isFieldRelevantForPathway(field: Spec_FormField$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec): boolean {
+    const fieldKey: Shared_FieldKey = field.FieldKey;
+    return exists<ClinicalPathway_TransitionDefinition>((trans: ClinicalPathway_TransitionDefinition): boolean => {
+        const conditionUsesField = (cond: ClinicalPathway_TransitionCondition_$union): boolean => {
+            switch (cond.tag) {
+                case /* FieldCondition */ 0:
+                    return equals(cond.fields[0], fieldKey);
+                case /* FieldOptionCondition */ 1:
+                    return equals(cond.fields[0], fieldKey);
+                case /* PluginPropertyCondition */ 2:
+                    return equals(cond.fields[0], fieldKey);
+                case /* ScoreInRange */ 3:
+                    return false;
+                case /* FieldScoreInRange */ 4:
+                    return equals(cond.fields[0], fieldKey);
+                case /* StateCondition */ 5:
+                    return false;
+                case /* CompositeCondition */ 6:
+                    return exists<ClinicalPathway_TransitionCondition_$union>(conditionUsesField, cond.fields[1]);
+                case /* TestResultCondition */ 7:
+                    return false;
+                default:
+                    return false;
+            }
+        };
+        return conditionUsesField(trans.Condition);
+    }, pathway.Transitions);
+}
+
+/**
+ * Generate test scenarios for pathway validation
+ * Strategy: Only generate scenarios for fields that are actually used in pathway conditions
+ * For Likert fields, generate scenarios for each item independently
+ */
+export function generateTestScenarios(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec, maxScenarios: Option<int32>): FSharpList<TestScenario> {
+    let max: int32, max_1: int32;
+    const fieldValueOptions: FSharpList<[Shared_FieldKey, FSharpList<string>]> = filter<[Shared_FieldKey, FSharpList<string>]>((tupledArg: [Shared_FieldKey, FSharpList<string>]): boolean => !isEmpty(tupledArg[1]), map<Spec_FormField$1<Spec_FieldType_$union>, [Shared_FieldKey, FSharpList<string>]>((field_1: Spec_FormField$1<Spec_FieldType_$union>): [Shared_FieldKey, FSharpList<string>] => ([field_1.FieldKey, getFieldPossibleValues(field_1)] as [Shared_FieldKey, FSharpList<string>]), filter<Spec_FormField$1<Spec_FieldType_$union>>((field: Spec_FormField$1<Spec_FieldType_$union>): boolean => isFieldRelevantForPathway(field, pathway), collect<Spec_FormStep$1<Spec_FieldType_$union>, Spec_FormField$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<Spec_FormField$1<Spec_FieldType_$union>> => step.Fields, formSpec.Steps))));
+    const cartesianProduct = <a>(lists: FSharpList<FSharpList<a>>): FSharpList<FSharpList<a>> => {
+        if (!isEmpty(lists)) {
+            const tailProducts: FSharpList<FSharpList<a>> = cartesianProduct(tail_1(lists));
+            return collect<a, FSharpList<a>>((h: a): FSharpList<FSharpList<a>> => map<FSharpList<a>, FSharpList<a>>((t: FSharpList<a>): FSharpList<a> => cons(h, t), tailProducts), head_1(lists));
+        }
+        else {
+            return singleton(empty<a>());
+        }
+    };
+    const allCombinations: FSharpList<FSharpList<string>> = cartesianProduct(map<[Shared_FieldKey, FSharpList<string>], FSharpList<string>>((tuple: [Shared_FieldKey, FSharpList<string>]): FSharpList<string> => tuple[1], fieldValueOptions));
+    return mapIndexed<FSharpList<string>, TestScenario>((index: int32, combination: FSharpList<string>): TestScenario => {
+        const fieldValues: FSharpMap<Shared_FieldKey, string> = ofList<Shared_FieldKey, string>(map<[[Shared_FieldKey, FSharpList<string>], string], [Shared_FieldKey, string]>((tupledArg_1: [[Shared_FieldKey, FSharpList<string>], string]): [Shared_FieldKey, string] => ([tupledArg_1[0][0], tupledArg_1[1]] as [Shared_FieldKey, string]), zip<[Shared_FieldKey, FSharpList<string>], string>(fieldValueOptions, combination)), {
+            Compare: compare,
+        });
+        return new TestScenario(`scenario_${index + 1}`, fieldValues, join(", ", map<[Shared_FieldKey, string], string>((tupledArg_2: [Shared_FieldKey, string]): string => (`${substring(tupledArg_2[0].fields[0], 0, 8)}=${tupledArg_2[1]}`), toList<Shared_FieldKey, string>(fieldValues))));
+    }, (maxScenarios != null) ? (((max = (value_2(maxScenarios) | 0), length(allCombinations) > max)) ? ((max_1 = (value_2(maxScenarios) | 0), take<FSharpList<string>>(max_1, allCombinations))) : allCombinations) : allCombinations);
+}
+
+function scenarioToFormSpec(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, scenario: TestScenario): Spec_FormSpec$1<Spec_FieldType_$union> {
+    return fold<Shared_FieldKey, Shared_FieldValue_$union, Spec_FormSpec$1<Spec_FieldType_$union>>((spec: Spec_FormSpec$1<Spec_FieldType_$union>, fieldKey: Shared_FieldKey, fieldValue_1: Shared_FieldValue_$union): Spec_FormSpec$1<Spec_FieldType_$union> => defaultArg(map_1<int32, Spec_FormSpec$1<Spec_FieldType_$union>>((stepIdx: int32): Spec_FormSpec$1<Spec_FieldType_$union> => updateField<Spec_FieldType_$union>(spec, fieldKey, fieldValue_1, stepIdx), findStepIndexForField<Spec_FieldType_$union>(spec, fieldKey)), spec), formSpec, ofList<Shared_FieldKey, Shared_FieldValue_$union>(choose<Spec_FormField$1<Spec_FieldType_$union>, [Shared_FieldKey, Shared_FieldValue_$union]>((field: Spec_FormField$1<Spec_FieldType_$union>): Option<[Shared_FieldKey, Shared_FieldValue_$union]> => map_1<string, [Shared_FieldKey, Shared_FieldValue_$union]>((value: string): [Shared_FieldKey, Shared_FieldValue_$union] => ([field.FieldKey, (field.FieldType.tag === /* Matrix */ 19) ? Shared_FieldValue_Matrix(new Shared_MatrixAnswer(field.FieldKey, field.Label, ofList<Shared_MatrixItemKey, string>(map<Shared_MatrixItemKey, [Shared_MatrixItemKey, string]>((itemKey: Shared_MatrixItemKey): [Shared_MatrixItemKey, string] => ([itemKey, value] as [Shared_MatrixItemKey, string]), singleton(new Shared_MatrixItemKey(newGuid()))), {
+        Compare: compare,
+    }))) : Shared_FieldValue_Single(new Shared_FieldAnswer(field.FieldKey, field.Label, value))] as [Shared_FieldKey, Shared_FieldValue_$union]), tryFind<Shared_FieldKey, string>(field.FieldKey, scenario.FieldValues)), collect<Spec_FormStep$1<Spec_FieldType_$union>, Spec_FormField$1<Spec_FieldType_$union>>((step: Spec_FormStep$1<Spec_FieldType_$union>): FSharpList<Spec_FormField$1<Spec_FieldType_$union>> => step.Fields, formSpec.Steps)), {
+        Compare: compare,
+    }));
+}
+
+function isTerminalState(state: ClinicalPathway_StateDefinition): boolean {
+    if (state.StateType.tag === /* Terminal */ 5) {
+        return true;
+    }
+    else {
+        return false;
+    }
+}
+
+function detectInfiniteLoop(executionLog: FSharpList<ExecutionLogEntry>, maxDepth: int32): boolean {
+    let list_1: FSharpList<ExecutionLogEntry>;
+    if (length(executionLog) > maxDepth) {
+        return exists<[Shared_StateKey, int32]>((tupledArg_1: [Shared_StateKey, int32]): boolean => (tupledArg_1[1] >= 3), map<[Shared_StateKey, FSharpList<Shared_StateKey>], [Shared_StateKey, int32]>((tupledArg: [Shared_StateKey, FSharpList<Shared_StateKey>]): [Shared_StateKey, int32] => ([tupledArg[0], length(tupledArg[1])] as [Shared_StateKey, int32]), List_groupBy<Shared_StateKey, Shared_StateKey>((x: Shared_StateKey): Shared_StateKey => x, map<ExecutionLogEntry, Shared_StateKey>((log: ExecutionLogEntry): Shared_StateKey => log.StateKey, (list_1 = reverse<ExecutionLogEntry>(executionLog), take<ExecutionLogEntry>(min(20, length(executionLog)), list_1))), {
+            Equals: equals,
+            GetHashCode: safeHash,
+        })));
+    }
+    else {
+        return false;
+    }
+}
+
+function validateScenario(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec, scenario: TestScenario, maxDepth: int32): ScenarioValidationResult {
+    try {
+        const finalContext: ExecutionContext = executeStep(initializeExecution(scenarioToFormSpec(formSpec, scenario)), maxDepth);
+        const reachedTerminal: boolean = !isEmpty_1<Shared_StateKey>(intersect<Shared_StateKey>(ofList_1<Shared_StateKey>(map<ClinicalPathway_StateDefinition, Shared_StateKey>((s: ClinicalPathway_StateDefinition): Shared_StateKey => s.StateKey, filter<ClinicalPathway_StateDefinition>(isTerminalState, pathway.States)), {
+            Compare: compare,
+        }), finalContext.CurrentStates));
+        const isComplete: boolean = isExecutionComplete(finalContext);
+        const infiniteLoopDetected: boolean = detectInfiniteLoop(finalContext.ExecutionLog, maxDepth);
+        return new ScenarioValidationResult(scenario, reachedTerminal, finalContext.CurrentStates, isComplete, (((!isComplete && !reachedTerminal) && isEmpty(finalContext.ActiveTransitions)) && isEmpty(finalContext.PendingTransitions)) && !infiniteLoopDetected, infiniteLoopDetected, (length(finalContext.ExecutionLog) >= maxDepth) && !isComplete, length(finalContext.ExecutionLog), finalContext.ExecutionLog, undefined);
+    }
+    catch (ex: any) {
+        return new ScenarioValidationResult(scenario, false, empty_1<Shared_StateKey>({
+            Compare: compare,
+        }), false, true, false, false, 0, empty<ExecutionLogEntry>(), ex.message);
+    }
+}
+
+/**
+ * Validate pathway for dead-end scenarios, infinite loops, and overcomplexity
+ */
+export function validatePathwayCompleteness(formSpec: Spec_FormSpec$1<Spec_FieldType_$union>, pathway: ClinicalPathway_ClinicalPathwaySpec, maxScenarios: Option<int32>, maxDepth: int32): PathwayValidationResult {
+    const scenarios: FSharpList<TestScenario> = generateTestScenarios(formSpec, pathway, maxScenarios);
+    const results: FSharpList<ScenarioValidationResult> = map<TestScenario, ScenarioValidationResult>((scenario: TestScenario): ScenarioValidationResult => validateScenario(formSpec, pathway, scenario, maxDepth), scenarios);
+    const deadEnds: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r: ScenarioValidationResult): boolean => r.DeadEndDetected, results);
+    const infiniteLoops: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r_1: ScenarioValidationResult): boolean => r_1.InfiniteLoopDetected, results);
+    const overComplex: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r_2: ScenarioValidationResult): boolean => r_2.MaxDepthExceeded, results);
+    const valid: FSharpList<ScenarioValidationResult> = filter<ScenarioValidationResult>((r_3: ScenarioValidationResult): boolean => {
+        if (!r_3.DeadEndDetected && !r_3.InfiniteLoopDetected) {
+            return !r_3.MaxDepthExceeded;
+        }
+        else {
+            return false;
+        }
+    }, results);
+    const errors: FSharpList<string> = List_distinct<string>(choose<ScenarioValidationResult, string>((r_4: ScenarioValidationResult): Option<string> => r_4.Error, results), {
+        Equals: (x: string, y: string): boolean => (x === y),
+        GetHashCode: stringHash,
+    });
+    return new PathwayValidationResult(length(scenarios), length(valid), deadEnds, infiniteLoops, overComplex, errors);
+}
+
+//# sourceMappingURL=PathwayValidator.ts.map