@fluidframework/sequence 2.0.0-rc.1.0.4 → 2.0.0-rc.2.0.0

package/lib/test/fuzz/fuzzUtils.js

@@ -0,0 +1,250 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import * as path from "path";
+import { strict as assert } from "assert";
+import { combineReducersAsync as combineReducers, } from "@fluid-private/stochastic-test-utils";
+import { revertSharedStringRevertibles } from "../../revertibles.js";
+import { SharedStringFactory } from "../../sequenceFactory.js";
+import { assertEquivalentSharedStrings } from "../intervalTestUtils.js";
+import { _dirname } from "../dirname.cjs";
+export function isRevertibleSharedString(s) {
+    return s.revertibles !== undefined;
+}
+export const defaultSharedStringOperationGenerationConfig = {
+    maxStringLength: 1000,
+    maxInsertLength: 10,
+    weights: {
+        addText: 2,
+        removeRange: 1,
+        obliterateRange: 1,
+    },
+};
+export const defaultIntervalOperationGenerationConfig = {
+    ...defaultSharedStringOperationGenerationConfig,
+    maxIntervals: 100,
+    intervalCollectionNamePool: ["comments"],
+    propertyNamePool: ["prop1", "prop2", "prop3"],
+    validateInterval: 100,
+    weights: {
+        ...defaultSharedStringOperationGenerationConfig.weights,
+        revertWeight: 2,
+        addInterval: 2,
+        deleteInterval: 2,
+        changeInterval: 2,
+        obliterateRange: 0,
+    },
+};
+function logCurrentState(state, loggingInfo) {
+    for (const id of loggingInfo.clientIds) {
+        const { channel } = state.clients.find((s) => s.containerRuntime.clientId === id) ?? {};
+        assert(channel);
+        const labels = channel.getIntervalCollectionLabels();
+        const interval = Array.from(labels)
+            .map((label) => channel.getIntervalCollection(label).getIntervalById(loggingInfo.intervalId))
+            .find((result) => result !== undefined);
+        console.log(`Client ${id}:`);
+        if (interval !== undefined) {
+            const start = channel.localReferencePositionToPosition(interval.start);
+            const end = channel.localReferencePositionToPosition(interval.end);
+            if (end === start) {
+                console.log(`${" ".repeat(start)}x`);
+            }
+            else {
+                console.log(`${" ".repeat(start)}[${" ".repeat(end - start - 1)}]`);
+            }
+        }
+        console.log(channel.getText());
+        console.log("\n");
+    }
+}
+export function makeReducer(loggingInfo) {
+    const withLogging = (baseReducer) => async (state, operation) => {
+        if (loggingInfo !== undefined) {
+            logCurrentState(state, loggingInfo);
+            console.log("-".repeat(20));
+            console.log("Next operation:", JSON.stringify(operation, undefined, 4));
+        }
+        await baseReducer(state, operation);
+    };
+    const reducer = combineReducers({
+        addText: async ({ client }, { index, content }) => {
+            client.channel.insertText(index, content);
+        },
+        removeRange: async ({ client }, { start, end }) => {
+            client.channel.removeRange(start, end);
+        },
+        obliterateRange: async ({ client }, { start, end }) => {
+            client.channel.obliterateRange(start, end);
+        },
+        addInterval: async ({ client }, { start, end, collectionName, id, startSide, endSide }) => {
+            const collection = client.channel.getIntervalCollection(collectionName);
+            collection.add({
+                start: { pos: start, side: startSide },
+                end: { pos: end, side: endSide },
+                props: { intervalId: id },
+            });
+        },
+        deleteInterval: async ({ client }, { id, collectionName }) => {
+            const collection = client.channel.getIntervalCollection(collectionName);
+            collection.removeIntervalById(id);
+        },
+        changeInterval: async ({ client }, { id, start, end, collectionName, startSide, endSide, properties }) => {
+            const collection = client.channel.getIntervalCollection(collectionName);
+            if (start !== undefined && end !== undefined) {
+                collection.change(id, {
+                    start: { pos: start, side: startSide },
+                    end: { pos: end, side: endSide },
+                    props: properties,
+                });
+            }
+            else {
+                collection.change(id, { props: properties });
+            }
+        },
+        revertSharedStringRevertibles: async ({ client }, { editsToRevert }) => {
+            assert(isRevertibleSharedString(client.channel));
+            client.channel.isCurrentRevert = true;
+            const few = client.channel.revertibles.splice(-editsToRevert, editsToRevert);
+            revertSharedStringRevertibles(client.channel, few);
+            client.channel.isCurrentRevert = false;
+        },
+    });
+    return withLogging(reducer);
+}
+export function createSharedStringGeneratorOperations(optionsParam) {
+    const options = { ...defaultSharedStringOperationGenerationConfig, ...(optionsParam ?? {}) };
+    // All subsequent helper functions are generators; note that they don't actually apply any operations.
+    function startPosition({ random, client }) {
+        return random.integer(0, Math.max(0, client.channel.getLength() - 1));
+    }
+    function exclusiveRange(state) {
+        const start = startPosition(state);
+        const end = state.random.integer(start + 1, state.client.channel.getLength());
+        return { start, end };
+    }
+    function exclusiveRangeLeaveChar(state) {
+        const start = state.random.integer(0, state.client.channel.getLength() - 2);
+        const end = state.random.integer(start + 1, state.client.channel.getLength() - 1);
+        return { start, end };
+    }
+    async function addText(state) {
+        const { random, client } = state;
+        return {
+            type: "addText",
+            index: random.integer(0, client.channel.getLength()),
+            content: random.string(random.integer(0, options.maxInsertLength)),
+        };
+    }
+    async function obliterateRange(state) {
+        return {
+            type: "obliterateRange",
+            ...exclusiveRange(state),
+        };
+    }
+    async function removeRange(state) {
+        return { type: "removeRange", ...exclusiveRange(state) };
+    }
+    async function removeRangeLeaveChar(state) {
+        return { type: "removeRange", ...exclusiveRangeLeaveChar(state) };
+    }
+    const lengthSatisfies = (criteria) => ({ client }) => criteria(client.channel.getLength());
+    const hasNonzeroLength = lengthSatisfies((length) => length > 0);
+    const isShorterThanMaxLength = lengthSatisfies((length) => length < options.maxStringLength);
+    return {
+        startPosition,
+        exclusiveRange,
+        exclusiveRangeLeaveChar,
+        addText,
+        obliterateRange,
+        removeRange,
+        removeRangeLeaveChar,
+        lengthSatisfies,
+        hasNonzeroLength,
+        isShorterThanMaxLength,
+    };
+}
+export class SharedStringFuzzFactory extends SharedStringFactory {
+    async load(runtime, id, services, attributes) {
+        runtime.options.intervalStickinessEnabled = true;
+        runtime.options.mergeTreeEnableObliterate = true;
+        return super.load(runtime, id, services, attributes);
+    }
+    create(document, id) {
+        document.options.intervalStickinessEnabled = true;
+        document.options.mergeTreeEnableObliterate = true;
+        return super.create(document, id);
+    }
+}
+export const baseModel = {
+    reducer: 
+    // makeReducer supports a param for logging output which tracks the provided intervalId over time:
+    // { intervalId: "00000000-0000-0000-0000-000000000000", clientIds: ["A", "B", "C"] }
+    makeReducer(),
+    validateConsistency: assertEquivalentSharedStrings,
+    factory: new SharedStringFuzzFactory(),
+    minimizationTransforms: [
+        (op) => {
+            if (op.type !== "addText") {
+                return;
+            }
+            op.content = op.content.slice(1);
+        },
+        (op) => {
+            switch (op.type) {
+                case "addText":
+                    if (op.index > 0) {
+                        op.index -= 1;
+                    }
+                    break;
+                case "removeRange":
+                case "addInterval":
+                case "changeInterval":
+                    if (op.start !== undefined && op.start > 0) {
+                        op.start -= 1;
+                    }
+                    if (op.end !== undefined && op.end > 0) {
+                        op.end -= 1;
+                    }
+                    break;
+                default:
+                    break;
+            }
+        },
+        (op) => {
+            if (op.type !== "removeRange" &&
+                op.type !== "addInterval" &&
+                op.type !== "changeInterval") {
+                return;
+            }
+            if (op.end !== undefined && op.end > 0) {
+                op.end -= 1;
+            }
+        },
+    ],
+};
+export const defaultFuzzOptions = {
+    validationStrategy: { type: "fixedInterval", interval: 10 },
+    reconnectProbability: 0.1,
+    numberOfClients: 3,
+    clientJoinOptions: {
+        maxNumberOfClients: 6,
+        clientAddProbability: 0.1,
+    },
+    defaultTestCount: 100,
+    saveFailures: { directory: path.join(_dirname, "../../src/test/fuzz/results") },
+    parseOperations: (serialized) => {
+        const operations = JSON.parse(serialized);
+        // Replace this value with some other interval ID and uncomment to filter replay of the test
+        // suite to only include interval operations with this ID.
+        // const filterIntervalId = "00000000-0000-0000-0000-000000000000";
+        // if (filterIntervalId) {
+        // 	return operations.filter((entry) =>
+        // 		[undefined, filterIntervalId].includes((entry as any).id),
+        // 	);
+        // }
+        return operations;
+    },
+};
+//# sourceMappingURL=fuzzUtils.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fuzzUtils.js","sourceRoot":"","sources":["../../../src/test/fuzz/fuzzUtils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAEN,oBAAoB,IAAI,eAAe,GAEvC,MAAM,sCAAsC,CAAC;AAQ9C,OAAO,EAAE,6BAA6B,EAA0B,MAAM,sBAAsB,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAQ1C,MAAM,UAAU,wBAAwB,CAAC,CAAe;IACvD,OAAQ,CAA4B,CAAC,WAAW,KAAK,SAAS,CAAC;AAChE,CAAC;AAuGD,MAAM,CAAC,MAAM,4CAA4C,GACxD;IACC,eAAe,EAAE,IAAI;IACrB,eAAe,EAAE,EAAE;IACnB,OAAO,EAAE;QACR,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,CAAC;QACd,eAAe,EAAE,CAAC;KAClB;CACD,CAAC;AACH,MAAM,CAAC,MAAM,wCAAwC,GACpD;IACC,GAAG,4CAA4C;IAC/C,YAAY,EAAE,GAAG;IACjB,0BAA0B,EAAE,CAAC,UAAU,CAAC;IACxC,gBAAgB,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;IAC7C,gBAAgB,EAAE,GAAG;IACrB,OAAO,EAAE;QACR,GAAG,4CAA4C,CAAC,OAAO;QACvD,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,cAAc,EAAE,CAAC;QACjB,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,CAAC;KAClB;CACD,CAAC;AASH,SAAS,eAAe,CAAC,KAAoB,EAAE,WAAwB;IACtE,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,SAAS,EAAE;QACvC,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;QACxF,MAAM,CAAC,OAAO,CAAC,CAAC;QAChB,MAAM,MAAM,GAAG,OAAO,CAAC,2BAA2B,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;aACjC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACd,OAAO,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,UAAU,CAAC,CAC5E;aACA,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QAEzC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE;YAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,gCAAgC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM,GAAG,GAAG,OAAO,CAAC,gCAAgC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACnE,IAAI,GAAG,KAAK,KAAK,EAAE;gBAClB,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;aACrC;iBAAM;gBACN,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;aACpE;SACD;QACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;KAClB;AACF,CAAC;AAID,MAAM,UAAU,WAAW,CAC1B,WAAyB;IAEzB,MAAM,WAAW,GAChB,CAAI,WAAsC,EAA6B,EAAE,CACzE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;QAC1B,IAAI,WAAW,KAAK,SAAS,EAAE;YAC9B,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;SACxE;QACD,MAAM,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,eAAe,CAA6C;QAC3E,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;YACjD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,WAAW,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE;YACjD,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QACD,eAAe,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE;YACrD,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,CAAC;QACD,WAAW,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE;YACzF,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;YACxE,UAAU,CAAC,GAAG,CAAC;gBACd,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;gBACtC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;gBAChC,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;aACzB,CAAC,CAAC;QACJ,CAAC;QACD,cAAc,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE;YAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;YACxE,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;QACnC,CAAC;QACD,cAAc,EAAE,KAAK,EACpB,EAAE,MAAM,EAAE,EACV,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,EACjE,EAAE;YACH,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;YACxE,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE;gBAC7C,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE;oBACrB,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;oBACtC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;oBAChC,KAAK,EAAE,UAAU;iBACjB,CAAC,CAAC;aACH;iBAAM;gBACN,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;aAC7C;QACF,CAAC;QACD,6BAA6B,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE;YACtE,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;YACtC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;YAC7E,6BAA6B,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,OAAO,CAAC,eAAe,GAAG,KAAK,CAAC;QACxC,CAAC;KACD,CAAC,CAAC;IAEH,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,qCAAqC,CACpD,YAAoD;IAEpD,MAAM,OAAO,GAAG,EAAE,GAAG,4CAA4C,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,CAAC;IAE7F,sGAAsG;IACtG,SAAS,aAAa,CAAC,EAAE,MAAM,EAAE,MAAM,EAAiB;QACvD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,SAAS,cAAc,CAAC,KAAoB;QAC3C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9E,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvB,CAAC;IAED,SAAS,uBAAuB,CAAC,KAAoB;QACpD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5E,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QAClF,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvB,CAAC;IAED,KAAK,UAAU,OAAO,CAAC,KAAoB;QAC1C,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACjC,OAAO;YACN,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;YACpD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;SAClE,CAAC;IACH,CAAC;IAED,KAAK,UAAU,eAAe,CAAC,KAAoB;QAClD,OAAO;YACN,IAAI,EAAE,iBAAiB;YACvB,GAAG,cAAc,CAAC,KAAK,CAAC;SACxB,CAAC;IACH,CAAC;IAED,KAAK,UAAU,WAAW,CAAC,KAAoB;QAC9C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1D,CAAC;IAED,KAAK,UAAU,oBAAoB,CAAC,KAAoB;QACvD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;IACnE,CAAC;IAED,MAAM,eAAe,GACpB,CAAC,QAAqC,EAAsC,EAAE,CAC9E,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACd,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IACvC,MAAM,gBAAgB,GAAG,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,sBAAsB,GAAG,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAE7F,OAAO;QACN,aAAa;QACb,cAAc;QACd,uBAAuB;QACvB,OAAO;QACP,eAAe;QACf,WAAW;QACX,oBAAoB;QACpB,eAAe;QACf,gBAAgB;QAChB,sBAAsB;KACtB,CAAC;AACH,CAAC;AAED,MAAM,OAAO,uBAAwB,SAAQ,mBAAmB;IACxD,KAAK,CAAC,IAAI,CAChB,OAA+B,EAC/B,EAAU,EACV,QAA0B,EAC1B,UAA8B;QAE9B,OAAO,CAAC,OAAO,CAAC,yBAAyB,GAAG,IAAI,CAAC;QACjD,OAAO,CAAC,OAAO,CAAC,yBAAyB,GAAG,IAAI,CAAC;QACjD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC;IAEM,MAAM,CAAC,QAAgC,EAAE,EAAU;QACzD,QAAQ,CAAC,OAAO,CAAC,yBAAyB,GAAG,IAAI,CAAC;QAClD,QAAQ,CAAC,OAAO,CAAC,yBAAyB,GAAG,IAAI,CAAC;QAClD,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC;CACD;AAED,MAAM,CAAC,MAAM,SAAS,GAGlB;IACH,OAAO;IACN,kGAAkG;IAClG,qFAAqF;IACrF,WAAW,EAAE;IACd,mBAAmB,EAAE,6BAA6B;IAClD,OAAO,EAAE,IAAI,uBAAuB,EAAE;IACtC,sBAAsB,EAAE;QACvB,CAAC,EAAE,EAAE,EAAE;YACN,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE;gBAC1B,OAAO;aACP;YACD,EAAE,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,CAAC,EAAE,EAAE,EAAE;YACN,QAAQ,EAAE,CAAC,IAAI,EAAE;gBAChB,KAAK,SAAS;oBACb,IAAI,EAAE,CAAC,KAAK,GAAG,CAAC,EAAE;wBACjB,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC;qBACd;oBACD,MAAM;gBACP,KAAK,aAAa,CAAC;gBACnB,KAAK,aAAa,CAAC;gBACnB,KAAK,gBAAgB;oBACpB,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,GAAG,CAAC,EAAE;wBAC3C,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC;qBACd;oBACD,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE;wBACvC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;qBACZ;oBACD,MAAM;gBACP;oBACC,MAAM;aACP;QACF,CAAC;QACD,CAAC,EAAE,EAAE,EAAE;YACN,IACC,EAAE,CAAC,IAAI,KAAK,aAAa;gBACzB,EAAE,CAAC,IAAI,KAAK,aAAa;gBACzB,EAAE,CAAC,IAAI,KAAK,gBAAgB,EAC3B;gBACD,OAAO;aACP;YACD,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE;gBACvC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;aACZ;QACF,CAAC;KACD;CACD,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAiC;IAC/D,kBAAkB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC3D,oBAAoB,EAAE,GAAG;IACzB,eAAe,EAAE,CAAC;IAClB,iBAAiB,EAAE;QAClB,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,GAAG;KACzB;IACD,gBAAgB,EAAE,GAAG;IACrB,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,6BAA6B,CAAC,EAAE;IAC/E,eAAe,EAAE,CAAC,UAAkB,EAAE,EAAE;QACvC,MAAM,UAAU,GAAgB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACvD,4FAA4F;QAC5F,0DAA0D;QAC1D,mEAAmE;QACnE,0BAA0B;QAC1B,uCAAuC;QACvC,+DAA+D;QAC/D,MAAM;QACN,IAAI;QACJ,OAAO,UAAU,CAAC;IACnB,CAAC;CACD,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\nimport * as path from \"path\";\nimport { strict as assert } from \"assert\";\nimport {\n\tAcceptanceCondition,\n\tcombineReducersAsync as combineReducers,\n\tAsyncReducer as Reducer,\n} from \"@fluid-private/stochastic-test-utils\";\nimport { DDSFuzzModel, DDSFuzzSuiteOptions, DDSFuzzTestState } from \"@fluid-private/test-dds-utils\";\nimport {\n\tIChannelAttributes,\n\tIChannelServices,\n\tIFluidDataStoreRuntime,\n} from \"@fluidframework/datastore-definitions\";\nimport { PropertySet } from \"@fluidframework/merge-tree\";\nimport { revertSharedStringRevertibles, SharedStringRevertible } from \"../../revertibles.js\";\nimport { SharedStringFactory } from \"../../sequenceFactory.js\";\nimport { SharedString } from \"../../sharedString.js\";\nimport { Side } from \"../../intervalCollection.js\";\nimport { assertEquivalentSharedStrings } from \"../intervalTestUtils.js\";\nimport { _dirname } from \"../dirname.cjs\";\n\nexport type RevertibleSharedString = SharedString & {\n\trevertibles: SharedStringRevertible[];\n\t// This field prevents change events that are emitted while in the process of a revert from\n\t// being added into the revertibles stack.\n\tisCurrentRevert: boolean;\n};\nexport function isRevertibleSharedString(s: SharedString): s is RevertibleSharedString {\n\treturn (s as RevertibleSharedString).revertibles !== undefined;\n}\n\nexport interface RangeSpec {\n\tstart: number;\n\tend: number;\n}\n\nexport interface IntervalCollectionSpec {\n\tcollectionName: string;\n}\n\nexport interface AddText {\n\ttype: \"addText\";\n\tindex: number;\n\tcontent: string;\n}\n\nexport interface RemoveRange extends RangeSpec {\n\ttype: \"removeRange\";\n}\n\nexport interface ObliterateRange extends RangeSpec {\n\ttype: \"obliterateRange\";\n}\n\n// For non-interval collection fuzzing, annotating text would also be useful.\nexport interface AddInterval extends IntervalCollectionSpec, RangeSpec {\n\ttype: \"addInterval\";\n\t// Normally interval ids get autogenerated, but including it here allows tracking\n\t// what happened to an interval over the course of its lifetime based on the history\n\t// file, which is useful for debugging test failures.\n\tid: string;\n\tstartSide: Side;\n\tendSide: Side;\n}\n\nexport interface ChangeInterval extends IntervalCollectionSpec {\n\ttype: \"changeInterval\";\n\tstart: number | undefined;\n\tend: number | undefined;\n\tid: string;\n\tstartSide: Side;\n\tendSide: Side;\n\tproperties: PropertySet | undefined;\n}\n\nexport interface DeleteInterval extends IntervalCollectionSpec {\n\ttype: \"deleteInterval\";\n\tid: string;\n}\n\nexport interface RevertSharedStringRevertibles {\n\ttype: \"revertSharedStringRevertibles\";\n\teditsToRevert: number;\n}\n\nexport interface RevertibleWeights {\n\trevertWeight: number;\n\taddText: number;\n\tremoveRange: number;\n\tobliterateRange: number;\n\taddInterval: number;\n\tdeleteInterval: number;\n\tchangeInterval: number;\n}\n\nexport type IntervalOperation = AddInterval | ChangeInterval | DeleteInterval;\nexport type OperationWithRevert = IntervalOperation | RevertSharedStringRevertibles;\nexport type TextOperation = AddText | RemoveRange | ObliterateRange;\n\nexport type ClientOperation = IntervalOperation | TextOperation;\n\nexport type RevertOperation = OperationWithRevert | TextOperation;\nexport type Operation = RevertOperation;\n\nexport type FuzzTestState = DDSFuzzTestState<SharedStringFactory>;\n\nexport interface SharedStringOperationGenerationConfig {\n\t/**\n\t * Maximum length of the SharedString (locally) before no further AddText operations are generated.\n\t * Note due to concurrency, during test execution the actual length of the string may exceed this.\n\t */\n\tmaxStringLength?: number;\n\tmaxInsertLength?: number;\n\tweights?: {\n\t\taddText: number;\n\t\tremoveRange: number;\n\t\tobliterateRange: number;\n\t};\n}\n\nexport interface IntervalOperationGenerationConfig extends SharedStringOperationGenerationConfig {\n\t/**\n\t * Maximum number of intervals (locally) before no further AddInterval operations are generated.\n\t * Note due to concurrency, during test execution the actual number of intervals may exceed this.\n\t */\n\tmaxIntervals?: number;\n\tintervalCollectionNamePool?: string[];\n\tpropertyNamePool?: string[];\n\tvalidateInterval?: number;\n\tweights?: RevertibleWeights & SharedStringOperationGenerationConfig[\"weights\"];\n}\n\nexport const defaultSharedStringOperationGenerationConfig: Required<SharedStringOperationGenerationConfig> =\n\t{\n\t\tmaxStringLength: 1000,\n\t\tmaxInsertLength: 10,\n\t\tweights: {\n\t\t\taddText: 2,\n\t\t\tremoveRange: 1,\n\t\t\tobliterateRange: 1,\n\t\t},\n\t};\nexport const defaultIntervalOperationGenerationConfig: Required<IntervalOperationGenerationConfig> =\n\t{\n\t\t...defaultSharedStringOperationGenerationConfig,\n\t\tmaxIntervals: 100,\n\t\tintervalCollectionNamePool: [\"comments\"],\n\t\tpropertyNamePool: [\"prop1\", \"prop2\", \"prop3\"],\n\t\tvalidateInterval: 100,\n\t\tweights: {\n\t\t\t...defaultSharedStringOperationGenerationConfig.weights,\n\t\t\trevertWeight: 2,\n\t\t\taddInterval: 2,\n\t\t\tdeleteInterval: 2,\n\t\t\tchangeInterval: 2,\n\t\t\tobliterateRange: 0,\n\t\t},\n\t};\n\nexport interface LoggingInfo {\n\t/** id of the interval to track over time */\n\tintervalId: string;\n\t/** Clients to print */\n\tclientIds: string[];\n}\n\nfunction logCurrentState(state: FuzzTestState, loggingInfo: LoggingInfo): void {\n\tfor (const id of loggingInfo.clientIds) {\n\t\tconst { channel } = state.clients.find((s) => s.containerRuntime.clientId === id) ?? {};\n\t\tassert(channel);\n\t\tconst labels = channel.getIntervalCollectionLabels();\n\t\tconst interval = Array.from(labels)\n\t\t\t.map((label) =>\n\t\t\t\tchannel.getIntervalCollection(label).getIntervalById(loggingInfo.intervalId),\n\t\t\t)\n\t\t\t.find((result) => result !== undefined);\n\n\t\tconsole.log(`Client ${id}:`);\n\t\tif (interval !== undefined) {\n\t\t\tconst start = channel.localReferencePositionToPosition(interval.start);\n\t\t\tconst end = channel.localReferencePositionToPosition(interval.end);\n\t\t\tif (end === start) {\n\t\t\t\tconsole.log(`${\" \".repeat(start)}x`);\n\t\t\t} else {\n\t\t\t\tconsole.log(`${\" \".repeat(start)}[${\" \".repeat(end - start - 1)}]`);\n\t\t\t}\n\t\t}\n\t\tconsole.log(channel.getText());\n\t\tconsole.log(\"\\n\");\n\t}\n}\n\ntype ClientOpState = FuzzTestState;\n\nexport function makeReducer(\n\tloggingInfo?: LoggingInfo,\n): Reducer<Operation | RevertOperation, ClientOpState> {\n\tconst withLogging =\n\t\t<T>(baseReducer: Reducer<T, ClientOpState>): Reducer<T, ClientOpState> =>\n\t\tasync (state, operation) => {\n\t\t\tif (loggingInfo !== undefined) {\n\t\t\t\tlogCurrentState(state, loggingInfo);\n\t\t\t\tconsole.log(\"-\".repeat(20));\n\t\t\t\tconsole.log(\"Next operation:\", JSON.stringify(operation, undefined, 4));\n\t\t\t}\n\t\t\tawait baseReducer(state, operation);\n\t\t};\n\n\tconst reducer = combineReducers<Operation | RevertOperation, ClientOpState>({\n\t\taddText: async ({ client }, { index, content }) => {\n\t\t\tclient.channel.insertText(index, content);\n\t\t},\n\t\tremoveRange: async ({ client }, { start, end }) => {\n\t\t\tclient.channel.removeRange(start, end);\n\t\t},\n\t\tobliterateRange: async ({ client }, { start, end }) => {\n\t\t\tclient.channel.obliterateRange(start, end);\n\t\t},\n\t\taddInterval: async ({ client }, { start, end, collectionName, id, startSide, endSide }) => {\n\t\t\tconst collection = client.channel.getIntervalCollection(collectionName);\n\t\t\tcollection.add({\n\t\t\t\tstart: { pos: start, side: startSide },\n\t\t\t\tend: { pos: end, side: endSide },\n\t\t\t\tprops: { intervalId: id },\n\t\t\t});\n\t\t},\n\t\tdeleteInterval: async ({ client }, { id, collectionName }) => {\n\t\t\tconst collection = client.channel.getIntervalCollection(collectionName);\n\t\t\tcollection.removeIntervalById(id);\n\t\t},\n\t\tchangeInterval: async (\n\t\t\t{ client },\n\t\t\t{ id, start, end, collectionName, startSide, endSide, properties },\n\t\t) => {\n\t\t\tconst collection = client.channel.getIntervalCollection(collectionName);\n\t\t\tif (start !== undefined && end !== undefined) {\n\t\t\t\tcollection.change(id, {\n\t\t\t\t\tstart: { pos: start, side: startSide },\n\t\t\t\t\tend: { pos: end, side: endSide },\n\t\t\t\t\tprops: properties,\n\t\t\t\t});\n\t\t\t} else {\n\t\t\t\tcollection.change(id, { props: properties });\n\t\t\t}\n\t\t},\n\t\trevertSharedStringRevertibles: async ({ client }, { editsToRevert }) => {\n\t\t\tassert(isRevertibleSharedString(client.channel));\n\t\t\tclient.channel.isCurrentRevert = true;\n\t\t\tconst few = client.channel.revertibles.splice(-editsToRevert, editsToRevert);\n\t\t\trevertSharedStringRevertibles(client.channel, few);\n\t\t\tclient.channel.isCurrentRevert = false;\n\t\t},\n\t});\n\n\treturn withLogging(reducer);\n}\n\nexport function createSharedStringGeneratorOperations(\n\toptionsParam?: SharedStringOperationGenerationConfig,\n) {\n\tconst options = { ...defaultSharedStringOperationGenerationConfig, ...(optionsParam ?? {}) };\n\n\t// All subsequent helper functions are generators; note that they don't actually apply any operations.\n\tfunction startPosition({ random, client }: ClientOpState): number {\n\t\treturn random.integer(0, Math.max(0, client.channel.getLength() - 1));\n\t}\n\n\tfunction exclusiveRange(state: ClientOpState): RangeSpec {\n\t\tconst start = startPosition(state);\n\t\tconst end = state.random.integer(start + 1, state.client.channel.getLength());\n\t\treturn { start, end };\n\t}\n\n\tfunction exclusiveRangeLeaveChar(state: ClientOpState): RangeSpec {\n\t\tconst start = state.random.integer(0, state.client.channel.getLength() - 2);\n\t\tconst end = state.random.integer(start + 1, state.client.channel.getLength() - 1);\n\t\treturn { start, end };\n\t}\n\n\tasync function addText(state: ClientOpState): Promise<AddText> {\n\t\tconst { random, client } = state;\n\t\treturn {\n\t\t\ttype: \"addText\",\n\t\t\tindex: random.integer(0, client.channel.getLength()),\n\t\t\tcontent: random.string(random.integer(0, options.maxInsertLength)),\n\t\t};\n\t}\n\n\tasync function obliterateRange(state: ClientOpState): Promise<ObliterateRange> {\n\t\treturn {\n\t\t\ttype: \"obliterateRange\",\n\t\t\t...exclusiveRange(state),\n\t\t};\n\t}\n\n\tasync function removeRange(state: ClientOpState): Promise<RemoveRange> {\n\t\treturn { type: \"removeRange\", ...exclusiveRange(state) };\n\t}\n\n\tasync function removeRangeLeaveChar(state: ClientOpState): Promise<RemoveRange> {\n\t\treturn { type: \"removeRange\", ...exclusiveRangeLeaveChar(state) };\n\t}\n\n\tconst lengthSatisfies =\n\t\t(criteria: (length: number) => boolean): AcceptanceCondition<ClientOpState> =>\n\t\t({ client }) =>\n\t\t\tcriteria(client.channel.getLength());\n\tconst hasNonzeroLength = lengthSatisfies((length) => length > 0);\n\tconst isShorterThanMaxLength = lengthSatisfies((length) => length < options.maxStringLength);\n\n\treturn {\n\t\tstartPosition,\n\t\texclusiveRange,\n\t\texclusiveRangeLeaveChar,\n\t\taddText,\n\t\tobliterateRange,\n\t\tremoveRange,\n\t\tremoveRangeLeaveChar,\n\t\tlengthSatisfies,\n\t\thasNonzeroLength,\n\t\tisShorterThanMaxLength,\n\t};\n}\n\nexport class SharedStringFuzzFactory extends SharedStringFactory {\n\tpublic async load(\n\t\truntime: IFluidDataStoreRuntime,\n\t\tid: string,\n\t\tservices: IChannelServices,\n\t\tattributes: IChannelAttributes,\n\t): Promise<SharedString> {\n\t\truntime.options.intervalStickinessEnabled = true;\n\t\truntime.options.mergeTreeEnableObliterate = true;\n\t\treturn super.load(runtime, id, services, attributes);\n\t}\n\n\tpublic create(document: IFluidDataStoreRuntime, id: string): SharedString {\n\t\tdocument.options.intervalStickinessEnabled = true;\n\t\tdocument.options.mergeTreeEnableObliterate = true;\n\t\treturn super.create(document, id);\n\t}\n}\n\nexport const baseModel: Omit<\n\tDDSFuzzModel<SharedStringFactory, Operation, FuzzTestState>,\n\t\"workloadName\" | \"generatorFactory\"\n> = {\n\treducer:\n\t\t// makeReducer supports a param for logging output which tracks the provided intervalId over time:\n\t\t// { intervalId: \"00000000-0000-0000-0000-000000000000\", clientIds: [\"A\", \"B\", \"C\"] }\n\t\tmakeReducer(),\n\tvalidateConsistency: assertEquivalentSharedStrings,\n\tfactory: new SharedStringFuzzFactory(),\n\tminimizationTransforms: [\n\t\t(op) => {\n\t\t\tif (op.type !== \"addText\") {\n\t\t\t\treturn;\n\t\t\t}\n\t\t\top.content = op.content.slice(1);\n\t\t},\n\t\t(op) => {\n\t\t\tswitch (op.type) {\n\t\t\t\tcase \"addText\":\n\t\t\t\t\tif (op.index > 0) {\n\t\t\t\t\t\top.index -= 1;\n\t\t\t\t\t}\n\t\t\t\t\tbreak;\n\t\t\t\tcase \"removeRange\":\n\t\t\t\tcase \"addInterval\":\n\t\t\t\tcase \"changeInterval\":\n\t\t\t\t\tif (op.start !== undefined && op.start > 0) {\n\t\t\t\t\t\top.start -= 1;\n\t\t\t\t\t}\n\t\t\t\t\tif (op.end !== undefined && op.end > 0) {\n\t\t\t\t\t\top.end -= 1;\n\t\t\t\t\t}\n\t\t\t\t\tbreak;\n\t\t\t\tdefault:\n\t\t\t\t\tbreak;\n\t\t\t}\n\t\t},\n\t\t(op) => {\n\t\t\tif (\n\t\t\t\top.type !== \"removeRange\" &&\n\t\t\t\top.type !== \"addInterval\" &&\n\t\t\t\top.type !== \"changeInterval\"\n\t\t\t) {\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tif (op.end !== undefined && op.end > 0) {\n\t\t\t\top.end -= 1;\n\t\t\t}\n\t\t},\n\t],\n};\n\nexport const defaultFuzzOptions: Partial<DDSFuzzSuiteOptions> = {\n\tvalidationStrategy: { type: \"fixedInterval\", interval: 10 },\n\treconnectProbability: 0.1,\n\tnumberOfClients: 3,\n\tclientJoinOptions: {\n\t\tmaxNumberOfClients: 6,\n\t\tclientAddProbability: 0.1,\n\t},\n\tdefaultTestCount: 100,\n\tsaveFailures: { directory: path.join(_dirname, \"../../src/test/fuzz/results\") },\n\tparseOperations: (serialized: string) => {\n\t\tconst operations: Operation[] = JSON.parse(serialized);\n\t\t// Replace this value with some other interval ID and uncomment to filter replay of the test\n\t\t// suite to only include interval operations with this ID.\n\t\t// const filterIntervalId = \"00000000-0000-0000-0000-000000000000\";\n\t\t// if (filterIntervalId) {\n\t\t// \treturn operations.filter((entry) =>\n\t\t// \t\t[undefined, filterIntervalId].includes((entry as any).id),\n\t\t// \t);\n\t\t// }\n\t\treturn operations;\n\t},\n};\n"]}

