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

package/lib/test/shared-tree/fuzz/anchorStability.fuzz.spec.js

@@ -1,161 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-import { strict as assert } from "assert";
-import { takeAsync } from "@fluid-private/stochastic-test-utils";
-import { createDDSFuzzSuite, } from "@fluid-private/test-dds-utils";
-import { TypedEventEmitter } from "@fluid-internal/client-utils";
-import { cursorsFromContextualData, jsonableTreeFromFieldCursor, typeNameSymbol, } from "../../../feature-libraries/index.js";
-import { SharedTreeTestFactory, createTestUndoRedoStacks, validateTree } from "../../utils.js";
-import { makeOpGenerator, viewFromState, } from "./fuzzEditGenerators.js";
-import { fuzzReducer } from "./fuzzEditReducers.js";
-import { createAnchors, validateAnchors, fuzzNode, fuzzSchema, failureDirectory, deterministicIdCompressorFactory, } from "./fuzzUtils.js";
-const config = {
-    schema: fuzzSchema,
-    // Setting the tree to have an initial value is more interesting for this targeted test than if it's empty:
-    // returning to an empty state is arguably "easier" than returning to a non-empty state after some undos.
-    initialTree: {
-        [typeNameSymbol]: fuzzNode.name,
-        sequenceChildren: [1, 2, 3],
-        requiredChild: {
-            [typeNameSymbol]: fuzzNode.name,
-            requiredChild: 0,
-            optionalChild: undefined,
-            sequenceChildren: [4, 5, 6],
-        },
-        optionalChild: undefined,
-    },
-};
-const initialTreeJson = jsonableTreeFromFieldCursor(cursorsFromContextualData(config, config.schema.rootFieldSchema, config.initialTree));
-/**
- * Fuzz tests in this suite are meant to exercise specific code paths or invariants.
- * They should typically use SharedTree's branching APIs to emulate multiple clients concurrently editing the document
- * as that is less computationally expensive and offers greater control over the order of concurrent operations.
- *
- * See the "Fuzz - Top-Level" test suite for tests are more general in scope.
- */
-describe("Fuzz - anchor stability", () => {
-    const opsPerRun = 20;
-    const runsPerBatch = 50;
-    describe("Anchors are unaffected by aborted transaction", () => {
-        const editGeneratorOpWeights = {
-            insert: 1,
-            remove: 2,
-            move: 2,
-            fieldSelection: {
-                optional: 1,
-                required: 1,
-                sequence: 2,
-                recurse: 1,
-            },
-        };
-        const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(editGeneratorOpWeights));
-        const model = {
-            workloadName: "anchors",
-            factory: new SharedTreeTestFactory(() => undefined),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: () => { },
-        };
-        const emitter = new TypedEventEmitter();
-        emitter.on("testStart", (initialState) => {
-            const tree = viewFromState(initialState, initialState.clients[0], config.initialTree).checkout;
-            tree.transaction.start();
-            // These tests are hard coded to a single client, so this is fine.
-            initialState.anchors = [createAnchors(tree)];
-        });
-        emitter.on("testEnd", (finalState) => {
-            const anchors = finalState.anchors ?? assert.fail("Anchors should be defined");
-            // aborts any transactions that may still be in progress
-            const tree = viewFromState(finalState, finalState.clients[0]).checkout;
-            tree.transaction.abort();
-            validateTree(tree, initialTreeJson);
-            validateAnchors(tree, anchors[0], true);
-        });
-        createDDSFuzzSuite(model, {
-            defaultTestCount: runsPerBatch,
-            numberOfClients: 1,
-            emitter,
-            saveFailures: {
-                directory: failureDirectory,
-            },
-            // AB#5745: Starting a transaction while detached, submitting edits, then attaching hits 0x428.
-            // Once this is fixed, this fuzz test could also include working from a detached state if desired.
-            detachedStartOptions: { numOpsBeforeAttach: 0 },
-            clientJoinOptions: { maxNumberOfClients: 1, clientAddProbability: 0 },
-            idCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),
-        });
-    });
-    describe("Anchors are stable", () => {
-        const editGeneratorOpWeights = {
-            insert: 2,
-            remove: 2,
-            move: 2,
-            undo: 1,
-            redo: 1,
-            synchronizeTrees: 1,
-            fieldSelection: {
-                optional: 1,
-                required: 1,
-                sequence: 2,
-                recurse: 1,
-            },
-        };
-        const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(editGeneratorOpWeights));
-        const model = {
-            workloadName: "anchors-undo-redo",
-            factory: new SharedTreeTestFactory(() => undefined),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: () => { },
-        };
-        const emitter = new TypedEventEmitter();
-        emitter.on("testStart", (initialState) => {
-            // Kludge: we force schematization and synchronization here to ensure that the clients all have the same
-            // starting tree as opposed to isomorphic copies.
-            // If we don't do this, then the anchors created below would be destroyed on all but one client (the client
-            // whose schematize wins the synchronization race).
-            {
-                for (const client of initialState.clients) {
-                    // This is a kludge to force the invocation of schematize for each client.
-                    // eslint-disable-next-line @typescript-eslint/no-unused-expressions
-                    viewFromState(initialState, client, config.initialTree).checkout;
-                    // synchronization here (instead of once after this loop) prevents the second client from having to rebase an initialize,
-                    // which invalidates its view due to schema change.
-                    initialState.containerRuntimeFactory.processAllMessages();
-                }
-            }
-            initialState.anchors = [];
-            for (const client of initialState.clients) {
-                const view = viewFromState(initialState, client, config.initialTree)
-                    .checkout;
-                const { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);
-                view.undoStack = undoStack;
-                view.redoStack = redoStack;
-                view.unsubscribe = unsubscribe;
-                initialState.anchors.push(createAnchors(view));
-            }
-        });
-        emitter.on("testEnd", (finalState) => {
-            const anchors = finalState.anchors ?? assert.fail("Anchors should be defined");
-            for (const [i, client] of finalState.clients.entries()) {
-                validateAnchors(viewFromState(finalState, client).checkout, anchors[i], false);
-            }
-        });
-        createDDSFuzzSuite(model, {
-            defaultTestCount: runsPerBatch,
-            detachedStartOptions: { numOpsBeforeAttach: 0 },
-            numberOfClients: 2,
-            emitter,
-            saveFailures: {
-                directory: failureDirectory,
-            },
-            idCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),
-            // TODO: AB#6664 tracks investigating and resolving.
-            // These seeds encounter issues in delta application (specifically 0x7ce and 0x7cf)
-            skip: [0, 19, 38],
-        });
-    });
-});
-//# sourceMappingURL=anchorStability.fuzz.spec.js.map

