rapier-markdown-kit 1.2.40 → 1.2.43

package/dist/agent/will.mjs

@@ -215,7 +215,7 @@ export function willTransition(beforeText, afterText, splices, markerSplices = s
 	return null;
 }
 
-export function evaluateWill(beforeText, splices) {
+export function evaluateWill(beforeText, splices, {restores = null} = {}) {
 	const invalid = rule => ({outcome: 'invalid', reason: 'precondition', rule});
 	if (typeof beforeText !== 'string' || !beforeText.isWellFormed()) return invalid('invalid_unicode');
 	if (!Array.isArray(splices)) return invalid('malformed_splice');
@@ -231,7 +231,7 @@ export function evaluateWill(beforeText, splices) {
 		if (afterText.slice(row.pos, end) !== row.removed) return invalid('source_mismatch');
 		afterText = afterText.slice(0, row.pos) + row.inserted + afterText.slice(end);
 	}
-	const refusal = splices.length && willTransition(beforeText, afterText, splices);
+	const refusal = splices.length && willTransition(beforeText, afterText, splices, splices, {restores});
 	return refusal ? {outcome: 'refused', reason: 'document_law', ...refusal} : {outcome: 'applied'};
 }
 

package/dist/kit/ledger/data.mjs

@@ -44,11 +44,13 @@ function* quoted(text, whole = true) {
   }
   yield '"';
 }
