@fluid-experimental/tree 0.58.2001 → 0.59.2000-61729

package/lib/test/fuzz/SharedTreeFuzzTests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SharedTreeFuzzTests.d.ts","sourceRoot":"","sources":["../../../src/test/fuzz/SharedTreeFuzzTests.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAWH,OAAO,EAAE,aAAa,EAA8B,cAAc,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAS/F;;;;;;;GAOG;AACH,wBAAsB,kBAAkB,CACvC,SAAS,EAAE,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,EAC/C,IAAI,EAAE,MAAM,EACZ,gBAAgB,GAAE,OAAc,EAChC,QAAQ,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACtE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CA8GlC;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAkI1D"}

package/lib/test/fuzz/SharedTreeFuzzTests.js

@@ -0,0 +1,217 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { promises as fs, existsSync, mkdirSync } from 'fs';
+import { join } from 'path';
+import Prando from 'prando';
+import { expect } from 'chai';
+import { setUpLocalServerTestSharedTree, testDocumentsPathBase } from '../utilities/TestUtilities';
+import { WriteFormat } from '../../persisted-types';
+import { fail } from '../../Common';
+import { areRevisionViewsSemanticallyEqual } from '../../EditUtilities';
+import { done } from './Types';
+import { chain, makeOpGenerator, take } from './Generators';
+const directory = join(testDocumentsPathBase, 'fuzz-tests');
+// TODO: Kludge: Use this to change the seed such that the tests avoid hitting bugs in the Fluid Framework.
+// Should be removed once fuzz tests pass reliably with any seed.
+const adjustSeed = 2;
+/**
+ * Performs random actions on a set of clients.
+ * @param generator finite generator for a sequence of Operations to test. The test will run until this generator is exhausted.
+ * @param seed the seed for the random generation of the fuzz actions
+ * @param synchronizeAtEnd if provided, all client will have all operations delivered from the server at the end of the test
+ * @param saveInfo optionally provide an operation number at which a history of all operations will be saved to disk at a given filepath.
+ * This can be useful for debugging why a fuzz test may have failed.
+ */
+export async function performFuzzActions(generator, seed, synchronizeAtEnd = true, saveInfo) {
+    var _a;
+    const rand = new Prando(seed);
+    // Note: the direct fields of `state` aren't mutated, but it is mutated transitively.
+    const state = { rand, passiveCollaborators: [], activeCollaborators: [] };
+    const { activeCollaborators, passiveCollaborators } = state;
+    const operations = [];
+    for (let operation = await generator(state, undefined); operation !== done; operation = await generator(state, undefined)) {
+        operations.push(operation);
+        if (saveInfo !== undefined && operations.length === saveInfo.saveAt) {
+            await fs.writeFile(saveInfo.filepath, JSON.stringify(operations));
+        }
+        try {
+            switch (operation.type) {
+                case 'edit': {
+                    const { index, contents } = operation;
+                    const { tree } = activeCollaborators[index];
+                    switch (contents.fuzzType) {
+                        case 'insert':
+                            tree.applyEdit(contents.build, contents.insert);
+                            break;
+                        case 'delete':
+                            tree.applyEdit(contents);
+                            break;
+                        case 'move':
+                            tree.applyEdit(contents.detach, contents.insert);
+                            break;
+                        case 'setPayload':
+                            tree.applyEdit(contents);
+                            break;
+                        default:
+                            fail('Invalid edit.');
+                            break;
+                    }
+                    break;
+                }
+                case 'join': {
+                    const { isObserver, summarizeHistory, writeFormat } = operation;
+                    const { container, tree, testObjectProvider } = await setUpLocalServerTestSharedTree({
+                        writeFormat,
+                        summarizeHistory,
+                        testObjectProvider: state.testObjectProvider,
+                    });
+                    if (state.testObjectProvider === undefined) {
+                        state.testObjectProvider = testObjectProvider;
+                    }
+                    (isObserver ? passiveCollaborators : activeCollaborators).push({ container, tree });
+                    break;
+                }
+                case 'leave': {
+                    const { index, isObserver } = operation;
+                    const treeList = isObserver ? passiveCollaborators : activeCollaborators;
+                    treeList[index].container.close();
+                    treeList.splice(index, 1);
+                    break;
+                }
+                case 'synchronize': {
+                    const { testObjectProvider } = state;
+                    if (testObjectProvider === undefined) {
+                        fail('Attempted to synchronize with undefined testObjectProvider');
+                    }
+                    await testObjectProvider.ensureSynchronized();
+                    const trees = [...state.activeCollaborators, ...state.passiveCollaborators];
+                    if (trees.length > 1) {
+                        const first = trees[0].tree;
+                        for (let i = 1; i < trees.length; i++) {
+                            const tree = trees[i].tree;
+                            const editLogA = first.editsInternal;
+                            const editLogB = tree.editsInternal;
+                            const minEdits = Math.min(editLogA.length, editLogB.length);
+                            for (let j = 0; j < minEdits - 1; j++) {
+                                const editA = await editLogA.getEditAtIndex(editLogA.length - j - 1);
+                                const editB = await editLogB.getEditAtIndex(editLogB.length - j - 1);
+                                expect(editA.id).to.equal(editB.id);
+                            }
+                            expect(areRevisionViewsSemanticallyEqual(tree.currentView, tree, first.currentView, first))
+                                .to.be.true;
+                        }
+                    }
+                    break;
+                }
+                default:
+                    throw new Error('Unknown operation.');
+            }
+        }
+        catch (err) {
+            console.log(`Error encountered on operation number ${operations.length}`);
+            if (saveInfo !== undefined && saveInfo.saveOnFailure) {
+                await fs.writeFile(saveInfo.filepath, JSON.stringify(operations));
+            }
+            throw err;
+        }
+    }
+    if (synchronizeAtEnd) {
+        await ((_a = state.testObjectProvider) === null || _a === void 0 ? void 0 : _a.ensureSynchronized());
+        const trees = [...activeCollaborators.map(({ tree }) => tree), ...passiveCollaborators.map(({ tree }) => tree)];
+        for (let i = 0; i < trees.length - 1; i++) {
+            expect(trees[i].equals(trees[i + 1]));
+        }
+    }
+    return state;
+}
+export function runSharedTreeFuzzTests(title) {
+    // Some useful tips for debugging fuzz tests:
+    // - A JSON dump of the operation sequence can be written to disk by passing `true` for `saveOnFailure`.
+    // - Different shared-tree instances can be distinguished (e.g. in logs) by using `tree.getRuntime().clientId`
+    describe(title, () => {
+        function runTest(generatorFactory, seed, saveOnFailure) {
+            it(`with seed ${seed}`, async () => {
+                const saveInfo = saveOnFailure !== undefined
+                    ? { filepath: join(directory, `test-history-${seed}.json`), saveOnFailure }
+                    : undefined;
+                if (saveInfo !== undefined && !existsSync(directory)) {
+                    mkdirSync(directory);
+                }
+                await performFuzzActions(generatorFactory(), seed + adjustSeed, true, saveInfo);
+            }).timeout(10000);
+        }
+        function runMixedVersionTests(summarizeHistory, testsPerSuite) {
+            describe('using 0.0.2 and 0.1.1 trees', () => {
+                for (let seed = 0; seed < testsPerSuite; seed++) {
+                    runTest(() => take(1000, makeOpGenerator({ joinConfig: { summarizeHistory: [summarizeHistory] } })), seed);
+                }
+            });
+            describe('using only version 0.0.2', () => {
+                for (let seed = 0; seed < testsPerSuite; seed++) {
+                    runTest(() => take(1000, makeOpGenerator({
+                        joinConfig: {
+                            writeFormat: [WriteFormat.v0_0_2],
+                            summarizeHistory: [summarizeHistory],
+                        },
+                    })), seed);
+                }
+            });
+            describe('using only version 0.1.1', () => {
+                for (let seed = 0; seed < testsPerSuite; seed++) {
+                    runTest(() => take(1000, makeOpGenerator({
+                        joinConfig: {
+                            writeFormat: [WriteFormat.v0_1_1],
+                            summarizeHistory: [summarizeHistory],
+                        },
+                    })), seed);
+                }
+            });
+            describe('upgrading halfway through', () => {
+                const testLength = 500;
+                const maximumActiveCollaborators = 10;
+                const maximumPassiveCollaborators = 5;
+                const editConfig = { maxTreeSize: 1000 };
+                const generatorFactory = () => chain(take(testLength / 2 - 1, makeOpGenerator({
+                    editConfig,
+                    joinConfig: {
+                        maximumActiveCollaborators,
+                        maximumPassiveCollaborators,
+                        writeFormat: [WriteFormat.v0_0_2],
+                        summarizeHistory: [summarizeHistory],
+                    },
+                })), take(1, makeOpGenerator({
+                    joinConfig: {
+                        maximumActiveCollaborators: maximumActiveCollaborators + 1,
+                        maximumPassiveCollaborators,
+                        writeFormat: [WriteFormat.v0_1_1],
+                        summarizeHistory: [summarizeHistory],
+                    },
+                    editWeight: 0,
+                    joinWeight: 1,
+                    leaveWeight: 0,
+                    synchronizeWeight: 0,
+                })), take(testLength / 2, makeOpGenerator({
+                    editConfig,
+                    joinConfig: {
+                        maximumActiveCollaborators,
+                        maximumPassiveCollaborators,
+                        summarizeHistory: [summarizeHistory],
+                    },
+                })));
+                for (let seed = 0; seed < testsPerSuite; seed++) {
+                    runTest(generatorFactory, seed);
+                }
+            });
+        }
+        const testCount = 1;
+        describe('with no-history summarization', () => {
+            runMixedVersionTests(false, testCount);
+        });
+        describe('with history summarization', () => {
+            runMixedVersionTests(true, testCount);
+        });
+    });
+}
+//# sourceMappingURL=SharedTreeFuzzTests.js.map