package/lib/test/shared-tree/fuzz/anchorStability.fuzz.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"anchorStability.fuzz.spec.js","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/anchorStability.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAGN,kBAAkB,GAElB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAGjE,OAAO,EACN,yBAAyB,EACzB,2BAA2B,EAC3B,cAAc,GACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EACN,eAAe,EAGf,aAAa,GACb,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACN,aAAa,EACb,eAAe,EACf,QAAQ,EACR,UAAU,EACV,gBAAgB,EAEhB,gCAAgC,GAChC,MAAM,gBAAgB,CAAC;AAQxB,MAAM,MAAM,GAAG;IACd,MAAM,EAAE,UAAU;IAClB,2GAA2G;IAC3G,yGAAyG;IACzG,WAAW,EAAE;QACZ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,IAAI;QAC/B,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3B,aAAa,EAAE;YACd,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,IAAI;YAC/B,aAAa,EAAE,CAAC;YAChB,aAAa,EAAE,SAAS;YACxB,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAC3B;QACD,aAAa,EAAE,SAAS;KACxB;CACqB,CAAC;AAExB,MAAM,eAAe,GAAG,2BAA2B,CAClD,yBAAyB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,WAAW,CAAC,CACpF,CAAC;AAEF;;;;;;GAMG;AACH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACxC,MAAM,SAAS,GAAG,EAAE,CAAC;IACrB,MAAM,YAAY,GAAG,EAAE,CAAC;IACxB,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;QAC9D,MAAM,sBAAsB,GAAoC;YAC/D,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,CAAC;YACP,cAAc,EAAE;gBACf,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;gBACX,OAAO,EAAE,CAAC;aACV;SACD,CAAC;QACF,MAAM,gBAAgB,GAAG,GAAG,EAAE,CAC7B,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAE/D,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,SAAS;YACvB,OAAO,EAAE,IAAI,qBAAqB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;YACnD,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,GAAG,EAAE,GAAE,CAAC;SAC7B,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAwB,CAAC;QAC9D,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,YAAiC,EAAE,EAAE;YAC7D,MAAM,IAAI,GAAG,aAAa,CACzB,YAAY,EACZ,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EACvB,MAAM,CAAC,WAAW,CAClB,CAAC,QAAQ,CAAC;YACX,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACzB,kEAAkE;YAClE,YAAY,CAAC,OAAO,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAA+B,EAAE,EAAE;YACzD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAE/E,wDAAwD;YACxD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvE,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACzB,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACpC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,kBAAkB,CAAC,KAAK,EAAE;YACzB,gBAAgB,EAAE,YAAY;YAC9B,eAAe,EAAE,CAAC;YAClB,OAAO;YACP,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;YACD,+FAA+F;YAC/F,kGAAkG;YAClG,oBAAoB,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE;YAC/C,iBAAiB,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE;YACrE,mBAAmB,EAAE,gCAAgC,CAAC,UAAU,CAAC;SACjE,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QACnC,MAAM,sBAAsB,GAAoC;YAC/D,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;YACT,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,CAAC;YACP,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE;gBACf,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;gBACX,OAAO,EAAE,CAAC;aACV;SACD,CAAC;QACF,MAAM,gBAAgB,GAAG,GAAG,EAAE,CAC7B,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAC/D,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,mBAAmB;YACjC,OAAO,EAAE,IAAI,qBAAqB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;YACnD,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,GAAG,EAAE,GAAE,CAAC;SAC7B,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAwB,CAAC;QAC9D,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,YAAiC,EAAE,EAAE;YAC7D,wGAAwG;YACxG,iDAAiD;YACjD,2GAA2G;YAC3G,mDAAmD;YACnD;gBACC,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE;oBAC1C,0EAA0E;oBAC1E,oEAAoE;oBACpE,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC;oBACjE,yHAAyH;oBACzH,mDAAmD;oBACnD,YAAY,CAAC,uBAAuB,CAAC,kBAAkB,EAAE,CAAC;iBAC1D;aACD;YACD,YAAY,CAAC,OAAO,GAAG,EAAE,CAAC;YAC1B,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE;gBAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC;qBAClE,QAAoC,CAAC;gBACvC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;gBAC/B,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;aAC/C;QACF,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAA+B,EAAE,EAAE;YACzD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAC/E,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE;gBACvD,eAAe,CAAC,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aAC/E;QACF,CAAC,CAAC,CAAC;QAEH,kBAAkB,CAAC,KAAK,EAAE;YACzB,gBAAgB,EAAE,YAAY;YAC9B,oBAAoB,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE;YAC/C,eAAe,EAAE,CAAC;YAClB,OAAO;YACP,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;YACD,mBAAmB,EAAE,gCAAgC,CAAC,UAAU,CAAC;YACjE,oDAAoD;YACpD,mFAAmF;YACnF,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;SACjB,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,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 { takeAsync } from \"@fluid-private/stochastic-test-utils\";\nimport {\n\tDDSFuzzModel,\n\tDDSFuzzTestState,\n\tcreateDDSFuzzSuite,\n\tDDSFuzzHarnessEvents,\n} from \"@fluid-private/test-dds-utils\";\nimport { TypedEventEmitter } from \"@fluid-internal/client-utils\";\nimport { UpPath, Anchor, Value } from \"../../../core/index.js\";\nimport { TreeContent } from \"../../../shared-tree/index.js\";\nimport {\n\tcursorsFromContextualData,\n\tjsonableTreeFromFieldCursor,\n\ttypeNameSymbol,\n} from \"../../../feature-libraries/index.js\";\nimport { SharedTreeTestFactory, createTestUndoRedoStacks, validateTree } from \"../../utils.js\";\nimport {\n\tmakeOpGenerator,\n\tEditGeneratorOpWeights,\n\tFuzzTestState,\n\tviewFromState,\n} from \"./fuzzEditGenerators.js\";\nimport { fuzzReducer } from \"./fuzzEditReducers.js\";\nimport {\n\tcreateAnchors,\n\tvalidateAnchors,\n\tfuzzNode,\n\tfuzzSchema,\n\tfailureDirectory,\n\tRevertibleSharedTreeView,\n\tdeterministicIdCompressorFactory,\n} from \"./fuzzUtils.js\";\nimport { Operation } from \"./operationTypes.js\";\n\ninterface AnchorFuzzTestState extends FuzzTestState {\n\t// Parallel array to `clients`: set in testStart\n\tanchors?: Map<Anchor, [UpPath, Value]>[];\n}\n\nconst config = {\n\tschema: fuzzSchema,\n\t// Setting the tree to have an initial value is more interesting for this targeted test than if it's empty:\n\t// returning to an empty state is arguably \"easier\" than returning to a non-empty state after some undos.\n\tinitialTree: {\n\t\t[typeNameSymbol]: fuzzNode.name,\n\t\tsequenceChildren: [1, 2, 3],\n\t\trequiredChild: {\n\t\t\t[typeNameSymbol]: fuzzNode.name,\n\t\t\trequiredChild: 0,\n\t\t\toptionalChild: undefined,\n\t\t\tsequenceChildren: [4, 5, 6],\n\t\t},\n\t\toptionalChild: undefined,\n\t},\n} satisfies TreeContent;\n\nconst initialTreeJson = jsonableTreeFromFieldCursor(\n\tcursorsFromContextualData(config, config.schema.rootFieldSchema, config.initialTree),\n);\n\n/**\n * Fuzz tests in this suite are meant to exercise specific code paths or invariants.\n * They should typically use SharedTree's branching APIs to emulate multiple clients concurrently editing the document\n * as that is less computationally expensive and offers greater control over the order of concurrent operations.\n *\n * See the \"Fuzz - Top-Level\" test suite for tests are more general in scope.\n */\ndescribe(\"Fuzz - anchor stability\", () => {\n\tconst opsPerRun = 20;\n\tconst runsPerBatch = 50;\n\tdescribe(\"Anchors are unaffected by aborted transaction\", () => {\n\t\tconst editGeneratorOpWeights: Partial<EditGeneratorOpWeights> = {\n\t\t\tinsert: 1,\n\t\t\tremove: 2,\n\t\t\tmove: 2,\n\t\t\tfieldSelection: {\n\t\t\t\toptional: 1,\n\t\t\t\trequired: 1,\n\t\t\t\tsequence: 2,\n\t\t\t\trecurse: 1,\n\t\t\t},\n\t\t};\n\t\tconst generatorFactory = () =>\n\t\t\ttakeAsync(opsPerRun, makeOpGenerator(editGeneratorOpWeights));\n\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"anchors\",\n\t\t\tfactory: new SharedTreeTestFactory(() => undefined),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: () => {},\n\t\t};\n\n\t\tconst emitter = new TypedEventEmitter<DDSFuzzHarnessEvents>();\n\t\temitter.on(\"testStart\", (initialState: AnchorFuzzTestState) => {\n\t\t\tconst tree = viewFromState(\n\t\t\t\tinitialState,\n\t\t\t\tinitialState.clients[0],\n\t\t\t\tconfig.initialTree,\n\t\t\t).checkout;\n\t\t\ttree.transaction.start();\n\t\t\t// These tests are hard coded to a single client, so this is fine.\n\t\t\tinitialState.anchors = [createAnchors(tree)];\n\t\t});\n\n\t\temitter.on(\"testEnd\", (finalState: AnchorFuzzTestState) => {\n\t\t\tconst anchors = finalState.anchors ?? assert.fail(\"Anchors should be defined\");\n\n\t\t\t// aborts any transactions that may still be in progress\n\t\t\tconst tree = viewFromState(finalState, finalState.clients[0]).checkout;\n\t\t\ttree.transaction.abort();\n\t\t\tvalidateTree(tree, initialTreeJson);\n\t\t\tvalidateAnchors(tree, anchors[0], true);\n\t\t});\n\n\t\tcreateDDSFuzzSuite(model, {\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tnumberOfClients: 1,\n\t\t\temitter,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t\t// AB#5745: Starting a transaction while detached, submitting edits, then attaching hits 0x428.\n\t\t\t// Once this is fixed, this fuzz test could also include working from a detached state if desired.\n\t\t\tdetachedStartOptions: { numOpsBeforeAttach: 0 },\n\t\t\tclientJoinOptions: { maxNumberOfClients: 1, clientAddProbability: 0 },\n\t\t\tidCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),\n\t\t});\n\t});\n\tdescribe(\"Anchors are stable\", () => {\n\t\tconst editGeneratorOpWeights: Partial<EditGeneratorOpWeights> = {\n\t\t\tinsert: 2,\n\t\t\tremove: 2,\n\t\t\tmove: 2,\n\t\t\tundo: 1,\n\t\t\tredo: 1,\n\t\t\tsynchronizeTrees: 1,\n\t\t\tfieldSelection: {\n\t\t\t\toptional: 1,\n\t\t\t\trequired: 1,\n\t\t\t\tsequence: 2,\n\t\t\t\trecurse: 1,\n\t\t\t},\n\t\t};\n\t\tconst generatorFactory = () =>\n\t\t\ttakeAsync(opsPerRun, makeOpGenerator(editGeneratorOpWeights));\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"anchors-undo-redo\",\n\t\t\tfactory: new SharedTreeTestFactory(() => undefined),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: () => {},\n\t\t};\n\n\t\tconst emitter = new TypedEventEmitter<DDSFuzzHarnessEvents>();\n\t\temitter.on(\"testStart\", (initialState: AnchorFuzzTestState) => {\n\t\t\t// Kludge: we force schematization and synchronization here to ensure that the clients all have the same\n\t\t\t// starting tree as opposed to isomorphic copies.\n\t\t\t// If we don't do this, then the anchors created below would be destroyed on all but one client (the client\n\t\t\t// whose schematize wins the synchronization race).\n\t\t\t{\n\t\t\t\tfor (const client of initialState.clients) {\n\t\t\t\t\t// This is a kludge to force the invocation of schematize for each client.\n\t\t\t\t\t// eslint-disable-next-line @typescript-eslint/no-unused-expressions\n\t\t\t\t\tviewFromState(initialState, client, config.initialTree).checkout;\n\t\t\t\t\t// synchronization here (instead of once after this loop) prevents the second client from having to rebase an initialize,\n\t\t\t\t\t// which invalidates its view due to schema change.\n\t\t\t\t\tinitialState.containerRuntimeFactory.processAllMessages();\n\t\t\t\t}\n\t\t\t}\n\t\t\tinitialState.anchors = [];\n\t\t\tfor (const client of initialState.clients) {\n\t\t\t\tconst view = viewFromState(initialState, client, config.initialTree)\n\t\t\t\t\t.checkout as RevertibleSharedTreeView;\n\t\t\t\tconst { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);\n\t\t\t\tview.undoStack = undoStack;\n\t\t\t\tview.redoStack = redoStack;\n\t\t\t\tview.unsubscribe = unsubscribe;\n\t\t\t\tinitialState.anchors.push(createAnchors(view));\n\t\t\t}\n\t\t});\n\n\t\temitter.on(\"testEnd\", (finalState: AnchorFuzzTestState) => {\n\t\t\tconst anchors = finalState.anchors ?? assert.fail(\"Anchors should be defined\");\n\t\t\tfor (const [i, client] of finalState.clients.entries()) {\n\t\t\t\tvalidateAnchors(viewFromState(finalState, client).checkout, anchors[i], false);\n\t\t\t}\n\t\t});\n\n\t\tcreateDDSFuzzSuite(model, {\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tdetachedStartOptions: { numOpsBeforeAttach: 0 },\n\t\t\tnumberOfClients: 2,\n\t\t\temitter,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t\tidCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),\n\t\t\t// TODO: AB#6664 tracks investigating and resolving.\n\t\t\t// These seeds encounter issues in delta application (specifically 0x7ce and 0x7cf)\n\t\t\tskip: [0, 19, 38],\n\t\t});\n\t});\n});\n"]}

