@fluidframework/tree 2.0.0-rc.2.0.2 → 2.0.0-rc.3.0.0

package/lib/test/shared-tree/fuzz/fuzzEditGenerators.js

@@ -1,439 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-import { strict as assert } from "assert";
-import { done, createWeightedGenerator, } from "@fluid-private/stochastic-test-utils";
-import { brand, fail, getOrCreate } from "../../../util/index.js";
-import { AllowedUpdateType, } from "../../../core/index.js";
-import { toDownPath } from "../../../feature-libraries/index.js";
-import { schematizeFlexTree } from "../../utils.js";
-import { fuzzNode, fuzzSchema } from "./fuzzUtils.js";
-export function viewFromState(state, client = state.client, initialTree = undefined) {
-    state.view ?? (state.view = new Map());
-    return (state.transactionViews?.get(client.channel) ??
-        getOrCreate(state.view, client.channel, (tree) => {
-            const flexView = schematizeFlexTree(tree, {
-                initialTree,
-                schema: fuzzSchema,
-                allowedSchemaModifications: AllowedUpdateType.Initialize,
-            });
-            const fuzzView = flexView;
-            assert.equal(fuzzView.currentSchema, undefined);
-            fuzzView.currentSchema = fuzzNode;
-            return fuzzView;
-        }));
-}
-const defaultFieldSelectionWeights = {
-    optional: 1,
-    required: 1,
-    sequence: 1,
-    recurse: 4,
-    filter: () => true,
-};
-const defaultEditGeneratorOpWeights = {
-    insert: 0,
-    remove: 0,
-    start: 0,
-    commit: 0,
-    abort: 0,
-    undo: 0,
-    redo: 0,
-    move: 0,
-    fieldSelection: defaultFieldSelectionWeights,
-    synchronizeTrees: 0,
-};
-export const makeEditGenerator = (opWeightsArg) => {
-    const weights = {
-        ...defaultEditGeneratorOpWeights,
-        ...opWeightsArg,
-    };
-    const jsonableTree = (state) => {
-        // Heuristics around what type of tree we insert could be made customizable to tend toward trees of certain characteristics.
-        return state.random.bool(0.3)
-            ? {
-                type: brand("com.fluidframework.leaf.number"),
-                value: state.random.integer(Number.MIN_SAFE_INTEGER, Number.MAX_SAFE_INTEGER),
-            }
-            : {
-                type: brand("tree2fuzz.node"),
-                fields: {
-                    requiredChild: [
-                        {
-                            type: brand("com.fluidframework.leaf.number"),
-                            value: state.random.integer(Number.MIN_SAFE_INTEGER, Number.MAX_SAFE_INTEGER),
-                        },
-                    ],
-                },
-            };
-    };
-    const insert = (state) => {
-        const fieldInfo = selectTreeField(viewFromState(state), state.random, weights.fieldSelection, weights.fieldSelection.filter);
-        switch (fieldInfo.type) {
-            case "optional":
-            case "required": {
-                const { type: fieldType, content: field } = fieldInfo;
-                const contents = {
-                    type: "set",
-                    parent: maybeDownPathFromNode(field.parent),
-                    key: field.key,
-                    value: jsonableTree(state),
-                };
-                return {
-                    type: fieldType,
-                    edit: contents,
-                };
-            }
-            case "sequence": {
-                const { content: field } = fieldInfo;
-                const contents = {
-                    type: "insert",
-                    parent: maybeDownPathFromNode(field.parent),
-                    key: field.key,
-                    index: state.random.integer(0, field.length),
-                    value: jsonableTree(state),
-                };
-                return {
-                    type: "sequence",
-                    edit: contents,
-                };
-            }
-            default:
-                fail(`Invalid field type: ${fieldInfo.type}`);
-        }
-    };
-    const deletableFieldFilter = (fieldInfo) => isNonEmptyField(fieldInfo) &&
-        fieldInfo.type !== "required" &&
-        (weights.fieldSelection.filter?.(fieldInfo) ?? true);
-    const removeContent = (state) => {
-        const fieldInfo = selectTreeField(viewFromState(state), state.random, weights.fieldSelection, deletableFieldFilter);
-        switch (fieldInfo.type) {
-            case "optional": {
-                const { content: field } = fieldInfo;
-                const { content } = field;
-                // Note: if we ever decide to generate removals for currently empty optional fields, the logic
-                // in the reducer needs to be adjusted (it hard-codes `wasEmpty` to `false`).
-                assert(content !== undefined, "Optional field should have content for it to be selected for deletion");
-                return {
-                    type: "optional",
-                    edit: {
-                        type: "remove",
-                        firstNode: downPathFromNode(content),
-                        count: 1,
-                    },
-                };
-            }
-            case "sequence": {
-                const { content: field } = fieldInfo;
-                assert(field.length > 0, "Sequence field should have content for it to be selected for deletion");
-                const start = state.random.integer(0, field.length - 1);
-                // It'd be reasonable to move this to config. The idea is that by avoiding large deletions,
-                // we're more likely to generate more interesting outcomes.
-                const count = state.random.integer(1, Math.min(3, field.length - start));
-                const node = field.at(start);
-                // We computed 'start' in a way that guarantees it's in-bounds, so at() shouldn't have returned undefined.
-                assert(node !== undefined, "Tried to access a node that doesn't exist");
-                return {
-                    type: "sequence",
-                    edit: {
-                        type: "remove",
-                        firstNode: downPathFromNode(node),
-                        count,
-                    },
-                };
-            }
-            default:
-                fail(`Invalid field type for deletion of content: ${fieldInfo.type}`);
-        }
-    };
-    const move = (state) => {
-        const tree = state.client.channel;
-        const fieldInfo = selectTreeField(viewFromState(state), state.random, weights.fieldSelection, (f) => f.type === "sequence" && f.content.length > 0);
-        assert(fieldInfo.type === "sequence", "Move should only be performed on sequence fields");
-        const { content: field } = fieldInfo;
-        assert(field.length > 0, "Sequence must have at least one element to perform a move");
-        const start = state.random.integer(0, field.length - 1);
-        const count = state.random.integer(1, field.length - start);
-        const dstIndex = state.random.integer(0, field.length);
-        const node = field.at(start);
-        assert(node !== undefined, "Node should be defined at chosen index");
-        return {
-            type: "sequence",
-            edit: {
-                type: "move",
-                dstIndex,
-                count,
-                firstNode: downPathFromNode(node),
-            },
-        };
-    };
-    const fieldEdit = createWeightedGeneratorWithBailout([
-        [
-            insert,
-            weights.insert,
-            (state) => trySelectTreeField(viewFromState(state), state.random, weights.fieldSelection, weights.fieldSelection.filter) !== "no-valid-fields",
-        ],
-        [
-            removeContent,
-            weights.remove,
-            (state) => trySelectTreeField(viewFromState(state), state.random, weights.fieldSelection, deletableFieldFilter) !== "no-valid-fields",
-        ],
-        [
-            move,
-            weights.move,
-            (state) => trySelectTreeField(viewFromState(state), state.random, weights.fieldSelection, (f) => f.type === "sequence" && f.content.length > 0) !== "no-valid-fields",
-        ],
-    ]);
-    return (state) => {
-        const change = fieldEdit(state);
-        // This assert is typically hit when restricting the features a fuzz test executes such that it can reach a state
-        // where no edit is valid to generate. E.g. a fuzz test which can only create edits from within transactions but
-        // can never start a transaction, or a fuzz test which can only edit sequence fields but the tree is empty (and
-        // the root schema is an optional field).
-        assert(change !== "no-valid-selections", "Unable to generate a valid field edit. This typically indicates a problematic fuzz test generator setup.");
-        return change === done
-            ? done
-            : {
-                type: "edit",
-                contents: {
-                    type: "fieldEdit",
-                    change,
-                },
-            };
-    };
-};
-export const makeTransactionEditGenerator = (opWeights) => {
-    const passedOpWeights = {
-        ...defaultEditGeneratorOpWeights,
-        ...opWeights,
-    };
-    const start = { fuzzType: "transactionStart" };
-    const commit = { fuzzType: "transactionCommit" };
-    const abort = { fuzzType: "transactionAbort" };
-    const transactionBoundaryType = createWeightedGenerator([
-        [start, passedOpWeights.start],
-        [
-            commit,
-            passedOpWeights.commit,
-            (state) => viewFromState(state).checkout.transaction.inProgress(),
-        ],
-        [
-            abort,
-            passedOpWeights.abort,
-            (state) => viewFromState(state).checkout.transaction.inProgress(),
-        ],
-    ]);
-    return (state) => {
-        const contents = transactionBoundaryType(state);
-        return contents === done
-            ? done
-            : {
-                type: "transaction",
-                contents,
-            };
-    };
-};
-export const makeUndoRedoEditGenerator = (opWeights) => {
-    const passedOpWeights = {
-        ...defaultEditGeneratorOpWeights,
-        ...opWeights,
-    };
-    const undo = { type: "undo" };
-    const redo = { type: "redo" };
-    const undoRedoType = createWeightedGenerator([
-        [undo, passedOpWeights.undo],
-        [redo, passedOpWeights.redo],
-    ]);
-    return (state) => {
-        const contents = undoRedoType(state);
-        return contents === done
-            ? done
-            : {
-                type: "undoRedo",
-                contents,
-            };
-    };
-};
-export function makeOpGenerator(weightsArg = defaultEditGeneratorOpWeights) {
-    const weights = {
-        ...defaultEditGeneratorOpWeights,
-        ...weightsArg,
-    };
-    const { insert, remove, abort, commit, start, undo, redo } = weights;
-    const editWeight = sumWeights([remove, insert]);
-    const transactionWeight = sumWeights([abort, commit, start]);
-    const undoRedoWeight = sumWeights([undo, redo]);
-    const syncGenerator = createWeightedGenerator([
-        [() => makeEditGenerator(weights), editWeight],
-        [() => makeTransactionEditGenerator(weights), transactionWeight],
-        [() => makeUndoRedoEditGenerator(weights), undoRedoWeight],
-        [
-            () => ({
-                type: "synchronizeTrees",
-            }),
-            weights.synchronizeTrees,
-        ],
-    ]
-        .filter(([, weight]) => weight > 0)
-        .map(([f, weight]) => [f(), weight]));
-    return async (state) => {
-        return syncGenerator(state);
-    };
-}
-function sumWeights(values) {
-    let sum = 0;
-    for (const value of values) {
-        if (value !== undefined) {
-            sum += value;
-        }
-    }
-    return sum;
-}
-function upPathFromNode(node) {
-    const parentField = node.parentField.parent;
-    return {
-        parent: parentField.parent ? upPathFromNode(parentField.parent) : undefined,
-        parentField: parentField.key,
-        parentIndex: node.parentField.index,
-    };
-}
-function downPathFromNode(node) {
-    return toDownPath(upPathFromNode(node));
-}
-function maybeDownPathFromNode(node) {
-    return node === undefined ? undefined : downPathFromNode(node);
-}
-const isNonEmptyField = (field) => field.content !== undefined &&
-    ((field.type === "sequence" && field.content.length > 0) ||
-        (field.type !== "sequence" && field.content.content !== undefined));
-function selectField(node, random, weights, filter = () => true, nodeSchema) {
-    const optional = { type: "optional", content: node.boxedOptionalChild };
-    const value = { type: "required", content: node.boxedRequiredChild };
-    const sequence = { type: "sequence", content: node.boxedSequenceChildren };
-    const recurse = (state) => {
-        const childNodes = [];
-        // Checking "=== true" causes tsc to fail to typecheck, as it is no longer able to narrow according
-        // to the .is typeguard.
-        // eslint-disable-next-line @typescript-eslint/strict-boolean-expressions
-        if (node.optionalChild?.is(nodeSchema)) {
-            childNodes.push(node.optionalChild);
-        }
-        if (node.requiredChild?.is(nodeSchema)) {
-            childNodes.push(node.requiredChild);
-        }
-        node.sequenceChildren.map((child) => {
-            if (child.is(nodeSchema)) {
-                childNodes.push(child);
-            }
-        });
-        state.random.shuffle(childNodes);
-        for (const child of childNodes) {
-            const childResult = selectField(child, random, weights, filter, nodeSchema);
-            if (childResult !== "no-valid-selections") {
-                return childResult;
-            }
-        }
-        return "no-valid-selections";
-    };
-    const generator = createWeightedGeneratorWithBailout([
-        [optional, weights.optional, () => filter(optional)],
-        [value, weights.required, () => filter(value)],
-        [sequence, weights.sequence, () => filter(sequence)],
-        [recurse, weights.recurse],
-    ]);
-    const result = generator({ random });
-    assert(result !== done, "createWeightedGenerators should never return done");
-    return result;
-}
-function trySelectTreeField(tree, random, weights, filter = () => true) {
-    const editable = tree.flexTree;
-    const options = weights.optional === 0
-        ? ["recurse"]
-        : weights.recurse === 0
-            ? ["optional"]
-            : random.bool(weights.optional / (weights.optional + weights.recurse))
-                ? ["optional", "recurse"]
-                : ["recurse", "optional"];
-    const nodeSchema = tree.currentSchema;
-    for (const option of options) {
-        switch (option) {
-            case "optional": {
-                const field = { type: "optional", content: editable };
-                if (filter(field)) {
-                    return field;
-                }
-                break;
-            }
-            case "recurse": {
-                // Checking "=== true" causes tsc to fail to typecheck, as it is no longer able to narrow according
-                // to the .is typeguard.
-                // eslint-disable-next-line @typescript-eslint/strict-boolean-expressions
-                if (editable.content?.is(nodeSchema)) {
-                    const result = selectField(editable.content, random, weights, filter, nodeSchema);
-                    if (result !== "no-valid-selections") {
-                        return result;
-                    }
-                }
-                break;
-            }
-            default:
-                fail(`Invalid option: ${option}`);
-        }
-    }
-    return "no-valid-fields";
-}
-function selectTreeField(tree, random, weights, filter = () => true) {
-    const result = trySelectTreeField(tree, random, weights, filter);
-    assert(result !== "no-valid-fields", "No valid fields found");
-    return result;
-}
-/**
- * Like `createWeightedGenerator`, except it will only attempt to select each option once.
- * If all options have been exhausted and no value other than 'no-valid-selections' is generated,
- * it will return 'no-valid-selections'.
- *
- * This helps prevent infinite loops for bad fuzz config.
- * Note: `T` cannot extend function, as otherwise `T | Generator<T>` cannot be distinguished.
- */
-function createWeightedGeneratorWithBailout(weights) {
-    const nonzeroWeights = weights.filter(([, weight]) => weight > 0);
-    const selectedIndices = new Set();
-    const newWeights = nonzeroWeights.map(([f, weight, acceptanceCondition], index) => [
-        (state) => {
-            selectedIndices.add(index);
-            if (typeof f === "function") {
-                const result = f(state);
-                assert(typeof result !== "function", "Generator should not return a function: this prevents correct type deduction.");
-                return result;
-            }
-            return f;
-        },
-        weight,
-        (state) => {
-            if (selectedIndices.has(index)) {
-                return false;
-            }
-            selectedIndices.add(index);
-            return acceptanceCondition?.(state) !== false;
-        },
-    ]);
-    const generator = createWeightedGenerator([
-        ...newWeights,
-        [
-            "no-valid-selections",
-            // The weight here is arbitrary: we select one that will be selected a reasonable portion of the time.
-            Math.max(1, sumWeights(nonzeroWeights.map(([, weight]) => weight)) / nonzeroWeights.length),
-            () => selectedIndices.size === nonzeroWeights.length,
-        ],
-    ]);
-    return (state) => {
-        let result = "no-valid-selections";
-        do {
-            result = generator(state);
-            assert(result !== done, "createWeightedGenerators should never return done");
-        } while (result === "no-valid-selections" && selectedIndices.size < nonzeroWeights.length);
-        selectedIndices.clear();
-        return result;
-    };
-}
-//# sourceMappingURL=fuzzEditGenerators.js.map

