@fluidframework/tree 2.0.0-dev-rc.5.0.0.271717 → 2.0.0-dev-rc.5.0.0.272251

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fluidframework/tree",
-  "version": "2.0.0-dev-rc.5.0.0.271717",
+  "version": "2.0.0-dev-rc.5.0.0.272251",
   "description": "Distributed tree",
   "homepage": "https://fluidframework.com",
   "repository": {
@@ -67,17 +67,17 @@
     "temp-directory": "nyc/.nyc_output"
   },
   "dependencies": {
-    "@fluid-internal/client-utils": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/container-runtime": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/core-interfaces": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/core-utils": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/datastore-definitions": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/driver-definitions": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/id-compressor": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/runtime-definitions": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/runtime-utils": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/shared-object-base": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/telemetry-utils": "2.0.0-dev-rc.5.0.0.271717",
+    "@fluid-internal/client-utils": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/container-runtime": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/core-interfaces": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/core-utils": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/datastore-definitions": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/driver-definitions": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/id-compressor": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/runtime-definitions": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/runtime-utils": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/shared-object-base": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/telemetry-utils": "2.0.0-dev-rc.5.0.0.272251",
     "@sinclair/typebox": "^0.32.29",
     "@tylerbu/sorted-btree-es6": "^1.8.0",
     "@ungap/structured-clone": "^1.2.0",
@@ -86,19 +86,19 @@
   "devDependencies": {
     "@arethetypeswrong/cli": "^0.15.2",
     "@biomejs/biome": "^1.7.3",
-    "@fluid-internal/mocha-test-setup": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluid-private/stochastic-test-utils": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluid-private/test-dds-utils": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluid-private/test-drivers": "2.0.0-dev-rc.5.0.0.271717",
+    "@fluid-internal/mocha-test-setup": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluid-private/stochastic-test-utils": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluid-private/test-dds-utils": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluid-private/test-drivers": "2.0.0-dev-rc.5.0.0.272251",
     "@fluid-tools/benchmark": "^0.48.0",
     "@fluid-tools/build-cli": "^0.39.0",
     "@fluidframework/build-common": "^2.0.3",
     "@fluidframework/build-tools": "^0.39.0",
-    "@fluidframework/container-definitions": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/container-loader": "2.0.0-dev-rc.5.0.0.271717",
+    "@fluidframework/container-definitions": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/container-loader": "2.0.0-dev-rc.5.0.0.272251",
     "@fluidframework/eslint-config-fluid": "^5.3.0",
-    "@fluidframework/test-runtime-utils": "2.0.0-dev-rc.5.0.0.271717",
-    "@fluidframework/test-utils": "2.0.0-dev-rc.5.0.0.271717",
+    "@fluidframework/test-runtime-utils": "2.0.0-dev-rc.5.0.0.272251",
+    "@fluidframework/test-utils": "2.0.0-dev-rc.5.0.0.272251",
     "@microsoft/api-extractor": "^7.45.1",
     "@types/diff": "^3.5.1",
     "@types/easy-table": "^0.0.32",
@@ -109,6 +109,7 @@
     "ajv": "^8.12.0",
     "ajv-formats": "^3.0.1",
     "c8": "^8.0.1",
+    "concurrently": "^8.2.1",
     "copyfiles": "^2.4.1",
     "cross-env": "^7.0.3",
     "dependency-cruiser": "^14.1.0",
@@ -134,9 +135,6 @@
         "...",
         "@fluidframework/id-compressor#build:test:esm"
       ],
-      "check:release-tags": [
-        "build:esnext"
-      ],
       "ci:build:docs": [
         "build:esnext"
       ]
@@ -163,9 +161,14 @@
     "build:test:esm": "tsc --project ./src/test/tsconfig.json",
     "check:are-the-types-wrong": "attw --pack .",
     "check:biome": "biome check . --formatter-enabled=true",
+    "check:exports": "concurrently \"npm:check:exports:*\"",
+    "check:exports:bundle-release-tags": "api-extractor run --config api-extractor/api-extractor-lint-bundle.json",
+    "check:exports:cjs:beta": "api-extractor run --config api-extractor/api-extractor-lint-beta.cjs.json",
+    "check:exports:cjs:public": "api-extractor run --config api-extractor/api-extractor-lint-public.cjs.json",
+    "check:exports:esm:beta": "api-extractor run --config api-extractor/api-extractor-lint-beta.esm.json",
+    "check:exports:esm:public": "api-extractor run --config api-extractor/api-extractor-lint-public.esm.json",
     "check:format": "npm run check:prettier",
     "check:prettier": "prettier --check . --cache --ignore-path ../../../.prettierignore",
-    "check:release-tags": "api-extractor run --local --config ./api-extractor-lint.json",
     "ci:build:docs": "api-extractor run",
     "clean": "rimraf --glob dist lib \"*.d.ts\" \"**/*.tsbuildinfo\" \"**/*.build.log\" _api-extractor-temp nyc",
     "depcruise": "depcruise src/ --ignore-known",

package/src/feature-libraries/index.ts

@@ -117,7 +117,6 @@ export {
 	genericFieldKind,
 	type HasFieldChanges,
 	type NodeExistsConstraint,
-	NodeExistenceState,
 	FieldKindWithEditor,
 	ModularChangeFamily,
 	type RelevantRemovedRootsFromChild,

package/src/feature-libraries/modular-schema/fieldChangeHandler.ts

@@ -124,7 +124,6 @@ export interface FieldChangeRebaser<TChangeset> {
 		genId: IdAllocator,
 		crossFieldManager: CrossFieldManager,
 		revisionMetadata: RebaseRevisionMetadata,
-		existenceState?: NodeExistenceState,
 	): TChangeset;
 
 	/**
@@ -189,9 +188,9 @@ export type NodeChangeInverter = (change: NodeId) => NodeId;
 /**
  * @internal
  */
-export enum NodeExistenceState {
-	Alive,
-	Dead,
+export enum NodeAttachState {
+	Attached,
+	Detached,
 }
 
 /**
@@ -201,10 +200,10 @@ export type NodeChangeRebaser = (
 	change: NodeId | undefined,
 	baseChange: NodeId | undefined,
 	/**
-	 * Whether or not the node is alive or dead in the input context of change.
-	 * Defaults to Alive if undefined.
+	 * Whether the node is attached to this field in the output context of the base change.
+	 * Defaults to attached if undefined.
 	 */
-	state?: NodeExistenceState,
+	state?: NodeAttachState,
 ) => NodeId | undefined;
 
 /**

package/src/feature-libraries/modular-schema/index.ts

@@ -39,7 +39,7 @@ export {
 	type RebaseRevisionMetadata,
 	type RelevantRemovedRootsFromChild,
 	type ToDelta,
-	NodeExistenceState,
+	NodeAttachState,
 	type FieldChangeEncodingContext,
 } from "./fieldChangeHandler.js";
 export type {

package/src/feature-libraries/modular-schema/modularChangeFamily.ts

@@ -77,7 +77,7 @@ import {
 } from "./crossFieldQueries.js";
 import {
 	type FieldChangeHandler,
-	NodeExistenceState,
+	NodeAttachState,
 	type RebaseRevisionMetadata,
 } from "./fieldChangeHandler.js";
 import { type FieldKindWithEditor, withEditor } from "./fieldKindWithEditor.js";
@@ -639,7 +639,7 @@ export class ModularChangeFamily
 		);
 
 		const rebasedNodes: ChangeAtomIdMap<NodeChangeset> = new Map();
-		for (const [newId, baseId, existenceState] of crossFieldTable.nodeIdPairs) {
+		for (const [newId, baseId] of crossFieldTable.nodeIdPairs) {
 			const newNodeChange =
 				newId !== undefined
 					? tryGetFromNestedMap(change.nodeChanges, newId.revision, newId.localId)
@@ -660,8 +660,6 @@ export class ModularChangeFamily
 				genId,
 				crossFieldTable,
 				rebaseMetadata,
-				constraintState,
-				existenceState,
 			);
 
 			if (rebasedNode !== undefined) {
@@ -700,6 +698,13 @@ export class ModularChangeFamily
 			}
 		}
 
+		this.updateConstraintsForFields(
+			rebasedFields,
+			NodeAttachState.Attached,
+			constraintState,
+			rebasedNodes,
+		);
+
 		return makeModularChangeset(
 			this.pruneFieldMap(rebasedFields, rebasedNodes),
 			rebasedNodes,
@@ -718,7 +723,6 @@ export class ModularChangeFamily
 		genId: IdAllocator,
 		crossFieldTable: RebaseTable,
 		revisionMetadata: RebaseRevisionMetadata,
-		existenceState: NodeExistenceState = NodeExistenceState.Alive,
 	): FieldChangeMap {
 		const rebasedFields: FieldChangeMap = new Map();
 
@@ -739,9 +743,9 @@ export class ModularChangeFamily
 			const rebaseChild = (
 				child: NodeId | undefined,
 				baseChild: NodeId | undefined,
-				stateChange: NodeExistenceState | undefined,
+				_attachState: NodeAttachState | undefined,
 			): ChangeAtomId => {
-				crossFieldTable.nodeIdPairs.push([child, baseChild, stateChange]);
+				crossFieldTable.nodeIdPairs.push([child, baseChild]);
 				return (
 					child ??
 					// The fact `child` is undefined means that the changeset to rebase does not include changes for
@@ -801,13 +805,13 @@ export class ModularChangeFamily
 							0x5b6 /* This field should not have any base changes */,
 						);
 
-						crossFieldTable.nodeIdPairs.push([child, undefined, existenceState]);
+						crossFieldTable.nodeIdPairs.push([child, undefined]);
+
 						return child;
 					},
 					genId,
 					manager,
 					revisionMetadata,