package/lib/test/shared-tree/fuzz/composeVsIndividual.fuzz.spec.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=composeVsIndividual.fuzz.spec.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"composeVsIndividual.fuzz.spec.d.ts","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/composeVsIndividual.fuzz.spec.ts"],"names":[],"mappings":""}

package/lib/test/shared-tree/fuzz/composeVsIndividual.fuzz.spec.js

@@ -1,105 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-import { strict as assert } from "assert";
-import { combineReducersAsync, takeAsync, } from "@fluid-private/stochastic-test-utils";
-import { createDDSFuzzSuite, } from "@fluid-private/test-dds-utils";
-import { TypedEventEmitter } from "@fluid-internal/client-utils";
-import { SharedTreeTestFactory, toJsonableTree, validateTree } from "../../utils.js";
-import { makeOpGenerator, viewFromState, } from "./fuzzEditGenerators.js";
-import { applyFieldEdit, applySynchronizationOp, applyUndoRedoEdit } from "./fuzzEditReducers.js";
-import { deterministicIdCompressorFactory, isRevertibleSharedTreeView } from "./fuzzUtils.js";
-const fuzzComposedVsIndividualReducer = combineReducersAsync({
-    edit: async (state, operation) => {
-        const { contents } = operation;
-        switch (contents.type) {
-            case "fieldEdit": {
-                const tree = state.branch;
-                assert(tree !== undefined);
-                applyFieldEdit(tree, contents);
-                break;
-            }
-            default:
-                break;
-        }
-        return state;
-    },
-    transaction: async (state, operation) => {
-        assert.fail("Transactions are simulated manually in these tests and should not be generated.");
-    },
-    undoRedo: async (state, operation) => {
-        const { contents } = operation;
-        const tree = state.main ?? assert.fail();
-        assert(isRevertibleSharedTreeView(tree.checkout));
-        applyUndoRedoEdit(tree.checkout.undoStack, tree.checkout.redoStack, contents);
-        return state;
-    },
-    synchronizeTrees: async (state) => {
-        applySynchronizationOp(state);
-        return state;
-    },
-});
-/**
- * Fuzz tests in this suite are meant to exercise specific code paths or invariants.
- * They should typically use SharedTree's branching APIs to emulate multiple clients concurrently editing the document
- * as that is less computationally expensive and offers greater control over the order of concurrent operations.
- *
- * See the "Fuzz - Top-Level" test suite for tests are more general in scope.
- */
-describe("Fuzz - composed vs individual changes", () => {
-    const opsPerRun = 20;
-    const runsPerBatch = 50;
-    // "start" and "commit" opWeights set to 0 in case there are changes to the default weights.
-    const composeVsIndividualWeights = {
-        insert: 1,
-        remove: 2,
-        move: 2,
-        fieldSelection: {
-            optional: 1,
-            required: 1,
-            sequence: 2,
-            recurse: 1,
-        },
-        start: 0,
-        commit: 0,
-    };
-    describe("converges to the same tree", () => {
-        const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(composeVsIndividualWeights));
-        const model = {
-            workloadName: "SharedTree",
-            factory: new SharedTreeTestFactory(() => { }),
-            generatorFactory,
-            reducer: fuzzComposedVsIndividualReducer,
-            validateConsistency: () => { },
-        };
-        const emitter = new TypedEventEmitter();
-        emitter.on("testStart", (initialState) => {
-            initialState.main = viewFromState(initialState, initialState.clients[0]);
-            initialState.branch = initialState.main.fork();
-            initialState.branch.currentSchema = initialState.main.currentSchema;
-            initialState.branch.checkout.transaction.start();
-        });
-        emitter.on("testEnd", (finalState) => {
-            assert(finalState.branch !== undefined);
-            const childTreeView = toJsonableTree(finalState.branch.checkout);
-            finalState.branch.checkout.transaction.commit();
-            const tree = finalState.main ?? assert.fail();
-            tree.checkout.merge(finalState.branch.checkout);
-            validateTree(tree.checkout, childTreeView);
-        });
-        createDDSFuzzSuite(model, {
-            defaultTestCount: runsPerBatch,
-            numberOfClients: 1,
-            emitter,
-            idCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),
-            detachedStartOptions: {
-                numOpsBeforeAttach: 5,
-                // This test can't use rehydrate as it holds on to the original client instance.
-                // to hook into.
-                rehydrateDisabled: true,
-            },
-        });
-    });
-});
-//# sourceMappingURL=composeVsIndividual.fuzz.spec.js.map