-function* dataParts(value, depth, active, sorted) {
+function* dataParts(value, depth, active, sorted, known = null) {
   if (typeof value === 'string') { yield* quoted(value); return; }
   if (value === null || typeof value === 'boolean' || typeof value === 'number' && Number.isFinite(value) && !Object.is(value, -0)) {
     yield JSON.stringify(value); return;
   }
+  const text = known?.(value, depth);
+  if (text !== undefined) { yield text; return; }
   const {array, descriptors, keys} = fields(value, depth, active, sorted);
   active.add(value);
   yield array ? '[' : '{';
@@ -56,14 +58,69 @@ function* dataParts(value, depth, active, sorted) {
     if (i) yield ',';
     const key = keys[i];
     if (!array) { yield* quoted(key, false); yield ':'; }
-    yield* dataParts(descriptors[key].value, depth + 1, active, sorted);
+    yield* dataParts(descriptors[key].value, depth + 1, active, sorted, known);
   }
   yield array ? ']' : '}';
   active.delete(value);
 }
 export function canonicalParts(value, depth = 0, active = new Set()) { return dataParts(value, depth, active, true); }
 export function jsonParts(value) { return dataParts(value, 0, new Set(), false); }
+export function jsonPartsKnown(value, known) { return dataParts(value, 0, new Set(), false, known); }
+export function jsonTextAt(value, depth) { return Array.from(dataParts(value, depth, new Set(), false)).join(''); }
 export function canonicalJSON(value, depth = 0, active = new Set()) { return Array.from(canonicalParts(value, depth, active)).join(''); }
+const ownedRows = new WeakSet(), rowCanonical = new Map();
+let rowCanonicalChars = 0;
+const ROW_CANONICAL_LIMIT = 32 * 1024 * 1024;
+function freezeData(value) {
+  if (!value || typeof value !== 'object' || ownedRows.has(value) || ownedLedgers.has(value)) return value;
+  for (const key of Object.keys(value)) freezeData(value[key]);
+  return Object.freeze(value);
+}
+export function ownRow(row) { if (!ownedRows.has(row)) { freezeData(row); ownedRows.add(row); } return row; }
+const ownedLedgers = new WeakSet();
+export function ownLedger(ledger) {
+  if (ledger && typeof ledger === 'object' && !ownedLedgers.has(ledger)) { freezeData(ledger); ownedLedgers.add(ledger); }
+  return ledger;
+}
+export function isOwnedLedger(ledger) { return !!ledger && ownedLedgers.has(ledger); }
+const rowText = new WeakMap();
+function canonicalRow(row, depth) {
+  if (!ownedRows.has(row)) return canonicalJSON(row, depth);
+  const own = rowText.get(row);
+  if (own?.depth === depth) return own.json;
+  const json = keyedRow(row, depth);
+  rowText.set(row, {depth, json});
+  return json;
+}
+function keyedRow(row, depth) {
+  const id = typeof row.transaction?.id === 'string' ? row.transaction.id : null, seen = JSON.stringify(row);
+  const hit = id === null ? null : rowCanonical.get(id);
+  if (hit && hit.depth === depth && hit.seen.includes(seen)) return hit.json;
+  const json = canonicalJSON(row, depth);
+  if (id !== null && 2 * seen.length + json.length <= ROW_CANONICAL_LIMIT / 4) {
+    const size = entry => entry.seen.reduce((sum, text) => sum + text.length, entry.json.length);
+    const seenAlso = hit && hit.depth === depth && hit.json === json ? [hit.seen.at(-1), seen] : [seen];
+    if (hit) { rowCanonical.delete(id); rowCanonicalChars -= size(hit); }
+    const entry = {depth, seen: seenAlso, json};
+    rowCanonical.set(id, entry); rowCanonicalChars += size(entry);
+    for (const [key, value] of rowCanonical) {
+      if (rowCanonicalChars <= ROW_CANONICAL_LIMIT) break;
+      rowCanonical.delete(key); rowCanonicalChars -= size(value);
+    }
+  }
+  return json;
+}
+const plainRowArrays = new WeakSet();
+export function* canonicalRowsParts(rows, depth = 0) {
+  if (!(depth <= 64 && plainRowArrays.has(rows))) {
+    const {array} = fields(rows, depth, new Set());
+    if (!array) { yield* canonicalParts(rows, depth); return; }
+    if (Object.isFrozen(rows) && depth <= 64) plainRowArrays.add(rows);
+  }
+  yield '[';
+  for (let i = 0; i < rows.length; i++) { if (i) yield ','; yield canonicalRow(rows[i], depth + 1); }
+  yield ']';
+}
 export function exactKeys(value, keys) {
   return value && typeof value === 'object' && !Array.isArray(value) && Object.keys(value).length === keys.length && keys.every(key => Object.hasOwn(value, key));
 }

package/dist/kit/ledger/format.mjs

@@ -4,16 +4,16 @@ import {pictureHistorySplices} from './history.mjs';
 import {HistorySource} from './source.mjs';
 import {authoredHistory} from './transport.mjs';
 import {textRoot, rootAfter, sha256, sha256PartsAsync, createSHA256} from './hash.mjs';
-import {canonicalJSON, canonicalParts, plainData, documentText, utf8Length, exactKeys, nonnegative, fault} from './data.mjs';
+import {canonicalJSON, canonicalParts, canonicalRowsParts, ownRow, ownLedger, isOwnedLedger, plainData, documentText, utf8Length, exactKeys, nonnegative, fault} from './data.mjs';
 import {diff} from '../../packages/rapier-diff/diff.mjs';
 import {minimalHistorySplice} from './inverse-source.mjs';
 import {evaluateWill} from '../../agent/will.mjs';
 export {textRoot, rootAfter};
 const rootShape = value => typeof value === 'string' && /^\d+:[a-z0-9]+:[a-z0-9]+$/.test(value);
-function* checkedRecords(ledger, prepared) {
+function* checkedRecords(ledger, prepared, from = null) {
   if (!prepared.ok || ledger.records.length !== prepared.records.length) throw fault('record chain differs');
-  let root = ledger.start.root, revision = ledger.start.revision;
-  for (let index = 0; index < prepared.records.length; index++) {
+  let root = from ? from.root : ledger.start.root, revision = from ? from.revision : ledger.start.revision;
+  for (let index = from ? from.index : 0; index < prepared.records.length; index++) {
     const record = ledger.records[index];
     if (!Array.isArray(record.splices) || !prepared.validRecord(index,
         ledger.documentAuthority, 64 * 1024 * 1024, utf8Length, !ledger.complete) ||
@@ -27,32 +27,47 @@ function* checkedRecords(ledger, prepared) {
   }
   if (ledger.head.revision !== revision || ledger.head.root !== root) throw fault('history does not describe this document');
 }
+function* envelopeParts(envelope) {
+  const keys = Object.keys(envelope).sort();
+  yield '{';
+  for (let i = 0; i < keys.length; i++) {
+    if (i) yield ',';
+    yield JSON.stringify(keys[i]); yield ':';
+    yield* keys[i] === 'records' ? canonicalRowsParts(envelope.records, 1) : canonicalParts(envelope[keys[i]], 1, new Set());
+  }
+  yield '}';
+}
 const proofs = new WeakMap();
+function ownedRows(ledger) {
+  if (ledger && Array.isArray(ledger.records)) for (const row of ledger.records) if (row && typeof row === 'object') ownRow(row);
+  return ledger;
+}
 function copiedLedger(input, proof) {
-  if (!proof || !input || typeof input !== 'object') return plainData(input);
+  if (!proof || !input || typeof input !== 'object') return ownedRows(plainData(input));
   const fields = Object.getOwnPropertyDescriptors(input), start = fields.start;
-  if (!start || !Object.hasOwn(start, 'value') || !start.value || typeof start.value !== 'object') return plainData(input);
+  if (!start || !Object.hasOwn(start, 'value') || !start.value || typeof start.value !== 'object') return ownedRows(plainData(input));
   const parts = Object.getOwnPropertyDescriptors(start.value), text = parts.text;
-  if (!text || !Object.hasOwn(text, 'value') || text.value !== proof.startText) return plainData(input);
+  if (!text || !Object.hasOwn(text, 'value') || text.value !== proof.startText) return ownedRows(plainData(input));
   const shell = Object.create(Object.getPrototypeOf(input), {...fields, start: {...start,
     value: Object.create(Object.getPrototypeOf(start.value), {...parts, text: {...text, value: ''}})}});
-  const ledger = plainData(shell);
+  const ledger = ownedRows(plainData(shell));
   ledger.start.text = proof.startText;
   return ledger;
 }
 function ledgerAdmission(input) {
   const held = input && typeof input === 'object' ? proofs.get(input) : undefined;
+  if (held && isOwnedLedger(input)) return {ledger: input, shell: held.shell, proof: held};
   const ledger = copiedLedger(input, held);
   if (!exactKeys(ledger, ['format','documentAuthority','start','records','head','complete','sha256']) || ledger.format !== 'rapier-ledger/2' ||
       typeof ledger.documentAuthority !== 'string' || !ledger.documentAuthority || ledger.documentAuthority.length > 256 ||
       typeof ledger.complete !== 'boolean' || !Array.isArray(ledger.records) ||
       !exactKeys(ledger.start, ['text','revision','root','sha256','metadata']) || !exactKeys(ledger.head, ['revision','root','sha256','metadata'])) throw fault('unsupported or invalid envelope');
-  const shell = canonicalJSON({...ledger, start: {...ledger.start, text: ''}});
+  const shell = Array.from(envelopeParts({...ledger, start: {...ledger.start, text: ''}})).join('');
   const proof = held?.shell === shell && held.startText === ledger.start.text ? held : null;
   return {ledger, shell, proof};
 }
 function ledgerResult(ledger, proof, expectedText, expectedMetadata) {
-  proofs.set(ledger, proof);
+  proofs.set(ledger, proof); ownLedger(ledger);
   const {text, metadata, root, revision, prepared, source} = proof;
   if (expectedMetadata !== undefined && (!_rapierValidMetadata(expectedMetadata) || canonicalJSON(metadata) !== canonicalJSON(expectedMetadata)))
     throw fault('metadata does not describe this document');
@@ -67,7 +82,7 @@ function readLedgerState(input, expectedText, expectedMetadata) {
 }
 function* proveLedger(ledger, native = false) {
   const {sha256: claimed, ...payload} = ledger;
-  if (claimed !== (yield* checksum(canonicalParts(payload), native))) throw fault('envelope checksum differs');
+  if (claimed !== (yield* checksum(envelopeParts(payload), native))) throw fault('envelope checksum differs');
   let text = ledger.start.text, root = ledger.start.root, revision = ledger.start.revision;
   const startFacts = yield* sourceFacts(text, native);
   if (!_rapierValidMetadata(ledger.start.metadata) || !_rapierValidMetadata(ledger.head.metadata)) throw fault('invalid document metadata');
@@ -151,6 +166,11 @@ function* sourceFacts(text, native = false) {
   return {utf8Bytes: bytes, sha256: digest, contentRoot: text.length + ':' +
     (fnv >>> 0).toString(36) + ':' + (((b << 16) | a) >>> 0).toString(36)};
 }
+const expandedRows = new WeakMap();
+const sameSplices = (a, b) => a === b || a.length === b.length &&
+  a.every((row, i) => row.pos === b[i].pos && row.removed === b[i].removed && row.inserted === b[i].inserted);
+const sameEffect = (a, b) => a === b || !!a && !!b && canonicalJSON(a) === canonicalJSON(b);
+let recentLedgers = [];
 function* produceLedger({text, metadata, records, documentAuthority, revision, root, complete = false, earlier = records} = {}, native = false) {
   if (!_rapierValidMetadata(metadata)) throw fault('document metadata required');
   metadata = {...metadata};
@@ -162,23 +182,40 @@ function* produceLedger({text, metadata, records, documentAuthority, revision, r
   const expanded = [];
   for (const {record, splices: rows, metadata: effect} of prepared.rows) {
     if (!rows || effect === undefined) throw fault('navigation target was not retained');
-    expanded.push({transaction: plainData(record.transaction), splices: rows.map(row => ({pos: row.pos, removed: row.removed, inserted: row.inserted})),
+    const held = expandedRows.get(record);
+    if (held && sameSplices(held.rows, rows) && sameEffect(held.effect, effect)) { expanded.push(held.row); yield; continue; }
+    expanded.push(ownRow({transaction: plainData(record.transaction), splices: rows.map(row => ({pos: row.pos, removed: row.removed, inserted: row.inserted})),
       beforeHash: record.beforeHash, afterHash: record.afterHash, ...(Object.hasOwn(record, 'authored') ? {authored: plainData(record.authored)} : {}), ...(effect ? {metadata: plainData(effect)} : {}),
       ...(record.changeSet && Object.hasOwn(record.changeSet, 'label') ? {changeSet: {label: typeof record.changeSet.label === 'string' ? record.changeSet.label : plainData(record.changeSet.label)}} : {}),
-      ...(record.derivedCommentIndex == null ? {} : {derivedCommentIndex: typeof record.derivedCommentIndex === 'string' ? record.derivedCommentIndex : plainData(record.derivedCommentIndex)})});
+      ...(record.derivedCommentIndex == null ? {} : {derivedCommentIndex: typeof record.derivedCommentIndex === 'string' ? record.derivedCommentIndex : plainData(record.derivedCommentIndex)})}));
+    expandedRows.set(record, {row: expanded.at(-1), rows, effect});
     yield;
   }
   const headBytes = bytes;
+  let base = recentLedgers.find(row => row.rows.length <= expanded.length && row.rows.every((value, at) => value === expanded[at]));
   let startSource = new HistorySource(text), startMetadata = {...metadata};
-  for (let i = expanded.length - 1; i >= 0; i--) {
+  for (let i = expanded.length - 1; i >= (base ? base.rows.length : 0); i--) {
     startSource = startSource.apply(expanded[i].splices, true);
-    startMetadata = _rapierTransformMetadata(startMetadata, expanded[i].metadata, true);
+    if (expanded[i].metadata) startMetadata = _rapierTransformMetadata(startMetadata, expanded[i].metadata, true);
     if (startSource === null || !startMetadata) throw fault('history does not reverse from this document');
     for (const row of expanded[i].splices) bytes += utf8Length(row.removed) - utf8Length(row.inserted);
     if (bytes > 64 * 1024 * 1024) throw fault('document exceeds the editor text limit');
     yield;
   }
-  const startText = startSource.slice();
+  if (base && (bytes !== base.headBytes || startSource.length !== base.headText.length || !startSource.matches(0, base.headText) ||
+      canonicalJSON(startMetadata) !== base.headMetadata)) {
+    base = null; bytes = headBytes; startSource = new HistorySource(text); startMetadata = {...metadata};
+    for (let i = expanded.length - 1; i >= 0; i--) {
+      startSource = startSource.apply(expanded[i].splices, true);
+      if (expanded[i].metadata) startMetadata = _rapierTransformMetadata(startMetadata, expanded[i].metadata, true);
+      if (startSource === null || !startMetadata) throw fault('history does not reverse from this document');
+      for (const row of expanded[i].splices) bytes += utf8Length(row.removed) - utf8Length(row.inserted);
+      if (bytes > 64 * 1024 * 1024) throw fault('document exceeds the editor text limit');
+      yield;
+    }
+  }
+  if (base) { startMetadata = {...base.startMetadata}; bytes = base.startBytes; }
+  const startText = base ? base.startText : startSource.slice();
   const unchangedText = expanded.every(row => !row.splices.length);
   const contentRoot = headFacts.contentRoot;
   revision ??= expanded.at(-1)?.transaction.revision ?? 0;
@@ -187,20 +224,26 @@ function* produceLedger({text, metadata, records, documentAuthority, revision, r
   const startRevision = expanded[0]?.transaction.baseRevision ?? revision, startRoot = expanded[0]?.beforeHash ?? root;
   if (typeof documentAuthority !== 'string' || !documentAuthority || documentAuthority.length > 256) throw fault('unsupported or invalid envelope');
   if (!nonnegative(startRevision) || !rootShape(startRoot)) throw fault('invalid start');
-  const startFacts = unchangedText ? headFacts : yield* sourceFacts(startText, native);
+  const startFacts = unchangedText ? headFacts : base ? base.startFacts : yield* sourceFacts(startText, native);
   if (startRevision === 0 && startRoot !== startFacts.contentRoot) throw fault('invalid start');
   const headSHA = headFacts.sha256, startSHA = startFacts.sha256;
   const payload = {format: 'rapier-ledger/2', documentAuthority,
     start: {text: startText, revision: startRevision, root: startRoot, sha256: startSHA, metadata: startMetadata},
     records: expanded, head: {revision, root, sha256: headSHA, metadata: {...metadata}}, complete: complete === true && startRevision === 0 && expanded.every((row, i) => !i || row.transaction.baseRevision === expanded[i - 1].transaction.revision)};
-  for (const _record of checkedRecords(payload, prepared)) yield;
+  const from = base && base.documentAuthority === documentAuthority && base.complete === payload.complete &&
+    base.startRoot === startRoot && base.startRevision === startRevision ? {index: base.rows.length, root: base.chainRoot, revision: base.chainRevision} : null;
+  for (const _record of checkedRecords(payload, prepared, from)) yield;
   if (expanded.some(row => Object.hasOwn(row, 'authored'))) {
     try { authoredHistory(startText, expanded); } catch (_) { throw fault('authored origin differs'); }
   }
   const replayedMetadata = prepared.replayMetadata(startMetadata);
   if (!replayedMetadata || canonicalJSON(replayedMetadata) !== canonicalJSON(metadata)) throw fault('metadata does not describe this document');
-  const ledger = {...payload, sha256: yield* checksum(canonicalParts(payload), native)};
-  proofs.set(ledger, {shell: canonicalJSON({...ledger, start: {...ledger.start, text: ''}}), startText,
+  const ledger = {...payload, sha256: yield* checksum(envelopeParts(payload), native)};
+  recentLedgers = [{rows: expanded, headText: text, headMetadata: canonicalJSON(metadata), headBytes, startText, startMetadata: {...startMetadata},
+    startFacts, startBytes: bytes, documentAuthority, complete: payload.complete, startRoot, startRevision, chainRoot: payload.head.root,
+    chainRevision: payload.head.revision}, ...recentLedgers.filter(row => row.rows[0] !== expanded[0] && row.documentAuthority === documentAuthority)].slice(0, 4);
+  ownLedger(ledger);
+  proofs.set(ledger, {shell: Array.from(envelopeParts({...ledger, start: {...ledger.start, text: ''}})).join(''), startText,
     text, metadata: {...metadata}, root, revision, prepared: _rapierPrepareHistoryRecords(ledger.records),
     source: new HistorySource(text)});
   return {ledger, contentRoot, utf8Bytes: headBytes};
@@ -250,7 +293,7 @@ function historyNavigation(ledger, text, metadata, prepared, source) {
   let traversed = source, traversedMetadata = {...metadata};
   for (let i = cursor - 1; i >= 0; i--) {
     traversed = step(traversed, branch[i], false);
-    traversedMetadata = _rapierTransformMetadata(traversedMetadata, byId.get(branch[i]).metadata, true);
+    if (byId.get(branch[i]).metadata) traversedMetadata = _rapierTransformMetadata(traversedMetadata, byId.get(branch[i]).metadata, true);
     if (traversed === null || !traversedMetadata) throw fault('undo branch does not reverse');
   }
   if (ledger.complete) {
@@ -261,7 +304,7 @@ function historyNavigation(ledger, text, metadata, prepared, source) {
   traversed = source; traversedMetadata = {...metadata};
   for (let i = cursor; i < branch.length; i++) {
     traversed = step(traversed, branch[i], true);
-    traversedMetadata = _rapierTransformMetadata(traversedMetadata, byId.get(branch[i]).metadata);
+    if (byId.get(branch[i]).metadata) traversedMetadata = _rapierTransformMetadata(traversedMetadata, byId.get(branch[i]).metadata);
     if (traversed === null || !traversedMetadata) throw fault('redo branch does not replay');
   }
   if (ledger.complete && pictures.size) {

package/dist/kit/ledger/history.mjs

@@ -363,7 +363,7 @@ export function selectiveUndo(input, actIds, options = {}) {
 		const result = projectInverseSource(transported ? {...prepared, rows, records: transported.records} : prepared, selected, projectedEffects, options);
 		if (!result.ok) return result;
 		if (options.actor?.kind === 'agent' && prepared.metadata.docKind === 'markdown' &&
-			evaluateWill(prepared.source, result.splices).outcome !== 'applied')
+			evaluateWill(prepared.source, result.splices, {restores: result.splices}).outcome !== 'applied')
 			return historyFailure('will_refused');
 		return {...result, actIds: [...requested], sourceTransactionIds: [...selected], metadata, afterMetadata,
 			effectChanged, unchanged: result.after === prepared.source && !metadata && !effectChanged};

package/dist/kit/ledger/inverse-source.mjs

@@ -32,6 +32,8 @@ function historyHunks(row) {
 }
 
 
+const differentActors = (a, b) => !!a && !!b && (a.kind !== b.kind || a.id !== b.id);
+
 export function projectInverseSource(prepared, selected, projectedEffects, options = {}) {
 	const records = prepared.records || prepared.rows.map(({record, splices}) => record.splices === splices ? record : {...record, splices});
 	if (!options.origins && !records.some(record => !prepared.effects.references.get(record.transaction.id)?.length &&
@@ -40,6 +42,7 @@ export function projectInverseSource(prepared, selected, projectedEffects, optio
 	try {
 		let pieces = prepared.initialSource ? [{text: prepared.initialSource, owner: null, lineage: []}] : [];
 		const all = [], byId = new Map(), byAct = new Map(), processed = [], keptInverseAncestors = new Set();
+		const actorOf = new Map(records.map(record => [record.transaction.id, record.transaction.actor]));
 		const recordsForCover = prepared.records || prepared.rows.map(({record, splices}) => record.splices === splices ? record : {...record, splices});
 		const coverGroups = new Map();
 		let coverOrigins = null;
@@ -280,6 +283,12 @@ export function projectInverseSource(prepared, selected, projectedEffects, optio
 					const id = tx.id + '#' + rowIndex + ':' + index;
 					const lineage = new Set([id]);
 					for (const piece of removed) for (const parent of piece.lineage || piece.mark?.lineage || []) lineage.add(parent);
+					if (!row.removed.length && !count && at > 0 && /[\p{L}\p{N}\p{M}]/u.test(row.inserted)) {
+						const left = pieces[at - 1], right = pieces[at];
+						const inner = left?.text && right?.text && left.owner === right.owner ? byId.get(left.owner) : null;
+						if (inner && inner.actId !== tx.id && inner.removed && differentActors(actorOf.get(inner.actId), tx.actor) && /[\p{L}\p{N}\p{M}]$/u.test(left.text) && /^[\p{L}\p{N}\p{M}]/u.test(right.text))
+							for (const parent of [inner.id, ...(left.lineage || [])]) lineage.add(parent);
+					}
 					const hunk = {id, actId: tx.id, removed: row.removed, inserted: row.inserted, before: removed, derived,
 						chosen, kept: selected.has(tx.id) && !chosen, lineage: [...lineage], supersededBy: new Set(), active: true,
 						...(coverIdsFor(tx.id) ? {coverIds: coverIdsFor(tx.id)} : {})};

package/dist/kit/ledger/journal-records.mjs

@@ -76,7 +76,7 @@ function _rapierValidAuthored(origin) {
 		!/[\uD800-\uDFFF]/u.test(row.removed) && !/[\uD800-\uDFFF]/u.test(row.inserted));
 }
 
-function _rapierRecordIndex(records) {
+function _rapierRecordIndex(records, shared = false) {
 	const byId = new Map(), splices = new Map(), metadata = new Map();
 	for (const record of records) {
 		const id = record?.transaction?.id;
@@ -100,20 +100,41 @@ function _rapierRecordIndex(records) {
 		}
 		cache.set(current, value);
 		for (let i = path.length - 1; i >= 0; i--) {
-			if (path[i].transaction.reverts && value != null) value = effects
-				? Object.fromEntries(Object.entries(value).map(([key, pair]) => [key, {before: pair.after, after: pair.before}]))
-				: value.slice().reverse().map(row => ({pos: row.pos, removed: row.inserted, inserted: row.removed}));
+			if (path[i].transaction.reverts && value != null) {
+				value = effects
+					? Object.fromEntries(Object.entries(value).map(([key, pair]) => [key, {before: pair.after, after: pair.before}]))
+					: value.slice().reverse().map(row => ({pos: row.pos, removed: row.inserted, inserted: row.removed}));
+				if (shared) { for (const row of Object.values(value)) Object.freeze(row); Object.freeze(value); }
+			}
 			cache.set(path[i], value);
 		}
 		return value;
 	};
-	return {byId, splices: record => resolve(record, false), metadata: record => resolve(record, true)};
+	const extend = more => { for (const record of more) { const id = record?.transaction?.id; if (!byId.has(id)) byId.set(id, []); byId.get(id).push(record); } };
+	return {byId, extend, splices: record => resolve(record, false), metadata: record => resolve(record, true)};
+}
+
+const _rapierLedgerIndexes = new WeakMap();
+function _rapierLedgerIndex(ledger) {
+	const records = ledger || [];
+	if (!Array.isArray(records)) return _rapierRecordIndex(records);
+	const held = _rapierLedgerIndexes.get(records);
+	if (held && held.records.length === records.length && held.records.at(-1) === records.at(-1) &&
+		(held.checked || held.records.every((record, at) => record === records[at]))) {
+		if (!held.checked) { held.checked = true; queueMicrotask(() => { held.checked = false; }); }
+		return held.index;
+	}
+	if (!records.every(record => record && typeof record === 'object' && Object.isFrozen(record) && Object.isFrozen(record.transaction ?? {})))
+		return _rapierRecordIndex(records);
+	const index = _rapierRecordIndex(records, true);
+	_rapierLedgerIndexes.set(records, {records: records.slice(), index});
+	return index;
 }
 
 function _rapierRecordSplices(entry, ledger) {
 	try {
 		if (entry && Array.isArray(entry.splices)) return entry.splices;
-		return _rapierRecordIndex(ledger || []).splices(entry);
+		return _rapierLedgerIndex(ledger).splices(entry);
 	} catch (_) { return null; }
 }
 
@@ -163,7 +184,7 @@ function _rapierRecordMetadata(entry, ledger) {
 	try {
 		if (Object.hasOwn(entry, 'metadata')) return _rapierValidMetadataEffect(entry.metadata) ? entry.metadata : undefined;
 		if (Array.isArray(entry.splices)) return null;
-		return _rapierRecordIndex(ledger || []).metadata(entry);
+		return _rapierLedgerIndex(ledger).metadata(entry);
 	} catch (_) { return undefined; }
 }
 
@@ -213,87 +234,89 @@ function _rapierPictureFinish(record, original, earlier, lookup) {
 	});
 }
 
-function _rapierWalkHistoryEffects(records, lookup, visit = null, observe = null) {
-	try {
-		if (!Array.isArray(records)) return {ok: false};
-		const nodes = new Map(), references = new Map(), pictures = new Map(), byId = new Map(), finished = new Set(), earlier = [];
-		const update = (target, delta) => {
-			const pending = [[target, delta]];
-			while (pending.length) {
-				const [id, change] = pending.pop(), node = nodes.get(id), was = node.active;
-				node.blockers += change;
-				if (node.blockers < 0) throw Error('effect');
-				node.active = node.blockers === 0;
-				if (was !== node.active) for (const ref of node.references) pending.push([ref, node.active ? 1 : -1]);
-			}
-		};
-		const activity = new Map();
-		const active = id => {
-			if (visit) return nodes.get(id).active;
-			const pending = [[id, 0]];
-			while (pending.length) {
-				const frame = pending.at(-1), target = frame[0];
-				if (activity.has(target)) { pending.pop(); continue; }
-				const dependents = nodes.get(target).dependents;
-				if (frame[1] === dependents.length) { activity.set(target, true); pending.pop(); continue; }
-				const next = dependents[frame[1]];
-				if (!activity.has(next)) pending.push([next, 0]);
-				else if (activity.get(next)) { activity.set(target, false); pending.pop(); }
-				else frame[1]++;
-			}
-			return activity.get(id);
-		};
-		const lastUndo = new Map(), contexts = new Map(), order = [];
-		const contextOf = origin => {
-			if (!origin) return null;
-			if (!_rapierValidAuthored(origin)) throw Error('origin');
-			const known = new Set(), pending = origin.basis.slice();
-			while (pending.length) {
-				const id = pending.pop(), context = contexts.get(id);
-				if (!context) throw Error('origin');
-				if (known.has(id)) continue;
-				known.add(id);
-				if (context.basis) pending.push(...context.basis);
-				else for (let index = 0; index < context.index; index++) known.add(order[index]);
-			}
-			const inactive = new Set();
-			for (let index = order.length - 1; index >= 0; index--) {
-				const id = order[index];
-				if (!known.has(id) || inactive.has(id)) continue;
-				for (const ref of references.get(id)) {
-					if (!known.has(ref)) throw Error('origin');
-					inactive.add(ref);
-				}
+function _rapierHistoryWalker(records, lookup, visit = null, observe = null) {
+	let nodes = new Map(), references = new Map(), pictures = new Map();
+	const byId = new Map(), finished = new Set(), earlier = [];
+	const update = (target, delta) => {
+		const pending = [[target, delta]];
+		while (pending.length) {
+			const [id, change] = pending.pop(), node = nodes.get(id), was = node.active;
+			node.blockers += change;
+			if (node.blockers < 0) throw Error('effect');
+			node.active = node.blockers === 0;
+			if (was !== node.active) for (const ref of node.references) pending.push([ref, node.active ? 1 : -1]);
+		}
+	};
+	const activity = new Map();
+	const active = id => {
+		if (visit) return nodes.get(id).active;
+		const pending = [[id, 0]];
+		while (pending.length) {
+			const frame = pending.at(-1), target = frame[0];
+			if (activity.has(target)) { pending.pop(); continue; }
+			const dependents = nodes.get(target).dependents;
+			if (frame[1] === dependents.length) { activity.set(target, true); pending.pop(); continue; }
+			const next = dependents[frame[1]];
+			if (!activity.has(next)) pending.push([next, 0]);
+			else if (activity.get(next)) { activity.set(target, false); pending.pop(); }
+			else frame[1]++;
+		}
+		return activity.get(id);
+	};
+	const lastUndo = new Map(), contexts = new Map(), order = [];
+	const contextOf = origin => {
+		if (!origin) return null;
+		if (!_rapierValidAuthored(origin)) throw Error('origin');
+		const known = new Set(), pending = origin.basis.slice();
+		while (pending.length) {
+			const id = pending.pop(), context = contexts.get(id);
+			if (!context) throw Error('origin');
+			if (known.has(id)) continue;
+			known.add(id);
+			if (context.basis) pending.push(...context.basis);
+			else for (let index = 0; index < context.index; index++) known.add(order[index]);
+		}
+		const inactive = new Set();
+		for (let index = order.length - 1; index >= 0; index--) {
+			const id = order[index];
+			if (!known.has(id) || inactive.has(id)) continue;
+			for (const ref of references.get(id)) {
+				if (!known.has(ref)) throw Error('origin');
+				inactive.add(ref);
 			}
-			return {known, inactive};
-		};
-		for (const record of records) {
+		}
+		return {known, inactive};
+	};
+	const walker = {observe, failed: false};
+	walker.add = record => {
+		if (walker.failed) return false;
+		try {
 			const tx = record?.transaction;
-			if (!tx || typeof tx.id !== 'string' || !tx.id || nodes.has(tx.id) || (tx.reverts && tx.reapplies)) return {ok: false};
+			if (!tx || typeof tx.id !== 'string' || !tx.id || nodes.has(tx.id) || (tx.reverts && tx.reapplies)) { walker.failed = true; return false; }
 			const supplied = tx.sourceTransactionIds || (tx.sourceTransactionId ? [tx.sourceTransactionId] : []);
 			if (!Array.isArray(supplied) || new Set(supplied).size !== supplied.length ||
-				(tx.sourceTransactionIds && tx.sourceTransactionId && (supplied.length !== 1 || supplied[0] !== tx.sourceTransactionId))) return {ok: false};
+				(tx.sourceTransactionIds && tx.sourceTransactionId && (supplied.length !== 1 || supplied[0] !== tx.sourceTransactionId))) { walker.failed = true; return false; }
 			let refs = supplied;
 			if (tx.operation === 'document.finish-picture' && tx.sourceTransactionId) {
 				const owner = tx.sourceTransactionId;
 				if (!nodes.has(owner) || !active(owner) || finished.has(owner) ||
-					!_rapierPictureFinish(record, byId.get(owner), earlier, lookup ||= _rapierRecordIndex(records))) return {ok: false};
+					!_rapierPictureFinish(record, byId.get(owner), earlier, lookup ||= _rapierRecordIndex(records))) { walker.failed = true; return false; }
 				pictures.set(tx.id, owner); finished.add(owner); refs = [];
 			}
 			if (tx.reverts || tx.reapplies) {
 				const target = tx.reverts || tx.reapplies;
-				if (!nodes.has(target) || (supplied.length && (supplied.length !== 1 || supplied[0] !== target))) return {ok: false};
+				if (!nodes.has(target) || (supplied.length && (supplied.length !== 1 || supplied[0] !== target))) { walker.failed = true; return false; }
 				if (tx.reverts) refs = [target];
 				else {
 					const context = contextOf(record.authored || tx.authored);
 					const undo = (lastUndo.get(target) || []).findLast(id => context
 						? context.known.has(id) && !context.inactive.has(id) : active(id));
-					if (!undo) return {ok: false};
+					if (!undo) { walker.failed = true; return false; }
 					refs = [undo];
 				}
 			}
-			if (refs.some(id => typeof id !== 'string' || !nodes.has(id) || pictures.has(id))) return {ok: false};
-			if (tx.actor?.kind === 'agent' && refs.some(id => byId.get(id).transaction.actor?.kind !== 'agent')) return {ok: false};
+			if (refs.some(id => typeof id !== 'string' || !nodes.has(id) || pictures.has(id))) { walker.failed = true; return false; }
+			if (tx.actor?.kind === 'agent' && refs.some(id => byId.get(id).transaction.actor?.kind !== 'agent')) { walker.failed = true; return false; }
 			nodes.set(tx.id, {active: true, blockers: 0, references: refs, dependents: []}); references.set(tx.id, refs.slice());
 			byId.set(tx.id, record); earlier.push(record);
 			for (const ref of refs) {
@@ -308,23 +331,45 @@ function _rapierWalkHistoryEffects(records, lookup, visit = null, observe = null
 				lastUndo.get(tx.reverts).push(tx.id);
 			}
 			if (visit) visit(record, nodes, refs);
-			if (observe) observe(record, refs, active);
-		}
-		if (!visit) for (let i = order.length - 1; i >= 0; i--) {
-			const node = nodes.get(order[i]); node.active = node.blockers === 0;
-			if (node.active) for (const ref of node.references) nodes.get(ref).blockers++;
+			if (walker.observe) walker.observe(record, refs, active);
+			return true;
+		} catch (_) { walker.failed = true; return false; }
+	};
+	walker.finish = () => {
+		if (walker.failed) return {ok: false};
+		const blockers = new Map(), effectiveActIds = [];
+		for (let i = order.length - 1; i >= 0; i--) {
+			const id = order[i], node = nodes.get(id), on = visit ? node.active : !(blockers.get(id) > 0);
+			if (!visit && on) for (const ref of node.references) blockers.set(ref, (blockers.get(ref) || 0) + 1);
+			if (on && !pictures.has(id)) effectiveActIds.push(id);
 		}
-		const effectiveActIds = [...nodes].filter(([id, node]) => node.active && !pictures.has(id)).map(([id]) => id);
-		return {ok: true, effectiveActIds, active: new Set(effectiveActIds), references, pictures};
-	} catch (_) { return {ok: false}; }
+		effectiveActIds.reverse();
+		const result = {ok: true, effectiveActIds, active: new Set(effectiveActIds), references, pictures};
+		walker.shared = true;
+		return result;
+	};
+	const add = walker.add;
+	walker.add = record => {
+		if (walker.shared) { references = new Map(references); pictures = new Map(pictures); walker.shared = false; }
+		return add(record);
+	};
+	return walker;
+}
+
+function _rapierWalkHistoryEffects(records, lookup, visit = null, observe = null) {
+	if (!Array.isArray(records)) return {ok: false};
+	const walker = _rapierHistoryWalker(records, lookup, visit, observe);
+	for (const record of records) if (!walker.add(record)) return {ok: false};
+	return walker.finish();
 }
 
 function _rapierHistoryEffects(records, visit = null) {
 	return _rapierWalkHistoryEffects(records, null, visit);
 }
 
-function _rapierMetadataProof(lookup) {
-	const values = {}, required = {}, assignments = {filename: [], docKind: []};
+function _rapierMetadataProof(lookup, from = null) {
+	const values = {...from?.values}, required = {...from?.required},
+		assignments = {filename: [...(from?.assignments.filename || [])], docKind: [...(from?.assignments.docKind || [])]};
 	const requireInitial = (key, value) => {
 		if (Object.hasOwn(required, key) && required[key] !== value) throw Error('metadata_effect');
 		required[key] = value;
@@ -351,7 +396,7 @@ function _rapierMetadataProof(lookup) {
 		if (!_rapierValidMetadata(initial) || Object.keys(required).some(key => initial[key] !== required[key])) return null;
 		return {...initial, ...values};
 	};
-	return {observe, replay};
+	return {observe, replay, fork: other => _rapierMetadataProof(other || lookup, {values, required, assignments})};
 }
 
 function _rapierMetadataState(initial, records, effects = _rapierHistoryEffects(records)) {
@@ -458,16 +503,79 @@ const _rapierPrepareHistoryRecords = (() => {
 			frame.descriptors = descriptors; frame.fields = fields;
 			frame.leaving = true; active.add(value); pending.push(frame);
 			for (let at = fields.length - 1; at >= 0; at--) {
-				const key = fields[at]; pending.push({value: descriptors[key].value, parent: frame, key, depth: frame.depth + 1});
+				const key = fields[at], child = descriptors[key].value;
+				const prior = array && child && typeof child === 'object' ? copies.get(child) : undefined;
+				if (prior?.immutable && !active.has(child) && frame.depth + 1 + prior.height <= 64) {
+					finish({parent: frame, key}, prior.copy, true, prior.height); continue;
+				}
+				pending.push({value: child, parent: frame, key, depth: frame.depth + 1});
 			}
 		}
 		return result.value;
 	};
+	let resumable = [];
+	const rowOf = (lookup, record) => {
+		const splices = lookup.splices(record), metadata = lookup.metadata(record);
+		if (splices && !Object.isFrozen(splices)) {
+			for (const row of splices) Object.freeze(row);
+			Object.freeze(splices);
+		}
+		if (metadata && !Object.isFrozen(metadata)) {
+			for (const pair of Object.values(metadata)) Object.freeze(pair);
+			Object.freeze(metadata);
+		}
+		return Object.freeze({record, splices, metadata});
+	};
+	const observe = (records, basis, byId, rows, effects, proof) => {
+		for (const refs of effects.references.values()) Object.freeze(refs);
+		const effectView = Object.freeze({ok: true, effectiveActIds: Object.freeze(effects.effectiveActIds),
+			active: view(effects.active), references: view(effects.references), pictures: view(effects.pictures)});
+		const observation = Object.freeze({ok: effects.ok, records, rows: Object.freeze(rows), effects: effectView, byId: view(byId),
+			replayMetadata: initial => effects.ok ? proof.replay(initial) : null,
+			validRecord: (index, documentAuthority, maxDocumentBytes, utf8Length, allowGap = false) => {
+				if (!effects.ok || !Number.isSafeInteger(index) || index < 0 || index >= records.length) return false;
+				const row = rows[index], tx = row.record.transaction;
+				return _rapierCheckLedgerRecord(row.record, records[index - 1] || null, documentAuthority, maxDocumentBytes, utf8Length, allowGap,
+					{...row, duplicate: false, semantic: !!(tx.reverts || tx.reapplies || tx.sourceTransactionId || tx.sourceTransactionIds?.length)});
+			}});
+		prepared = new WeakMap([[records, {basis, observation}]]);
+		return observation;
+	};
+	const authorityOf = state => state.records[0]?.transaction?.documentAuthority;
+	const keep = state => { resumable = [state, ...resumable.filter(row => row !== state && row.records[0] !== state.records[0] &&
+		authorityOf(row) === authorityOf(state))].slice(0, 4); };
+	const extend = records => {
+		const base = resumable.find(row => row.records.length < records.length && row.records[0] === records[0] &&
+			row.records.every((record, at) => record === records[at]));
+		if (!base) return null;
+		resumable = resumable.filter(row => row !== base);
+		const more = records.slice(base.records.length), byId = new Map(base.byId);
+		for (const record of more) {
+			const id = record?.transaction?.id;
+			if (typeof id !== 'string' || !id || byId.has(id)) return null;
+			byId.set(id, record);
+		}
+		const {lookup, walker} = base;
+		lookup.extend(more);
+		const rows = base.rows.concat(more.map(record => rowOf(lookup, record)));
+		const proof = base.proof.fork(lookup);
+		walker.observe = proof.observe;
+		for (const record of more) if (!walker.add(record)) return null;
+		const effects = walker.finish();
+		if (!effects.ok) return null;
+		if (rows.every(row => row.splices && row.metadata !== undefined)) keep({records, lookup, walker, proof, byId, rows});
+		return observe(records, records, byId, rows, effects, proof);
+	};
 	return (input, earlier = input) => {
 		try {
 			if (!Array.isArray(input) || !Array.isArray(earlier)) return {ok: false};
 			const records = capture(input), basis = input === earlier ? records : capture(earlier), previous = prepared.get(records);
 			if (previous?.basis === basis) return previous.observation;
+			if (basis === records) {
+				let grown = null;
+				try { grown = extend(records); } catch (_) { grown = null; }
+				if (grown) return grown;
+			}
 			const byId = new Map();
 			for (const record of records) {
 				const id = record?.transaction?.id;
@@ -475,41 +583,24 @@ const _rapierPrepareHistoryRecords = (() => {
 				byId.set(id, record);
 			}
 			const lookup = _rapierRecordIndex(basis), proof = _rapierMetadataProof(lookup);
-			const rows = records.map(record => {
-				const splices = lookup.splices(record), metadata = lookup.metadata(record);
-				if (splices && !Object.isFrozen(splices)) {
-					for (const row of splices) Object.freeze(row);
-					Object.freeze(splices);
-				}
-				if (metadata && !Object.isFrozen(metadata)) {
-					for (const pair of Object.values(metadata)) Object.freeze(pair);
-					Object.freeze(metadata);
-				}
-				return Object.freeze({record, splices, metadata});
-			});
-			const effects = _rapierWalkHistoryEffects(records, lookup, null, proof.observe);
+			const rows = records.map(record => rowOf(lookup, record));
+			const walker = _rapierHistoryWalker(records, lookup, null, proof.observe);
+			for (const record of records) if (!walker.add(record)) return {ok: false};
+			const effects = walker.finish();
 			if (!effects.ok) return {ok: false};
-			for (const refs of effects.references.values()) Object.freeze(refs);
-			const effectView = Object.freeze({ok: true, effectiveActIds: Object.freeze(effects.effectiveActIds),
-				active: view(effects.active), references: view(effects.references), pictures: view(effects.pictures)});
-			const observation = Object.freeze({ok: effects.ok, records, rows: Object.freeze(rows), effects: effectView, byId: view(byId),
-				replayMetadata: initial => effects.ok ? proof.replay(initial) : null,
-				validRecord: (index, documentAuthority, maxDocumentBytes, utf8Length, allowGap = false) => {
-					if (!effects.ok || !Number.isSafeInteger(index) || index < 0 || index >= records.length) return false;
-					const row = rows[index], tx = row.record.transaction;
-					return _rapierCheckLedgerRecord(row.record, records[index - 1] || null, documentAuthority, maxDocumentBytes, utf8Length, allowGap,
-						{...row, duplicate: false, semantic: !!(tx.reverts || tx.reapplies || tx.sourceTransactionId || tx.sourceTransactionIds?.length)});
-				}});
-			prepared = new WeakMap([[records, {basis, observation}]]); return observation;
+			if (basis === records && rows.every(row => row.splices && row.metadata !== undefined))
+				keep({records, lookup, walker, proof, byId, rows});
+			return observe(records, basis, byId, rows, effects, proof);
 		} catch (_) { return {ok: false}; }
 	};
 })();
 
 const _rapierJournalRecord = (() => {
 	const copies = new WeakMap();
+	const fixed = value => { if (value && typeof value === 'object') { for (const key of Object.keys(value)) fixed(value[key]); Object.freeze(value); } return value; };
 	return record => {
 		let copy = copies.get(record);
-		if (!copy) { copy = JSON.parse(JSON.stringify(record)); copies.set(record, copy); }
+		if (!copy) { copy = fixed(JSON.parse(JSON.stringify(record))); copies.set(record, copy); }
 		return copy;
 	};
 })();

package/dist/kit/render-markdown.mjs

@@ -55,18 +55,23 @@ function createMarkdownRenderer(runtime) {
   window?.addEventListener?.('rapier:original-file-ready', scheduleWikiEmbeds);
   const wikiMode = options => options.wikiEmbedding ? 'links' : options.wikiLinks !== undefined ? options.wikiLinks
     : globalThis.RapierOriginalFolderCore?.currentOriginal?.() ? 'label' : false;
+let codeLeft = Infinity;
 function initMarkdownIt() {
 	if (typeof window.markdownit !== 'function') throw new Error('markdownit');
 	if (typeof _rapierMarkdownPreview === 'function') globalThis.rapierRenderPreview = _rapierMarkdownPreview;
 
 	md = window.markdownit({
 		...RAPIER_MARKDOWN_SPEC.options,
-		highlight: (code, lang) => lang && _rapierHighlightAdmitted(code) ? _rapierCodeHtml(code, lang) : '',
+		highlight: (code, lang) => lang && _rapierHighlightAdmitted(code) && (codeLeft -= code.length) >= 0 ? _rapierCodeHtml(code, lang) : '',
 	});
 
 	_rapierApplyMarkdownSpec(md, window);
 	globalThis.RapierImageAssets.installMarkdownImages(md);
 	_rapierInstallSemanticProbe(md);
+	md.core.ruler.after('block', 'rapier_part_decorations', state => {
+		if (state.env.rapierPartDecorations && !/[<$\\]/.test(state.src) && !state.src.includes('^['))
+			state.tokens = _rapierPartDecorationGroups(state.tokens).flat();
+	});
 	_rapierInstallMarkdownMath(md, RAPIER_MARKDOWN_SPEC.rules.mathBlock);
 
 	const markOpenDefault = md.renderer.rules.mark_open ||
@@ -138,7 +143,7 @@ function initMarkdownIt() {
 				'" data-rapier-image-source="' + esc(encodeURIComponent(token.content)) + '">' + esc(label) + '</span>';
 		}
 		const note = embed && !env.rapierWikiEmbedding;
-		if (note) scheduleWikiEmbeds();
+		if (note && !env.rapierPassive) scheduleWikiEmbeds();
 		return '<span class="rapier-source-token rapier-source-token--wiki' + (note ? '-embed' : '') +
 			'" data-rapier-source="' + esc(encodeURIComponent(token.content)) + '" data-rapier-visible="' + esc(encodeURIComponent(label)) +
 			'"><a href="' + esc(href) + '">' + esc(label) + '</a></span>';
@@ -340,6 +345,7 @@ function initMarkdownIt() {
 	};
 
 	const _fenceDefault = md.renderer.rules.fence;
+	let _mathPromptedOnce = false;
 	{
 		let _diagramPromptedOnce = false;
 		md.renderer.rules.fence = function (tokens, idx, opts, env, self) {
@@ -366,8 +372,16 @@ function initMarkdownIt() {
 			}
 			const provider = env.rapierProviders === false ? null : _rapierProviders.mermaid;
 			const native = globalThis.RapierFlowchart?.parseFlowchart(src).ok === true;
-			const ready = native || !!(provider && provider.status === 'ready' && typeof provider.renderToString === 'function');
-			if (!ready && !provider?.request?.() && env.rapierProviders !== false && !_diagramPromptedOnce) {
+			const diagramReady = native || !!(provider && provider.status === 'ready' && typeof provider.renderToString === 'function');
+			const mathProvider = env.rapierProviders === false ? null : _rapierProviders.math;
+			const mathNeeded = provider?.requiresMath?.(src) === true;
+			const mathReady = !mathNeeded || mathProvider?.status === 'ready';
+			if (!mathReady && !env.rapierPassive && !mathProvider?.request?.() && env.rapierProviders !== false && !_mathPromptedOnce) {
+				_mathPromptedOnce = true;
+				try { _rapierUiMath.request(); } catch (_) {}
+			}
+			const ready = diagramReady && mathReady;
+			if (!diagramReady && !env.rapierPassive && !provider?.request?.() && env.rapierProviders !== false && !_diagramPromptedOnce) {
 				_diagramPromptedOnce = true;
 				try { _rapierUiDiagram.request(); } catch (_) {}
 			}
@@ -401,7 +415,6 @@ function initMarkdownIt() {
 	preserveEmphasisMarkup('strong_open', 'data-rapier-strong');
 
 	{
-		let _mathPromptedOnce = false;
 		const _renderMath = (src, displayMode, env, authored) => {
 			const marker = displayMode ? '$$' : '$';
 			const source = authored || marker + src + marker, literal = md.utils.escapeHtml(source);
@@ -412,7 +425,7 @@ function initMarkdownIt() {
 			if (env.rapierPage) return sourceHtml;
 			const mathProvider = env.rapierProviders === false ? null : _rapierProviders.math;
 			if (!mathProvider || mathProvider.status !== 'ready' || typeof mathProvider.renderToString !== 'function') {
-				if (!mathProvider?.request?.() && env.rapierProviders !== false && !_mathPromptedOnce) {
+				if (!env.rapierPassive && !mathProvider?.request?.() && env.rapierProviders !== false && !_mathPromptedOnce) {
 					_mathPromptedOnce = true;
 					try { _rapierUiMath.request(); } catch (_) {}
 				}
@@ -444,6 +457,10 @@ function initMarkdownIt() {
 	}
 	globalThis.RapierMarkdownLayout.installMarkdownLayout(md);
 	globalThis.RapierImageAssets.configureParser(md, _rapierSplitOpeningFrontmatter);
+	const render = md.renderer.render;
+	md.renderer.render = function (tokens, options, env) {
+		return render.call(this, _rapierCloseOpenDetails(tokens), options, env);
+	};
 }
 
 function _rapierRenderSemanticRoot(canonical, metadata, options = {}) {
@@ -464,42 +481,56 @@ function _rapierRenderSemanticRoot(canonical, metadata, options = {}) {
 	}
 
 	const markdown = _rapierSplitOpeningFrontmatter(canonical).body;
-	const env = {rapierImagePresentation: options.imagePresentation === true, ...(options.page ? {rapierPage: true} : {}), ...(options.providers === false ? {rapierProviders: false} : {})};
+	const env = {rapierImagePresentation: options.imagePresentation === true, rapierPassive: options.passive === true, ...(options.page ? {rapierPage: true} : {}), ...(options.providers === false ? {rapierProviders: false} : {})};
 	if (options.wikiEmbedding) env.rapierWikiEmbedding = true;
 	const wikiLinks = wikiMode(options);
 	if (wikiLinks) env.rapierWikiLinks = wikiLinks;
 	if (options.mathEquations) env.rapierMathEquations = options.mathEquations;
 	const nesting = md && options.maxNesting > 0 ? options.maxNesting : 0;
-	let rendered;
+	let cutAt = -1, rendered;
+	codeLeft = options.codeBudget >= 0 ? options.codeBudget : Infinity;
+	try {
 	if (nesting || md && options.closeDetails) {
 		const saved = md.options.maxNesting;
 		if (nesting) md.options.maxNesting = nesting;
 		try {
 			const tokens = md.parse(markdown, env);
+			if (nesting) cutAt = _rapierNestingCutAt(tokens, nesting);
 			rendered = md.renderer.render(options.closeDetails ? _rapierCloseOpenDetails(tokens) : tokens, md.options, env);
 		} finally { md.options.maxNesting = saved; }
 	} else rendered = md
 		? md.render(markdown, env)
 		: '<pre><code>' + escapeRapierHtmlText(markdown) + '</code></pre>';
+	} finally { codeLeft = Infinity; }
 	if (md && env.footnotes && Array.isArray(env.footnotes.list) && env.footnotes.list.length) {
 		const labels = env.footnotes.list.map((item, index) =>
 			String(item && item.label || ('inline-' + (index + 1))));
 		rendered = _relabelFootnoteHtml(rendered, labels);
 	}
 	root.innerHTML = sanitizeRapierHtml(rendered, options.page ? 'source' : 'export');
+	if (cutAt >= 0) _rapierAppendNestingCut(root, markdown, cutAt);
 	_rapierApplyBlockDirection(root);
 
-	_rapierAssignHeadingSlugs(root, RAPIER_RENDERED_HEADING_SELECTOR, false);
+	_rapierAssignHeadingSlugs(root, RAPIER_RENDERED_HEADING_SELECTOR, false, options.carry?.slugs, options.carry?.headingIds);
 	_rapierDisambiguateRenderedAnchors(root);
 
 	root.querySelectorAll('pre > code').forEach(_rapierNormalizeCodeElement);
-	_rapierMarkTableCaptions(root);
+	_rapierMarkTableCaptions(root, options.carry);
 	_rapierMarkFigureCaptions(root);
 	_rapierMarkListContinuations(_rapierChildElements(root));
-	_rapierDecorateJumpLists(root);
+	_rapierDecorateJumpLists(root, options.carry);
 	return root;
 }
 
+function _rapierAppendNestingCut(root, markdown, cutAt) {
+	const note = root.ownerDocument.createElement('p'), pre = root.ownerDocument.createElement('pre'), code = root.ownerDocument.createElement('code');
+	note.setAttribute('data-rapier-nesting-cut', 'true');
+	note.textContent = 'Nesting is too deep to show here. The rest of the document follows as plain text.';
+	code.textContent = String(markdown).split('\n').slice(cutAt).join('\n');
+	pre.append(code);
+	root.append(note, pre);
+}
+const _rapierNestingCutAt = (tokens, nesting) => { const deepest = tokens.find(token => token.level >= nesting - 1 && token.map); return deepest ? deepest.map[0] + 1 : -1; };
 async function _rapierRenderSemanticRootAsync(canonical, metadata, options = {}) {
 	const work = options.work || options;
 	check(work);
@@ -517,15 +548,16 @@ async function _rapierRenderSemanticRootAsync(canonical, metadata, options = {})
 	let parsed;
 	try { parsed = !wikiLinks && options.parsed || (runtime.parseAsync && !wikiLinks && !nesting ? await runtime.parseAsync(markdown, options) : {tokens: md.parse(markdown, fallbackEnv), env: fallbackEnv}); }
 	finally { md.options.maxNesting = saved; }
-	let {tokens, env} = parsed;
-	if (options.closeDetails) tokens = _rapierCloseOpenDetails(tokens);
-	let labels = env.footnotes?.list?.map((item, index) => String(item?.label || ('inline-' + (index + 1))));
-	env = {...env, rapierImagePresentation: options.imagePresentation === true};
+	let {tokens, env} = parsed, labels = env.footnotes?.list?.map((item, index) => String(item?.label || ('inline-' + (index + 1))));
+	const cutAt = nesting ? _rapierNestingCutAt(tokens, nesting) : -1;
+	tokens = _rapierCloseOpenDetails(tokens);
+	env = {...env, rapierImagePresentation: options.imagePresentation === true, rapierPassive: options.passive === true};
 	await pause(work, .3);
 	const inert = document.createElement('template').content.ownerDocument;
 	const root = inert.createElement('div'), part = inert.createElement('div'), boundary = htmlBoundary();
 	root.setAttribute('data-rapier-semantic-root', 'true');
 	let html = '', began = performance.now(), complete = false;
+	codeLeft = options.codeBudget >= 0 ? options.codeBudget : Infinity;
 	const append = () => {
 		if (md.renderer.rapierTransformHtml) html = md.renderer.rapierTransformHtml(html);
 		if (labels?.length) html = _relabelFootnoteHtml(html, labels);
@@ -546,23 +578,72 @@ async function _rapierRenderSemanticRootAsync(canonical, metadata, options = {})
 			}
 		}
 		if (html) append();
+		if (cutAt >= 0) _rapierAppendNestingCut(root, markdown, cutAt);
 		parsed = tokens = env = labels = null;
-		await finishAsync(_rapierSemanticDecorations(root), work);
+		await finishAsync(_rapierSemanticDecorations(root, options.carry), work);
 		await pause(work, .6);
 		complete = true;
 		return root;
-	} finally { if (!complete) { root.replaceChildren(); part.replaceChildren(); } }
+	} finally { codeLeft = Infinity; if (!complete) { root.replaceChildren(); part.replaceChildren(); } }
+}
+
+function _rapierPartDecorationGroups(tokens) {
+	const groups = [];
+	for (let at = 0; at < tokens.length; at++) {
+		const first = tokens[at];
+		if (first.type !== 'heading_open' && first.type !== 'table_open') continue;
+		const close = first.type === 'heading_open' ? 'heading_close' : 'table_close';
+		let end = at + 1;
+		while (end < tokens.length && !(tokens[end].type === close && tokens[end].level === first.level)) end++;
+		end++;
+		if (first.type === 'table_open' && tokens[end]?.type === 'paragraph_open' && tokens[end].level === first.level) {
+			while (end < tokens.length && !(tokens[end].type === 'paragraph_close' && tokens[end].level === first.level)) end++;
+			end++;
+		}
+		groups.push(tokens.slice(at, end));
+		at = end - 1;
+	}
+	return groups;
+}
+
+function _rapierReadPartDecorations(canonical, metadata, options = {}) {
+	const carry = options.carry || {slugs: Object.create(null), captions: 0, continued: true}, captionStart = carry.captions || 0;
+	const markdown = _rapierSplitOpeningFrontmatter(canonical).body, env = {rapierImagePresentation: options.imagePresentation === true, rapierPassive: true, rapierPartDecorations: true,
+		...(options.page ? {rapierPage: true} : {}), ...(options.providers === false ? {rapierProviders: false} : {})};
+	if (options.wikiEmbedding) env.rapierWikiEmbedding = true;
+	const wikiLinks = wikiMode(options);
+	if (wikiLinks) env.rapierWikiLinks = wikiLinks;
+	if (options.mathEquations) env.rapierMathEquations = options.mathEquations;
+	const saved = md.options.maxNesting;
+	let tokens;
+	try {
+		if (options.maxNesting > 0) md.options.maxNesting = options.maxNesting;
+		tokens = md.parse(markdown, env);
+	} finally { md.options.maxNesting = saved; }
+	if (tokens.some(token => token.type === 'html_block' || token.type === 'math_block' || token.type.startsWith('footnote_') ||
+			token.type === 'inline' && token.children?.some(child => child.type === 'html_inline' || child.type === 'math_inline' || child.type.startsWith('footnote_')))) {
+		const root = _rapierRenderSemanticRoot(canonical, metadata, {...options, carry, codeBudget: 0, passive: true});
+		return Object.freeze({headingIds: Object.freeze([...root.querySelectorAll(RAPIER_RENDERED_HEADING_SELECTOR)].map(heading => heading.id)), captionStart});
+	}
+	const html = [];
+	for (const group of _rapierPartDecorationGroups(tokens)) html.push('<div>', md.renderer.render(group, md.options, env), '</div>');
+	const root = document.createElement('template').content.ownerDocument.createElement('div');
+	root.innerHTML = sanitizeRapierHtml(html.join(''), 'export');
+	_rapierAssignHeadingSlugs(root, RAPIER_RENDERED_HEADING_SELECTOR, false, carry.slugs);
+	const headingIds = Object.freeze([...root.querySelectorAll(RAPIER_RENDERED_HEADING_SELECTOR)].map(heading => heading.id));
+	_rapierMarkTableCaptions(root, carry);
+	return Object.freeze({headingIds, captionStart});
 }
 
-function* _rapierSemanticDecorations(root) {
+function* _rapierSemanticDecorations(root, carry = null) {
 	yield* _rapierApplyBlockDirectionSteps(root); yield;
-	yield* _rapierAssignHeadingSlugsSteps(root, RAPIER_RENDERED_HEADING_SELECTOR, false); yield;
+	yield* _rapierAssignHeadingSlugsSteps(root, RAPIER_RENDERED_HEADING_SELECTOR, false, carry?.slugs, carry?.headingIds); yield;
 	yield* _rapierDisambiguateRenderedAnchorsSteps(root); yield;
 	for (const code of root.querySelectorAll('pre > code')) { _rapierNormalizeCodeElement(code); yield; }
-	yield* _rapierMarkTableCaptionsSteps(root); yield;
+	yield* _rapierMarkTableCaptionsSteps(root, carry); yield;
 	yield* _rapierMarkFigureCaptionsSteps(root); yield;
 	yield* _rapierMarkListContinuationsSteps(_rapierChildElements(root)); yield;
-	yield* _rapierDecorateJumpListsSteps(root); yield;
+	yield* _rapierDecorateJumpListsSteps(root, carry); yield;
 }
 
 function _rapierInstallSemanticProbe(instance) {
@@ -815,7 +896,18 @@ function _rapierCloseOpenDetails(tokens) {
 	const tags = token => {
 		const found = [];
 		if (token.type === 'html_inline') found.push(token.content);
-		else if (token.type === 'html_block') _rapierRawHtmlFragment(token.content, tag => { found.push(tag); return tag; }, md);
+		else if (token.type === 'html_block') {
+			let raw = '';
+			_rapierRawHtmlFragment(token.content, tag => {
+				if (raw) { if (new RegExp('^</' + raw + '[\\t\\n\\f\\r ]*>$', 'i').test(tag)) raw = ''; }
+				else {
+					const literal = /^<(script|style|textarea|title|xmp|iframe|noembed|noframes|plaintext)(?=[\t\n\f\r />])/i.exec(tag);
+					if (literal) raw = literal[1];
+					else found.push(tag);
+				}
+				return tag;
+			}, md);
+		}
 		else if (token.type === 'inline') for (const child of token.children || []) if (child.type === 'html_inline') found.push(child.content);
 		return found;
 	};
@@ -896,17 +988,23 @@ function _rapierFirstStrongDir(text) {
 
 const _RAPIER_DIR_BLOCKS = 'p,h1,h2,h3,h4,h5,h6,li,blockquote,ul,ol,dt,dd,td,th';
 
-function _rapierAssignHeadingSlugs(root, selector, reserveExisting) { return finish(_rapierAssignHeadingSlugsSteps(root, selector, reserveExisting)); }
+function _rapierAssignHeadingSlugs(root, selector, reserveExisting, taken, assigned) { return finish(_rapierAssignHeadingSlugsSteps(root, selector, reserveExisting, taken, assigned)); }
 
-function* _rapierAssignHeadingSlugsSteps(root, selector = RAPIER_RENDERED_HEADING_SELECTOR, reserveExisting = true) {
+function* _rapierAssignHeadingSlugsSteps(root, selector = RAPIER_RENDERED_HEADING_SELECTOR, reserveExisting = true, taken = null, assigned = null) {
 	if (!root || !root.querySelectorAll) return;
-	const used = Object.create(null);
+	const used = taken || Object.create(null);
 	const headings = _rapierDormantHeadings(root, selector, true);
+	if (assigned && assigned.length !== headings.length) {
+		try { console.warn('[rapier-reader] Part heading facts do not match its rendered headings; assigning ordinary heading IDs.'); } catch (_) {}
+		assigned = null;
+	}
 	const headingSet = new Set(headings);
 	if (reserveExisting) for (const element of _rapierDormantHeadings(root.isConnected ? document : root, '[id]', true)) { yield;
 		if (!headingSet.has(element) && element.id) used[element.id] = 0;
 	}
+	let index = 0;
 	for (const heading of headings) { yield;
+		if (assigned) { heading.id = assigned[index++]; continue; }
 		const base = _rapierHeadingSlugBase(heading.textContent);
 		const owned = typeof _rapierChromeOwnsId === 'function' && _rapierChromeOwnsId(base);
 		heading.id = _rapierNextHeadingSlug(owned ? 'heading-' + base : base, used);
@@ -1007,9 +1105,9 @@ function _rapierDecodeHash(hash) {
 	catch (_) { return raw; }
 }
 
-function _rapierDecorateJumpLists(root) { return finish(_rapierDecorateJumpListsSteps(root)); }
+function _rapierDecorateJumpLists(root, carry) { return finish(_rapierDecorateJumpListsSteps(root, carry)); }
 
-function* _rapierDecorateJumpListsSteps(root) {
+function* _rapierDecorateJumpListsSteps(root, carry = null) {
 	for (const list of root.querySelectorAll('ul')) { yield;
 		if (list.closest('li')) continue;
 		const items = Array.from(list.children).filter(item => item.tagName === 'LI');
@@ -1032,7 +1130,7 @@ function* _rapierDecorateJumpListsSteps(root) {
 		}
 	}
 
-	const first = root.firstElementChild, only = first && !first.nextElementSibling ? first : null;
+	const first = root.firstElementChild, only = !carry && first && !first.nextElementSibling ? first : null;
 	if (only && only.tagName === 'P' && /^(?:jump\s+to|contents|table\s+of\s+contents):?$/i.test(String(only.textContent || '').trim())) {
 		only.classList.add('rapier-jump-label-candidate');
 	}
@@ -1074,11 +1172,11 @@ function* _rapierMarkListContinuationsSteps(blocks, mark = (element, name) => el
 	}
 }
 
-function _rapierMarkTableCaptions(root) { return finish(_rapierMarkTableCaptionsSteps(root)); }
+function _rapierMarkTableCaptions(root, carry) { return finish(_rapierMarkTableCaptionsSteps(root, carry)); }
 
-function* _rapierMarkTableCaptionsSteps(root) {
+function* _rapierMarkTableCaptionsSteps(root, carry = null) {
 	const used = new Set(Array.from(root.querySelectorAll('[id]'), element => element.id));
-	let ordinal = 0;
+	let ordinal = carry?.captions || 0;
 	for (const table of root.querySelectorAll('table')) { yield;
 		const sibling = table.nextElementSibling;
 		if (!sibling || sibling.tagName !== 'P') continue;
@@ -1091,6 +1189,7 @@ function* _rapierMarkTableCaptionsSteps(root) {
 		const existing = (table.getAttribute('aria-describedby') || '').trim();
 		table.setAttribute('aria-describedby', existing ? existing + ' ' + id : id);
 	}
+	if (carry) carry.captions = ordinal;
 }
 
 
@@ -1794,7 +1893,7 @@ function renderWithMathML(source, metadata = {}) {
 	return {html, equations};
 }
 
-  return {renderWithMathML, _rapierClipboardPayloadAsync, _rapierPlainTextFileAsync, _rapierCloneRootAsync, _rapierPortablePlainTextAsync, _rapierHeldPicturesAsWordsAsync, _rapierRenderSemanticRootAsync, _rapierProjectPortableRootAsync, _rapierPortableHtmlAsync, _rapierCalloutInfo, _rapierRemoveCalloutMarker, _rapierMathSource, _rapierFlattenPortableDetails, _rapierProjectPortableRoot, _rapierPortableHtml, _rapierNormalizeInlineText, _rapierPortableInlineText, _rapierPortableListText, _rapierPortableTableText, _rapierPortablePlainText, _rapierPlainTextFile, _rapierHeldPicturesAsWords, _rapierSourceTokenValue, _rapierResolveSoftBreakTokens, _rapierInertParse, _rapierUnwrapElement, _rapierBidiStrong, render: (source, metadata = {}) => { if (!md) initMarkdownIt(); return _rapierRenderSemanticRoot(source, metadata).innerHTML; }, initMarkdownIt, _rapierRenderSemanticRoot, _rapierInstallSemanticProbe, _rapierApplyImageGeometry, _rapierImageAltSize, _rapierImageAltSourceParts, _rapierImageAltText, _rapierImageSizeAttributes, _rapierRawHtmlFragment, _rapierApplyBlockDirection, _rapierFirstStrongDir, _rapierAssignHeadingSlugs, _rapierDisambiguateRenderedAnchors, _rapierDecodeHash, _rapierDecorateJumpLists, _rapierMarkFigureCaptions, _rapierMarkListContinuations, _rapierMarkTableCaptions, _rapierNormalizeCodeElement, _rapierLanguageClass, _relabelFootnoteHtml, _footnoteIdFromLabel, wrapDisplayMath, parser: () => md};
+  return {_rapierReadPartDecorations, renderWithMathML, _rapierClipboardPayloadAsync, _rapierPlainTextFileAsync, _rapierCloneRootAsync, _rapierPortablePlainTextAsync, _rapierHeldPicturesAsWordsAsync, _rapierRenderSemanticRootAsync, _rapierProjectPortableRootAsync, _rapierPortableHtmlAsync, _rapierCalloutInfo, _rapierRemoveCalloutMarker, _rapierMathSource, _rapierFlattenPortableDetails, _rapierProjectPortableRoot, _rapierPortableHtml, _rapierNormalizeInlineText, _rapierPortableInlineText, _rapierPortableListText, _rapierPortableTableText, _rapierPortablePlainText, _rapierPlainTextFile, _rapierHeldPicturesAsWords, _rapierSourceTokenValue, _rapierResolveSoftBreakTokens, _rapierInertParse, _rapierUnwrapElement, _rapierBidiStrong, render: (source, metadata = {}) => { if (!md) initMarkdownIt(); return _rapierRenderSemanticRoot(source, metadata).innerHTML; }, initMarkdownIt, _rapierRenderSemanticRoot, _rapierInstallSemanticProbe, _rapierApplyImageGeometry, _rapierImageAltSize, _rapierImageAltSourceParts, _rapierImageAltText, _rapierImageSizeAttributes, _rapierRawHtmlFragment, _rapierApplyBlockDirection, _rapierFirstStrongDir, _rapierAssignHeadingSlugs, _rapierDisambiguateRenderedAnchors, _rapierDecodeHash, _rapierDecorateJumpLists, _rapierMarkFigureCaptions, _rapierMarkListContinuations, _rapierMarkTableCaptions, _rapierNormalizeCodeElement, _rapierLanguageClass, _relabelFootnoteHtml, _footnoteIdFromLabel, wrapDisplayMath, parser: () => md};
 }
 export {RAPIER_TABLE_CAPTION_PREFIX_RE as tableCaptionPrefix, RAPIER_PORTABLE_HIGHLIGHT_HEX as portableHighlightHex, _RAPIER_RTL_SCRIPT as rtlScripts, createMarkdownRenderer};
 

package/dist/kit/render-sanitize.mjs

@@ -52,7 +52,7 @@ const DIAGRAM_LABEL_CSS = new Set(('color fill stroke background-color font-fami
 const DOCUMENT_STYLE_PROPERTIES = new Set([...DIAGRAM_LABEL_CSS, ...('background display visibility opacity '
 	+ 'border border-top border-right border-bottom border-left border-color border-style border-width border-collapse border-spacing '
 	+ 'border-top-color border-right-color border-bottom-color border-left-color border-top-width border-right-width border-bottom-width border-left-width '
-	+ 'table-layout caption-side empty-cells list-style-type list-style-position direction unicode-bidi '
+	+ 'table-layout caption-side empty-cells list-style-type list-style-position direction unicode-bidi hyphens '
 	+ 'stroke-width stroke-opacity stroke-dasharray stroke-dashoffset stroke-linecap stroke-linejoin stroke-miterlimit '
 	+ 'fill-opacity fill-rule clip-rule clip-path filter stop-color stop-opacity text-anchor dominant-baseline alignment-baseline '
 	+ 'paint-order vector-effect shape-rendering color-interpolation color-interpolation-filters').split(' ')]);

package/dist/kit/render.mjs

@@ -289,15 +289,21 @@ function* _rapierProjectStyledRootSteps(semanticRoot, options) {
 		if (code) {
 			const lang = _rapierLanguageClass(code) || String(metadata.codeLang || '');
 			code.classList.add('artifact-code');
-			if (metadata.docKind === 'code') _rapierPaintCode(code, _rapierArtifactHighlight(code.textContent || '', lang));
+			if (metadata.docKind === 'code') {
+				const colored = _rapierArtifactHighlight(code.textContent || '', lang);
+				_rapierPaintCode(code, opts.sanitized ? sanitizeRapierHtml(colored, 'export') : colored);
+			}
 			if (lang) code.classList.add('language-' + String(lang).replace(/[^a-z0-9_-]/gi, ''));
 		}
 	} else {
+		let codeLeft = opts.codeBudget >= 0 ? opts.codeBudget : Infinity;
 		for (const code of root.querySelectorAll('pre > code')) { yield;
 			if (code.parentElement?.classList.contains('diagram-source') &&
 					code.closest('.diagram-block')?.getAttribute('data-diagram-state') === 'ready') continue;
 			const lang = _rapierLanguageClass(code) || 'text';
-			_rapierPaintCode(code, _rapierArtifactHighlight(code.textContent || '', lang));
+			if ((codeLeft -= code.textContent.length) < 0) { code.replaceChildren(document.createTextNode(code.textContent)); continue; }
+			const colored = _rapierArtifactHighlight(code.textContent || '', lang);
+			_rapierPaintCode(code, opts.sanitized ? sanitizeRapierHtml(colored, 'export') : colored);
 		}
 
 		for (const table of root.querySelectorAll('table')) { yield;
@@ -336,6 +342,13 @@ function* _rapierProjectStyledRootSteps(semanticRoot, options) {
 
 	yield* _rapierPrefixPortableAnchorsSteps(root, opts.baseName || metadata.filename || 'document');
 
+	if (opts.sanitized) {
+		for (const cache of root.querySelectorAll('.diagram-cache')) {
+			yield;
+			cache.innerHTML = sanitizeRapierHtml(cache.innerHTML, 'export');
+		}
+		return root;
+	}
 	return yield* cleanTree(root, sanitizeRapierHtml, 'export');
 }
 

package/dist/spec/md-assets.mjs

@@ -100,7 +100,7 @@ export function* blockWindows(source, bodyOffset, parser, env, keepNul = false)
     return end < body.length ? sourceOffset(end + 1) : undefined;
   }});
   let lines = 0;
-  for (let at = 0; at < body.length; at++) if (body.charCodeAt(at) === 10) lines++;
+  for (let at = body.indexOf('\n'); at !== -1; at = body.indexOf('\n', at + 1)) lines++;
   if (lines <= BLOCK_WINDOW) {
     state = new parser.block.State(body, parser, env, tokens);
     state.rapierSourceSlice = (from, to) => source.slice(sourceOffset(from), sourceOffset(to));
@@ -179,8 +179,7 @@ export function* blockWindows(source, bodyOffset, parser, env, keepNul = false)
   }
 }
 
-const PERCENT_PAYLOAD = Array.from({length: 128}, (_, code) => code >= 48 && code <= 57 || code >= 65 && code <= 90 ||
-  code >= 97 && code <= 122 || '-._~:/?@+$,;='.includes(String.fromCharCode(code)));
+const INVALID_PERCENT_PAYLOAD = /[^A-Za-z0-9._~:\/?@+$,;=%-]/;
 const isHexUnit = code => code >= 48 && code <= 57 || code >= 65 && code <= 70 || code >= 97 && code <= 102;
 let lastScan = null;
 export function dataImage(url) {
@@ -197,13 +196,11 @@ function scanDataImage(url) {
     ...(prepared.encoding ? {encoding: prepared.encoding} : {})};
   if (/^data:image\/svg\+xml,/i.test(url)) {
     const payloadStart = 19;
-    let byteLength = 0;
-    for (let at = payloadStart; at < url.length; at++, byteLength++) {
-      const code = url.charCodeAt(at);
-      if (code === 37) {
-        if (!isHexUnit(url.charCodeAt(at + 1)) || !isHexUnit(url.charCodeAt(at + 2))) return null;
-        at += 2;
-      } else if (!(code < 128 && PERCENT_PAYLOAD[code])) return null;
+    if (INVALID_PERCENT_PAYLOAD.test(url)) return null;
+    let byteLength = url.length - payloadStart;
+    for (let at = url.indexOf('%', payloadStart); at !== -1; at = url.indexOf('%', at + 3)) {
+      if (!isHexUnit(url.charCodeAt(at + 1)) || !isHexUnit(url.charCodeAt(at + 2))) return null;
+      byteLength -= 2;
     }
     return byteLength && byteLength <= IMAGE_LIMITS.bytes
       ? {codec: 'image/svg+xml', byteLength, payloadStart, encoding: 'percent'} : null;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rapier-markdown-kit",
-  "version": "1.2.40",
+  "version": "1.2.43",
   "description": "Read, render and write Self-contained Markdown: one .md file that carries its pictures, drawings and layout, and that any Markdown app can read. HTML renderer, stylesheet, text layout, Will/1 agent permissions, and an edit history with authorship and offline merge. MIT, no dependencies.",
   "keywords": [
     "markdown",

package/style.css

@@ -391,6 +391,14 @@
 	-webkit-mask: var(--md-glyph-task-box) center / 100% 100% no-repeat;
 	mask: var(--md-glyph-task-box) center / 100% 100% no-repeat;
 }
+/* The box is a background through a mask, and two modes drop backgrounds: forced colors (Windows High Contrast) paints them as the page,
+   and print without "background graphics" leaves them out, so the boxes vanished. In those two the same mask is painted in the system's
+   text color and printed as drawn; nowhere else does anything change. */
+.md-render .task-list-item input[type="checkbox"] { -webkit-print-color-adjust: exact; print-color-adjust: exact; }
+@media (forced-colors: active) {
+	.md-render .task-list-item input[type="checkbox"] { forced-color-adjust: none; }
+	.md-render .task-list-item input[type="checkbox"]::before,.md-render .task-list-item input[type="checkbox"]:checked::after { background: CanvasText; }
+}
 .md-render .task-list-item input[type="checkbox"]:checked::before {
 	-webkit-mask-image: var(--md-glyph-task-open);
 	mask-image: var(--md-glyph-task-open);