package/lib/test/fuzz/intervalCollection.fuzz.spec.js

@@ -0,0 +1,200 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { strict as assert } from "assert";
+import { createWeightedAsyncGenerator as createWeightedGenerator, takeAsync as take, } from "@fluid-private/stochastic-test-utils";
+import { createDDSFuzzSuite } from "@fluid-private/test-dds-utils";
+import { FlushMode } from "@fluidframework/runtime-definitions";
+import { Side } from "../../intervalCollection.js";
+import { defaultIntervalOperationGenerationConfig, createSharedStringGeneratorOperations, baseModel, defaultFuzzOptions, } from "./fuzzUtils.js";
+export function makeOperationGenerator(optionsParam, alwaysLeaveChar = false) {
+    const { startPosition, addText, obliterateRange, removeRange, removeRangeLeaveChar, lengthSatisfies, hasNonzeroLength, isShorterThanMaxLength, } = createSharedStringGeneratorOperations(optionsParam);
+    const options = { ...defaultIntervalOperationGenerationConfig, ...(optionsParam ?? {}) };
+    function isNonEmpty(collection) {
+        for (const _ of collection) {
+            return true;
+        }
+        return false;
+    }
+    function inclusiveRange(state) {
+        const start = startPosition(state);
+        const end = state.random.integer(start, Math.max(start, state.client.channel.getLength() - 1));
+        return { start, end };
+    }
+    function inclusiveRangeWithUndefined(state) {
+        return state.random.bool() ? inclusiveRange(state) : { start: undefined, end: undefined };
+    }
+    function propertySet(state) {
+        const propNamesShuffled = [...options.propertyNamePool];
+        state.random.shuffle(propNamesShuffled);
+        const propsToChange = propNamesShuffled.slice(0, state.random.integer(1, propNamesShuffled.length));
+        const propSet = {};
+        for (const name of propsToChange) {
+            propSet[name] = state.random.string(5);
+        }
+        return propSet;
+    }
+    function propertySetWithUndefined(state) {
+        return state.random.bool() ? propertySet(state) : undefined;
+    }
+    function nonEmptyIntervalCollection({ client, random }) {
+        const nonEmptyLabels = Array.from(client.channel.getIntervalCollectionLabels()).filter((label) => {
+            const collection = client.channel.getIntervalCollection(label);
+            return isNonEmpty(collection);
+        });
+        return random.pick(nonEmptyLabels);
+    }
+    function interval(state) {
+        const collectionName = nonEmptyIntervalCollection(state);
+        const intervals = Array.from(state.client.channel.getIntervalCollection(collectionName));
+        const id = state.random.pick(intervals)?.getIntervalId();
+        assert(id);
+        return {
+            id,
+            collectionName,
+        };
+    }
+    async function addInterval(state) {
+        return {
+            type: "addInterval",
+            ...inclusiveRange(state),
+            collectionName: state.random.pick(options.intervalCollectionNamePool),
+            id: state.random.uuid4(),
+            startSide: state.random.pick([Side.Before, Side.After]),
+            endSide: state.random.pick([Side.Before, Side.After]),
+        };
+    }
+    async function deleteInterval(state) {
+        return {
+            type: "deleteInterval",
+            ...interval(state),
+        };
+    }
+    async function changeInterval(state) {
+        const { start, end } = inclusiveRangeWithUndefined(state);
+        const properties = propertySetWithUndefined(state);
+        return {
+            type: "changeInterval",
+            start,
+            end,
+            startSide: state.random.pick([Side.Before, Side.After]),
+            endSide: state.random.pick([Side.Before, Side.After]),
+            properties,
+            ...interval(state),
+        };
+    }
+    const hasAnInterval = ({ client }) => Array.from(client.channel.getIntervalCollectionLabels()).some((label) => {
+        const collection = client.channel.getIntervalCollection(label);
+        return isNonEmpty(collection);
+    });
+    const hasNotTooManyIntervals = ({ client }) => {
+        let intervalCount = 0;
+        for (const label of client.channel.getIntervalCollectionLabels()) {
+            for (const _ of client.channel.getIntervalCollection(label)) {
+                intervalCount++;
+                if (intervalCount >= options.maxIntervals) {
+                    return false;
+                }
+            }
+        }
+        return true;
+    };
+    const all = (...clauses) => (t) => clauses.reduce((prev, cond) => prev && cond(t), true);
+    const usableWeights = optionsParam?.weights ?? defaultIntervalOperationGenerationConfig.weights;
+    return createWeightedGenerator([
+        [addText, usableWeights.addText, isShorterThanMaxLength],
+        [
+            alwaysLeaveChar ? removeRangeLeaveChar : removeRange,
+            usableWeights.removeRange,
+            alwaysLeaveChar
+                ? lengthSatisfies((length) => {
+                    return length > 1;
+                })
+                : hasNonzeroLength,
+        ],
+        [obliterateRange, usableWeights.obliterateRange, hasNonzeroLength],
+        [addInterval, usableWeights.addInterval, all(hasNotTooManyIntervals, hasNonzeroLength)],
+        [deleteInterval, usableWeights.deleteInterval, hasAnInterval],
+        [changeInterval, usableWeights.changeInterval, all(hasAnInterval, hasNonzeroLength)],
+    ]);
+}
+const baseIntervalModel = {
+    ...baseModel,
+    generatorFactory: () => take(100, makeOperationGenerator(defaultIntervalOperationGenerationConfig)),
+};
+describe("IntervalCollection fuzz testing", () => {
+    const model = {
+        ...baseIntervalModel,
+        workloadName: "default interval collection",
+    };
+    createDDSFuzzSuite(model, {
+        ...defaultFuzzOptions,
+        skip: [68],
+        // Note: there are some known eventual consistency issues which the tests don't currently reproduce.
+        // Search this package for AB#6552 (or look at that work item) for a skipped test and further details.
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 0,
+    });
+});
+describe("IntervalCollection with stashing", () => {
+    const model = {
+        ...baseIntervalModel,
+        workloadName: "default interval collection with stashing",
+    };
+    createDDSFuzzSuite(model, {
+        ...defaultFuzzOptions,
+        clientJoinOptions: {
+            clientAddProbability: 0.1,
+            maxNumberOfClients: Number.MAX_SAFE_INTEGER,
+            stashableClientProbability: 0.2,
+        },
+        // AB#7220
+        skip: [68],
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 0,
+    });
+});
+describe("IntervalCollection no reconnect fuzz testing", () => {
+    const noReconnectModel = {
+        ...baseIntervalModel,
+        workloadName: "interval collection without reconnects",
+    };
+    const options = {
+        ...defaultFuzzOptions,
+        skip: [68],
+        reconnectProbability: 0.0,
+        clientJoinOptions: {
+            maxNumberOfClients: 3,
+            clientAddProbability: 0.0,
+        },
+    };
+    createDDSFuzzSuite(noReconnectModel, {
+        ...options,
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 0,
+    });
+});
+describe("IntervalCollection fuzz testing with rebased batches", () => {
+    const noReconnectWithRebaseModel = {
+        ...baseIntervalModel,
+        workloadName: "interval collection with rebasing",
+    };
+    createDDSFuzzSuite(noReconnectWithRebaseModel, {
+        ...defaultFuzzOptions,
+        // todo AB#5603
+        skip: [97],
+        reconnectProbability: 0.0,
+        clientJoinOptions: {
+            maxNumberOfClients: 3,
+            clientAddProbability: 0.0,
+        },
+        rebaseProbability: 0.2,
+        containerRuntimeOptions: {
+            flushMode: FlushMode.TurnBased,
+            enableGroupedBatching: true,
+        },
+        // Uncomment this line to replay a specific seed from its failure file:
+    });
+});
+//# sourceMappingURL=intervalCollection.fuzz.spec.js.map