package/lib/test/fuzz/SharedTreeFuzzTests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SharedTreeFuzzTests.js","sourceRoot":"","sources":["../../../src/test/fuzz/SharedTreeFuzzTests.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,MAAM,MAAM,QAAQ,CAAC;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,8BAA8B,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAkB,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,iCAAiC,EAAE,MAAM,qBAAqB,CAAC;AAExE,OAAO,EAAiB,IAAI,EAAmD,MAAM,SAAS,CAAC;AAC/F,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAE5D,MAAM,SAAS,GAAG,IAAI,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;AAE5D,2GAA2G;AAC3G,iEAAiE;AACjE,MAAM,UAAU,GAAG,CAAC,CAAC;AAErB;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACvC,SAA+C,EAC/C,IAAY,EACZ,mBAA4B,IAAI,EAChC,QAAwE;;IAExE,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;IAE9B,qFAAqF;IACrF,MAAM,KAAK,GAAkB,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IACzF,MAAM,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,GAAG,KAAK,CAAC;IAC5D,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KACC,IAAI,SAAS,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,EACjD,SAAS,KAAK,IAAI,EAClB,SAAS,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,EAC5C;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE;YACpE,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;SAClE;QAED,IAAI;YACH,QAAQ,SAAS,CAAC,IAAI,EAAE;gBACvB,KAAK,MAAM,CAAC,CAAC;oBACZ,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;oBACtC,MAAM,EAAE,IAAI,EAAE,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;oBAC5C,QAAQ,QAAQ,CAAC,QAAQ,EAAE;wBAC1B,KAAK,QAAQ;4BACZ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;4BAChD,MAAM;wBAEP,KAAK,QAAQ;4BACZ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;4BACzB,MAAM;wBAEP,KAAK,MAAM;4BACV,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;4BACjD,MAAM;wBAEP,KAAK,YAAY;4BAChB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;4BACzB,MAAM;wBACP;4BACC,IAAI,CAAC,eAAe,CAAC,CAAC;4BACtB,MAAM;qBACP;oBACD,MAAM;iBACN;gBACD,KAAK,MAAM,CAAC,CAAC;oBACZ,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;oBAChE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,MAAM,8BAA8B,CAAC;wBACpF,WAAW;wBACX,gBAAgB;wBAChB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;qBAC5C,CAAC,CAAC;oBACH,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,EAAE;wBAC3C,KAAK,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;qBAC9C;oBACD,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;oBACpF,MAAM;iBACN;gBACD,KAAK,OAAO,CAAC,CAAC;oBACb,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC;oBACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC;oBACzE,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;oBAClC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAC1B,MAAM;iBACN;gBACD,KAAK,aAAa,CAAC,CAAC;oBACnB,MAAM,EAAE,kBAAkB,EAAE,GAAG,KAAK,CAAC;oBACrC,IAAI,kBAAkB,KAAK,SAAS,EAAE;wBACrC,IAAI,CAAC,4DAA4D,CAAC,CAAC;qBACnE;oBACD,MAAM,kBAAkB,CAAC,kBAAkB,EAAE,CAAC;oBAC9C,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,EAAE,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC;oBAC5E,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;wBACrB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;wBAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;4BACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;4BAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAwC,CAAC;4BAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAwC,CAAC;4BAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;4BAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gCACtC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gCACrE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gCACrE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;6BACpC;4BACD,MAAM,CAAC,iCAAiC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;iCACzF,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;yBACb;qBACD;oBACD,MAAM;iBACN;gBACD;oBACC,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;aACvC;SACD;QAAC,OAAO,GAAG,EAAE;YACb,OAAO,CAAC,GAAG,CAAC,yCAAyC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1E,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,aAAa,EAAE;gBACrD,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;aAClE;YACD,MAAM,GAAG,CAAC;SACV;KACD;IAED,IAAI,gBAAgB,EAAE;QACrB,aAAM,KAAK,CAAC,kBAAkB,0CAAE,kBAAkB,GAAE,CAAC;QACrD,MAAM,KAAK,GAAG,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACtC;KACD;IAED,OAAO,KAAgC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAa;IACnD,6CAA6C;IAC7C,wGAAwG;IACxG,8GAA8G;IAC9G,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;QACpB,SAAS,OAAO,CACf,gBAA4D,EAC5D,IAAY,EACZ,aAAuB;YAEvB,EAAE,CAAC,aAAa,IAAI,EAAE,EAAE,KAAK,IAAI,EAAE;gBAClC,MAAM,QAAQ,GACb,aAAa,KAAK,SAAS;oBAC1B,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,gBAAgB,IAAI,OAAO,CAAC,EAAE,aAAa,EAAE;oBAC3E,CAAC,CAAC,SAAS,CAAC;gBACd,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE;oBACrD,SAAS,CAAC,SAAS,CAAC,CAAC;iBACrB;gBACD,MAAM,kBAAkB,CAAC,gBAAgB,EAAE,EAAE,IAAI,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,SAAS,oBAAoB,CAAC,gBAAyB,EAAE,aAAqB;YAC7E,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;gBAC5C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,EAAE;oBAChD,OAAO,CACN,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,UAAU,EAAE,EAAE,gBAAgB,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC,CAAC,EAC3F,IAAI,CACJ,CAAC;iBACF;YACF,CAAC,CAAC,CAAC;YAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;gBACzC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,EAAE;oBAChD,OAAO,CACN,GAAG,EAAE,CACJ,IAAI,CACH,IAAI,EACJ,eAAe,CAAC;wBACf,UAAU,EAAE;4BACX,WAAW,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;4BACjC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;yBACpC;qBACD,CAAC,CACF,EACF,IAAI,CACJ,CAAC;iBACF;YACF,CAAC,CAAC,CAAC;YAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;gBACzC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,EAAE;oBAChD,OAAO,CACN,GAAG,EAAE,CACJ,IAAI,CACH,IAAI,EACJ,eAAe,CAAC;wBACf,UAAU,EAAE;4BACX,WAAW,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;4BACjC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;yBACpC;qBACD,CAAC,CACF,EACF,IAAI,CACJ,CAAC;iBACF;YACF,CAAC,CAAC,CAAC;YAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;gBAC1C,MAAM,UAAU,GAAG,GAAG,CAAC;gBACvB,MAAM,0BAA0B,GAAG,EAAE,CAAC;gBACtC,MAAM,2BAA2B,GAAG,CAAC,CAAC;gBACtC,MAAM,UAAU,GAAyB,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;gBAC/D,MAAM,gBAAgB,GAAG,GAAG,EAAE,CAC7B,KAAK,CACJ,IAAI,CACH,UAAU,GAAG,CAAC,GAAG,CAAC,EAClB,eAAe,CAAC;oBACf,UAAU;oBACV,UAAU,EAAE;wBACX,0BAA0B;wBAC1B,2BAA2B;wBAC3B,WAAW,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;wBACjC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;qBACpC;iBACD,CAAC,CACF,EACD,IAAI,CACH,CAAC,EACD,eAAe,CAAC;oBACf,UAAU,EAAE;wBACX,0BAA0B,EAAE,0BAA0B,GAAG,CAAC;wBAC1D,2BAA2B;wBAC3B,WAAW,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;wBACjC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;qBACpC;oBACD,UAAU,EAAE,CAAC;oBACb,UAAU,EAAE,CAAC;oBACb,WAAW,EAAE,CAAC;oBACd,iBAAiB,EAAE,CAAC;iBACpB,CAAC,CACF,EACD,IAAI,CACH,UAAU,GAAG,CAAC,EACd,eAAe,CAAC;oBACf,UAAU;oBACV,UAAU,EAAE;wBACX,0BAA0B;wBAC1B,2BAA2B;wBAC3B,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;qBACpC;iBACD,CAAC,CACF,CACD,CAAC;gBAEH,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,EAAE;oBAChD,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;iBAChC;YACF,CAAC,CAAC,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,CAAC,CAAC;QACpB,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;YAC9C,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;YAC3C,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;AACJ,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { promises as fs, existsSync, mkdirSync } from 'fs';\nimport { join } from 'path';\nimport Prando from 'prando';\nimport { expect } from 'chai';\nimport { setUpLocalServerTestSharedTree, testDocumentsPathBase } from '../utilities/TestUtilities';\nimport { ChangeInternal, WriteFormat } from '../../persisted-types';\nimport { fail } from '../../Common';\nimport { areRevisionViewsSemanticallyEqual } from '../../EditUtilities';\nimport { EditLog } from '../../EditLog';\nimport { FuzzTestState, done, EditGenerationConfig, AsyncGenerator, Operation } from './Types';\nimport { chain, makeOpGenerator, take } from './Generators';\n\nconst directory = join(testDocumentsPathBase, 'fuzz-tests');\n\n// TODO: Kludge: Use this to change the seed such that the tests avoid hitting bugs in the Fluid Framework.\n// Should be removed once fuzz tests pass reliably with any seed.\nconst adjustSeed = 2;\n\n/**\n * Performs random actions on a set of clients.\n * @param generator finite generator for a sequence of Operations to test. The test will run until this generator is exhausted.\n * @param seed the seed for the random generation of the fuzz actions\n * @param synchronizeAtEnd if provided, all client will have all operations delivered from the server at the end of the test\n * @param saveInfo optionally provide an operation number at which a history of all operations will be saved to disk at a given filepath.\n * This can be useful for debugging why a fuzz test may have failed.\n */\nexport async function performFuzzActions(\n\tgenerator: AsyncGenerator<Operation, undefined>,\n\tseed: number,\n\tsynchronizeAtEnd: boolean = true,\n\tsaveInfo?: { saveAt?: number; saveOnFailure: boolean; filepath: string }\n): Promise<Required<FuzzTestState>> {\n\tconst rand = new Prando(seed);\n\n\t// Note: the direct fields of `state` aren't mutated, but it is mutated transitively.\n\tconst state: FuzzTestState = { rand, passiveCollaborators: [], activeCollaborators: [] };\n\tconst { activeCollaborators, passiveCollaborators } = state;\n\tconst operations: Operation[] = [];\n\tfor (\n\t\tlet operation = await generator(state, undefined);\n\t\toperation !== done;\n\t\toperation = await generator(state, undefined)\n\t) {\n\t\toperations.push(operation);\n\t\tif (saveInfo !== undefined && operations.length === saveInfo.saveAt) {\n\t\t\tawait fs.writeFile(saveInfo.filepath, JSON.stringify(operations));\n\t\t}\n\n\t\ttry {\n\t\t\tswitch (operation.type) {\n\t\t\t\tcase 'edit': {\n\t\t\t\t\tconst { index, contents } = operation;\n\t\t\t\t\tconst { tree } = activeCollaborators[index];\n\t\t\t\t\tswitch (contents.fuzzType) {\n\t\t\t\t\t\tcase 'insert':\n\t\t\t\t\t\t\ttree.applyEdit(contents.build, contents.insert);\n\t\t\t\t\t\t\tbreak;\n\n\t\t\t\t\t\tcase 'delete':\n\t\t\t\t\t\t\ttree.applyEdit(contents);\n\t\t\t\t\t\t\tbreak;\n\n\t\t\t\t\t\tcase 'move':\n\t\t\t\t\t\t\ttree.applyEdit(contents.detach, contents.insert);\n\t\t\t\t\t\t\tbreak;\n\n\t\t\t\t\t\tcase 'setPayload':\n\t\t\t\t\t\t\ttree.applyEdit(contents);\n\t\t\t\t\t\t\tbreak;\n\t\t\t\t\t\tdefault:\n\t\t\t\t\t\t\tfail('Invalid edit.');\n\t\t\t\t\t\t\tbreak;\n\t\t\t\t\t}\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tcase 'join': {\n\t\t\t\t\tconst { isObserver, summarizeHistory, writeFormat } = operation;\n\t\t\t\t\tconst { container, tree, testObjectProvider } = await setUpLocalServerTestSharedTree({\n\t\t\t\t\t\twriteFormat,\n\t\t\t\t\t\tsummarizeHistory,\n\t\t\t\t\t\ttestObjectProvider: state.testObjectProvider,\n\t\t\t\t\t});\n\t\t\t\t\tif (state.testObjectProvider === undefined) {\n\t\t\t\t\t\tstate.testObjectProvider = testObjectProvider;\n\t\t\t\t\t}\n\t\t\t\t\t(isObserver ? passiveCollaborators : activeCollaborators).push({ container, tree });\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tcase 'leave': {\n\t\t\t\t\tconst { index, isObserver } = operation;\n\t\t\t\t\tconst treeList = isObserver ? passiveCollaborators : activeCollaborators;\n\t\t\t\t\ttreeList[index].container.close();\n\t\t\t\t\ttreeList.splice(index, 1);\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tcase 'synchronize': {\n\t\t\t\t\tconst { testObjectProvider } = state;\n\t\t\t\t\tif (testObjectProvider === undefined) {\n\t\t\t\t\t\tfail('Attempted to synchronize with undefined testObjectProvider');\n\t\t\t\t\t}\n\t\t\t\t\tawait testObjectProvider.ensureSynchronized();\n\t\t\t\t\tconst trees = [...state.activeCollaborators, ...state.passiveCollaborators];\n\t\t\t\t\tif (trees.length > 1) {\n\t\t\t\t\t\tconst first = trees[0].tree;\n\t\t\t\t\t\tfor (let i = 1; i < trees.length; i++) {\n\t\t\t\t\t\t\tconst tree = trees[i].tree;\n\t\t\t\t\t\t\tconst editLogA = first.editsInternal as EditLog<ChangeInternal>;\n\t\t\t\t\t\t\tconst editLogB = tree.editsInternal as EditLog<ChangeInternal>;\n\t\t\t\t\t\t\tconst minEdits = Math.min(editLogA.length, editLogB.length);\n\t\t\t\t\t\t\tfor (let j = 0; j < minEdits - 1; j++) {\n\t\t\t\t\t\t\t\tconst editA = await editLogA.getEditAtIndex(editLogA.length - j - 1);\n\t\t\t\t\t\t\t\tconst editB = await editLogB.getEditAtIndex(editLogB.length - j - 1);\n\t\t\t\t\t\t\t\texpect(editA.id).to.equal(editB.id);\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\texpect(areRevisionViewsSemanticallyEqual(tree.currentView, tree, first.currentView, first))\n\t\t\t\t\t\t\t\t.to.be.true;\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tdefault:\n\t\t\t\t\tthrow new Error('Unknown operation.');\n\t\t\t}\n\t\t} catch (err) {\n\t\t\tconsole.log(`Error encountered on operation number ${operations.length}`);\n\t\t\tif (saveInfo !== undefined && saveInfo.saveOnFailure) {\n\t\t\t\tawait fs.writeFile(saveInfo.filepath, JSON.stringify(operations));\n\t\t\t}\n\t\t\tthrow err;\n\t\t}\n\t}\n\n\tif (synchronizeAtEnd) {\n\t\tawait state.testObjectProvider?.ensureSynchronized();\n\t\tconst trees = [...activeCollaborators.map(({ tree }) => tree), ...passiveCollaborators.map(({ tree }) => tree)];\n\t\tfor (let i = 0; i < trees.length - 1; i++) {\n\t\t\texpect(trees[i].equals(trees[i + 1]));\n\t\t}\n\t}\n\n\treturn state as Required<FuzzTestState>;\n}\n\nexport function runSharedTreeFuzzTests(title: string): void {\n\t// Some useful tips for debugging fuzz tests:\n\t// - A JSON dump of the operation sequence can be written to disk by passing `true` for `saveOnFailure`.\n\t// - Different shared-tree instances can be distinguished (e.g. in logs) by using `tree.getRuntime().clientId`\n\tdescribe(title, () => {\n\t\tfunction runTest(\n\t\t\tgeneratorFactory: () => AsyncGenerator<Operation, undefined>,\n\t\t\tseed: number,\n\t\t\tsaveOnFailure?: boolean\n\t\t): void {\n\t\t\tit(`with seed ${seed}`, async () => {\n\t\t\t\tconst saveInfo =\n\t\t\t\t\tsaveOnFailure !== undefined\n\t\t\t\t\t\t? { filepath: join(directory, `test-history-${seed}.json`), saveOnFailure }\n\t\t\t\t\t\t: undefined;\n\t\t\t\tif (saveInfo !== undefined && !existsSync(directory)) {\n\t\t\t\t\tmkdirSync(directory);\n\t\t\t\t}\n\t\t\t\tawait performFuzzActions(generatorFactory(), seed + adjustSeed, true, saveInfo);\n\t\t\t}).timeout(10000);\n\t\t}\n\n\t\tfunction runMixedVersionTests(summarizeHistory: boolean, testsPerSuite: number): void {\n\t\t\tdescribe('using 0.0.2 and 0.1.1 trees', () => {\n\t\t\t\tfor (let seed = 0; seed < testsPerSuite; seed++) {\n\t\t\t\t\trunTest(\n\t\t\t\t\t\t() => take(1000, makeOpGenerator({ joinConfig: { summarizeHistory: [summarizeHistory] } })),\n\t\t\t\t\t\tseed\n\t\t\t\t\t);\n\t\t\t\t}\n\t\t\t});\n\n\t\t\tdescribe('using only version 0.0.2', () => {\n\t\t\t\tfor (let seed = 0; seed < testsPerSuite; seed++) {\n\t\t\t\t\trunTest(\n\t\t\t\t\t\t() =>\n\t\t\t\t\t\t\ttake(\n\t\t\t\t\t\t\t\t1000,\n\t\t\t\t\t\t\t\tmakeOpGenerator({\n\t\t\t\t\t\t\t\t\tjoinConfig: {\n\t\t\t\t\t\t\t\t\t\twriteFormat: [WriteFormat.v0_0_2],\n\t\t\t\t\t\t\t\t\t\tsummarizeHistory: [summarizeHistory],\n\t\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\t})\n\t\t\t\t\t\t\t),\n\t\t\t\t\t\tseed\n\t\t\t\t\t);\n\t\t\t\t}\n\t\t\t});\n\n\t\t\tdescribe('using only version 0.1.1', () => {\n\t\t\t\tfor (let seed = 0; seed < testsPerSuite; seed++) {\n\t\t\t\t\trunTest(\n\t\t\t\t\t\t() =>\n\t\t\t\t\t\t\ttake(\n\t\t\t\t\t\t\t\t1000,\n\t\t\t\t\t\t\t\tmakeOpGenerator({\n\t\t\t\t\t\t\t\t\tjoinConfig: {\n\t\t\t\t\t\t\t\t\t\twriteFormat: [WriteFormat.v0_1_1],\n\t\t\t\t\t\t\t\t\t\tsummarizeHistory: [summarizeHistory],\n\t\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\t})\n\t\t\t\t\t\t\t),\n\t\t\t\t\t\tseed\n\t\t\t\t\t);\n\t\t\t\t}\n\t\t\t});\n\n\t\t\tdescribe('upgrading halfway through', () => {\n\t\t\t\tconst testLength = 500;\n\t\t\t\tconst maximumActiveCollaborators = 10;\n\t\t\t\tconst maximumPassiveCollaborators = 5;\n\t\t\t\tconst editConfig: EditGenerationConfig = { maxTreeSize: 1000 };\n\t\t\t\tconst generatorFactory = () =>\n\t\t\t\t\tchain(\n\t\t\t\t\t\ttake(\n\t\t\t\t\t\t\ttestLength / 2 - 1,\n\t\t\t\t\t\t\tmakeOpGenerator({\n\t\t\t\t\t\t\t\teditConfig,\n\t\t\t\t\t\t\t\tjoinConfig: {\n\t\t\t\t\t\t\t\t\tmaximumActiveCollaborators,\n\t\t\t\t\t\t\t\t\tmaximumPassiveCollaborators,\n\t\t\t\t\t\t\t\t\twriteFormat: [WriteFormat.v0_0_2],\n\t\t\t\t\t\t\t\t\tsummarizeHistory: [summarizeHistory],\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\ttake(\n\t\t\t\t\t\t\t1,\n\t\t\t\t\t\t\tmakeOpGenerator({\n\t\t\t\t\t\t\t\tjoinConfig: {\n\t\t\t\t\t\t\t\t\tmaximumActiveCollaborators: maximumActiveCollaborators + 1,\n\t\t\t\t\t\t\t\t\tmaximumPassiveCollaborators,\n\t\t\t\t\t\t\t\t\twriteFormat: [WriteFormat.v0_1_1],\n\t\t\t\t\t\t\t\t\tsummarizeHistory: [summarizeHistory],\n\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\teditWeight: 0,\n\t\t\t\t\t\t\t\tjoinWeight: 1,\n\t\t\t\t\t\t\t\tleaveWeight: 0,\n\t\t\t\t\t\t\t\tsynchronizeWeight: 0,\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t),\n\t\t\t\t\t\ttake(\n\t\t\t\t\t\t\ttestLength / 2,\n\t\t\t\t\t\t\tmakeOpGenerator({\n\t\t\t\t\t\t\t\teditConfig,\n\t\t\t\t\t\t\t\tjoinConfig: {\n\t\t\t\t\t\t\t\t\tmaximumActiveCollaborators,\n\t\t\t\t\t\t\t\t\tmaximumPassiveCollaborators,\n\t\t\t\t\t\t\t\t\tsummarizeHistory: [summarizeHistory],\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\n\t\t\t\tfor (let seed = 0; seed < testsPerSuite; seed++) {\n\t\t\t\t\trunTest(generatorFactory, seed);\n\t\t\t\t}\n\t\t\t});\n\t\t}\n\n\t\tconst testCount = 1;\n\t\tdescribe('with no-history summarization', () => {\n\t\t\trunMixedVersionTests(false, testCount);\n\t\t});\n\n\t\tdescribe('with history summarization', () => {\n\t\t\trunMixedVersionTests(true, testCount);\n\t\t});\n\t});\n}\n"]}