package/lib/test/shared-tree/fuzz/fuzzEditGenerators.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"fuzzEditGenerators.js","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/fuzzEditGenerators.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAGN,IAAI,EAEJ,uBAAuB,GAGvB,MAAM,sCAAsC,CAAC;AAU9C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EACN,iBAAiB,GAKjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAA0B,UAAU,EAAE,MAAM,qCAAqC,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAkBpD,OAAO,EAA4B,QAAQ,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAgDhF,MAAM,UAAU,aAAa,CAC5B,KAAoB,EACpB,SAAoC,KAAK,CAAC,MAAM,EAChD,cAA6E,SAAS;IAEtF,KAAK,CAAC,IAAI,KAAV,KAAK,CAAC,IAAI,GAAK,IAAI,GAAG,EAAE,EAAC;IAEzB,OAAO,CACN,KAAK,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QAC3C,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,OAAqB,EAAE,CAAC,IAAI,EAAE,EAAE;YAC9D,MAAM,QAAQ,GAAoD,kBAAkB,CACnF,IAAI,EACJ;gBACC,WAAW;gBACX,MAAM,EAAE,UAAU;gBAClB,0BAA0B,EAAE,iBAAiB,CAAC,UAAU;aACxD,CACD,CAAC;YACF,MAAM,QAAQ,GAAG,QAAoB,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;YAChD,QAAQ,CAAC,aAAa,GAAG,QAAQ,CAAC;YAClC,OAAO,QAAQ,CAAC;QACjB,CAAC,CAAC,CACF,CAAC;AACH,CAAC;AA2CD,MAAM,4BAA4B,GAA0B;IAC3D,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;IACV,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;CAClB,CAAC;AAgBF,MAAM,6BAA6B,GAA2B;IAC7D,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;IACT,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;IACT,KAAK,EAAE,CAAC;IACR,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,cAAc,EAAE,4BAA4B;IAC5C,gBAAgB,EAAE,CAAC;CACnB,CAAC;AAOF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAChC,YAA6C,EACR,EAAE;IACvC,MAAM,OAAO,GAAG;QACf,GAAG,6BAA6B;QAChC,GAAG,YAAY;KACf,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,KAAoB,EAAgB,EAAE;QAC3D,4HAA4H;QAC5H,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAC5B,CAAC,CAAC;gBACA,IAAI,EAAE,KAAK,CAAC,gCAAgC,CAAC;gBAC7C,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,CAAC;aAC5E;YACH,CAAC,CAAC;gBACA,IAAI,EAAE,KAAK,CAAC,gBAAgB,CAAC;gBAC7B,MAAM,EAAE;oBACP,aAAa,EAAE;wBACd;4BACC,IAAI,EAAE,KAAK,CAAC,gCAAgC,CAAC;4BAC7C,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAC1B,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,gBAAgB,CACvB;yBACD;qBACD;iBACD;aACA,CAAC;IACN,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,KAAoB,EAAkB,EAAE;QACvD,MAAM,SAAS,GAAG,eAAe,CAChC,aAAa,CAAC,KAAK,CAAC,EACpB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,cAAc,EACtB,OAAO,CAAC,cAAc,CAAC,MAAM,CAC7B,CAAC;QACF,QAAQ,SAAS,CAAC,IAAI,EAAE;YACvB,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC,CAAC;gBAChB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;gBACtD,MAAM,QAAQ,GAAY;oBACzB,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;oBAC3C,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC;iBAC1B,CAAC;gBACF,OAAO;oBACN,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,QAAQ;iBACd,CAAC;aACF;YACD,KAAK,UAAU,CAAC,CAAC;gBAChB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;gBACrC,MAAM,QAAQ,GAAe;oBAC5B,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;oBAC3C,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC;oBAC5C,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC;iBAC1B,CAAC;gBACF,OAAO;oBACN,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ;iBACd,CAAC;aACF;YACD;gBACC,IAAI,CAAC,uBAAwB,SAA+B,CAAC,IAAI,EAAE,CAAC,CAAC;SACtE;IACF,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAgB,CAAC,SAAS,EAAE,EAAE,CACvD,eAAe,CAAC,SAAS,CAAC;QAC1B,SAAS,CAAC,IAAI,KAAK,UAAU;QAC7B,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC;IAEtD,MAAM,aAAa,GAAG,CAAC,KAAoB,EAAkB,EAAE;QAC9D,MAAM,SAAS,GAAG,eAAe,CAChC,aAAa,CAAC,KAAK,CAAC,EACpB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,cAAc,EACtB,oBAAoB,CACpB,CAAC;QACF,QAAQ,SAAS,CAAC,IAAI,EAAE;YACvB,KAAK,UAAU,CAAC,CAAC;gBAChB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;gBACrC,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;gBAC1B,8FAA8F;gBAC9F,6EAA6E;gBAC7E,MAAM,CACL,OAAO,KAAK,SAAS,EACrB,uEAAuE,CACvE,CAAC;gBAEF,OAAO;oBACN,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACL,IAAI,EAAE,QAAQ;wBACd,SAAS,EAAE,gBAAgB,CAAC,OAAO,CAAC;wBACpC,KAAK,EAAE,CAAC;qBACR;iBACD,CAAC;aACF;YACD,KAAK,UAAU,CAAC,CAAC;gBAChB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;gBAErC,MAAM,CACL,KAAK,CAAC,MAAM,GAAG,CAAC,EAChB,uEAAuE,CACvE,CAAC;gBACF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACxD,2FAA2F;gBAC3F,2DAA2D;gBAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC;gBACzE,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;gBAC7B,0GAA0G;gBAC1G,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,2CAA2C,CAAC,CAAC;gBACxE,OAAO;oBACN,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACL,IAAI,EAAE,QAAQ;wBACd,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC;wBACjC,KAAK;qBACL;iBACD,CAAC;aACF;YACD;gBACC,IAAI,CAAC,+CAA+C,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;SACvE;IACF,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,KAAoB,EAAkB,EAAE;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;QAClC,MAAM,SAAS,GAAG,eAAe,CAChC,aAAa,CAAC,KAAK,CAAC,EACpB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,cAAc,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CACpD,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,kDAAkD,CAAC,CAAC;QAC1F,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,2DAA2D,CAAC,CAAC;QAEtF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,wCAAwC,CAAC,CAAC;QAErE,OAAO;YACN,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACL,IAAI,EAAE,MAAM;gBACZ,QAAQ;gBACR,KAAK;gBACL,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC;aACjC;SACD,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,kCAAkC,CAAgC;QACnF;YACC,MAAM;YACN,OAAO,CAAC,MAAM;YACd,CAAC,KAAK,EAAE,EAAE,CACT,kBAAkB,CACjB,aAAa,CAAC,KAAK,CAAC,EACpB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,cAAc,EACtB,OAAO,CAAC,cAAc,CAAC,MAAM,CAC7B,KAAK,iBAAiB;SACxB;QACD;YACC,aAAa;YACb,OAAO,CAAC,MAAM;YACd,CAAC,KAAK,EAAE,EAAE,CACT,kBAAkB,CACjB,aAAa,CAAC,KAAK,CAAC,EACpB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,cAAc,EACtB,oBAAoB,CACpB,KAAK,iBAAiB;SACxB;QACD;YACC,IAAI;YACJ,OAAO,CAAC,IAAI;YACZ,CAAC,KAAK,EAAE,EAAE,CACT,kBAAkB,CACjB,aAAa,CAAC,KAAK,CAAC,EACpB,KAAK,CAAC,MAAM,EACZ,OAAO,CAAC,cAAc,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CACpD,KAAK,iBAAiB;SACxB;KACD,CAAC,CAAC;IAEH,OAAO,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,iHAAiH;QACjH,gHAAgH;QAChH,+GAA+G;QAC/G,yCAAyC;QACzC,MAAM,CACL,MAAM,KAAK,qBAAqB,EAChC,0GAA0G,CAC1G,CAAC;QACF,OAAO,MAAM,KAAK,IAAI;YACrB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACA,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE;oBACT,IAAI,EAAE,WAAW;oBACjB,MAAM;iBACN;aACA,CAAC;IACN,CAAC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC3C,SAA0C,EACM,EAAE;IAClD,MAAM,eAAe,GAAG;QACvB,GAAG,6BAA6B;QAChC,GAAG,SAAS;KACZ,CAAC;IACF,MAAM,KAAK,GAAuB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IACnE,MAAM,MAAM,GAAwB,EAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IACtE,MAAM,KAAK,GAAuB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAEnE,MAAM,uBAAuB,GAAG,uBAAuB,CAAqC;QAC3F,CAAC,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC;QAC9B;YACC,MAAM;YACN,eAAe,CAAC,MAAM;YACtB,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE;SACjE;QACD;YACC,KAAK;YACL,eAAe,CAAC,KAAK;YACrB,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE;SACjE;KACD,CAAC,CAAC;IAEH,OAAO,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAEhD,OAAO,QAAQ,KAAK,IAAI;YACvB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACA,IAAI,EAAE,aAAa;gBACnB,QAAQ;aACP,CAAC;IACN,CAAC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACxC,SAA0C,EACL,EAAE;IACvC,MAAM,eAAe,GAAG;QACvB,GAAG,6BAA6B;QAChC,GAAG,SAAS;KACZ,CAAC;IACF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACtC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAEtC,MAAM,YAAY,GAAG,uBAAuB,CAAkC;QAC7E,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;QAC5B,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;KAC5B,CAAC,CAAC;IAEH,OAAO,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACrC,OAAO,QAAQ,KAAK,IAAI;YACvB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACA,IAAI,EAAE,UAAU;gBAChB,QAAQ;aACP,CAAC;IACN,CAAC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,eAAe,CAC9B,aAA8C,6BAA6B;IAE3E,MAAM,OAAO,GAAG;QACf,GAAG,6BAA6B;QAChC,GAAG,UAAU;KACb,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACrE,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,MAAM,iBAAiB,GAAG,UAAU,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAEhD,MAAM,aAAa,GAAG,uBAAuB,CAE3C;QACC,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;QAC9C,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC;QAChE,CAAC,GAAG,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;QAC1D;YACC,GAAgB,EAAE,CAAC,CAAC;gBACnB,IAAI,EAAE,kBAAkB;aACxB,CAAC;YACF,OAAO,CAAC,gBAAgB;SACxB;KAEF;SACC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CACrC,CAAC;IACF,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACtB,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAA8B;IACjD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;QAC3B,IAAI,KAAK,KAAK,SAAS,EAAE;YACxB,GAAG,IAAI,KAAK,CAAC;SACb;KACD;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAQD,SAAS,cAAc,CAAC,IAAkB;IACzC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;IAE5C,OAAO;QACN,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QAC3E,WAAW,EAAE,WAAW,CAAC,GAAG;QAC5B,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK;KACnC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB;IAC3C,OAAO,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,qBAAqB,CAAC,IAA8B;IAC5D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAkBD,MAAM,eAAe,GAAgB,CAAC,KAAK,EAAE,EAAE,CAC9C,KAAK,CAAC,OAAO,KAAK,SAAS;IAC3B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACvD,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC;AAEtE,SAAS,WAAW,CACnB,IAAc,EACd,MAAe,EACf,OAA8C,EAC9C,SAAsB,GAAG,EAAE,CAAC,IAAI,EAChC,UAA0B;IAE1B,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,kBAAkB,EAAW,CAAC;IAE5F,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,kBAAkB,EAAW,CAAC;IAEzF,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,qBAAqB,EAAW,CAAC;IAE/F,MAAM,OAAO,GAAG,CAAC,KAA0B,EAAqC,EAAE;QACjF,MAAM,UAAU,GAAe,EAAE,CAAC;QAClC,mGAAmG;QACnG,wBAAwB;QACxB,yEAAyE;QACzE,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE;YACvC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;SACpC;QAED,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE;YACvC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;SACpC;QACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE;gBACzB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aACvB;QACF,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE;YAC/B,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;YAC5E,IAAI,WAAW,KAAK,qBAAqB,EAAE;gBAC1C,OAAO,WAAW,CAAC;aACnB;SACD;QACD,OAAO,qBAAqB,CAAC;IAC9B,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,kCAAkC,CAA+B;QAClF,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpD,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9C,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpD,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;KAC1B,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,mDAAmD,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAC1B,IAAc,EACd,MAAe,EACf,OAA8C,EAC9C,SAAsB,GAAG,EAAE,CAAC,IAAI;IAEhC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,MAAM,OAAO,GACZ,OAAO,CAAC,QAAQ,KAAK,CAAC;QACrB,CAAC,CAAC,CAAC,SAAS,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,CAAC;YACvB,CAAC,CAAC,CAAC,UAAU,CAAC;YACd,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;gBACtE,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC;gBACzB,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE;QAC7B,QAAQ,MAAM,EAAE;YACf,KAAK,UAAU,CAAC,CAAC;gBAChB,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAW,CAAC;gBAC/D,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE;oBAClB,OAAO,KAAK,CAAC;iBACb;gBACD,MAAM;aACN;YACD,KAAK,SAAS,CAAC,CAAC;gBACf,mGAAmG;gBACnG,wBAAwB;gBACxB,yEAAyE;gBACzE,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE;oBACrC,MAAM,MAAM,GAAG,WAAW,CACzB,QAAQ,CAAC,OAAO,EAChB,MAAM,EACN,OAAO,EACP,MAAM,EACN,UAAU,CACV,CAAC;oBACF,IAAI,MAAM,KAAK,qBAAqB,EAAE;wBACrC,OAAO,MAAM,CAAC;qBACd;iBACD;gBAED,MAAM;aACN;YACD;gBACC,IAAI,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;SACnC;KACD;IAED,OAAO,iBAAiB,CAAC;AAC1B,CAAC;AAED,SAAS,eAAe,CACvB,IAAc,EACd,MAAe,EACf,OAA8C,EAC9C,SAAsB,GAAG,EAAE,CAAC,IAAI;IAEhC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,KAAK,iBAAiB,EAAE,uBAAuB,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kCAAkC,CAC1C,OAAmD;IAEnD,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,UAAU,GAAuB,cAAc,CAAC,GAAG,CACxD,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,CAAC,KAAK,EAAE,EAAE;YACT,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE;gBAC5B,MAAM,MAAM,GAAI,CAA0B,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CACL,OAAO,MAAM,KAAK,UAAU,EAC5B,+EAA+E,CAC/E,CAAC;gBACF,OAAO,MAAM,CAAC;aACd;YACD,OAAO,CAAM,CAAC;QACf,CAAC;QACD,MAAM;QACN,CAAC,KAAK,EAAE,EAAE;YACT,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;gBAC/B,OAAO,KAAK,CAAC;aACb;YACD,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3B,OAAO,mBAAmB,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;QAC/C,CAAC;KACD,CACD,CAAC;IACF,MAAM,SAAS,GAAG,uBAAuB,CAAoC;QAC5E,GAAG,UAAU;QACb;YACC,qBAAqB;YACrB,sGAAsG;YACtG,IAAI,CAAC,GAAG,CACP,CAAC,EACD,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,MAAM,CAC9E;YACD,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;SACpD;KACD,CAAC,CAAC;IAEH,OAAO,CAAC,KAAa,EAAE,EAAE;QACxB,IAAI,MAAM,GAA4C,qBAAqB,CAAC;QAC5E,GAAG;YACF,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,mDAAmD,CAAC,CAAC;SAC7E,QAAQ,MAAM,KAAK,qBAAqB,IAAI,eAAe,CAAC,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE;QAC3F,eAAe,CAAC,KAAK,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC;IACf,CAAC,CAAC;AACH,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\nimport { strict as assert } from \"assert\";\nimport {\n\tAsyncGenerator,\n\tGenerator,\n\tdone,\n\tIRandom,\n\tcreateWeightedGenerator,\n\tBaseFuzzTestState,\n\tWeights,\n} from \"@fluid-private/stochastic-test-utils\";\nimport { Client, DDSFuzzTestState } from \"@fluid-private/test-dds-utils\";\nimport {\n\tFlexTreeView,\n\tSharedTreeFactory,\n\tTreeContent,\n\tITreeViewFork,\n\tSharedTree,\n\tISharedTree,\n} from \"../../../shared-tree/index.js\";\nimport { brand, fail, getOrCreate } from \"../../../util/index.js\";\nimport {\n\tAllowedUpdateType,\n\tFieldKey,\n\tFieldUpPath,\n\tJsonableTree,\n\tUpPath,\n} from \"../../../core/index.js\";\nimport { DownPath, FlexTreeNode, toDownPath } from \"../../../feature-libraries/index.js\";\nimport { schematizeFlexTree } from \"../../utils.js\";\nimport {\n\tFieldEditTypes,\n\tFuzzInsert,\n\tFuzzSet,\n\tFuzzTransactionType,\n\tFuzzUndoRedoType,\n\tOperation,\n\tRedoOp,\n\tSynchronize,\n\tTransactionAbortOp,\n\tTransactionBoundary,\n\tTransactionCommitOp,\n\tTransactionStartOp,\n\tTreeEdit,\n\tUndoOp,\n\tUndoRedo,\n} from \"./operationTypes.js\";\nimport { FuzzNode, FuzzNodeSchema, fuzzNode, fuzzSchema } from \"./fuzzUtils.js\";\n\nexport type FuzzView = FlexTreeView<typeof fuzzSchema.rootFieldSchema> & {\n\t/**\n\t * This client's current stored schema, which dictates allowable edits that the client may perform.\n\t * @remarks - The type of this field isn't totally correct, since the supported schema for fuzz nodes changes\n\t * at runtime to support different primitives (this allows fuzz testing of schema changes).\n\t * However, fuzz schemas always have the same field names, so schema-dependent\n\t * APIs such as the tree reading API will work correctly anyway.\n\t *\n\t * TODO: The schema for each client should be properly updated if \"afterSchemaChange\" (or equivalent event) occurs\n\t * once schema ops are supported.\n\t */\n\tcurrentSchema: FuzzNodeSchema;\n};\n\nexport type FuzzTransactionView = ITreeViewFork<typeof fuzzSchema.rootFieldSchema> & {\n\t/**\n\t * This client's current stored schema, which dictates allowable edits that the client may perform.\n\t * @remarks - The type of this field isn't totally correct, since the supported schema for fuzz nodes changes\n\t * at runtime to support different primitives (this allows fuzz testing of schema changes).\n\t * However, fuzz schemas always have the same field names, so schema-dependent\n\t * APIs such as the tree reading API will work correctly anyway.\n\t *\n\t * TODO: The schema for each client should be properly updated if \"afterSchemaChange\" (or equivalent event) occurs\n\t * once schema ops are supported.\n\t */\n\tcurrentSchema: FuzzNodeSchema;\n};\n\nexport interface FuzzTestState extends DDSFuzzTestState<SharedTreeFactory> {\n\t/**\n\t * Schematized view of clients and their nodeSchemas. Created lazily by viewFromState.\n\t *\n\t * SharedTrees undergoing a transaction will have a forked view in {@link transactionViews} instead,\n\t * which should be used in place of this view until the transaction is complete.\n\t */\n\tview?: Map<SharedTree, FuzzView>;\n\t/**\n\t * Schematized view of clients undergoing transactions with their nodeSchemas.\n\t * Edits to this view are not visible to other clients until the transaction is closed.\n\t *\n\t * Maintaining a separate view here is necessary since async transactions are not supported on the root checkout,\n\t * and the fuzz testing model only simulates async transactions.\n\t */\n\ttransactionViews?: Map<ISharedTree, FuzzTransactionView>;\n}\n\nexport function viewFromState(\n\tstate: FuzzTestState,\n\tclient: Client<SharedTreeFactory> = state.client,\n\tinitialTree: TreeContent<typeof fuzzSchema.rootFieldSchema>[\"initialTree\"] = undefined,\n): FuzzView {\n\tstate.view ??= new Map();\n\n\treturn (\n\t\tstate.transactionViews?.get(client.channel) ??\n\t\tgetOrCreate(state.view, client.channel as SharedTree, (tree) => {\n\t\t\tconst flexView: FlexTreeView<typeof fuzzSchema.rootFieldSchema> = schematizeFlexTree(\n\t\t\t\ttree,\n\t\t\t\t{\n\t\t\t\t\tinitialTree,\n\t\t\t\t\tschema: fuzzSchema,\n\t\t\t\t\tallowedSchemaModifications: AllowedUpdateType.Initialize,\n\t\t\t\t},\n\t\t\t);\n\t\t\tconst fuzzView = flexView as FuzzView;\n\t\t\tassert.equal(fuzzView.currentSchema, undefined);\n\t\t\tfuzzView.currentSchema = fuzzNode;\n\t\t\treturn fuzzView;\n\t\t})\n\t);\n}\n\n/**\n * When performing an operation, a random field must be selected. Rather than enumerate all fields of the tree, this is\n * performed recursively starting at the root field.\n *\n * When a field needs to be selected, the fuzz test generator walks down the tree from the root field, randomly selecting\n * one of the below options. If the selected option is not valid (e.g. the field is empty and the generator is trying to\n * select a node to remove), field selection will automatically re-sample excluding this option.\n *\n * Each weight is used throughout the field selection process.\n *\n * @remarks\n * Allowing more than just numbers here could be interesting. E.g. `(depth: number) => number` to allow biasing away from\n * changing the root field for more interesting merge outcomes. The `filter` parameter can already accomplish this, but is\n * a bit less efficient in doing so (it'd need to walk to the root repeatedly to compute depth)\n */\nexport interface FieldSelectionWeights {\n\t/**\n\t * Select the current Fuzz node's \"optionalChild\" field\n\t */\n\toptional: number;\n\t/**\n\t * Select the current Fuzz node's \"requiredChild\" field\n\t */\n\trequired: number;\n\t/**\n\t * Select the current Fuzz node's \"sequenceChild\" field\n\t */\n\tsequence: number;\n\t/**\n\t * Select a direct child of the current Fuzz node, uniformly at random\n\t */\n\trecurse: number;\n\n\t/**\n\t * Whether the selected field is acceptable for use.\n\t *\n\t * @remarks - This can be helpful for restricting tests to only use certain types of fields\n\t */\n\tfilter?: FieldFilter;\n}\n\nconst defaultFieldSelectionWeights: FieldSelectionWeights = {\n\toptional: 1,\n\trequired: 1,\n\tsequence: 1,\n\trecurse: 4,\n\tfilter: () => true,\n};\n\nexport interface EditGeneratorOpWeights {\n\tinsert: number;\n\tremove: number;\n\tstart: number;\n\tcommit: number;\n\tabort: number;\n\tundo: number;\n\tredo: number;\n\tmove: number;\n\t// This is explicitly all-or-nothing. If changing to be partially specifiable, the override logic to apply default values\n\t// needs to be updated since this is a nested object.\n\tfieldSelection: FieldSelectionWeights;\n\tsynchronizeTrees: number;\n}\nconst defaultEditGeneratorOpWeights: EditGeneratorOpWeights = {\n\tinsert: 0,\n\tremove: 0,\n\tstart: 0,\n\tcommit: 0,\n\tabort: 0,\n\tundo: 0,\n\tredo: 0,\n\tmove: 0,\n\tfieldSelection: defaultFieldSelectionWeights,\n\tsynchronizeTrees: 0,\n};\n\nexport interface EditGeneratorOptions {\n\tweights: Partial<EditGeneratorOpWeights>;\n\tmaxRemoveCount: number;\n}\n\nexport const makeEditGenerator = (\n\topWeightsArg: Partial<EditGeneratorOpWeights>,\n): Generator<TreeEdit, FuzzTestState> => {\n\tconst weights = {\n\t\t...defaultEditGeneratorOpWeights,\n\t\t...opWeightsArg,\n\t};\n\n\tconst jsonableTree = (state: FuzzTestState): JsonableTree => {\n\t\t// Heuristics around what type of tree we insert could be made customizable to tend toward trees of certain characteristics.\n\t\treturn state.random.bool(0.3)\n\t\t\t? {\n\t\t\t\t\ttype: brand(\"com.fluidframework.leaf.number\"),\n\t\t\t\t\tvalue: state.random.integer(Number.MIN_SAFE_INTEGER, Number.MAX_SAFE_INTEGER),\n\t\t\t  }\n\t\t\t: {\n\t\t\t\t\ttype: brand(\"tree2fuzz.node\"),\n\t\t\t\t\tfields: {\n\t\t\t\t\t\trequiredChild: [\n\t\t\t\t\t\t\t{\n\t\t\t\t\t\t\t\ttype: brand(\"com.fluidframework.leaf.number\"),\n\t\t\t\t\t\t\t\tvalue: state.random.integer(\n\t\t\t\t\t\t\t\t\tNumber.MIN_SAFE_INTEGER,\n\t\t\t\t\t\t\t\t\tNumber.MAX_SAFE_INTEGER,\n\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t],\n\t\t\t\t\t},\n\t\t\t  };\n\t};\n\n\tconst insert = (state: FuzzTestState): FieldEditTypes => {\n\t\tconst fieldInfo = selectTreeField(\n\t\t\tviewFromState(state),\n\t\t\tstate.random,\n\t\t\tweights.fieldSelection,\n\t\t\tweights.fieldSelection.filter,\n\t\t);\n\t\tswitch (fieldInfo.type) {\n\t\t\tcase \"optional\":\n\t\t\tcase \"required\": {\n\t\t\t\tconst { type: fieldType, content: field } = fieldInfo;\n\t\t\t\tconst contents: FuzzSet = {\n\t\t\t\t\ttype: \"set\",\n\t\t\t\t\tparent: maybeDownPathFromNode(field.parent),\n\t\t\t\t\tkey: field.key,\n\t\t\t\t\tvalue: jsonableTree(state),\n\t\t\t\t};\n\t\t\t\treturn {\n\t\t\t\t\ttype: fieldType,\n\t\t\t\t\tedit: contents,\n\t\t\t\t};\n\t\t\t}\n\t\t\tcase \"sequence\": {\n\t\t\t\tconst { content: field } = fieldInfo;\n\t\t\t\tconst contents: FuzzInsert = {\n\t\t\t\t\ttype: \"insert\",\n\t\t\t\t\tparent: maybeDownPathFromNode(field.parent),\n\t\t\t\t\tkey: field.key,\n\t\t\t\t\tindex: state.random.integer(0, field.length),\n\t\t\t\t\tvalue: jsonableTree(state),\n\t\t\t\t};\n\t\t\t\treturn {\n\t\t\t\t\ttype: \"sequence\",\n\t\t\t\t\tedit: contents,\n\t\t\t\t};\n\t\t\t}\n\t\t\tdefault:\n\t\t\t\tfail(`Invalid field type: ${(fieldInfo as { type: unknown }).type}`);\n\t\t}\n\t};\n\n\tconst deletableFieldFilter: FieldFilter = (fieldInfo) =>\n\t\tisNonEmptyField(fieldInfo) &&\n\t\tfieldInfo.type !== \"required\" &&\n\t\t(weights.fieldSelection.filter?.(fieldInfo) ?? true);\n\n\tconst removeContent = (state: FuzzTestState): FieldEditTypes => {\n\t\tconst fieldInfo = selectTreeField(\n\t\t\tviewFromState(state),\n\t\t\tstate.random,\n\t\t\tweights.fieldSelection,\n\t\t\tdeletableFieldFilter,\n\t\t);\n\t\tswitch (fieldInfo.type) {\n\t\t\tcase \"optional\": {\n\t\t\t\tconst { content: field } = fieldInfo;\n\t\t\t\tconst { content } = field;\n\t\t\t\t// Note: if we ever decide to generate removals for currently empty optional fields, the logic\n\t\t\t\t// in the reducer needs to be adjusted (it hard-codes `wasEmpty` to `false`).\n\t\t\t\tassert(\n\t\t\t\t\tcontent !== undefined,\n\t\t\t\t\t\"Optional field should have content for it to be selected for deletion\",\n\t\t\t\t);\n\n\t\t\t\treturn {\n\t\t\t\t\ttype: \"optional\",\n\t\t\t\t\tedit: {\n\t\t\t\t\t\ttype: \"remove\",\n\t\t\t\t\t\tfirstNode: downPathFromNode(content),\n\t\t\t\t\t\tcount: 1,\n\t\t\t\t\t},\n\t\t\t\t};\n\t\t\t}\n\t\t\tcase \"sequence\": {\n\t\t\t\tconst { content: field } = fieldInfo;\n\n\t\t\t\tassert(\n\t\t\t\t\tfield.length > 0,\n\t\t\t\t\t\"Sequence field should have content for it to be selected for deletion\",\n\t\t\t\t);\n\t\t\t\tconst start = state.random.integer(0, field.length - 1);\n\t\t\t\t// It'd be reasonable to move this to config. The idea is that by avoiding large deletions,\n\t\t\t\t// we're more likely to generate more interesting outcomes.\n\t\t\t\tconst count = state.random.integer(1, Math.min(3, field.length - start));\n\t\t\t\tconst node = field.at(start);\n\t\t\t\t// We computed 'start' in a way that guarantees it's in-bounds, so at() shouldn't have returned undefined.\n\t\t\t\tassert(node !== undefined, \"Tried to access a node that doesn't exist\");\n\t\t\t\treturn {\n\t\t\t\t\ttype: \"sequence\",\n\t\t\t\t\tedit: {\n\t\t\t\t\t\ttype: \"remove\",\n\t\t\t\t\t\tfirstNode: downPathFromNode(node),\n\t\t\t\t\t\tcount,\n\t\t\t\t\t},\n\t\t\t\t};\n\t\t\t}\n\t\t\tdefault:\n\t\t\t\tfail(`Invalid field type for deletion of content: ${fieldInfo.type}`);\n\t\t}\n\t};\n\n\tconst move = (state: FuzzTestState): FieldEditTypes => {\n\t\tconst tree = state.client.channel;\n\t\tconst fieldInfo = selectTreeField(\n\t\t\tviewFromState(state),\n\t\t\tstate.random,\n\t\t\tweights.fieldSelection,\n\t\t\t(f) => f.type === \"sequence\" && f.content.length > 0,\n\t\t);\n\t\tassert(fieldInfo.type === \"sequence\", \"Move should only be performed on sequence fields\");\n\t\tconst { content: field } = fieldInfo;\n\t\tassert(field.length > 0, \"Sequence must have at least one element to perform a move\");\n\n\t\tconst start = state.random.integer(0, field.length - 1);\n\t\tconst count = state.random.integer(1, field.length - start);\n\t\tconst dstIndex = state.random.integer(0, field.length);\n\t\tconst node = field.at(start);\n\t\tassert(node !== undefined, \"Node should be defined at chosen index\");\n\n\t\treturn {\n\t\t\ttype: \"sequence\",\n\t\t\tedit: {\n\t\t\t\ttype: \"move\",\n\t\t\t\tdstIndex,\n\t\t\t\tcount,\n\t\t\t\tfirstNode: downPathFromNode(node),\n\t\t\t},\n\t\t};\n\t};\n\n\tconst fieldEdit = createWeightedGeneratorWithBailout<FieldEditTypes, FuzzTestState>([\n\t\t[\n\t\t\tinsert,\n\t\t\tweights.insert,\n\t\t\t(state) =>\n\t\t\t\ttrySelectTreeField(\n\t\t\t\t\tviewFromState(state),\n\t\t\t\t\tstate.random,\n\t\t\t\t\tweights.fieldSelection,\n\t\t\t\t\tweights.fieldSelection.filter,\n\t\t\t\t) !== \"no-valid-fields\",\n\t\t],\n\t\t[\n\t\t\tremoveContent,\n\t\t\tweights.remove,\n\t\t\t(state) =>\n\t\t\t\ttrySelectTreeField(\n\t\t\t\t\tviewFromState(state),\n\t\t\t\t\tstate.random,\n\t\t\t\t\tweights.fieldSelection,\n\t\t\t\t\tdeletableFieldFilter,\n\t\t\t\t) !== \"no-valid-fields\",\n\t\t],\n\t\t[\n\t\t\tmove,\n\t\t\tweights.move,\n\t\t\t(state) =>\n\t\t\t\ttrySelectTreeField(\n\t\t\t\t\tviewFromState(state),\n\t\t\t\t\tstate.random,\n\t\t\t\t\tweights.fieldSelection,\n\t\t\t\t\t(f) => f.type === \"sequence\" && f.content.length > 0,\n\t\t\t\t) !== \"no-valid-fields\",\n\t\t],\n\t]);\n\n\treturn (state) => {\n\t\tconst change = fieldEdit(state);\n\t\t// This assert is typically hit when restricting the features a fuzz test executes such that it can reach a state\n\t\t// where no edit is valid to generate. E.g. a fuzz test which can only create edits from within transactions but\n\t\t// can never start a transaction, or a fuzz test which can only edit sequence fields but the tree is empty (and\n\t\t// the root schema is an optional field).\n\t\tassert(\n\t\t\tchange !== \"no-valid-selections\",\n\t\t\t\"Unable to generate a valid field edit. This typically indicates a problematic fuzz test generator setup.\",\n\t\t);\n\t\treturn change === done\n\t\t\t? done\n\t\t\t: {\n\t\t\t\t\ttype: \"edit\",\n\t\t\t\t\tcontents: {\n\t\t\t\t\t\ttype: \"fieldEdit\",\n\t\t\t\t\t\tchange,\n\t\t\t\t\t},\n\t\t\t  };\n\t};\n};\n\nexport const makeTransactionEditGenerator = (\n\topWeights: Partial<EditGeneratorOpWeights>,\n): Generator<TransactionBoundary, FuzzTestState> => {\n\tconst passedOpWeights = {\n\t\t...defaultEditGeneratorOpWeights,\n\t\t...opWeights,\n\t};\n\tconst start: TransactionStartOp = { fuzzType: \"transactionStart\" };\n\tconst commit: TransactionCommitOp = { fuzzType: \"transactionCommit\" };\n\tconst abort: TransactionAbortOp = { fuzzType: \"transactionAbort\" };\n\n\tconst transactionBoundaryType = createWeightedGenerator<FuzzTransactionType, FuzzTestState>([\n\t\t[start, passedOpWeights.start],\n\t\t[\n\t\t\tcommit,\n\t\t\tpassedOpWeights.commit,\n\t\t\t(state) => viewFromState(state).checkout.transaction.inProgress(),\n\t\t],\n\t\t[\n\t\t\tabort,\n\t\t\tpassedOpWeights.abort,\n\t\t\t(state) => viewFromState(state).checkout.transaction.inProgress(),\n\t\t],\n\t]);\n\n\treturn (state) => {\n\t\tconst contents = transactionBoundaryType(state);\n\n\t\treturn contents === done\n\t\t\t? done\n\t\t\t: {\n\t\t\t\t\ttype: \"transaction\",\n\t\t\t\t\tcontents,\n\t\t\t  };\n\t};\n};\n\nexport const makeUndoRedoEditGenerator = (\n\topWeights: Partial<EditGeneratorOpWeights>,\n): Generator<UndoRedo, FuzzTestState> => {\n\tconst passedOpWeights = {\n\t\t...defaultEditGeneratorOpWeights,\n\t\t...opWeights,\n\t};\n\tconst undo: UndoOp = { type: \"undo\" };\n\tconst redo: RedoOp = { type: \"redo\" };\n\n\tconst undoRedoType = createWeightedGenerator<FuzzUndoRedoType, FuzzTestState>([\n\t\t[undo, passedOpWeights.undo],\n\t\t[redo, passedOpWeights.redo],\n\t]);\n\n\treturn (state) => {\n\t\tconst contents = undoRedoType(state);\n\t\treturn contents === done\n\t\t\t? done\n\t\t\t: {\n\t\t\t\t\ttype: \"undoRedo\",\n\t\t\t\t\tcontents,\n\t\t\t  };\n\t};\n};\n\nexport function makeOpGenerator(\n\tweightsArg: Partial<EditGeneratorOpWeights> = defaultEditGeneratorOpWeights,\n): AsyncGenerator<Operation, DDSFuzzTestState<SharedTreeFactory>> {\n\tconst weights = {\n\t\t...defaultEditGeneratorOpWeights,\n\t\t...weightsArg,\n\t};\n\tconst { insert, remove, abort, commit, start, undo, redo } = weights;\n\tconst editWeight = sumWeights([remove, insert]);\n\tconst transactionWeight = sumWeights([abort, commit, start]);\n\tconst undoRedoWeight = sumWeights([undo, redo]);\n\n\tconst syncGenerator = createWeightedGenerator<Operation, FuzzTestState>(\n\t\t(\n\t\t\t[\n\t\t\t\t[() => makeEditGenerator(weights), editWeight],\n\t\t\t\t[() => makeTransactionEditGenerator(weights), transactionWeight],\n\t\t\t\t[() => makeUndoRedoEditGenerator(weights), undoRedoWeight],\n\t\t\t\t[\n\t\t\t\t\t(): Synchronize => ({\n\t\t\t\t\t\ttype: \"synchronizeTrees\",\n\t\t\t\t\t}),\n\t\t\t\t\tweights.synchronizeTrees,\n\t\t\t\t],\n\t\t\t] as const\n\t\t)\n\t\t\t.filter(([, weight]) => weight > 0)\n\t\t\t.map(([f, weight]) => [f(), weight]),\n\t);\n\treturn async (state) => {\n\t\treturn syncGenerator(state);\n\t};\n}\n\nfunction sumWeights(values: (number | undefined)[]): number {\n\tlet sum = 0;\n\tfor (const value of values) {\n\t\tif (value !== undefined) {\n\t\t\tsum += value;\n\t\t}\n\t}\n\treturn sum;\n}\n\nexport interface FieldPathWithCount {\n\tfieldPath: FieldUpPath;\n\tfieldKey: FieldKey;\n\tcount: number;\n}\n\nfunction upPathFromNode(node: FlexTreeNode): UpPath {\n\tconst parentField = node.parentField.parent;\n\n\treturn {\n\t\tparent: parentField.parent ? upPathFromNode(parentField.parent) : undefined,\n\t\tparentField: parentField.key,\n\t\tparentIndex: node.parentField.index,\n\t};\n}\n\nfunction downPathFromNode(node: FlexTreeNode): DownPath {\n\treturn toDownPath(upPathFromNode(node));\n}\n\nfunction maybeDownPathFromNode(node: FlexTreeNode | undefined): DownPath | undefined {\n\treturn node === undefined ? undefined : downPathFromNode(node);\n}\n\ntype FuzzField =\n\t| {\n\t\t\ttype: \"optional\";\n\t\t\tcontent: FuzzNode[\"boxedOptionalChild\"];\n\t  }\n\t| {\n\t\t\ttype: \"sequence\";\n\t\t\tcontent: FuzzNode[\"boxedSequenceChildren\"];\n\t  }\n\t| {\n\t\t\ttype: \"required\";\n\t\t\tcontent: FuzzNode[\"boxedRequiredChild\"];\n\t  };\n\ntype FieldFilter = (field: FuzzField) => boolean;\n\nconst isNonEmptyField: FieldFilter = (field) =>\n\tfield.content !== undefined &&\n\t((field.type === \"sequence\" && field.content.length > 0) ||\n\t\t(field.type !== \"sequence\" && field.content.content !== undefined));\n\nfunction selectField(\n\tnode: FuzzNode,\n\trandom: IRandom,\n\tweights: Omit<FieldSelectionWeights, \"filter\">,\n\tfilter: FieldFilter = () => true,\n\tnodeSchema: FuzzNodeSchema,\n): FuzzField | \"no-valid-selections\" {\n\tconst optional: FuzzField = { type: \"optional\", content: node.boxedOptionalChild } as const;\n\n\tconst value: FuzzField = { type: \"required\", content: node.boxedRequiredChild } as const;\n\n\tconst sequence: FuzzField = { type: \"sequence\", content: node.boxedSequenceChildren } as const;\n\n\tconst recurse = (state: { random: IRandom }): FuzzField | \"no-valid-selections\" => {\n\t\tconst childNodes: FuzzNode[] = [];\n\t\t// Checking \"=== true\" causes tsc to fail to typecheck, as it is no longer able to narrow according\n\t\t// to the .is typeguard.\n\t\t// eslint-disable-next-line @typescript-eslint/strict-boolean-expressions\n\t\tif (node.optionalChild?.is(nodeSchema)) {\n\t\t\tchildNodes.push(node.optionalChild);\n\t\t}\n\n\t\tif (node.requiredChild?.is(nodeSchema)) {\n\t\t\tchildNodes.push(node.requiredChild);\n\t\t}\n\t\tnode.sequenceChildren.map((child) => {\n\t\t\tif (child.is(nodeSchema)) {\n\t\t\t\tchildNodes.push(child);\n\t\t\t}\n\t\t});\n\t\tstate.random.shuffle(childNodes);\n\t\tfor (const child of childNodes) {\n\t\t\tconst childResult = selectField(child, random, weights, filter, nodeSchema);\n\t\t\tif (childResult !== \"no-valid-selections\") {\n\t\t\t\treturn childResult;\n\t\t\t}\n\t\t}\n\t\treturn \"no-valid-selections\";\n\t};\n\n\tconst generator = createWeightedGeneratorWithBailout<FuzzField, BaseFuzzTestState>([\n\t\t[optional, weights.optional, () => filter(optional)],\n\t\t[value, weights.required, () => filter(value)],\n\t\t[sequence, weights.sequence, () => filter(sequence)],\n\t\t[recurse, weights.recurse],\n\t]);\n\n\tconst result = generator({ random });\n\tassert(result !== done, \"createWeightedGenerators should never return done\");\n\treturn result;\n}\n\nfunction trySelectTreeField(\n\ttree: FuzzView,\n\trandom: IRandom,\n\tweights: Omit<FieldSelectionWeights, \"filter\">,\n\tfilter: FieldFilter = () => true,\n): FuzzField | \"no-valid-fields\" {\n\tconst editable = tree.flexTree;\n\tconst options =\n\t\tweights.optional === 0\n\t\t\t? [\"recurse\"]\n\t\t\t: weights.recurse === 0\n\t\t\t? [\"optional\"]\n\t\t\t: random.bool(weights.optional / (weights.optional + weights.recurse))\n\t\t\t? [\"optional\", \"recurse\"]\n\t\t\t: [\"recurse\", \"optional\"];\n\tconst nodeSchema = tree.currentSchema;\n\tfor (const option of options) {\n\t\tswitch (option) {\n\t\t\tcase \"optional\": {\n\t\t\t\tconst field = { type: \"optional\", content: editable } as const;\n\t\t\t\tif (filter(field)) {\n\t\t\t\t\treturn field;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase \"recurse\": {\n\t\t\t\t// Checking \"=== true\" causes tsc to fail to typecheck, as it is no longer able to narrow according\n\t\t\t\t// to the .is typeguard.\n\t\t\t\t// eslint-disable-next-line @typescript-eslint/strict-boolean-expressions\n\t\t\t\tif (editable.content?.is(nodeSchema)) {\n\t\t\t\t\tconst result = selectField(\n\t\t\t\t\t\teditable.content,\n\t\t\t\t\t\trandom,\n\t\t\t\t\t\tweights,\n\t\t\t\t\t\tfilter,\n\t\t\t\t\t\tnodeSchema,\n\t\t\t\t\t);\n\t\t\t\t\tif (result !== \"no-valid-selections\") {\n\t\t\t\t\t\treturn result;\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tdefault:\n\t\t\t\tfail(`Invalid option: ${option}`);\n\t\t}\n\t}\n\n\treturn \"no-valid-fields\";\n}\n\nfunction selectTreeField(\n\ttree: FuzzView,\n\trandom: IRandom,\n\tweights: Omit<FieldSelectionWeights, \"filter\">,\n\tfilter: FieldFilter = () => true,\n): FuzzField {\n\tconst result = trySelectTreeField(tree, random, weights, filter);\n\tassert(result !== \"no-valid-fields\", \"No valid fields found\");\n\treturn result;\n}\n\n/**\n * Like `createWeightedGenerator`, except it will only attempt to select each option once.\n * If all options have been exhausted and no value other than 'no-valid-selections' is generated,\n * it will return 'no-valid-selections'.\n *\n * This helps prevent infinite loops for bad fuzz config.\n * Note: `T` cannot extend function, as otherwise `T | Generator<T>` cannot be distinguished.\n */\nfunction createWeightedGeneratorWithBailout<T, TState extends BaseFuzzTestState>(\n\tweights: Weights<T | \"no-valid-selections\", TState>,\n): Generator<T | \"no-valid-selections\", TState> {\n\tconst nonzeroWeights = weights.filter(([, weight]) => weight > 0);\n\tconst selectedIndices = new Set<number>();\n\tconst newWeights: Weights<T, TState> = nonzeroWeights.map(\n\t\t([f, weight, acceptanceCondition], index) => [\n\t\t\t(state) => {\n\t\t\t\tselectedIndices.add(index);\n\t\t\t\tif (typeof f === \"function\") {\n\t\t\t\t\tconst result = (f as Generator<T, TState>)(state);\n\t\t\t\t\tassert(\n\t\t\t\t\t\ttypeof result !== \"function\",\n\t\t\t\t\t\t\"Generator should not return a function: this prevents correct type deduction.\",\n\t\t\t\t\t);\n\t\t\t\t\treturn result;\n\t\t\t\t}\n\t\t\t\treturn f as T;\n\t\t\t},\n\t\t\tweight,\n\t\t\t(state) => {\n\t\t\t\tif (selectedIndices.has(index)) {\n\t\t\t\t\treturn false;\n\t\t\t\t}\n\t\t\t\tselectedIndices.add(index);\n\t\t\t\treturn acceptanceCondition?.(state) !== false;\n\t\t\t},\n\t\t],\n\t);\n\tconst generator = createWeightedGenerator<T | \"no-valid-selections\", TState>([\n\t\t...newWeights,\n\t\t[\n\t\t\t\"no-valid-selections\",\n\t\t\t// The weight here is arbitrary: we select one that will be selected a reasonable portion of the time.\n\t\t\tMath.max(\n\t\t\t\t1,\n\t\t\t\tsumWeights(nonzeroWeights.map(([, weight]) => weight)) / nonzeroWeights.length,\n\t\t\t),\n\t\t\t() => selectedIndices.size === nonzeroWeights.length,\n\t\t],\n\t]);\n\n\treturn (state: TState) => {\n\t\tlet result: T | \"no-valid-selections\" | typeof done = \"no-valid-selections\";\n\t\tdo {\n\t\t\tresult = generator(state);\n\t\t\tassert(result !== done, \"createWeightedGenerators should never return done\");\n\t\t} while (result === \"no-valid-selections\" && selectedIndices.size < nonzeroWeights.length);\n\t\tselectedIndices.clear();\n\t\treturn result;\n\t};\n}\n"]}