package/lib/test/shared-tree/fuzz/composeVsIndividual.fuzz.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"composeVsIndividual.fuzz.spec.js","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/composeVsIndividual.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAEN,oBAAoB,EACpB,SAAS,GACT,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAGN,kBAAkB,GAElB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACrF,OAAO,EACN,eAAe,EAGf,aAAa,GAGb,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAClG,OAAO,EAAE,gCAAgC,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAW9F,MAAM,+BAA+B,GAAG,oBAAoB,CAAuC;IAClG,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;QAChC,MAAM,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;QAC/B,QAAQ,QAAQ,CAAC,IAAI,EAAE;YACtB,KAAK,WAAW,CAAC,CAAC;gBACjB,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC1B,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;gBAC3B,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC/B,MAAM;aACN;YACD;gBACC,MAAM;SACP;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;QACvC,MAAM,CAAC,IAAI,CACV,iFAAiF,CACjF,CAAC;IACH,CAAC;IACD,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;QACpC,MAAM,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClD,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC9E,OAAO,KAAK,CAAC;IACd,CAAC;IACD,gBAAgB,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QACjC,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAC9B,OAAO,KAAK,CAAC;IACd,CAAC;CACD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACtD,MAAM,SAAS,GAAG,EAAE,CAAC;IACrB,MAAM,YAAY,GAAG,EAAE,CAAC;IAExB,4FAA4F;IAC5F,MAAM,0BAA0B,GAAoC;QACnE,MAAM,EAAE,CAAC;QACT,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,CAAC;QACP,cAAc,EAAE;YACf,QAAQ,EAAE,CAAC;YACX,QAAQ,EAAE,CAAC;YACX,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;SACV;QACD,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,CAAC;KACT,CAAC;IAEF,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC3C,MAAM,gBAAgB,GAAG,GAAyD,EAAE,CACnF,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAEnE,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,YAAY;YAC1B,OAAO,EAAE,IAAI,qBAAqB,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC;YAC5C,gBAAgB;YAChB,OAAO,EAAE,+BAA+B;YACxC,mBAAmB,EAAE,GAAG,EAAE,GAAE,CAAC;SAC7B,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAwB,CAAC;QAC9D,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,YAAuC,EAAE,EAAE;YACnE,YAAY,CAAC,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,YAAY,CAAC,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAyB,CAAC;YACtE,YAAY,CAAC,MAAM,CAAC,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC;YACpE,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAAqC,EAAE,EAAE;YAC/D,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;YACxC,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAChD,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QACH,kBAAkB,CAAC,KAAK,EAAE;YACzB,gBAAgB,EAAE,YAAY;YAC9B,eAAe,EAAE,CAAC;YAClB,OAAO;YACP,mBAAmB,EAAE,gCAAgC,CAAC,UAAU,CAAC;YACjE,oBAAoB,EAAE;gBACrB,kBAAkB,EAAE,CAAC;gBACrB,gFAAgF;gBAChF,gBAAgB;gBAChB,iBAAiB,EAAE,IAAI;aACvB;SACD,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,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\tcombineReducersAsync,\n\ttakeAsync,\n} from \"@fluid-private/stochastic-test-utils\";\nimport {\n\tDDSFuzzModel,\n\tDDSFuzzTestState,\n\tcreateDDSFuzzSuite,\n\tDDSFuzzHarnessEvents,\n} from \"@fluid-private/test-dds-utils\";\nimport { TypedEventEmitter } from \"@fluid-internal/client-utils\";\nimport { SharedTreeTestFactory, toJsonableTree, validateTree } from \"../../utils.js\";\nimport {\n\tmakeOpGenerator,\n\tEditGeneratorOpWeights,\n\tFuzzTestState,\n\tviewFromState,\n\tFuzzView,\n\tFuzzTransactionView,\n} from \"./fuzzEditGenerators.js\";\nimport { applyFieldEdit, applySynchronizationOp, applyUndoRedoEdit } from \"./fuzzEditReducers.js\";\nimport { deterministicIdCompressorFactory, isRevertibleSharedTreeView } from \"./fuzzUtils.js\";\nimport { Operation } from \"./operationTypes.js\";\n\n/**\n * This interface is meant to be used for tests that require you to store a branch of a tree\n */\ninterface BranchedTreeFuzzTestState extends FuzzTestState {\n\tmain?: FuzzView;\n\tbranch?: FuzzTransactionView;\n}\n\nconst fuzzComposedVsIndividualReducer = combineReducersAsync<Operation, BranchedTreeFuzzTestState>({\n\tedit: async (state, operation) => {\n\t\tconst { contents } = operation;\n\t\tswitch (contents.type) {\n\t\t\tcase \"fieldEdit\": {\n\t\t\t\tconst tree = state.branch;\n\t\t\t\tassert(tree !== undefined);\n\t\t\t\tapplyFieldEdit(tree, contents);\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tdefault:\n\t\t\t\tbreak;\n\t\t}\n\t\treturn state;\n\t},\n\ttransaction: async (state, operation) => {\n\t\tassert.fail(\n\t\t\t\"Transactions are simulated manually in these tests and should not be generated.\",\n\t\t);\n\t},\n\tundoRedo: async (state, operation) => {\n\t\tconst { contents } = operation;\n\t\tconst tree = state.main ?? assert.fail();\n\t\tassert(isRevertibleSharedTreeView(tree.checkout));\n\t\tapplyUndoRedoEdit(tree.checkout.undoStack, tree.checkout.redoStack, contents);\n\t\treturn state;\n\t},\n\tsynchronizeTrees: async (state) => {\n\t\tapplySynchronizationOp(state);\n\t\treturn state;\n\t},\n});\n\n/**\n * Fuzz tests in this suite are meant to exercise specific code paths or invariants.\n * They should typically use SharedTree's branching APIs to emulate multiple clients concurrently editing the document\n * as that is less computationally expensive and offers greater control over the order of concurrent operations.\n *\n * See the \"Fuzz - Top-Level\" test suite for tests are more general in scope.\n */\ndescribe(\"Fuzz - composed vs individual changes\", () => {\n\tconst opsPerRun = 20;\n\tconst runsPerBatch = 50;\n\n\t// \"start\" and \"commit\" opWeights set to 0 in case there are changes to the default weights.\n\tconst composeVsIndividualWeights: Partial<EditGeneratorOpWeights> = {\n\t\tinsert: 1,\n\t\tremove: 2,\n\t\tmove: 2,\n\t\tfieldSelection: {\n\t\t\toptional: 1,\n\t\t\trequired: 1,\n\t\t\tsequence: 2,\n\t\t\trecurse: 1,\n\t\t},\n\t\tstart: 0,\n\t\tcommit: 0,\n\t};\n\n\tdescribe(\"converges to the same tree\", () => {\n\t\tconst generatorFactory = (): AsyncGenerator<Operation, BranchedTreeFuzzTestState> =>\n\t\t\ttakeAsync(opsPerRun, makeOpGenerator(composeVsIndividualWeights));\n\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"SharedTree\",\n\t\t\tfactory: new SharedTreeTestFactory(() => {}),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzComposedVsIndividualReducer,\n\t\t\tvalidateConsistency: () => {},\n\t\t};\n\t\tconst emitter = new TypedEventEmitter<DDSFuzzHarnessEvents>();\n\t\temitter.on(\"testStart\", (initialState: BranchedTreeFuzzTestState) => {\n\t\t\tinitialState.main = viewFromState(initialState, initialState.clients[0]);\n\t\t\tinitialState.branch = initialState.main.fork() as FuzzTransactionView;\n\t\t\tinitialState.branch.currentSchema = initialState.main.currentSchema;\n\t\t\tinitialState.branch.checkout.transaction.start();\n\t\t});\n\t\temitter.on(\"testEnd\", (finalState: BranchedTreeFuzzTestState) => {\n\t\t\tassert(finalState.branch !== undefined);\n\t\t\tconst childTreeView = toJsonableTree(finalState.branch.checkout);\n\t\t\tfinalState.branch.checkout.transaction.commit();\n\t\t\tconst tree = finalState.main ?? assert.fail();\n\t\t\ttree.checkout.merge(finalState.branch.checkout);\n\t\t\tvalidateTree(tree.checkout, childTreeView);\n\t\t});\n\t\tcreateDDSFuzzSuite(model, {\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tnumberOfClients: 1,\n\t\t\temitter,\n\t\t\tidCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),\n\t\t\tdetachedStartOptions: {\n\t\t\t\tnumOpsBeforeAttach: 5,\n\t\t\t\t// This test can't use rehydrate as it holds on to the original client instance.\n\t\t\t\t// to hook into.\n\t\t\t\trehydrateDisabled: true,\n\t\t\t},\n\t\t});\n\t});\n});\n"]}

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