package/lib/test/fuzz/Types.d.ts

@@ -0,0 +1,133 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import type { TestObjectProvider } from '@fluidframework/test-utils';
+import type Prando from 'prando';
+import type { IContainer } from '@fluidframework/container-definitions';
+import type { IFluidDataStoreRuntime } from '@fluidframework/datastore-definitions';
+import type { SharedTree } from '../../SharedTree';
+import type { WriteFormat } from '../../persisted-types';
+import type { Build, Detach, Insert, SetValue } from '../../ChangeTypes';
+import type { TreeView } from '../../TreeView';
+import type { NodeId } from '../../Identifiers';
+import type { NodeIdGenerator } from '../../NodeIdUtilities';
+export interface FuzzTestState {
+    rand: Prando;
+    testObjectProvider?: TestObjectProvider;
+    activeCollaborators: Collaborator[];
+    passiveCollaborators: Collaborator[];
+}
+export interface Collaborator {
+    container: IContainer;
+    tree: SharedTree;
+}
+export interface TreeEdit {
+    type: 'edit';
+    contents: FuzzChange;
+    /** index of the tree to apply the edit to. */
+    index: number;
+}
+export interface TreeJoin {
+    type: 'join';
+    summarizeHistory: boolean;
+    writeFormat: WriteFormat;
+    isObserver: boolean;
+}
+export interface TreeLeave {
+    type: 'leave';
+    isObserver: boolean;
+    index: number;
+}
+export interface Synchronize {
+    type: 'synchronize';
+}
+/**
+ * Operations:
+ * - Any valid edit on any shared tree
+ * - New SharedTree joins session with some initial params
+ * - Existing SharedTree leaves session
+ * - Local server synchronizes connected clients
+ *
+ * Note that these objects should be JSON serializable for ease in debugging fuzz tests.
+ * Future potential work:
+ * - More fine-grained control of summarization processes
+ */
+export declare type Operation = TreeEdit | TreeJoin | TreeLeave | Synchronize;
+export declare const done: unique symbol;
+/**
+ * TAdditionalState can be used to compose generators (see treatment of how fuzzed edit changes pass in
+ * the tree to which they apply to sub-generators)
+ */
+export declare type AsyncGenerator<T, TAdditionalState> = (state: FuzzTestState, additionalState: TAdditionalState) => Promise<T | typeof done>;
+export interface FuzzInsert {
+    fuzzType: 'insert';
+    build: Build;
+    insert: Insert;
+}
+export declare type FuzzDelete = Detach & {
+    fuzzType: 'delete';
+};
+export interface FuzzMove {
+    fuzzType: 'move';
+    detach: Detach;
+    insert: Insert;
+}
+export declare type FuzzSetPayload = SetValue & {
+    fuzzType: 'setPayload';
+};
+export declare type FuzzChange = FuzzInsert | FuzzDelete | FuzzMove | FuzzSetPayload;
+export interface TreeContext {
+    view: TreeView;
+    idGenerator: NodeIdGenerator;
+    idList: NodeId[];
+    dataStoreRuntime: IFluidDataStoreRuntime;
+}
+export interface InsertGenerationConfig {
+    /** default: 3 */
+    maxTreeSequenceSize?: number;
+    /** The number of possible definitions. Default: 20. */
+    definitionPoolSize?: number;
+}
+export interface EditGenerationConfig {
+    /** default: Number.POSITIVE_INFINITY (no max size) */
+    maxTreeSize?: number;
+    /** default: 3 */
+    insertWeight?: number;
+    /** default: 1 */
+    deleteWeight?: number;
+    /** default: 1 */
+    moveWeight?: number;
+    /** default: 1 */
+    setPayloadWeight?: number;
+    insertConfig?: InsertGenerationConfig;
+    /** The number of possible trait labels. Default: 20. */
+    traitLabelPoolSize?: number;
+}
+export interface JoinGenerationConfig {
+    /**
+     * Valid `summarizeHistory` values. Defaults to [false].
+     */
+    summarizeHistory?: boolean[];
+    /**
+     * Valid `writeFormat` values. Defaults to 0.0.2 and 0.1.1.
+     */
+    writeFormat?: WriteFormat[];
+    /** default: Number.POSITIVE_INFINITY (no max size) */
+    maximumPassiveCollaborators?: number;
+    /** default: Number.POSITIVE_INFINITY (no max size) */
+    maximumActiveCollaborators?: number;
+}
+export interface OperationGenerationConfig {
+    editConfig?: EditGenerationConfig;
+    joinConfig?: JoinGenerationConfig;
+    /** default: 10 */
+    editWeight?: number;
+    /** default: 1 */
+    joinWeight?: number;
+    /** default: 1 */
+    leaveWeight?: number;
+    /** default: 1 */
+    synchronizeWeight?: number;
+}
+//# sourceMappingURL=Types.d.ts.map