package/lib/test/shared-tree/fuzz/fuzzEditReducers.d.ts

@@ -1,21 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-import { AsyncReducer } from "@fluid-private/stochastic-test-utils";
-import { DDSFuzzTestState } from "@fluid-private/test-dds-utils";
-import { ISharedTree, SharedTreeFactory } from "../../../shared-tree/index.js";
-import { Revertible } from "../../../core/index.js";
-import { FieldEdit, FuzzTransactionType, FuzzUndoRedoType, Operation } from "./operationTypes.js";
-import { FuzzTestState, FuzzView } from "./fuzzEditGenerators.js";
-export declare const fuzzReducer: AsyncReducer<Operation, DDSFuzzTestState<SharedTreeFactory>>;
-export declare function checkTreesAreSynchronized(trees: readonly ISharedTree[]): void;
-export declare function applySynchronizationOp(state: DDSFuzzTestState<SharedTreeFactory>): void;
-/**
- * Assumes tree is using the fuzzSchema.
- * TODO: Maybe take in a schema aware strongly typed Tree node or field.
- */
-export declare function applyFieldEdit(tree: FuzzView, fieldEdit: FieldEdit): void;
-export declare function applyTransactionEdit(state: FuzzTestState, contents: FuzzTransactionType): void;
-export declare function applyUndoRedoEdit(undoStack: Revertible[], redoStack: Revertible[], contents: FuzzUndoRedoType): void;
-//# sourceMappingURL=fuzzEditReducers.d.ts.map

package/lib/test/shared-tree/fuzz/fuzzEditReducers.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"fuzzEditReducers.d.ts","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/fuzzEditReducers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,YAAY,EAAmB,MAAM,sCAAsC,CAAC;AACrF,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAUjE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EACN,SAAS,EAIT,mBAAmB,EACnB,gBAAgB,EAChB,SAAS,EACT,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACN,aAAa,EAEb,QAAQ,EAER,MAAM,yBAAyB,CAAC;AA0BjC,eAAO,MAAM,WAAW,EAAE,YAAY,CAAC,SAAS,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,CAG/C,CAAC;AAEvC,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,QAItE;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,QAShF;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,CAczE;AAsHD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAsC9F;AAED,wBAAgB,iBAAiB,CAChC,SAAS,EAAE,UAAU,EAAE,EACvB,SAAS,EAAE,UAAU,EAAE,EACvB,QAAQ,EAAE,gBAAgB,GACxB,IAAI,CAaN"}