package/lib/test/fuzz/intervalCollection.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intervalCollection.fuzz.spec.js","sourceRoot":"","sources":["../../../src/test/fuzz/intervalCollection.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAEN,4BAA4B,IAAI,uBAAuB,EAEvD,SAAS,IAAI,IAAI,GACjB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAuB,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExE,OAAO,EAQN,wCAAwC,EACxC,qCAAqC,EACrC,SAAS,EACT,kBAAkB,GAClB,MAAM,gBAAgB,CAAC;AAGxB,MAAM,UAAU,sBAAsB,CACrC,YAAgD,EAChD,kBAA2B,KAAK;IAEhC,MAAM,EACL,aAAa,EACb,OAAO,EACP,eAAe,EACf,WAAW,EACX,oBAAoB,EACpB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,GACtB,GAAG,qCAAqC,CAAC,YAAY,CAAC,CAAC;IAExD,MAAM,OAAO,GAAG,EAAE,GAAG,wCAAwC,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,CAAC;IAEzF,SAAS,UAAU,CAAC,UAAiD;QACpE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE;YAC3B,OAAO,IAAI,CAAC;SACZ;QAED,OAAO,KAAK,CAAC;IACd,CAAC;IAED,SAAS,cAAc,CAAC,KAAoB;QAC3C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAC/B,KAAK,EACL,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CACrD,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvB,CAAC;IAED,SAAS,2BAA2B,CACnC,KAAoB;QAEpB,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAC3F,CAAC;IAED,SAAS,WAAW,CAAC,KAAoB;QACxC,MAAM,iBAAiB,GAAG,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACxD,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACxC,MAAM,aAAa,GAAG,iBAAiB,CAAC,KAAK,CAC5C,CAAC,EACD,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CACjD,CAAC;QACF,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE;YACjC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SACvC;QACD,OAAO,OAAO,CAAC;IAChB,CAAC;IAED,SAAS,wBAAwB,CAAC,KAAoB;QACrD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,CAAC;IAED,SAAS,0BAA0B,CAAC,EAAE,MAAM,EAAE,MAAM,EAAiB;QACpE,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,2BAA2B,EAAE,CAAC,CAAC,MAAM,CACrF,CAAC,KAAK,EAAE,EAAE;YACT,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC/D,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC,CACD,CAAC;QACF,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpC,CAAC;IAED,SAAS,QAAQ,CAAC,KAAoB;QACrC,MAAM,cAAc,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC,CAAC;QACzF,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,CAAC;QACzD,MAAM,CAAC,EAAE,CAAC,CAAC;QAEX,OAAO;YACN,EAAE;YACF,cAAc;SACd,CAAC;IACH,CAAC;IAED,KAAK,UAAU,WAAW,CAAC,KAAoB;QAC9C,OAAO;YACN,IAAI,EAAE,aAAa;YACnB,GAAG,cAAc,CAAC,KAAK,CAAC;YACxB,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;YACrE,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE;YACxB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;SACrD,CAAC;IACH,CAAC;IAED,KAAK,UAAU,cAAc,CAAC,KAAoB;QACjD,OAAO;YACN,IAAI,EAAE,gBAAgB;YACtB,GAAG,QAAQ,CAAC,KAAK,CAAC;SAClB,CAAC;IACH,CAAC;IAED,KAAK,UAAU,cAAc,CAAC,KAAoB;QACjD,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACnD,OAAO;YACN,IAAI,EAAE,gBAAgB;YACtB,KAAK;YACL,GAAG;YACH,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,UAAU;YACV,GAAG,QAAQ,CAAC,KAAK,CAAC;SAClB,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,EAAE,MAAM,EAAiB,EAAW,EAAE,CAC5D,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,2BAA2B,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QACvE,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAC/D,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEJ,MAAM,sBAAsB,GAAuC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACjF,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE;YACjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE;gBAC5D,aAAa,EAAE,CAAC;gBAChB,IAAI,aAAa,IAAI,OAAO,CAAC,YAAY,EAAE;oBAC1C,OAAO,KAAK,CAAC;iBACb;aACD;SACD;QACD,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,GAAG,GACR,CAAI,GAAG,OAAiC,EAA0B,EAAE,CACpE,CAAC,CAAI,EAAE,EAAE,CACR,OAAO,CAAC,MAAM,CAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,YAAY,EAAE,OAAO,IAAI,wCAAwC,CAAC,OAAO,CAAC;IAChG,OAAO,uBAAuB,CAA2B;QACxD,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,sBAAsB,CAAC;QACxD;YACC,eAAe,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW;YACpD,aAAa,CAAC,WAAW;YACzB,eAAe;gBACd,CAAC,CAAC,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE;oBAC3B,OAAO,MAAM,GAAG,CAAC,CAAC;gBAClB,CAAC,CAAC;gBACJ,CAAC,CAAC,gBAAgB;SACnB;QACD,CAAC,eAAe,EAAE,aAAa,CAAC,eAAe,EAAE,gBAAgB,CAAC;QAClE,CAAC,WAAW,EAAE,aAAa,CAAC,WAAW,EAAE,GAAG,CAAC,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;QACvF,CAAC,cAAc,EAAE,aAAa,CAAC,cAAc,EAAE,aAAa,CAAC;QAC7D,CAAC,cAAc,EAAE,aAAa,CAAC,cAAc,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;KACpF,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,iBAAiB,GAAG;IACzB,GAAG,SAAS;IACZ,gBAAgB,EAAE,GAAG,EAAE,CACtB,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,wCAAwC,CAAC,CAAC;CAC5E,CAAC;AAEF,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAChD,MAAM,KAAK,GAAG;QACb,GAAG,iBAAiB;QACpB,YAAY,EAAE,6BAA6B;KAC3C,CAAC;IAEF,kBAAkB,CAAC,KAAK,EAAE;QACzB,GAAG,kBAAkB;QACrB,IAAI,EAAE,CAAC,EAAE,CAAC;QACV,oGAAoG;QACpG,sGAAsG;QACtG,uEAAuE;QACvE,aAAa;KACb,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IACjD,MAAM,KAAK,GAAG;QACb,GAAG,iBAAiB;QACpB,YAAY,EAAE,2CAA2C;KACzD,CAAC;IAEF,kBAAkB,CAAC,KAAK,EAAE;QACzB,GAAG,kBAAkB;QACrB,iBAAiB,EAAE;YAClB,oBAAoB,EAAE,GAAG;YACzB,kBAAkB,EAAE,MAAM,CAAC,gBAAgB;YAC3C,0BAA0B,EAAE,GAAG;SAC/B;QACD,UAAU;QACV,IAAI,EAAE,CAAC,EAAE,CAAC;QACV,uEAAuE;QACvE,aAAa;KACb,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC7D,MAAM,gBAAgB,GAAG;QACxB,GAAG,iBAAiB;QACpB,YAAY,EAAE,wCAAwC;KACtD,CAAC;IAEF,MAAM,OAAO,GAAG;QACf,GAAG,kBAAkB;QACrB,IAAI,EAAE,CAAC,EAAE,CAAC;QACV,oBAAoB,EAAE,GAAG;QACzB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,GAAG;SACzB;KACD,CAAC;IAEF,kBAAkB,CAAC,gBAAgB,EAAE;QACpC,GAAG,OAAO;QACV,uEAAuE;QACvE,aAAa;KACb,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACrE,MAAM,0BAA0B,GAAG;QAClC,GAAG,iBAAiB;QACpB,YAAY,EAAE,mCAAmC;KACjD,CAAC;IAEF,kBAAkB,CAAC,0BAA0B,EAAE;QAC9C,GAAG,kBAAkB;QACrB,eAAe;QACf,IAAI,EAAE,CAAC,EAAE,CAAC;QACV,oBAAoB,EAAE,GAAG;QACzB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,GAAG;SACzB;QACD,iBAAiB,EAAE,GAAG;QACtB,uBAAuB,EAAE;YACxB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,qBAAqB,EAAE,IAAI;SAC3B;QACD,uEAAuE;KACvE,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { strict as assert } from \"assert\";\nimport {\n\tAcceptanceCondition,\n\tcreateWeightedAsyncGenerator as createWeightedGenerator,\n\tAsyncGenerator as Generator,\n\ttakeAsync as take,\n} from \"@fluid-private/stochastic-test-utils\";\nimport { createDDSFuzzSuite } from \"@fluid-private/test-dds-utils\";\nimport { PropertySet } from \"@fluidframework/merge-tree\";\nimport { FlushMode } from \"@fluidframework/runtime-definitions\";\nimport { IIntervalCollection, Side } from \"../../intervalCollection.js\";\nimport { SequenceInterval } from \"../../intervals/index.js\";\nimport {\n\tOperation,\n\tRangeSpec,\n\tAddInterval,\n\tDeleteInterval,\n\tChangeInterval,\n\tFuzzTestState,\n\tIntervalOperationGenerationConfig,\n\tdefaultIntervalOperationGenerationConfig,\n\tcreateSharedStringGeneratorOperations,\n\tbaseModel,\n\tdefaultFuzzOptions,\n} from \"./fuzzUtils.js\";\n\ntype ClientOpState = FuzzTestState;\nexport function makeOperationGenerator(\n\toptionsParam?: IntervalOperationGenerationConfig,\n\talwaysLeaveChar: boolean = false,\n): Generator<Operation, ClientOpState> {\n\tconst {\n\t\tstartPosition,\n\t\taddText,\n\t\tobliterateRange,\n\t\tremoveRange,\n\t\tremoveRangeLeaveChar,\n\t\tlengthSatisfies,\n\t\thasNonzeroLength,\n\t\tisShorterThanMaxLength,\n\t} = createSharedStringGeneratorOperations(optionsParam);\n\n\tconst options = { ...defaultIntervalOperationGenerationConfig, ...(optionsParam ?? {}) };\n\n\tfunction isNonEmpty(collection: IIntervalCollection<SequenceInterval>): boolean {\n\t\tfor (const _ of collection) {\n\t\t\treturn true;\n\t\t}\n\n\t\treturn false;\n\t}\n\n\tfunction inclusiveRange(state: ClientOpState): RangeSpec {\n\t\tconst start = startPosition(state);\n\t\tconst end = state.random.integer(\n\t\t\tstart,\n\t\t\tMath.max(start, state.client.channel.getLength() - 1),\n\t\t);\n\t\treturn { start, end };\n\t}\n\n\tfunction inclusiveRangeWithUndefined(\n\t\tstate: ClientOpState,\n\t): RangeSpec | { start: undefined; end: undefined } {\n\t\treturn state.random.bool() ? inclusiveRange(state) : { start: undefined, end: undefined };\n\t}\n\n\tfunction propertySet(state: ClientOpState): PropertySet {\n\t\tconst propNamesShuffled = [...options.propertyNamePool];\n\t\tstate.random.shuffle(propNamesShuffled);\n\t\tconst propsToChange = propNamesShuffled.slice(\n\t\t\t0,\n\t\t\tstate.random.integer(1, propNamesShuffled.length),\n\t\t);\n\t\tconst propSet: PropertySet = {};\n\t\tfor (const name of propsToChange) {\n\t\t\tpropSet[name] = state.random.string(5);\n\t\t}\n\t\treturn propSet;\n\t}\n\n\tfunction propertySetWithUndefined(state: ClientOpState): PropertySet | undefined {\n\t\treturn state.random.bool() ? propertySet(state) : undefined;\n\t}\n\n\tfunction nonEmptyIntervalCollection({ client, random }: ClientOpState): string {\n\t\tconst nonEmptyLabels = Array.from(client.channel.getIntervalCollectionLabels()).filter(\n\t\t\t(label) => {\n\t\t\t\tconst collection = client.channel.getIntervalCollection(label);\n\t\t\t\treturn isNonEmpty(collection);\n\t\t\t},\n\t\t);\n\t\treturn random.pick(nonEmptyLabels);\n\t}\n\n\tfunction interval(state: ClientOpState): { collectionName: string; id: string } {\n\t\tconst collectionName = nonEmptyIntervalCollection(state);\n\t\tconst intervals = Array.from(state.client.channel.getIntervalCollection(collectionName));\n\t\tconst id = state.random.pick(intervals)?.getIntervalId();\n\t\tassert(id);\n\n\t\treturn {\n\t\t\tid,\n\t\t\tcollectionName,\n\t\t};\n\t}\n\n\tasync function addInterval(state: ClientOpState): Promise<AddInterval> {\n\t\treturn {\n\t\t\ttype: \"addInterval\",\n\t\t\t...inclusiveRange(state),\n\t\t\tcollectionName: state.random.pick(options.intervalCollectionNamePool),\n\t\t\tid: state.random.uuid4(),\n\t\t\tstartSide: state.random.pick([Side.Before, Side.After]),\n\t\t\tendSide: state.random.pick([Side.Before, Side.After]),\n\t\t};\n\t}\n\n\tasync function deleteInterval(state: ClientOpState): Promise<DeleteInterval> {\n\t\treturn {\n\t\t\ttype: \"deleteInterval\",\n\t\t\t...interval(state),\n\t\t};\n\t}\n\n\tasync function changeInterval(state: ClientOpState): Promise<ChangeInterval> {\n\t\tconst { start, end } = inclusiveRangeWithUndefined(state);\n\t\tconst properties = propertySetWithUndefined(state);\n\t\treturn {\n\t\t\ttype: \"changeInterval\",\n\t\t\tstart,\n\t\t\tend,\n\t\t\tstartSide: state.random.pick([Side.Before, Side.After]),\n\t\t\tendSide: state.random.pick([Side.Before, Side.After]),\n\t\t\tproperties,\n\t\t\t...interval(state),\n\t\t};\n\t}\n\n\tconst hasAnInterval = ({ client }: ClientOpState): boolean =>\n\t\tArray.from(client.channel.getIntervalCollectionLabels()).some((label) => {\n\t\t\tconst collection = client.channel.getIntervalCollection(label);\n\t\t\treturn isNonEmpty(collection);\n\t\t});\n\n\tconst hasNotTooManyIntervals: AcceptanceCondition<ClientOpState> = ({ client }) => {\n\t\tlet intervalCount = 0;\n\t\tfor (const label of client.channel.getIntervalCollectionLabels()) {\n\t\t\tfor (const _ of client.channel.getIntervalCollection(label)) {\n\t\t\t\tintervalCount++;\n\t\t\t\tif (intervalCount >= options.maxIntervals) {\n\t\t\t\t\treturn false;\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\treturn true;\n\t};\n\n\tconst all =\n\t\t<T>(...clauses: AcceptanceCondition<T>[]): AcceptanceCondition<T> =>\n\t\t(t: T) =>\n\t\t\tclauses.reduce<boolean>((prev, cond) => prev && cond(t), true);\n\tconst usableWeights = optionsParam?.weights ?? defaultIntervalOperationGenerationConfig.weights;\n\treturn createWeightedGenerator<Operation, ClientOpState>([\n\t\t[addText, usableWeights.addText, isShorterThanMaxLength],\n\t\t[\n\t\t\talwaysLeaveChar ? removeRangeLeaveChar : removeRange,\n\t\t\tusableWeights.removeRange,\n\t\t\talwaysLeaveChar\n\t\t\t\t? lengthSatisfies((length) => {\n\t\t\t\t\t\treturn length > 1;\n\t\t\t\t  })\n\t\t\t\t: hasNonzeroLength,\n\t\t],\n\t\t[obliterateRange, usableWeights.obliterateRange, hasNonzeroLength],\n\t\t[addInterval, usableWeights.addInterval, all(hasNotTooManyIntervals, hasNonzeroLength)],\n\t\t[deleteInterval, usableWeights.deleteInterval, hasAnInterval],\n\t\t[changeInterval, usableWeights.changeInterval, all(hasAnInterval, hasNonzeroLength)],\n\t]);\n}\n\nconst baseIntervalModel = {\n\t...baseModel,\n\tgeneratorFactory: () =>\n\t\ttake(100, makeOperationGenerator(defaultIntervalOperationGenerationConfig)),\n};\n\ndescribe(\"IntervalCollection fuzz testing\", () => {\n\tconst model = {\n\t\t...baseIntervalModel,\n\t\tworkloadName: \"default interval collection\",\n\t};\n\n\tcreateDDSFuzzSuite(model, {\n\t\t...defaultFuzzOptions,\n\t\tskip: [68],\n\t\t// Note: there are some known eventual consistency issues which the tests don't currently reproduce.\n\t\t// Search this package for AB#6552 (or look at that work item) for a skipped test and further details.\n\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t// replay: 0,\n\t});\n});\n\ndescribe(\"IntervalCollection with stashing\", () => {\n\tconst model = {\n\t\t...baseIntervalModel,\n\t\tworkloadName: \"default interval collection with stashing\",\n\t};\n\n\tcreateDDSFuzzSuite(model, {\n\t\t...defaultFuzzOptions,\n\t\tclientJoinOptions: {\n\t\t\tclientAddProbability: 0.1,\n\t\t\tmaxNumberOfClients: Number.MAX_SAFE_INTEGER,\n\t\t\tstashableClientProbability: 0.2,\n\t\t},\n\t\t// AB#7220\n\t\tskip: [68],\n\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t// replay: 0,\n\t});\n});\n\ndescribe(\"IntervalCollection no reconnect fuzz testing\", () => {\n\tconst noReconnectModel = {\n\t\t...baseIntervalModel,\n\t\tworkloadName: \"interval collection without reconnects\",\n\t};\n\n\tconst options = {\n\t\t...defaultFuzzOptions,\n\t\tskip: [68],\n\t\treconnectProbability: 0.0,\n\t\tclientJoinOptions: {\n\t\t\tmaxNumberOfClients: 3,\n\t\t\tclientAddProbability: 0.0,\n\t\t},\n\t};\n\n\tcreateDDSFuzzSuite(noReconnectModel, {\n\t\t...options,\n\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t// replay: 0,\n\t});\n});\n\ndescribe(\"IntervalCollection fuzz testing with rebased batches\", () => {\n\tconst noReconnectWithRebaseModel = {\n\t\t...baseIntervalModel,\n\t\tworkloadName: \"interval collection with rebasing\",\n\t};\n\n\tcreateDDSFuzzSuite(noReconnectWithRebaseModel, {\n\t\t...defaultFuzzOptions,\n\t\t// todo AB#5603\n\t\tskip: [97],\n\t\treconnectProbability: 0.0,\n\t\tclientJoinOptions: {\n\t\t\tmaxNumberOfClients: 3,\n\t\t\tclientAddProbability: 0.0,\n\t\t},\n\t\trebaseProbability: 0.2,\n\t\tcontainerRuntimeOptions: {\n\t\t\tflushMode: FlushMode.TurnBased,\n\t\t\tenableGroupedBatching: true,\n\t\t},\n\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t});\n});\n"]}