package/lib/test/fuzz/Types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Types.d.ts","sourceRoot":"","sources":["../../../src/test/fuzz/Types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AACjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,WAAW,aAAa;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,mBAAmB,EAAE,YAAY,EAAE,CAAC;IACpC,oBAAoB,EAAE,YAAY,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,YAAY;IAC5B,SAAS,EAAE,UAAU,CAAC;IACtB,IAAI,EAAE,UAAU,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,UAAU,CAAC;IACrB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,QAAQ;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,gBAAgB,EAAE,OAAO,CAAC;IAC1B,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,SAAS;IACzB,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,WAAW;IAC3B,IAAI,EAAE,aAAa,CAAC;CACpB;AAED;;;;;;;;;;GAUG;AACH,oBAAY,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC;AAEtE,eAAO,MAAM,IAAI,eAA0B,CAAC;AAE5C;;;GAGG;AACH,oBAAY,cAAc,CAAC,CAAC,EAAE,gBAAgB,IAAI,CACjD,KAAK,EAAE,aAAa,EACpB,eAAe,EAAE,gBAAgB,KAC7B,OAAO,CAAC,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;AAE9B,MAAM,WAAW,UAAU;IAC1B,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CACf;AAED,oBAAY,UAAU,GAAG,MAAM,GAAG;IAAE,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,QAAQ;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CACf;AAED,oBAAY,cAAc,GAAG,QAAQ,GAAG;IAAE,QAAQ,EAAE,YAAY,CAAA;CAAE,CAAC;AAEnE,oBAAY,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,cAAc,CAAC;AAE7E,MAAM,WAAW,WAAW;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,eAAe,CAAC;IAC7B,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,gBAAgB,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,sBAAsB;IACtC,iBAAiB;IACjB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,uDAAuD;IACvD,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACpC,sDAAsD;IACtD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iBAAiB;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iBAAiB;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,sBAAsB,CAAC;IACtC,wDAAwD;IACxD,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACpC;;OAEG;IACH,gBAAgB,CAAC,EAAE,OAAO,EAAE,CAAC;IAC7B;;OAEG;IACH,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC;IAC5B,sDAAsD;IACtD,2BAA2B,CAAC,EAAE,MAAM,CAAC;IACrC,sDAAsD;IACtD,0BAA0B,CAAC,EAAE,MAAM,CAAC;CACpC;AAED,MAAM,WAAW,yBAAyB;IACzC,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAClC,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAClC,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB;IACjB,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC3B"}

