@stll/folio-core 0.35.0 → 0.36.0

package/dist/ai-edits/apply.js

@@ -1,9 +1,11 @@
 import { expectParagraphAttrs, expectRunFormattingOverrideMarkAttrs, expectRunPropertyChangeMarkAttrs } from "../prosemirror/attrs/index.js";
-import { PPR_CHANGE_SCOPED_ATTR_KEYS } from "../prosemirror/commands/propertyChangeScope.js";
+import { paragraphPropertiesSnapshot } from "../prosemirror/commands/propertyChangeScope.js";
 import { addedBreakCarrierBefore, finalParagraphsOf, paragraphEndsItsContainer } from "../prosemirror/containerFinalParagraph.js";
 import { marksToTextFormatting } from "../prosemirror/conversion/fromProseDoc.js";
 import { requestDeterministicParaIds } from "../prosemirror/extensions/features/ParaIdAllocatorExtension.js";
 import { markStructuralChange } from "../prosemirror/extensions/features/ParagraphChangeTrackerExtension.js";
+import { directParagraphAlignment } from "../prosemirror/paragraphAlignment.js";
+import { getDocumentStyleResolver } from "../prosemirror/plugins/documentStyles.js";
 import { isZeroWidthAnchor } from "../prosemirror/zeroWidthAnchors.js";
 import { getFolioParaIdFromBlockId } from "../types/block-id.js";
 import { stripBlockIdentityAttrs } from "./block-identity.js";
@@ -15,11 +17,32 @@ import { planTableMutations } from "./table-mutation-plan.js";
 import { applyTableColumnDeletion, applyTableColumnInsertion, applyTableRowDeletion, applyTableRowInsertion, findTableColumnInsertion, findTableRowInsertion, getTableColumnCoordinateKey, markTableRowContent, splitCellParagraphTexts } from "./table-row-column-mutations.js";
 import { findEnclosingTableCell, findEnclosingTableRow, findOutermostTableBoundary, tableRectangleCutsMergedCell } from "./table-targets.js";
 import { tableFromTemplate } from "./table-template.js";
-import { diffWordSegments } from "./word-diff.js";
+import { wordDiffSessionFromOptions } from "./word-diff.js";
 import { panic } from "better-result";
 import { TableMap } from "prosemirror-tables";
 import { canJoin, canSplit } from "prosemirror-transform";
 //#region src/ai-edits/apply.ts