package/lib/test/fuzz/intervalRevertibles.fuzz.spec.js

@@ -0,0 +1,129 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { strict as assert } from "assert";
+import { createWeightedAsyncGenerator as createWeightedGenerator, takeAsync as take, } from "@fluid-private/stochastic-test-utils";
+import { createDDSFuzzSuite, } from "@fluid-private/test-dds-utils";
+import { TypedEventEmitter } from "@fluid-internal/client-utils";
+import { FlushMode } from "@fluidframework/runtime-definitions";
+import { appendAddIntervalToRevertibles, appendChangeIntervalToRevertibles, appendDeleteIntervalToRevertibles, appendIntervalPropertyChangedToRevertibles, appendSharedStringDeltaToRevertibles, } from "../../revertibles.js";
+import { isRevertibleSharedString, baseModel, defaultFuzzOptions, } from "./fuzzUtils.js";
+import { makeOperationGenerator } from "./intervalCollection.fuzz.spec.js";
+const emitter = new TypedEventEmitter();
+emitter.on("clientCreate", (client) => {
+    const channel = client.channel;
+    channel.revertibles = [];
+    channel.isCurrentRevert = false;
+    channel.on("createIntervalCollection", (label) => {
+        const collection = channel.getIntervalCollection(label);
+        assert(isRevertibleSharedString(channel));
+        collection.on("addInterval", (interval, local, op) => {
+            if (local && !channel.isCurrentRevert) {
+                appendAddIntervalToRevertibles(interval, channel.revertibles);
+            }
+        });
+        collection.on("deleteInterval", (interval, local, op) => {
+            if (local && !channel.isCurrentRevert) {
+                appendDeleteIntervalToRevertibles(channel, interval, channel.revertibles);
+            }
+        });
+        collection.on("changeInterval", (interval, previousInterval, local, op, slide) => {
+            if (local && !channel.isCurrentRevert && !slide) {
+                appendChangeIntervalToRevertibles(channel, interval, previousInterval, channel.revertibles);
+            }
+        });
+        collection.on("propertyChanged", (interval, propertyDeltas, local, op) => {
+            if (local && !channel.isCurrentRevert) {
+                appendIntervalPropertyChangedToRevertibles(interval, propertyDeltas, channel.revertibles);
+            }
+        });
+        channel.on("sequenceDelta", (op) => {
+            if (op.isLocal && !channel.isCurrentRevert) {
+                appendSharedStringDeltaToRevertibles(channel, op, channel.revertibles);
+            }
+        });
+    });
+});
+const defaultRevertiblesFuzzOptions = {
+    ...defaultFuzzOptions,
+    reconnectProbability: 0,
+    clientJoinOptions: {
+        maxNumberOfClients: 6,
+        clientAddProbability: 0,
+    },
+};
+const optionsWithEmitter = {
+    ...defaultRevertiblesFuzzOptions,
+    emitter,
+};
+function operationGenerator(optionsParam) {
+    async function revertSharedStringRevertibles(state) {
+        assert(isRevertibleSharedString(state.client.channel));
+        return {
+            type: "revertSharedStringRevertibles",
+            // grab a random number of edits to revert
+            editsToRevert: state.random.integer(1, state.client.channel.revertibles.length),
+        };
+    }
+    const hasRevertibles = ({ client }) => {
+        assert(isRevertibleSharedString(client.channel));
+        return client.channel.revertibles.length > 0;
+    };
+    assert(optionsParam.weights !== undefined);
+    const baseGenerator = makeOperationGenerator(optionsParam, true);
+    return createWeightedGenerator([
+        [revertSharedStringRevertibles, optionsParam.weights.revertWeight, hasRevertibles],
+        [baseGenerator, 1],
+    ]);
+}
+describe("IntervalCollection fuzz testing", () => {
+    const model = {
+        ...baseModel,
+        workloadName: "interval collection with revertibles",
+        generatorFactory: () => take(100, 
+        // Weights are explicitly defined here while bugs are being resolved. Once resolved,
+        // the weights in the defaultOptions parameter will be used.
+        operationGenerator({
+            weights: {
+                revertWeight: 2,
+                addText: 2,
+                removeRange: 1,
+                obliterateRange: 0,
+                addInterval: 2,
+                deleteInterval: 2,
+                changeInterval: 2,
+            },
+        })),
+    };
+    createDDSFuzzSuite(model, optionsWithEmitter);
+});
+describe("IntervalCollection fuzz testing with rebasing", () => {
+    const model = {
+        ...baseModel,
+        workloadName: "interval collection with revertibles and rebasing",
+        generatorFactory: () => take(100, 
+        // Weights are explicitly defined here while bugs are being resolved. Once resolved,
+        // the weights in the defaultOptions parameter will be used.
+        operationGenerator({
+            weights: {
+                revertWeight: 2,
+                addText: 2,
+                removeRange: 1,
+                obliterateRange: 0,
+                addInterval: 2,
+                deleteInterval: 2,
+                changeInterval: 2,
+            },
+        })),
+    };
+    createDDSFuzzSuite(model, {
+        ...optionsWithEmitter,
+        rebaseProbability: 0.15,
+        containerRuntimeOptions: {
+            flushMode: FlushMode.TurnBased,
+            enableGroupedBatching: true,
+        },
+    });
+});
+//# sourceMappingURL=intervalRevertibles.fuzz.spec.js.map