package/lib/test/{GenericTransactionWithAnchors.tests.d.ts → fuzz/Types.js}

@@ -2,5 +2,5 @@
  * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
  * Licensed under the MIT License.
  */
-export {};
-//# sourceMappingURL=GenericTransactionWithAnchors.tests.d.ts.map
+export const done = Symbol('GeneratorDone');
+//# sourceMappingURL=Types.js.map

package/lib/test/fuzz/Types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Types.js","sourceRoot":"","sources":["../../../src/test/fuzz/Types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA8DH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport type { TestObjectProvider } from '@fluidframework/test-utils';\nimport type Prando from 'prando';\nimport type { IContainer } from '@fluidframework/container-definitions';\nimport type { IFluidDataStoreRuntime } from '@fluidframework/datastore-definitions';\nimport type { SharedTree } from '../../SharedTree';\nimport type { WriteFormat } from '../../persisted-types';\nimport type { Build, Detach, Insert, SetValue } from '../../ChangeTypes';\nimport type { TreeView } from '../../TreeView';\nimport type { NodeId } from '../../Identifiers';\nimport type { NodeIdGenerator } from '../../NodeIdUtilities';\n\nexport interface FuzzTestState {\n\trand: Prando;\n\ttestObjectProvider?: TestObjectProvider;\n\tactiveCollaborators: Collaborator[];\n\tpassiveCollaborators: Collaborator[];\n}\n\nexport interface Collaborator {\n\tcontainer: IContainer;\n\ttree: SharedTree;\n}\n\nexport interface TreeEdit {\n\ttype: 'edit';\n\tcontents: FuzzChange;\n\t/** index of the tree to apply the edit to. */\n\tindex: number;\n}\n\nexport interface TreeJoin {\n\ttype: 'join';\n\tsummarizeHistory: boolean;\n\twriteFormat: WriteFormat;\n\tisObserver: boolean;\n}\n\nexport interface TreeLeave {\n\ttype: 'leave';\n\tisObserver: boolean;\n\tindex: number;\n}\n\nexport interface Synchronize {\n\ttype: 'synchronize';\n}\n\n/**\n * Operations:\n * - Any valid edit on any shared tree\n * - New SharedTree joins session with some initial params\n * - Existing SharedTree leaves session\n * - Local server synchronizes connected clients\n *\n * Note that these objects should be JSON serializable for ease in debugging fuzz tests.\n * Future potential work:\n * - More fine-grained control of summarization processes\n */\nexport type Operation = TreeEdit | TreeJoin | TreeLeave | Synchronize;\n\nexport const done = Symbol('GeneratorDone');\n\n/**\n * TAdditionalState can be used to compose generators (see treatment of how fuzzed edit changes pass in\n * the tree to which they apply to sub-generators)\n */\nexport type AsyncGenerator<T, TAdditionalState> = (\n\tstate: FuzzTestState,\n\tadditionalState: TAdditionalState\n) => Promise<T | typeof done>;\n\nexport interface FuzzInsert {\n\tfuzzType: 'insert';\n\tbuild: Build;\n\tinsert: Insert;\n}\n\nexport type FuzzDelete = Detach & { fuzzType: 'delete' };\n\nexport interface FuzzMove {\n\tfuzzType: 'move';\n\tdetach: Detach;\n\tinsert: Insert;\n}\n\nexport type FuzzSetPayload = SetValue & { fuzzType: 'setPayload' };\n\nexport type FuzzChange = FuzzInsert | FuzzDelete | FuzzMove | FuzzSetPayload;\n\nexport interface TreeContext {\n\tview: TreeView;\n\tidGenerator: NodeIdGenerator;\n\tidList: NodeId[];\n\tdataStoreRuntime: IFluidDataStoreRuntime;\n}\n\nexport interface InsertGenerationConfig {\n\t/** default: 3 */\n\tmaxTreeSequenceSize?: number;\n\t/** The number of possible definitions. Default: 20. */\n\tdefinitionPoolSize?: number;\n}\n\nexport interface EditGenerationConfig {\n\t/** default: Number.POSITIVE_INFINITY (no max size) */\n\tmaxTreeSize?: number;\n\t/** default: 3 */\n\tinsertWeight?: number;\n\t/** default: 1 */\n\tdeleteWeight?: number;\n\t/** default: 1 */\n\tmoveWeight?: number;\n\t/** default: 1 */\n\tsetPayloadWeight?: number;\n\tinsertConfig?: InsertGenerationConfig;\n\t/** The number of possible trait labels. Default: 20. */\n\ttraitLabelPoolSize?: number;\n}\n\nexport interface JoinGenerationConfig {\n\t/**\n\t * Valid `summarizeHistory` values. Defaults to [false].\n\t */\n\tsummarizeHistory?: boolean[];\n\t/**\n\t * Valid `writeFormat` values. Defaults to 0.0.2 and 0.1.1.\n\t */\n\twriteFormat?: WriteFormat[];\n\t/** default: Number.POSITIVE_INFINITY (no max size) */\n\tmaximumPassiveCollaborators?: number;\n\t/** default: Number.POSITIVE_INFINITY (no max size) */\n\tmaximumActiveCollaborators?: number;\n}\n\nexport interface OperationGenerationConfig {\n\teditConfig?: EditGenerationConfig;\n\tjoinConfig?: JoinGenerationConfig;\n\t/** default: 10 */\n\teditWeight?: number;\n\t/** default: 1 */\n\tjoinWeight?: number;\n\t/** default: 1 */\n\tleaveWeight?: number;\n\t/** default: 1 */\n\tsynchronizeWeight?: number;\n}\n"]}