+const coarseWordDiff = (before, after) => {
+	if (before === after) return before.length === 0 ? [] : [{
+		type: "equal",
+		text: before
+	}];
+	if (before.length === 0) return [{
+		type: "ins",
+		text: after
+	}];
+	if (after.length === 0) return [{
+		type: "del",
+		text: before
+	}];
+	return [{
+		type: "del",
+		text: before
+	}, {
+		type: "ins",
+		text: after
+	}];
+};
 /**
 * Operation types applied in `"suggested"` mode. Every produced revision — an
 * inline mark, a whole-node `_suggestedInsert` marker, or a suggested
@@ -31,6 +54,7 @@ const SUGGESTED_SUPPORTED_OPERATION_TYPES = /* @__PURE__ */ new Set([
 	"replaceInBlock",
 	"replaceRange",
 	"formatRange",
+	"setBlockParagraphProperties",
 	"replaceBlock",
 	"deleteBlock",
 	"insertAfterBlock",
@@ -56,16 +80,44 @@ const CLEARED_LIST_MARKER_ATTRS = Object.freeze({
 	listAbstractNumId: null,
 	listStartOverride: null
 });
-/**
-* The attrs one `setBlockParagraphProperties` writes, or `null` when the
-* block already holds them. `styleId: null` clears the style; `listLevel`
-* moves `w:numPr/w:ilvl` and leaves `w:numId` alone, because a demoted item
-* stays in the same list; `listLevel: null` drops `w:numPr` entirely, which
-* is a paragraph that stopped being a list item.
-*/
-const paragraphPropertiesPatch = (node, properties) => {
+const REPLACE_BLOCK_IMPACT = {
+	text: {
+		changesStyle: false,
+		changesText: true
+	},
+	style: {
+		changesStyle: true,
+		changesText: false
+	},
+	textAndStyle: {
+		changesStyle: true,
+		changesText: true
+	}
+};
+const isResolvedReplaceBlockOperation = (item) => item.operation.type === "replaceBlock";
+const resolveReplaceBlockImpact = ({ changesText, changesStyle }) => {
+	if (changesText) return changesStyle ? "textAndStyle" : "text";
+	if (changesStyle) return "style";
+	return panic("Cannot resolve a replaceBlock that changes neither text nor style");
+};
+const paragraphPropertiesPatch = ({ node, properties, resolvedAlignmentFromStyle }) => {
+	const attrs = expectParagraphAttrs(node);
+	const currentDirectAlignment = directParagraphAlignment(attrs);
 	const patch = {};
-	if (properties.styleId !== void 0 && (node.attrs["styleId"] ?? null) !== properties.styleId) patch["styleId"] = properties.styleId;
+	let originalFormatting = attrs._originalFormatting === void 0 || attrs._originalFormatting === null ? void 0 : { ...attrs._originalFormatting };
+	let originalFormattingChanged = false;
+	const nextStyleId = properties.styleId;
+	const styleChanged = nextStyleId !== void 0 && (attrs.styleId ?? null) !== nextStyleId;
+	if (styleChanged) {
+		patch["styleId"] = nextStyleId;
+		patch["alignmentFromStyle"] = resolvedAlignmentFromStyle;
+		if (properties.alignment === void 0) patch["alignment"] = currentDirectAlignment ?? resolvedAlignmentFromStyle ?? null;
+		originalFormatting ??= {};
+		if (nextStyleId === null) Reflect.deleteProperty(originalFormatting, "styleId");
+		else originalFormatting.styleId = nextStyleId;
+		if (currentDirectAlignment !== void 0) originalFormatting.alignment = currentDirectAlignment;
+		originalFormattingChanged = true;
+	}
 	if (properties.listLevel !== void 0) {
 		const numPr = node.attrs["numPr"];
 		const current = typeof numPr === "object" && numPr !== null && "ilvl" in numPr ? numPr.ilvl : void 0;
@@ -82,6 +134,15 @@ const paragraphPropertiesPatch = (node, properties) => {
 			};
 		}
 	}
+	if (properties.alignment !== void 0 && (styleChanged || (currentDirectAlignment ?? null) !== properties.alignment)) {
+		originalFormatting ??= {};
+		if (properties.alignment === null) Reflect.deleteProperty(originalFormatting, "alignment");
+		else originalFormatting.alignment = properties.alignment;
+		const alignmentFromStyle = properties.styleId === void 0 ? attrs.alignmentFromStyle : resolvedAlignmentFromStyle;
+		patch["alignment"] = properties.alignment ?? alignmentFromStyle ?? null;
+		originalFormattingChanged = true;
+	}
+	if (originalFormattingChanged && originalFormatting !== void 0) patch["_originalFormatting"] = Object.keys(originalFormatting).length > 0 ? originalFormatting : null;
 	return Object.keys(patch).length > 0 ? patch : null;
 };
 const REVISION_MARK_NAMES = /* @__PURE__ */ new Set(["insertion", "deletion"]);
@@ -132,23 +193,55 @@ const undeletedContentAtomRanges = (tr, blockFrom) => {
 	});
 	return ranges;
 };