-					existenceState,
 				);
 				const rebasedFieldChange: FieldChange = {
 					fieldKind: fieldKind.identifier,
@@ -826,8 +830,6 @@ export class ModularChangeFamily
 		genId: IdAllocator,
 		crossFieldTable: RebaseTable,
 		revisionMetadata: RebaseRevisionMetadata,
-		constraintState: ConstraintState,
-		existenceState: NodeExistenceState = NodeExistenceState.Alive,
 	): NodeChangeset | undefined {
 		const key = change ?? over;
 		if (key === undefined) {
@@ -842,7 +844,6 @@ export class ModularChangeFamily
 			genId,
 			crossFieldTable,
 			revisionMetadata,
-			existenceState,
 		);
 
 		const rebasedChange: NodeChangeset = {};
@@ -855,21 +856,52 @@ export class ModularChangeFamily
 			rebasedChange.nodeExistsConstraint = change.nodeExistsConstraint;
 		}
 
-		// If there's a node exists constraint and we removed or revived the node, update constraint state
-		if (rebasedChange.nodeExistsConstraint !== undefined) {
-			const violatedAfter = existenceState === NodeExistenceState.Dead;
+		crossFieldTable.rebasedNodeCache.set(key, rebasedChange);
+		return rebasedChange;
+	}
+
+	private updateConstraintsForFields(
+		fields: FieldChangeMap,
+		parentAttachState: NodeAttachState,
+		constraintState: ConstraintState,
+		nodes: ChangeAtomIdMap<NodeChangeset>,
+	): void {
+		for (const field of fields.values()) {
+			const handler = getChangeHandler(this.fieldKinds, field.fieldKind);
+			for (const [nodeId, index] of handler.getNestedChanges(field.change)) {
+				const isDetached = index === undefined;
+				const attachState =
+					parentAttachState === NodeAttachState.Detached || isDetached
+						? NodeAttachState.Detached
+						: NodeAttachState.Attached;
+				this.updateConstraintsForNode(nodeId, attachState, constraintState, nodes);
+			}
+		}
+	}
 