@@ -1,127 +0,0 @@
-import { AsyncGenerator, Generator } from "@fluid-private/stochastic-test-utils";
-import { Client, DDSFuzzTestState } from "@fluid-private/test-dds-utils";
-import { FlexTreeView, SharedTreeFactory, TreeContent, ITreeViewFork, SharedTree, ISharedTree } from "../../../shared-tree/index.js";
-import { FieldKey, FieldUpPath } from "../../../core/index.js";
-import { Operation, TransactionBoundary, TreeEdit, UndoRedo } from "./operationTypes.js";
-import { FuzzNode, FuzzNodeSchema, fuzzSchema } from "./fuzzUtils.js";
-export type FuzzView = FlexTreeView<typeof fuzzSchema.rootFieldSchema> & {
-    /**
-     * This client's current stored schema, which dictates allowable edits that the client may perform.
-     * @remarks - The type of this field isn't totally correct, since the supported schema for fuzz nodes changes
-     * at runtime to support different primitives (this allows fuzz testing of schema changes).
-     * However, fuzz schemas always have the same field names, so schema-dependent
-     * APIs such as the tree reading API will work correctly anyway.
-     *
-     * TODO: The schema for each client should be properly updated if "afterSchemaChange" (or equivalent event) occurs
-     * once schema ops are supported.
-     */
-    currentSchema: FuzzNodeSchema;
-};
-export type FuzzTransactionView = ITreeViewFork<typeof fuzzSchema.rootFieldSchema> & {
-    /**
-     * This client's current stored schema, which dictates allowable edits that the client may perform.
-     * @remarks - The type of this field isn't totally correct, since the supported schema for fuzz nodes changes
-     * at runtime to support different primitives (this allows fuzz testing of schema changes).
-     * However, fuzz schemas always have the same field names, so schema-dependent
-     * APIs such as the tree reading API will work correctly anyway.
-     *
-     * TODO: The schema for each client should be properly updated if "afterSchemaChange" (or equivalent event) occurs
-     * once schema ops are supported.
-     */
-    currentSchema: FuzzNodeSchema;
-};
-export interface FuzzTestState extends DDSFuzzTestState<SharedTreeFactory> {
-    /**
-     * Schematized view of clients and their nodeSchemas. Created lazily by viewFromState.
-     *
-     * SharedTrees undergoing a transaction will have a forked view in {@link transactionViews} instead,
-     * which should be used in place of this view until the transaction is complete.
-     */
-    view?: Map<SharedTree, FuzzView>;
-    /**
-     * Schematized view of clients undergoing transactions with their nodeSchemas.
-     * Edits to this view are not visible to other clients until the transaction is closed.
-     *
-     * Maintaining a separate view here is necessary since async transactions are not supported on the root checkout,
-     * and the fuzz testing model only simulates async transactions.
-     */
-    transactionViews?: Map<ISharedTree, FuzzTransactionView>;
-}
-export declare function viewFromState(state: FuzzTestState, client?: Client<SharedTreeFactory>, initialTree?: TreeContent<typeof fuzzSchema.rootFieldSchema>["initialTree"]): FuzzView;
-/**
- * When performing an operation, a random field must be selected. Rather than enumerate all fields of the tree, this is
- * performed recursively starting at the root field.
- *
- * When a field needs to be selected, the fuzz test generator walks down the tree from the root field, randomly selecting
- * one of the below options. If the selected option is not valid (e.g. the field is empty and the generator is trying to
- * select a node to remove), field selection will automatically re-sample excluding this option.
- *
- * Each weight is used throughout the field selection process.
- *
- * @remarks
- * Allowing more than just numbers here could be interesting. E.g. `(depth: number) => number` to allow biasing away from
- * changing the root field for more interesting merge outcomes. The `filter` parameter can already accomplish this, but is
- * a bit less efficient in doing so (it'd need to walk to the root repeatedly to compute depth)
- */
-export interface FieldSelectionWeights {
-    /**
-     * Select the current Fuzz node's "optionalChild" field
-     */
-    optional: number;
-    /**
-     * Select the current Fuzz node's "requiredChild" field
-     */
-    required: number;
-    /**
-     * Select the current Fuzz node's "sequenceChild" field
-     */
-    sequence: number;
-    /**
-     * Select a direct child of the current Fuzz node, uniformly at random
-     */
-    recurse: number;
-    /**
-     * Whether the selected field is acceptable for use.
-     *
-     * @remarks - This can be helpful for restricting tests to only use certain types of fields
-     */
-    filter?: FieldFilter;
-}
-export interface EditGeneratorOpWeights {
-    insert: number;
-    remove: number;
-    start: number;
-    commit: number;
-    abort: number;
-    undo: number;
-    redo: number;
-    move: number;
-    fieldSelection: FieldSelectionWeights;
-    synchronizeTrees: number;
-}
-export interface EditGeneratorOptions {
-    weights: Partial<EditGeneratorOpWeights>;
-    maxRemoveCount: number;
-}
-export declare const makeEditGenerator: (opWeightsArg: Partial<EditGeneratorOpWeights>) => Generator<TreeEdit, FuzzTestState>;
-export declare const makeTransactionEditGenerator: (opWeights: Partial<EditGeneratorOpWeights>) => Generator<TransactionBoundary, FuzzTestState>;
-export declare const makeUndoRedoEditGenerator: (opWeights: Partial<EditGeneratorOpWeights>) => Generator<UndoRedo, FuzzTestState>;
-export declare function makeOpGenerator(weightsArg?: Partial<EditGeneratorOpWeights>): AsyncGenerator<Operation, DDSFuzzTestState<SharedTreeFactory>>;
-export interface FieldPathWithCount {
-    fieldPath: FieldUpPath;
-    fieldKey: FieldKey;
-    count: number;
-}
-type FuzzField = {
-    type: "optional";
-    content: FuzzNode["boxedOptionalChild"];
-} | {
-    type: "sequence";
-    content: FuzzNode["boxedSequenceChildren"];
-} | {
-    type: "required";
-    content: FuzzNode["boxedRequiredChild"];
-};
-type FieldFilter = (field: FuzzField) => boolean;
-export {};
-//# sourceMappingURL=fuzzEditGenerators.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"fuzzEditGenerators.d.ts","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/fuzzEditGenerators.ts"],"names":[],"mappings":"AAKA,OAAO,EACN,cAAc,EACd,SAAS,EAMT,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EACN,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,UAAU,EACV,WAAW,EACX,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAEN,QAAQ,EACR,WAAW,EAGX,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAMN,SAAS,EAIT,mBAAmB,EAGnB,QAAQ,EAER,QAAQ,EACR,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAY,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEhF,MAAM,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,UAAU,CAAC,eAAe,CAAC,GAAG;IACxE;;;;;;;;;OASG;IACH,aAAa,EAAE,cAAc,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG,aAAa,CAAC,OAAO,UAAU,CAAC,eAAe,CAAC,GAAG;IACpF;;;;;;;;;OASG;IACH,aAAa,EAAE,cAAc,CAAC;CAC9B,CAAC;AAEF,MAAM,WAAW,aAAc,SAAQ,gBAAgB,CAAC,iBAAiB,CAAC;IACzE;;;;;OAKG;IACH,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjC;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;CACzD;AAED,wBAAgB,aAAa,CAC5B,KAAK,EAAE,aAAa,EACpB,MAAM,GAAE,MAAM,CAAC,iBAAiB,CAAgB,EAChD,WAAW,GAAE,WAAW,CAAC,OAAO,UAAU,CAAC,eAAe,CAAC,CAAC,aAAa,CAAa,GACpF,QAAQ,CAoBV;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,qBAAqB;IACrC;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB;;OAEG;IACH,OAAO,EAAE,MAAM,CAAC;IAEhB;;;;OAIG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;CACrB;AAUD,MAAM,WAAW,sBAAsB;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IAGb,cAAc,EAAE,qBAAqB,CAAC;IACtC,gBAAgB,EAAE,MAAM,CAAC;CACzB;AAcD,MAAM,WAAW,oBAAoB;IACpC,OAAO,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACzC,cAAc,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,iBAAiB,iBACf,QAAQ,sBAAsB,CAAC,KAC3C,UAAU,QAAQ,EAAE,aAAa,CAuNnC,CAAC;AAEF,eAAO,MAAM,4BAA4B,cAC7B,QAAQ,sBAAsB,CAAC,KACxC,UAAU,mBAAmB,EAAE,aAAa,CAiC9C,CAAC;AAEF,eAAO,MAAM,yBAAyB,cAC1B,QAAQ,sBAAsB,CAAC,KACxC,UAAU,QAAQ,EAAE,aAAa,CAsBnC,CAAC;AAEF,wBAAgB,eAAe,CAC9B,UAAU,GAAE,OAAO,CAAC,sBAAsB,CAAiC,GACzE,cAAc,CAAC,SAAS,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CA8BhE;AAYD,MAAM,WAAW,kBAAkB;IAClC,SAAS,EAAE,WAAW,CAAC;IACvB,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACd;AAoBD,KAAK,SAAS,GACX;IACA,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;CACvC,GACD;IACA,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,QAAQ,CAAC,uBAAuB,CAAC,CAAC;CAC1C,GACD;IACA,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;CACvC,CAAC;AAEL,KAAK,WAAW,GAAG,CAAC,KAAK,EAAE,SAAS,KAAK,OAAO,CAAC"}