-/** The in-scope paragraph properties as they stand, for a `w:pPrChange` record. */
-const paragraphPropertiesSnapshot = (node) => {
-	const snapshot = {};
-	for (const key of PPR_CHANGE_SCOPED_ATTR_KEYS) {
-		const value = node.attrs[key];
-		if (value !== null && value !== void 0) snapshot[key] = value;
-	}
-	return snapshot;
+/** The carrier pPr before this batch changed it, for final-mark rotation. */
+const paragraphPropertiesBeforeBatch = (node, batchRevisionIds) => {
+	const propertyChanges = expectParagraphAttrs(node)._propertyChanges;
+	if (!Array.isArray(propertyChanges)) return paragraphPropertiesSnapshot(node);
+	const earliestBatchChange = propertyChanges.find(({ info }) => batchRevisionIds.has(info.id));
+	if (!earliestBatchChange) return paragraphPropertiesSnapshot(node);
+	return earliestBatchChange.previousFormatting ?? {};
 };
-const applyReplaceBlockStyleId = ({ item, tr }) => {
-	if (item.operation.type !== "replaceBlock" || item.operation.styleId === void 0) return tr;
-	const block = tr.doc.nodeAt(item.blockFrom);
-	if (!block) return tr;
-	return tr.setNodeMarkup(item.blockFrom, void 0, {
-		...block.attrs,
-		styleId: item.operation.styleId
+const resolveAlignmentFromStyle = ({ attrs, styleId, styleResolver }) => styleResolver?.resolveParagraphStyle(styleId).paragraphFormatting?.alignment ?? ((styleId ?? void 0) === (attrs.styleId ?? void 0) ? attrs.alignmentFromStyle : void 0);
+const applyReplaceBlockStyleId = ({ item, tr, styleResolver, revisionInfo }) => {
+	if (item.operation.type !== "replaceBlock" || item.operation.styleId === void 0) return {
+		tr,
+		revisionId: null
+	};
+	const blockPosition = tr.mapping.map(item.blockFrom, -1);
+	const block = tr.doc.nodeAt(blockPosition);
+	if (!block) return {
+		tr,
+		revisionId: null
+	};
+	const attrs = expectParagraphAttrs(block);
+	const resolvedAlignmentFromStyle = resolveAlignmentFromStyle({
+		attrs,
+		styleId: item.operation.styleId,
+		styleResolver
+	});
+	const patch = paragraphPropertiesPatch({
+		node: block,
+		properties: { styleId: item.operation.styleId },
+		resolvedAlignmentFromStyle
 	});
+	if (patch === null) return {
+		tr,
+		revisionId: null
+	};
+	const existing = attrs._propertyChanges;
+	const change = revisionInfo ? {
+		type: "paragraphPropertyChange",
+		info: revisionInfo,
+		previousFormatting: paragraphPropertiesSnapshot(block)
+	} : null;
+	return {
+		tr: tr.setNodeMarkup(blockPosition, void 0, {
+			...block.attrs,
+			...patch,
+			...change ? { _propertyChanges: [...Array.isArray(existing) ? existing : [], change] } : {}
+		}),
+		revisionId: change?.info.id ?? null
+	};
 };
 const REPLACEMENT_BACKGROUND_CLEAR_FORMATTING = {
 	highlight: false,
@@ -378,15 +471,17 @@ const nextRevisionSeed = (revisionIdCount) => {
 * `insertAfterBlock` / `insertBeforeBlock` (`text` split on line breaks,
 * see `splitInsertParagraphTexts`) allocates one id per paragraph in
 * tracked-changes mode plus one for each paragraph MARK it brings, so it
-* needs more than four once split into more than two paragraphs — reserving
-* less than that would let a later `nextRevisionSeed` call reuse an id this
-* operation already stamped on the document.
+* needs more than four once split into more than two paragraphs. Rotating a
+* terminal run can add one paragraph-property revision per inserted paragraph;
+* reserving less than that would let a later `nextRevisionSeed` call reuse an
+* id this operation already stamped on the document.
 */
 const REVISION_IDS_PER_OPERATION = 4;
-/** Ids one inserted paragraph allocates: its runs, and its paragraph mark. */
-const REVISION_IDS_PER_INSERTED_PARAGRAPH = 2;
 const estimateRevisionIdReservation = (item) => {
-	if (item.operation.type === "insertAfterBlock" || item.operation.type === "insertBeforeBlock") return Math.max((item.insertTexts?.length ?? 1) * REVISION_IDS_PER_INSERTED_PARAGRAPH, REVISION_IDS_PER_OPERATION);
+	if (item.operation.type === "insertAfterBlock" || item.operation.type === "insertBeforeBlock") {
+		const paragraphCount = item.insertTexts?.length ?? 1;
+		return Math.max(paragraphCount * 3, REVISION_IDS_PER_OPERATION);
+	}
 	return REVISION_IDS_PER_OPERATION;
 };
 /**
@@ -595,6 +690,13 @@ const isBatchableParagraphInsertion = (item, mode) => {
 	const isEmptyInsert = insertTexts.length === 1 && insertTexts[0]?.length === 0;
 	return !(mode === "tracked-changes" && item.operation.pageBreakBefore === true && isEmptyInsert);
 };
+const addedBreakRevisionId = (value) => {
+	if (typeof value !== "object" || value === null || !("kind" in value) || !("info" in value)) return null;
+	if (value.kind !== "ins" && value.kind !== "moveTo") return null;
+	const info = value.info;
+	if (typeof info !== "object" || info === null || !("id" in info)) return null;
+	return typeof info.id === "number" ? info.id : null;
+};
 /**
 * Move an ADDED paragraph break off every paragraph its container ends with.
 *
@@ -604,11 +706,10 @@ const isBatchableParagraphInsertion = (item, mode) => {
 * revision neither accepting nor rejecting everything can clear.
 *
 * Appending at a container's end therefore rotates exactly as removing from it
-* does. The break that was added sits between the paragraph the run was
-* appended after and the first appended one, so THAT paragraph's mark is the
-* inserted one, each appended paragraph but the last keeps an inserted mark of
-* its own, and the paragraph the container now ends with takes the free mark
-* the run was appended after. Only which paragraph is left markless changes.
+* does. The first inserted break moves onto the paragraph the run was appended
+* after, every later break moves one paragraph left, and the paragraph the
+* container now ends with takes the free mark. Only which paragraph is left
+* markless changes; the order and ownership of the breaks do not.
 *
 * A paragraph's properties live on its mark, so the paragraph that inherits
 * the free one records the other's as `w:pPrChange` — what a rejection reads
@@ -621,50 +722,95 @@ const isBatchableParagraphInsertion = (item, mode) => {
 */
 const withRotatedAddedFinalBreaks = ({ tr, batchRevisionIds, revisionSeed, author, date, initials }) => {
 	const paragraphTypeName = tr.doc.type.schema.nodes["paragraph"]?.name ?? "paragraph";
-	const rotations = finalParagraphsOf(tr.doc, paragraphTypeName).filter(({ node }) => {
+	const rotations = finalParagraphsOf(tr.doc, paragraphTypeName).flatMap(({ node, position }) => {
 		const mark = node.attrs["pPrMark"];
-		if (typeof mark !== "object" || mark === null || !("kind" in mark)) return false;
-		if (mark.kind !== "ins" && mark.kind !== "moveTo") return false;
-		const info = "info" in mark ? mark.info : void 0;
-		const revisionId = typeof info === "object" && info !== null && "id" in info ? info.id : void 0;
-		return typeof revisionId === "number" && batchRevisionIds.has(revisionId);
+		const revisionId = addedBreakRevisionId(mark);
+		return revisionId !== null && batchRevisionIds.has(revisionId) ? [{
+			mark,
+			node,
+			ownerRevisionId: revisionId,
+			position
+		}] : [];
 	});
 	let next = tr;
 	let nextRevisionId = revisionSeed;
-	for (const { position: finalPosition, node: final } of rotations) {
-		const carrier = addedBreakCarrierBefore(next.doc.resolve(finalPosition), final.type.name);
+	const synthesizedRevisions = [];
+	for (const { position: finalPosition, node: final, mark: finalMark } of rotations) {
+		const resolved = next.doc.resolve(finalPosition);
+		const carrier = addedBreakCarrierBefore(resolved, final.type.name);
 		if (!carrier) {
 			next = next.setNodeAttribute(finalPosition, "pPrMark", null);
 			continue;
 		}
-		next = next.setNodeAttribute(carrier.position, "pPrMark", final.attrs["pPrMark"]);
-		const previousFormatting = paragraphPropertiesSnapshot(carrier.node);
-		if (JSON.stringify(previousFormatting) === JSON.stringify(paragraphPropertiesSnapshot(final))) {
+		const path = [{
+			node: final,
+			position: finalPosition
+		}];
+		let position = finalPosition;
+		for (let index = resolved.index() - 1; index >= 0; index--) {
+			const sibling = resolved.parent.child(index);
+			position -= sibling.nodeSize;
+			if (sibling.type.name !== final.type.name) continue;
+			path.push({
+				node: sibling,
+				position
+			});
+			if (position === carrier.position) break;
+		}
+		if (path.at(-1)?.position !== carrier.position) {
 			next = next.setNodeAttribute(finalPosition, "pPrMark", null);
 			continue;
 		}
-		const existing = expectParagraphAttrs(final)._propertyChanges;
-		next = next.setNodeMarkup(finalPosition, void 0, {
-			...final.attrs,
-			pPrMark: null,
-			_propertyChanges: [...Array.isArray(existing) ? existing : [], {
-				type: "paragraphPropertyChange",
-				info: {
-					id: nextRevisionId++,
-					author,
-					date,
-					...initials ? { initials } : {}
-				},
-				previousFormatting
-			}]
-		});
+		if (path.slice(0, -1).some(({ node }) => {
+			const revisionId = addedBreakRevisionId(node.attrs["pPrMark"]);
+			return revisionId === null || !batchRevisionIds.has(revisionId);
+		})) continue;
+		const previousFormatting = paragraphPropertiesBeforeBatch(carrier.node, batchRevisionIds);
+		next = next.setNodeAttribute(finalPosition, "pPrMark", null);
+		let carriedMark = finalMark;
+		for (let index = 1; index < path.length; index++) {
+			const current = path[index - 1];
+			const previous = path[index];
+			if (!current || !previous) panic("A final-mark rotation exceeded its paragraph path", { index });
+			const ownerRevisionId = addedBreakRevisionId(carriedMark);
+			if (ownerRevisionId === null || !batchRevisionIds.has(ownerRevisionId)) panic("A final-mark rotation crossed a break outside its operation batch", { ownerRevisionId });
+			const displacedMark = previous.node.attrs["pPrMark"];
+			next = next.setNodeAttribute(previous.position, "pPrMark", carriedMark);
+			const currentFormatting = paragraphPropertiesSnapshot(current.node);
+			if (JSON.stringify(previousFormatting) !== JSON.stringify(currentFormatting)) {
+				const liveCurrent = next.doc.nodeAt(current.position);
+				if (!liveCurrent || liveCurrent.type.name !== final.type.name) panic("A final-mark rotation lost its paragraph", { position: current.position });
+				const existing = expectParagraphAttrs(liveCurrent)._propertyChanges;
+				const revisionId = nextRevisionId++;
+				next = next.setNodeMarkup(current.position, void 0, {
+					...liveCurrent.attrs,
+					_propertyChanges: [...Array.isArray(existing) ? existing : [], {
+						type: "paragraphPropertyChange",
+						info: {
+							id: revisionId,
+							author,
+							date,
+							...initials ? { initials } : {}
+						},
+						previousFormatting
+					}]
+				});
+				synthesizedRevisions.push({
+					ownerRevisionId,
+					revisionId
+				});
+			}
+			if (displacedMark == null) break;
+			carriedMark = displacedMark;
+		}
 	}
 	return {
 		transaction: next,
-		nextRevisionId
+		nextRevisionId,
+		synthesizedRevisions
 	};
 };
-const buildInsertedParagraphs = ({ item, schema, mode, author, date, initials, commentMark, suggestionId, revisionSeed, isPairedMove }) => {
+const buildInsertedParagraphs = ({ item, schema, alignmentFromStyle, mode, author, date, initials, commentMark, suggestionId, revisionSeed, isPairedMove }) => {
 	const operation = item.operation;
 	if (operation.type !== "insertAfterBlock" && operation.type !== "insertBeforeBlock") panic("Only paragraph insertions can build inserted paragraphs", { type: operation.type });
 	const insertionType = schema.marks["insertion"];
@@ -716,6 +862,19 @@ const buildInsertedParagraphs = ({ item, schema, mode, author, date, initials, c
 			attrs["styleId"] = operation.styleId;
 			if (operation.inheritFormatting !== false && operation.styleId !== null) Object.assign(attrs, CLEARED_LIST_MARKER_ATTRS);
 		}
+		if (isFirstParagraph && (operation.styleId !== void 0 || operation.alignment !== void 0)) {
+			const inheritedDirectAlignment = operation.inheritFormatting === false ? void 0 : directParagraphAlignment(expectParagraphAttrs(item.blockNode));
+			const directAlignment = operation.alignment === void 0 ? inheritedDirectAlignment : operation.alignment ?? void 0;
+			attrs["alignmentFromStyle"] = alignmentFromStyle;
+			attrs["alignment"] = directAlignment ?? alignmentFromStyle ?? null;
+			const sourceFormatting = attrs["_originalFormatting"];
+			const originalFormatting = typeof sourceFormatting === "object" && sourceFormatting !== null ? { ...sourceFormatting } : {};
+			if (operation.styleId !== void 0) if (operation.styleId === null) Reflect.deleteProperty(originalFormatting, "styleId");
+			else originalFormatting.styleId = operation.styleId;
+			if (operation.alignment !== void 0 || inheritedDirectAlignment !== void 0) if (directAlignment === void 0) Reflect.deleteProperty(originalFormatting, "alignment");
+			else originalFormatting.alignment = directAlignment;
+			attrs["_originalFormatting"] = Object.keys(originalFormatting).length > 0 ? originalFormatting : null;
+		}
 		if (isSuggested && suggestionId !== null && paragraphRevisionId !== null) attrs["_suggestedInsert"] = {
 			suggestionId,
 			revisionId: paragraphRevisionId,
@@ -747,7 +906,7 @@ const buildInsertedParagraphs = ({ item, schema, mode, author, date, initials, c
 		nextRevisionId
 	};
 };
-const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode = "tracked-changes", author = "AI", initials, createCommentId, revisionStamp, revisionIdSeed, wordDiff, tableTemplates }) => {
+const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode = "tracked-changes", author = "AI", initials, createCommentId, revisionStamp, revisionIdSeed, wordDiff, wordDiffMode = "bounded", tableTemplates }) => {
 	const applied = [];
 	const skipped = [];
 	const normalizations = [];
@@ -755,8 +914,21 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 	const insertionType = view.state.schema.marks["insertion"];
 	const deletionType = view.state.schema.marks["deletion"];
 	const commentType = view.state.schema.marks["comment"];
+	const styleResolver = getDocumentStyleResolver(view.state);
+	const alignmentFromStyleForInsertion = (item) => {
+		if (item.operation.type !== "insertAfterBlock" && item.operation.type !== "insertBeforeBlock") return;
+		const anchorAttrs = expectParagraphAttrs(item.blockNode);
+		const inheritedStyleId = item.operation.inheritFormatting === false ? null : anchorAttrs.styleId;
+		const styleId = item.operation.styleId !== void 0 ? item.operation.styleId : inheritedStyleId;
+		return resolveAlignmentFromStyle({
+			attrs: anchorAttrs,
+			styleId,
+			styleResolver
+		});
+	};
 	const claimedTableRows = /* @__PURE__ */ new Set();
 	const claimedTableColumns = /* @__PURE__ */ new Set();
+	const diffText = wordDiffMode === "coarse" ? coarseWordDiff : wordDiffSessionFromOptions(wordDiff).diff;
 	const producesTrackedChanges = mode !== "direct";
 	const isSuggested = mode === "suggested";
 	if (producesTrackedChanges && (!insertionType || !deletionType)) return {
@@ -915,6 +1087,7 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 					const built = buildInsertedParagraphs({
 						item: insertion,
 						schema: view.state.schema,
+						alignmentFromStyle: alignmentFromStyleForInsertion(insertion),
 						mode,
 						author,
 						date,
@@ -999,7 +1172,7 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 					commentMark,
 					suggestionId,
 					initials,
-					granularity: wordDiff?.granularity ?? "word"
+					diffText
 				});
 				if (producesTrackedChanges) appliedRevisionIds = [
 					revisionIdDelete,
@@ -1039,63 +1212,83 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 				});
 				break;
 			case "replaceBlock": {
-				const revisionIdDelete = revisionSeed++;
-				const revisionIdInsert = revisionSeed++;
-				const revisionIdBackground = revisionSeed++;
+				if (!isResolvedReplaceBlockOperation(item)) panic("Resolved replaceBlock operation lost its impact discriminator");
+				const { changesStyle, changesText } = REPLACE_BLOCK_IMPACT[item.replaceBlockImpact];
+				const revisionIdDelete = revisionSeed;
+				const revisionIdInsert = changesText ? revisionSeed + 1 : revisionSeed;
+				const revisionIdBackground = changesText ? revisionSeed + 2 : revisionSeed;
+				if (changesText) revisionSeed += 3;
+				const revisionIdParagraph = producesTrackedChanges && changesStyle ? revisionSeed++ : null;
 				if (item.operation.preserveFormatting === false && mode === "direct") {
 					const replacement = item.operation.text;
 					const paragraphType = view.state.schema.nodes["paragraph"];
 					if (paragraphType) {
-						const replaceAttrs = item.operation.styleId !== void 0 ? { styleId: item.operation.styleId } : null;
-						const node = paragraphType.create(replaceAttrs, replacement.length === 0 ? null : buildEmphasisInlineContent(view.state.schema, replacement, []));
+						const node = paragraphType.create(null, replacement.length === 0 ? null : buildEmphasisInlineContent(view.state.schema, replacement, []));
 						tr = tr.replaceWith(item.blockFrom, item.blockTo, node);
+						tr = applyReplaceBlockStyleId({
+							item,
+							tr,
+							styleResolver
+						}).tr;
 						break;
 					}
 				}
 				if (mode === "direct" && hasInlineEmphasis(item.operation.text)) {
-					const attrs = item.operation.styleId !== void 0 ? {
-						...item.blockNode.attrs,
-						styleId: item.operation.styleId
-					} : { ...item.blockNode.attrs };
-					const node = item.blockNode.type.create(attrs, buildEmphasisInlineContent(view.state.schema, item.operation.text, commentMark ? [commentMark] : []));
+					const node = item.blockNode.type.create({ ...item.blockNode.attrs }, buildEmphasisInlineContent(view.state.schema, item.operation.text, commentMark ? [commentMark] : []));
 					tr = tr.replaceWith(item.blockFrom, item.blockTo, node);
+					tr = applyReplaceBlockStyleId({
+						item,
+						tr,
+						styleResolver
+					}).tr;
 					break;
 				}
-				const stepsBeforeBackgroundClear = tr.steps.length;
-				tr = clearReplacementBackground({
-					tr,
-					schema: view.state.schema,
-					from: item.from,
-					to: item.to,
-					mode,
-					revisionId: revisionIdBackground,
-					author,
-					date,
-					initials,
-					suggestionId
-				});
-				const clearedBackground = tr.steps.length > stepsBeforeBackgroundClear;
-				tr = applyTextReplacement({
-					tr,
-					item,
-					mode,
-					author,
-					date,
-					revisionIdDelete,
-					revisionIdInsert,
-					commentMark,
-					suggestionId,
-					initials,
-					granularity: wordDiff?.granularity ?? "word"
-				});
-				tr = applyReplaceBlockStyleId({
+				let clearedBackground = false;
+				if (changesText) {
+					const stepsBeforeBackgroundClear = tr.steps.length;
+					tr = clearReplacementBackground({
+						tr,
+						schema: view.state.schema,
+						from: item.from,
+						to: item.to,
+						mode,
+						revisionId: revisionIdBackground,
+						author,
+						date,
+						initials,
+						suggestionId
+					});
+					clearedBackground = tr.steps.length > stepsBeforeBackgroundClear;
+					tr = applyTextReplacement({
+						tr,
+						item,
+						mode,
+						author,
+						date,
+						revisionIdDelete,
+						revisionIdInsert,
+						commentMark,
+						suggestionId,
+						initials,
+						diffText
+					});
+				}
+				const styleResult = applyReplaceBlockStyleId({
 					item,
-					tr
+					tr,
+					styleResolver,
+					...revisionIdParagraph !== null ? { revisionInfo: {
+						id: revisionIdParagraph,
+						author,
+						date,
+						...trackedRevisionExtras
+					} } : {}
 				});
+				tr = styleResult.tr;
 				if (producesTrackedChanges) appliedRevisionIds = [
-					revisionIdDelete,
-					revisionIdInsert,
-					...clearedBackground ? [revisionIdBackground] : []
+					...changesText ? [revisionIdDelete, revisionIdInsert] : [],
+					...clearedBackground ? [revisionIdBackground] : [],
+					...styleResult.revisionId === null ? [] : [styleResult.revisionId]
 				];
 				break;
 			}
@@ -1113,6 +1306,7 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 				const built = buildInsertedParagraphs({
 					item,
 					schema: view.state.schema,
+					alignmentFromStyle: alignmentFromStyleForInsertion(item),
 					mode,
 					author,
 					date,
@@ -1500,7 +1694,17 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 			case "setBlockParagraphProperties": {
 				const blockPosition = tr.mapping.map(item.blockFrom);
 				const liveBlock = tr.doc.nodeAt(blockPosition) ?? item.blockNode;
-				const patch = paragraphPropertiesPatch(liveBlock, item.operation.properties);
+				const liveAttrs = expectParagraphAttrs(liveBlock);
+				const resolvedAlignmentFromStyle = item.operation.properties.styleId === void 0 ? void 0 : resolveAlignmentFromStyle({
+					attrs: liveAttrs,
+					styleId: item.operation.properties.styleId,
+					styleResolver
+				});
+				const patch = paragraphPropertiesPatch({
+					node: liveBlock,
+					properties: item.operation.properties,
+					resolvedAlignmentFromStyle
+				});
 				if (patch === null) {
 					skipped.push({
 						id: item.operation.id,
@@ -1522,7 +1726,7 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 						id: revisionId,
 						author,
 						date,
-						...initials ? { initials } : {}
+						...trackedRevisionExtras
 					},
 					previousFormatting: paragraphPropertiesSnapshot(liveBlock)
 				};
@@ -1633,6 +1837,20 @@ const applyFolioAIEditOperationsInternal = ({ view, snapshot, operations, mode =
 		});
 		tr = rotated.transaction;
 		revisionSeed = rotated.nextRevisionId;
+		const receiptIndexByRevisionId = /* @__PURE__ */ new Map();
+		for (const [receiptIndex, receipt] of applied.entries()) for (const revisionId of receipt.revisionIds ?? []) receiptIndexByRevisionId.set(revisionId, receiptIndex);
+		for (const { ownerRevisionId, revisionId } of rotated.synthesizedRevisions) {
+			const receiptIndex = receiptIndexByRevisionId.get(ownerRevisionId);
+			const receipt = receiptIndex === void 0 ? void 0 : applied.at(receiptIndex);
+			if (receiptIndex === void 0 || !receipt?.revisionIds) panic("A synthesized final-mark revision lost its operation receipt", {
+				ownerRevisionId,
+				revisionId
+			});
+			applied[receiptIndex] = {
+				...receipt,
+				revisionIds: [...receipt.revisionIds, revisionId]
+			};
+		}
 		if (revisionStamp) requestDeterministicParaIds(tr, `${revisionStamp.date}:${String(revisionStamp.idSeed)}`);
 		view.dispatch(tr);
 	}
@@ -1657,7 +1875,8 @@ const previewFolioAIEditOperations = (options) => {
 		...applyOptions,
 		view: previewView,
 		...createCommentId !== void 0 && { createCommentId: () => previewCommentId-- },
-		revisionIdSeed: -1e9
+		revisionIdSeed: -1e9,
+		wordDiffMode: "coarse"
 	});
 	return {
 		applied: result.applied.map(({ id }) => ({ id })),
@@ -1666,7 +1885,7 @@ const previewFolioAIEditOperations = (options) => {
 		nextRevisionId: options.revisionStamp?.idSeed ?? revisionIdCursor
 	};
 };
-const applyTextReplacement = ({ tr, item, mode, author, date, revisionIdDelete, revisionIdInsert, commentMark, suggestionId = null, initials, granularity }) => {
+const applyTextReplacement = ({ tr, item, mode, author, date, revisionIdDelete, revisionIdInsert, commentMark, suggestionId = null, initials, diffText }) => {
 	let nextTr = tr;
 	const replacement = stripInlineEmphasisMarkers((() => {
 		if (item.operation.type === "replaceInBlock" || item.operation.type === "replaceRange") return item.operation.replace;
@@ -1720,7 +1939,7 @@ const applyTextReplacement = ({ tr, item, mode, author, date, revisionIdDelete,
 		}
 	}
 	if (sourceText !== null && cleanBlock !== null) {
-		const segments = diffWordSegments(sourceText, replacement, { granularity });
+		const segments = diffText(sourceText, replacement);
 		const offsets = cleanBlock.offsets;
 		const offsetAt = (cleanOffset) => offsets[cleanOffset] ?? null;
 		const steps = [];
@@ -2210,6 +2429,7 @@ const resolveOperation = ({ snapshot, operation, liveBlocks, liveBlocksByParaId,
 		};
 	}
 	if (operation.type === "deleteBlock" || operation.type === "replaceBlock") {
+		const replaceChangesStyle = operation.type === "replaceBlock" && operation.styleId !== void 0 && operation.styleId !== (expectParagraphAttrs(blockNode).styleId ?? null);
 		const range = getTextRangeFromCleanBlock(cleanBlock);
 		if (!range) {
 			const insertionPoint = cleanBlock.offsets.at(0);
@@ -2217,10 +2437,25 @@ const resolveOperation = ({ snapshot, operation, liveBlocks, liveBlocksByParaId,
 				type: "skip",
 				reason: "unsupportedBlock"
 			};
-			if (!(operation.type === "deleteBlock" ? true : currentText.length === 0 && operation.text.length > 0)) return {
+			if (!(operation.type === "deleteBlock" ? true : currentText.length === 0 && (operation.text.length > 0 || replaceChangesStyle))) return {
 				type: "skip",
 				reason: "unsupportedBlock"
 			};
+			if (operation.type === "replaceBlock") return {
+				type: "resolved",
+				operation: {
+					operation,
+					from: insertionPoint,
+					to: insertionPoint,
+					blockFrom,
+					blockTo,
+					blockNode,
+					replaceBlockImpact: resolveReplaceBlockImpact({
+						changesText: operation.text !== currentText,
+						changesStyle: replaceChangesStyle
+					})
+				}
+			};
 			return {
 				type: "resolved",
 				operation: {
@@ -2233,9 +2468,26 @@ const resolveOperation = ({ snapshot, operation, liveBlocks, liveBlocksByParaId,
 				}
 			};
 		}
-		if (operation.type === "replaceBlock" && operation.text === currentText) return {
-			type: "skip",
-			reason: "noopOperation"
+		if (operation.type === "replaceBlock" && operation.text === currentText) {
+			if (!replaceChangesStyle) return {
+				type: "skip",
+				reason: "noopOperation"
+			};
+		}
+		if (operation.type === "replaceBlock") return {
+			type: "resolved",
+			operation: {
+				operation,
+				from: range.from,
+				to: range.to,
+				blockFrom,
+				blockTo,
+				blockNode,
+				replaceBlockImpact: resolveReplaceBlockImpact({
+					changesText: operation.text !== currentText,
+					changesStyle: replaceChangesStyle
+				})
+			}
 		};
 		return {
 			type: "resolved",