-			if (rebasedChange.nodeExistsConstraint.violated !== violatedAfter) {
-				rebasedChange.nodeExistsConstraint = {
-					...rebasedChange.nodeExistsConstraint,
-					violated: violatedAfter,
+	private updateConstraintsForNode(
+		nodeId: NodeId,
+		attachState: NodeAttachState,
+		constraintState: ConstraintState,
+		nodes: ChangeAtomIdMap<NodeChangeset>,
+	): void {
+		const node =
+			tryGetFromNestedMap(nodes, nodeId.revision, nodeId.localId) ?? fail("Unknown node ID");
+
+		if (node.nodeExistsConstraint !== undefined) {
+			const isNowViolated = attachState === NodeAttachState.Detached;
+			if (node.nodeExistsConstraint.violated !== isNowViolated) {
+				node.nodeExistsConstraint = {
+					...node.nodeExistsConstraint,
+					violated: isNowViolated,
 				};
-				constraintState.violationCount += violatedAfter ? 1 : -1;
+				constraintState.violationCount += isNowViolated ? 1 : -1;
 			}
 		}
 
-		crossFieldTable.rebasedNodeCache.set(key, rebasedChange);
-		return rebasedChange;
+		if (node.fieldChanges !== undefined) {
+			this.updateConstraintsForFields(node.fieldChanges, attachState, constraintState, nodes);
+		}
 	}
 
 	private pruneFieldMap(
@@ -1475,7 +1507,7 @@ interface RebaseTable extends CrossFieldTable<FieldChange> {
 	/**
 	 * List of (newId, baseId) pairs encountered so far.
 	 */
-	nodeIdPairs: [NodeId | undefined, NodeId | undefined, NodeExistenceState | undefined][];
+	nodeIdPairs: [NodeId | undefined, NodeId | undefined][];
 }
 
 interface RebaseFieldContext {

package/src/feature-libraries/optional-field/optionalField.ts

@@ -35,7 +35,7 @@ import {
 	type NodeChangeComposer,
 	type NodeChangePruner,
 	type NodeChangeRebaser,
-	NodeExistenceState,
+	NodeAttachState,
 	type NodeId,
 	type RelevantRemovedRootsFromChild,
 	type ToDelta,
@@ -373,7 +373,7 @@ export const optionalChangeRebaser: FieldChangeRebaser<OptionalChangeset> = {
 			const rebasedChildChange = rebaseChild(
 				childChange,
 				overChildChange,
-				rebasedId === "self" ? NodeExistenceState.Alive : NodeExistenceState.Dead,
+				rebasedId === "self" ? NodeAttachState.Attached : NodeAttachState.Detached,
 			);
 			if (rebasedChildChange !== undefined) {
 				rebasedChildChanges.push([rebasedId, rebasedChildChange]);
@@ -385,7 +385,7 @@ export const optionalChangeRebaser: FieldChangeRebaser<OptionalChangeset> = {
 			const rebasedChildChange = rebaseChild(
 				undefined,
 				overChildChange,
-				rebasedId === "self" ? NodeExistenceState.Alive : NodeExistenceState.Dead,
+				rebasedId === "self" ? NodeAttachState.Attached : NodeAttachState.Detached,
 			);
 			if (rebasedChildChange !== undefined) {
 				rebasedChildChanges.push([rebasedId, rebasedChildChange]);

package/src/feature-libraries/sequence-field/rebase.ts

@@ -11,7 +11,7 @@ import {
 	type CrossFieldManager,
 	CrossFieldTarget,
 	type NodeChangeRebaser,
-	NodeExistenceState,
+	NodeAttachState,
 	type NodeId,
 	type RebaseRevisionMetadata,
 } from "../modular-schema/index.js";
@@ -74,7 +74,6 @@ export function rebase(
 	genId: IdAllocator,
 	manager: CrossFieldManager,
 	revisionMetadata: RebaseRevisionMetadata,
-	nodeExistenceState: NodeExistenceState = NodeExistenceState.Alive,
 ): Changeset {
 	return rebaseMarkList(
 		change,
@@ -83,7 +82,6 @@ export function rebase(
 		rebaseChild,
 		genId,
 		manager as MoveEffectTable,
-		nodeExistenceState,
 	);
 }
 
@@ -94,20 +92,13 @@ function rebaseMarkList(
 	rebaseChild: NodeChangeRebaser,
 	genId: IdAllocator,
 	moveEffects: CrossFieldManager<MoveEffect>,
-	nodeExistenceState: NodeExistenceState,
 ): MarkList {
 	const factory = new MarkListFactory();
 	const queue = new RebaseQueue(baseMarkList, currMarkList, metadata, moveEffects);
 
 	while (!queue.isEmpty()) {
 		const { baseMark, newMark: currMark } = queue.pop();
-		const rebasedMark = rebaseMark(
-			currMark,
-			baseMark,
-			rebaseChild,
-			moveEffects,
-			nodeExistenceState,
-		);
+		const rebasedMark = rebaseMark(currMark, baseMark, rebaseChild, moveEffects);
 		factory.push(rebasedMark);
 	}
 
@@ -272,7 +263,6 @@ function rebaseMark(
 	baseMark: Mark,
 	rebaseChild: NodeChangeRebaser,
 	moveEffects: MoveEffectTable,
-	nodeExistenceState: NodeExistenceState,
 ): Mark {
 	const rebasedMark = rebaseNodeChange(cloneMark(currMark), baseMark, rebaseChild);
 	const movedNodeChanges = getMovedChangesFromBaseMark(moveEffects, baseMark);
@@ -284,15 +274,10 @@ function rebaseMark(
 		rebasedMark.changes = movedNodeChanges;
 	}
 
-	return rebaseMarkIgnoreChild(rebasedMark, baseMark, moveEffects, nodeExistenceState);
+	return rebaseMarkIgnoreChild(rebasedMark, baseMark, moveEffects);
 }
 
-function rebaseMarkIgnoreChild(
-	currMark: Mark,
-	baseMark: Mark,
-	moveEffects: MoveEffectTable,
-	nodeExistenceState: NodeExistenceState,
-): Mark {
+function rebaseMarkIgnoreChild(currMark: Mark, baseMark: Mark, moveEffects: MoveEffectTable): Mark {
 	let rebasedMark: Mark;
 	if (isDetach(baseMark)) {
 		if (baseMark.cellId !== undefined) {
@@ -341,13 +326,11 @@ function rebaseMarkIgnoreChild(
 			currMark,
 			{ ...baseMark.attach, cellId: cloneCellId(baseMark.cellId), count: baseMark.count },
 			moveEffects,
-			nodeExistenceState,
 		);
 		rebasedMark = rebaseMarkIgnoreChild(
 			halfRebasedMark,
 			{ ...baseMark.detach, count: baseMark.count },
 			moveEffects,
-			nodeExistenceState,
 		);
 	} else {
 		rebasedMark = currMark;
@@ -465,19 +448,18 @@ function rebaseNodeChange(currMark: Mark, baseMark: Mark, nodeRebaser: NodeChang
 		return currMark;
 	}
 
-	if (markEmptiesCells(baseMark) && !isMoveMark(baseMark)) {
-		return withNodeChange(
-			currMark,
-			nodeRebaser(currChange, baseChange, NodeExistenceState.Dead),
-		);
-	} else if (markFillsCells(baseMark) && !isMoveMark(baseMark)) {
-		return withNodeChange(
-			currMark,
-			nodeRebaser(currChange, baseChange, NodeExistenceState.Alive),
-		);
-	}
+	const nodeState = nodeStateAfterMark(baseMark);
+	return withNodeChange(currMark, nodeRebaser(currChange, baseChange, nodeState));
+}
 
-	return withNodeChange(currMark, nodeRebaser(currChange, baseChange));
+function nodeStateAfterMark(mark: Mark): NodeAttachState {
+	if (markEmptiesCells(mark)) {
+		return NodeAttachState.Detached;
+	} else if (markFillsCells(mark)) {
+		return NodeAttachState.Attached;
+	} else {
+		return mark.cellId === undefined ? NodeAttachState.Attached : NodeAttachState.Detached;
+	}
 }
 
 function makeDetachedMark(mark: Mark, cellId: ChangeAtomId): Mark {

package/src/packageVersion.ts

@@ -6,4 +6,4 @@
  */
 
 export const pkgName = "@fluidframework/tree";
-export const pkgVersion = "2.0.0-dev-rc.5.0.0.271717";
+export const pkgVersion = "2.0.0-dev-rc.5.0.0.272251";

package/src/shared-tree-core/branch.ts

@@ -120,6 +120,27 @@ export interface SharedTreeBranchEvents<TEditor extends ChangeFamilyEditor, TCha
 	 * Fired after this branch is disposed
 	 */
 	dispose(): void;
+
+	/**
+	 * Fired after a new transaction is started.
+	 * @param isOuterTransaction - true iff the transaction being started is the outermost transaction
+	 * as opposed to a nested transaction.
+	 */
+	transactionStarted(isOuterTransaction: boolean): void;
+
+	/**
+	 * Fired after the current transaction is aborted.
+	 * @param isOuterTransaction - true iff the transaction being aborted is the outermost transaction
+	 * as opposed to a nested transaction.
+	 */
+	transactionAborted(isOuterTransaction: boolean): void;
+
+	/**
+	 * Fired after the current transaction is committed.
+	 * @param isOuterTransaction - true iff the transaction being committed is the outermost transaction
+	 * as opposed to a nested transaction.
+	 */
+	transactionCommitted(isOuterTransaction: boolean): void;
 }
 
 /**
@@ -267,6 +288,7 @@ export class SharedTreeBranch<TEditor extends ChangeFamilyEditor, TChange> exten
 			onForkUnSubscribe();
 		});
 		this.editor.enterTransaction();
+		this.emit("transactionStarted", this.transactions.size === 1);
 	}
 
 	/**
@@ -283,6 +305,7 @@ export class SharedTreeBranch<TEditor extends ChangeFamilyEditor, TChange> exten
 		const [startCommit, commits] = this.popTransaction();
 		this.editor.exitTransaction();
 
+		this.emit("transactionCommitted", this.transactions.size === 0);
 		if (commits.length === 0) {
 			return undefined;
 		}
@@ -329,6 +352,7 @@ export class SharedTreeBranch<TEditor extends ChangeFamilyEditor, TChange> exten
 		const [startCommit, commits] = this.popTransaction();
 		this.editor.exitTransaction();
 
+		this.emit("transactionAborted", this.transactions.size === 0);
 		if (commits.length === 0) {
 			return [undefined, []];
 		}

package/src/shared-tree-core/branchCommitEnricher.ts

@@ -12,8 +12,7 @@ import { TransactionEnricher } from "./transactionEnricher.js";
  * Utility for enriching commits from a {@link Branch} before these commits are applied and submitted.
  */
 export class BranchCommitEnricher<TChange> {
-	private transactionEnricher?: TransactionEnricher<TChange>;
-	private readonly rebaser: ChangeRebaser<TChange>;
+	private readonly transactionEnricher: TransactionEnricher<TChange>;
 	private readonly enricher: ChangeEnricherReadonlyCheckout<TChange>;
 	/**
 	 * Maps each local commit to the corresponding enriched commit.
@@ -28,8 +27,8 @@ export class BranchCommitEnricher<TChange> {
 		rebaser: ChangeRebaser<TChange>,
 		enricher: ChangeEnricherReadonlyCheckout<TChange>,
 	) {
-		this.rebaser = rebaser;
 		this.enricher = enricher;
+		this.transactionEnricher = new TransactionEnricher(rebaser, this.enricher);
 	}
 
 	/**
@@ -39,6 +38,18 @@ export class BranchCommitEnricher<TChange> {
 		return this.preparedCommits.size;
 	}
 
+	public startNewTransaction(): void {
+		this.transactionEnricher.startNewTransaction();
+	}
+
+	public commitCurrentTransaction(): void {
+		this.transactionEnricher.commitCurrentTransaction();
+	}
+
+	public abortCurrentTransaction(): void {
+		this.transactionEnricher.abortCurrentTransaction();
+	}
+
 	/**
 	 * Adds a commit to the enricher.
 	 * @param commit - A commit that is part of a transaction.
@@ -46,8 +57,7 @@ export class BranchCommitEnricher<TChange> {
 	public ingestTransactionCommit(commit: GraphCommit<TChange>): void {
 		// We do not submit ops for changes that are part of a transaction.
 		// But we need to enrich the commits that will be sent if the transaction is committed.
-		this.transactionEnricher ??= new TransactionEnricher(this.rebaser, this.enricher);
-		this.transactionEnricher.addTransactionSteps(commit);
+		this.transactionEnricher.addTransactionStep(commit);
 	}
 
 	/**
@@ -66,7 +76,6 @@ export class BranchCommitEnricher<TChange> {
 				"Unexpected transaction commit without transaction steps",
 			);
 			enrichedChange = this.transactionEnricher.getComposedChange(commit.revision);
-			delete this.transactionEnricher;
 		} else {
 			enrichedChange = this.enricher.updateChangeEnrichments(commit.change, commit.revision);
 		}

package/src/shared-tree-core/sharedTreeCore.ts

@@ -151,6 +151,15 @@ export class SharedTreeCore<TEditor extends ChangeFamilyEditor, TChange> extends
 		 */
 		const localSessionId = runtime.idCompressor.localSessionId;
 		this.editManager = new EditManager(changeFamily, localSessionId, this.mintRevisionTag);
+		this.editManager.localBranch.on("transactionStarted", () => {
+			this.commitEnricher.startNewTransaction();
+		});
+		this.editManager.localBranch.on("transactionAborted", () => {
+			this.commitEnricher.abortCurrentTransaction();
+		});
+		this.editManager.localBranch.on("transactionCommitted", () => {
+			this.commitEnricher.commitCurrentTransaction();
+		});
 		this.editManager.localBranch.on("beforeChange", (change) => {
 			// Ensure that any previously prepared commits that have not been sent are purged.
 			this.commitEnricher.purgePreparedCommits();

package/src/shared-tree-core/transactionEnricher.ts

@@ -3,6 +3,7 @@
  * Licensed under the MIT License.
  */
 
+import { assert } from "@fluidframework/core-utils/internal";
 import type { ChangeRebaser, GraphCommit, RevisionTag } from "../core/index.js";
 import type { ChangeEnricherReadonlyCheckout } from "./changeEnricher.js";
 
@@ -13,6 +14,13 @@ export class TransactionEnricher<TChange> {
 	private readonly rebaser: ChangeRebaser<TChange>;
 	private readonly enricher: ChangeEnricherReadonlyCheckout<TChange>;
 	private readonly transactionCommits: GraphCommit<TChange>[] = [];
+	/**
+	 * The number of commits before the start of each active transaction scope.
+	 * For a stack of `n` transaction scopes, the array will contain `n` integers,
+	 * where the integer at index `i` is the number of commits made before the start of the `i`th transaction scope
+	 * (therefore, the first element in the array, if present, is always 0)
+	 */
+	private readonly transactionScopesStart: number[] = [];
 
 	public constructor(
 		rebaser: ChangeRebaser<TChange>,
@@ -22,14 +30,32 @@ export class TransactionEnricher<TChange> {
 		this.enricher = enricher;
 	}
 
-	public addTransactionSteps(commit: GraphCommit<TChange>): void {
+	public startNewTransaction(): void {
+		this.transactionScopesStart.push(this.transactionCommits.length);
+	}
+
+	public commitCurrentTransaction(): void {
+		const commitsCommitted = this.transactionScopesStart.pop();
+		assert(commitsCommitted !== undefined, "No transaction to commit");
+	}
+
+	public abortCurrentTransaction(): void {
+		const scopeStart = this.transactionScopesStart.pop();
+		assert(scopeStart !== undefined, "No transaction to abort");
+		this.transactionCommits.length = scopeStart;
+	}
+
+	public addTransactionStep(commit: GraphCommit<TChange>): void {
+		assert(this.transactionScopesStart.length !== 0, "No transaction to add a step to");
 		const change = this.enricher.updateChangeEnrichments(commit.change, commit.revision);
 		this.transactionCommits.push({ ...commit, change });
 	}
 
 	public getComposedChange(revision: RevisionTag): TChange {
+		assert(this.transactionScopesStart.length === 0, "Transaction not committed");
 		const squashed = this.rebaser.compose(this.transactionCommits);
 		const tagged = this.rebaser.changeRevision(squashed, revision);
+		this.transactionCommits.length = 0;
 		return tagged;
 	}
 }

package/tsdoc.json

@@ -0,0 +1,4 @@
+{
+	"$schema": "https://developer.microsoft.com/json-schemas/tsdoc/v0/tsdoc.schema.json",
+	"extends": ["../../../common/build/build-common/tsdoc-base.json"]
+}