package/lib/test/utilities/IdCompressorTestUtilities.d.ts

@@ -0,0 +1,180 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { Serializable } from '@fluidframework/datastore-definitions';
+import { ClosedMap } from '../../Common';
+import { IdCompressor, IdRangeDescriptor } from '../../id-compressor/IdCompressor';
+import { NumericUuid } from '../../id-compressor/NumericUuid';
+import { SessionId, StableId, SessionSpaceCompressedId } from '../../Identifiers';
+import type { IdCreationRange, SerializedIdCompressorWithOngoingSession, SerializedIdCompressorWithNoSession } from '../../id-compressor';
+/** Identifies a compressor in a network */
+export declare enum Client {
+    Client1 = "Client1",
+    Client2 = "Client2",
+    Client3 = "Client3"
+}
+/** Identifies a compressor with respect to a specific operation */
+export declare enum SemanticClient {
+    LocalClient = "LocalClient"
+}
+/** Identifies categories of compressors */
+export declare enum MetaClient {
+    All = "All"
+}
+/**
+ * Used to attribute actions to clients in a distributed collaboration session.
+ * `Local` implies a local and unsequenced operation. All others imply sequenced operations.
+ */
+export declare type OriginatingClient = Client | SemanticClient;
+export declare const OriginatingClient: {
+    LocalClient: SemanticClient.LocalClient;
+    Client1: Client.Client1;
+    Client2: Client.Client2;
+    Client3: Client.Client3;
+};
+/** Identifies a compressor to which to send an operation */
+export declare type DestinationClient = Client | MetaClient;
+export declare const DestinationClient: {
+    All: MetaClient.All;
+    Client1: Client.Client1;
+    Client2: Client.Client2;
+    Client3: Client.Client3;
+};
+/**
+ * Creates a new compressor with the supplied cluster capacity.
+ */
+export declare function createCompressor<T>(client: Client, clusterCapacity?: number, attributionInfo?: Serializable<T>): IdCompressor;
+/**
+ * A closed map from NamedClient to T.
+ */
+export declare type ClientMap<T> = ClosedMap<Client, T>;
+/**
+ * An array of session ID strings corresponding to all non-local `Client` entries.
+ */
+export declare const sessionIds: ClientMap<SessionId>;
+/**
+ * An array of session uuids corresponding to all non-local `Client` entries.
+ */
+export declare const sessionNumericUuids: ClientMap<NumericUuid>;
+/** An immutable view of an `IdCompressor` */
+export interface ReadonlyIdCompressor extends Omit<IdCompressor, 'generateCompressedId' | 'generateCompressedIdRange' | 'takeNextCreationRange' | 'finalizeCreationRange'> {
+    readonly clusterCapacity: number;
+}
+/** Information about a generated ID in a network to be validated by tests */
+export interface TestIdData {
+    readonly id: SessionSpaceCompressedId;
+    readonly originatingClient: Client;
+    readonly sessionId: SessionId;
+    readonly sessionNumericUuid: NumericUuid;
+    readonly expectedOverride: string | undefined;
+    readonly isSequenced: boolean;
+}
+/**
+ * Simulates a network of ID compressors.
+ * Not suitable for performance testing.
+ */
+export declare class IdCompressorTestNetwork {
+    readonly initialClusterSize: number;
+    private readonly onIdReceived?;
+    /** The compressors used in this network */
+    private readonly compressors;
+    /** The log of operations seen by the server so far. Append-only. */
+    private readonly serverOperations;
+    /** An index into `serverOperations` for each client which represents how many operations have been delivered to that client */
+    private readonly clientProgress;
+    /** All ids (local and sequenced) that a client has created or received, in order. */
+    private readonly idLogs;
+    /** All ids that a client has received from the server, in order. */
+    private readonly sequencedIdLogs;
+    constructor(initialClusterSize?: number, onIdReceived?: ((network: IdCompressorTestNetwork, clientTo: Client, ids: TestIdData[]) => void) | undefined);
+    /**
+     * Returns an immutable handle to a compressor in the network.
+     */
+    getCompressor(client: Client): ReadonlyIdCompressor;
+    /**
+     * Returns a mutable handle to a compressor in the network. Use of mutation methods will break the network invariants and
+     * should only be used if the network will not be used again.
+     */
+    getCompressorUnsafe(client: Client): IdCompressor;
+    /**
+     * Returns data for all IDs created and received by this client, including ack's of their own (i.e. their own IDs will appear twice)
+     */
+    getIdLog(client: Client): readonly TestIdData[];
+    /**
+     * Returns data for all IDs received by this client, including ack's of their own (i.e. their own IDs will appear twice)
+     */
+    getSequencedIdLog(client: Client): readonly TestIdData[];
+    /**
+     * Get all compressors for the given destination
+     */
+    getTargetCompressors(clientTo: DestinationClient): [Client, IdCompressor][];
+    /**
+     * Submit a capacity change operation to the network. It will not take effect immediately but will be processed in sequence order.
+     */
+    enqueueCapacityChange(newClusterCapacity: number): void;
+    private addNewId;
+    /**
+     * Allocates a new range of local IDs and enqueues them for future delivery via a `testIdDelivery` action.
+     * Calls to this method determine the total order of delivery, regardless of when `deliverOperations` is called.
+     */
+    allocateAndSendIds(client: Client, numIds: number): {
+        range: IdRangeDescriptor<SessionSpaceCompressedId>;
+        sessionId: SessionId;
+    };
+    /**
+     * Allocates a new range of local IDs and enqueues them for future delivery via a `testIdDelivery` action.
+     * Calls to this method determine the total order of delivery, regardless of when `deliverOperations` is called.
+     */
+    allocateAndSendIds(client: Client, numIds: number, overrides: {
+        [index: number]: string;
+    }): IdCreationRange;
+    /**
+     * Delivers all undelivered ID ranges and cluster capacity changes from the server to the target clients.
+     */
+    deliverOperations(clientTakingDelivery: DestinationClient): void;
+    /**
+     * Simulate a client disconnecting (and serializing), then reconnecting (and deserializing)
+     */
+    goOfflineThenResume(client: Client): void;
+    /**
+     * Ensure general validity of the network state. Useful for calling periodically or at the end of test scenarios.
+     */
+    assertNetworkState(): void;
+}
+/**
+ * Roundtrips the supplied compressor through serialization and deserialization.
+ */
+export declare function roundtrip(compressor: ReadonlyIdCompressor, withSession: true): [SerializedIdCompressorWithOngoingSession, IdCompressor];
+/**
+ * Roundtrips the supplied compressor through serialization and deserialization.
+ */
+export declare function roundtrip(compressor: ReadonlyIdCompressor, withSession: false): [SerializedIdCompressorWithNoSession, IdCompressor];
+/**
+ * Asserts that the supplied compressor correctly roundtrips through serialization/deserialization.
+ */
+export declare function expectSerializes(compressor: ReadonlyIdCompressor): [SerializedIdCompressorWithNoSession, SerializedIdCompressorWithOngoingSession];
+/**
+ * Merges 'from' into 'to', and returns 'to'.
+ */
+export declare function mergeArrayMaps<K, V>(to: Pick<Map<K, V[]>, 'get' | 'set'>, from: ReadonlyMap<K, V[]>): Pick<Map<K, V[]>, 'get' | 'set'>;
+/**
+ * Performs random actions on a test network.
+ * @param network the test network to test
+ * @param seed the seed for the random generation of the fuzz actions
+ * @param includeOverrides whether or not the fuzz actions will generate override UUIDs
+ * @param observerClient if provided, this client will never generate local ids
+ * @param synchronizeAtEnd if provided, all client will have all operations delivered from the server at the end of the test
+ * @param numUsages if provided, the number of operations to perform as part of this test. Defaults to 1000.
+ * @param validator if provided, this callback will be invoked periodically during the fuzz test.
+ */
+export declare function performFuzzActions(network: IdCompressorTestNetwork, seed: number, includeOverrides: boolean, observerClient?: Client, synchronizeAtEnd?: boolean, numUsages?: number, maxClusterSize?: number, validator?: (network: IdCompressorTestNetwork) => void): void;
+/**
+ * Converts the supplied integer to a uuid.
+ */
+export declare function integerToStableId(num: number | bigint): StableId;
+/**
+ * Pads the strings to a length of 32 with zeroes.
+ */
+export declare function padToUuidLength(str: string): string;
+//# sourceMappingURL=IdCompressorTestUtilities.d.ts.map

package/lib/test/utilities/IdCompressorTestUtilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IdCompressorTestUtilities.d.ts","sourceRoot":"","sources":["../../../src/test/utilities/IdCompressorTestUtilities.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAA8B,SAAS,EAAqB,MAAM,cAAc,CAAC;AACxF,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAa,MAAM,kCAAkC,CAAC;AAC9F,OAAO,EAIN,WAAW,EAGX,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAqB,SAAS,EAAE,QAAQ,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AAErG,OAAO,KAAK,EACX,eAAe,EACf,wCAAwC,EACxC,mCAAmC,EACnC,MAAM,qBAAqB,CAAC;AAE7B,2CAA2C;AAC3C,oBAAY,MAAM;IACjB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;CACnB;AAED,mEAAmE;AACnE,oBAAY,cAAc;IACzB,WAAW,gBAAgB;CAC3B;AAED,2CAA2C;AAC3C,oBAAY,UAAU;IACrB,GAAG,QAAQ;CACX;AAED;;;GAGG;AACH,oBAAY,iBAAiB,GAAG,MAAM,GAAG,cAAc,CAAC;AACxD,eAAO,MAAM,iBAAiB;;;;;CAAmC,CAAC;AAElE,4DAA4D;AAC5D,oBAAY,iBAAiB,GAAG,MAAM,GAAG,UAAU,CAAC;AACpD,eAAO,MAAM,iBAAiB;;;;;CAA+B,CAAC;AAE9D;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EACjC,MAAM,EAAE,MAAM,EACd,eAAe,SAAI,EACnB,eAAe,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAC/B,YAAY,CAId;AAED;;GAEG;AACH,oBAAY,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAchD;;GAEG;AACH,eAAO,MAAM,UAAU,sBAAmB,CAAC;AAE3C;;GAEG;AACH,eAAO,MAAM,mBAAmB,wBAIL,CAAC;AAE5B,6CAA6C;AAC7C,MAAM,WAAW,oBAChB,SAAQ,IAAI,CACX,YAAY,EACZ,sBAAsB,GAAG,2BAA2B,GAAG,uBAAuB,GAAG,uBAAuB,CACxG;IACD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CACjC;AAED,6EAA6E;AAC7E,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,EAAE,EAAE,wBAAwB,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC9B;AAED;;;GAGG;AACH,qBAAa,uBAAuB;aAalB,kBAAkB;IAClC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;IAb/B,2CAA2C;IAC3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA0B;IACtD,oEAAoE;IACpE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAiE;IAClG,+HAA+H;IAC/H,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAoB;IACnD,qFAAqF;IACrF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA0B;IACjD,oEAAoE;IACpE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA0B;gBAGzC,kBAAkB,SAAI,EACrB,YAAY,CAAC,aAAY,uBAAuB,YAAY,MAAM,OAAO,UAAU,EAAE,KAAK,IAAI,aAAA;IAmBhH;;OAEG;IACI,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,oBAAoB;IAgB1D;;;OAGG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAIxD;;OAEG;IACI,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,UAAU,EAAE;IAItD;;OAEG;IACI,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,UAAU,EAAE;IAI/D;;OAEG;IACI,oBAAoB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE;IAMlF;;OAEG;IACI,qBAAqB,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI;IAI9D,OAAO,CAAC,QAAQ;IAwBhB;;;OAGG;IACI,kBAAkB,CACxB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACZ;QAAE,KAAK,EAAE,iBAAiB,CAAC,wBAAwB,CAAC,CAAC;QAAC,SAAS,EAAE,SAAS,CAAA;KAAE;IAE/E;;;OAGG;IACI,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE;QAAE,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,GAAG,eAAe;IAkClH;;OAEG;IACI,iBAAiB,CAAC,oBAAoB,EAAE,iBAAiB;IAoChE;;OAEG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAMhD;;OAEG;IACI,kBAAkB,IAAI,IAAI;CAsIjC;AAED;;GAEG;AACH,wBAAgB,SAAS,CACxB,UAAU,EAAE,oBAAoB,EAChC,WAAW,EAAE,IAAI,GACf,CAAC,wCAAwC,EAAE,YAAY,CAAC,CAAC;AAE5D;;GAEG;AACH,wBAAgB,SAAS,CACxB,UAAU,EAAE,oBAAoB,EAChC,WAAW,EAAE,KAAK,GAChB,CAAC,mCAAmC,EAAE,YAAY,CAAC,CAAC;AAevD;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,UAAU,EAAE,oBAAoB,GAC9B,CAAC,mCAAmC,EAAE,wCAAwC,CAAC,CA0CjF;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAClC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,EACpC,IAAI,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GACvB,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,CAUlC;AAUD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CACjC,OAAO,EAAE,uBAAuB,EAChC,IAAI,EAAE,MAAM,EACZ,gBAAgB,EAAE,OAAO,EACzB,cAAc,CAAC,EAAE,MAAM,EACvB,gBAAgB,GAAE,OAAc,EAChC,SAAS,SAAO,EAChB,cAAc,SAAK,EACnB,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK,IAAI,GACpD,IAAI,CAuFN;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,CAYhE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEnD"}