bunnyquery 1.8.15 → 1.8.17

package/src/engine/scroll_anchor.ts

@@ -5,32 +5,54 @@
  * prepends, a poll resolves, an indexing row splices in or changes label, a link
  * chip goes grey, an image preview finishes decoding, the "Fetching history..."
  * bar appears and disappears. Every one of those changes the height of something
- * that may sit ABOVE the viewport, and the browser answers by keeping scrollTop —
- * which slides the sentence the user was reading out from under them.
+ * that may sit ABOVE the viewport, and the browser answers by keeping scrollTop,
+ * which slides the sentence the reader was on out from under them.
  *
- * Both clients had their own copy of a row anchor for the ONE case each could
- * bracket (agent.vue watched its row-key list, the widget bracketed its full
- * re-render). Everything else — anything that changed a height without changing
- * the row SET, and everything asynchronous — was uncovered in both. This is the
- * single implementation, and it covers both shapes:
+ * THE ONE RULE: nothing here stores a position to be applied later. Every method
+ * acts at the moment it is called, against the box as it is at that moment, and
+ * is finished when it returns.
+ *
+ * That rule is the whole design, and it was learned the hard way. An earlier
+ * version of this module also had a "park the place they left, put them back when
+ * they return" half — parked/parkedStuck/returning/returnBudget/sawFrozen, a
+ * frozen mode, a retry budget. Every one of those was a stored instruction that
+ * some later event would carry out, and the reader's experience of a stored
+ * instruction is that the chat throws them somewhere for no reason they can see:
+ * they came back from another app, tapped the composer, the on-screen keyboard
+ * fired a resize, the resize triggered a fetch, the fetch settled, and the settle
+ * dutifully executed an instruction recorded before they ever left. Compensating
+ * at the moment of the change needs no such instruction, and a return then needs
+ * no handling at all, because nothing moved the reader in the first place.
+ *
+ * Two shapes, both immediate:
  *
  *   preserve(fn) / capture() + restore(a)
  *       A mutation you can bracket. Measures immediately before and immediately
  *       after, so it is exact even when the mutation tears the list down.
  *
  *   remember() + hold()
- *       A layout change you CANNOT bracket — an image decoding, a font arriving,
- *       a re-parse triggered from a promise. `remember()` runs from the view's
- *       scroll handler, so the anchor is always the reader's own last position;
- *       `hold()` puts that position back whenever something settles.
+ *       A layout change you CANNOT bracket: an image decoding, a font arriving, a
+ *       re-parse from a promise. remember() runs from the view's scroll handler,
+ *       so the anchor is always the reader's own last position.
+ *
+ * hold() is not an exception to the rule, and the staleness check is why. A height
+ * change above the viewport does NOT change scrollTop; the browser preserves it,
+ * which is precisely why the content appears to jump. So the remembered anchor is
+ * valid exactly while `box.scrollTop` still equals the value it was captured at,
+ * i.e. while nothing at all has moved the box. The instant that stops being true
+ * it is re-measured, never replayed. hold() can therefore only ever undo a height
+ * change that just happened, and can never carry out an old intention.
+ *
+ * Two more consequences worth stating, because both were once done the other way:
  *
- * The staleness rule is what makes the unbracketed half safe. A layout change
- * above the viewport does NOT change scrollTop — the browser preserves it, which
- * is precisely why the content appears to jump. So a remembered anchor is still
- * valid exactly while `box.scrollTop` equals the value it was captured at. If it
- * differs, something moved the box on purpose (the user scrolled, a clamp fired,
- * or the browser's own scroll anchoring already compensated), and `hold()`
- * re-captures rather than dragging the reader back to a position they left.
+ *   NO FREEZE. Compensation runs whether or not the tab is visible. Layout and
+ *   getBoundingClientRect are live in a hidden tab; only painting and rAF stop.
+ *   Suspending compensation while hidden is what created the need to restore
+ *   something afterwards.
+ *
+ *   A CLAMP IS ACCEPTED. If the content below the reader shrank, their line is
+ *   genuinely unreachable and the browser truncates the correction. Retrying that
+ *   later is how a correction turns into an ambush.
  *
  * DOM-free like the rest of the engine: the element shapes below are structural,
  * so real DOM nodes satisfy them while this file imports nothing from lib.dom.
@@ -105,21 +127,6 @@ export interface ScrollAnchorOptions {
 	 * scrollToBottom* paths own the position, so every method here no-ops.
 	 */
 	isStuck: () => boolean;
-	/**
-	 * The reader cannot see this box right now (the tab is hidden), so FREEZE:
-	 * remember where they were and refuse to move them.
-	 *
-	 * A hidden tab still runs everything that mutates the list — a resumed poll, a
-	 * head refresh and its deferred background batch, a settling request — and each
-	 * of those would otherwise write scrollTop against a layout nobody is looking at
-	 * and re-stamp the remembered position on the way through. The reader then comes
-	 * back to wherever the last of those writes happened to land, which is the
-	 * "somehow placed in the middle" they see, and only the NEXT correction puts
-	 * them right. So while frozen, reads still happen but nothing writes and nothing
-	 * re-stamps: the anchor holds the last position the reader actually had, and one
-	 * hold() on return puts them back on it.
-	 */
-	isFrozen?: () => boolean;
 	/**
 	 * Fall back to the raw scrollTop when the anchored row cannot be found again.
 	 *
@@ -143,22 +150,8 @@ export interface ScrollAnchor {
 	remember: () => void;
 	/** Put the remembered place back, if it is still the reader's own. */
 	hold: () => void;
-	/** The reader is going away: park the exact place they are leaving. */
-	park: () => void;
-	/**
-	 * They are back. Puts them on the parked place, and STAYS ARMED until it has
-	 * actually landed. Returns true when the host must pin to the bottom instead
-	 * (the reader left pinned), which only the host can do meaningfully.
-	 */
-	settleReturn: () => boolean;
-	/** A return is armed: its position, not the host's, decides scrollTop. */
-	isReturning: () => boolean;
 	/** Pin to the bottom, instantly, recording the write. The ONLY way to pin. */
 	pinBottom: () => void;
-	/** The box is not being painted (hidden tab). Shared so hosts agree. */
-	isFrozen: () => boolean;
-	/** Deprecated alias of settleReturn, kept so a stale dist does not break. */
-	thaw: () => void;
 	/** Absorb one element's own resize. See below. */
 	absorb: (el: AnchorGrowableEl | null | undefined) => void;
 	/** Drop the remembered place (chat switch, unmount). */
@@ -205,6 +198,8 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 		var kids = box.children;
 		var fallback: RowAnchor | null = null;
 		var fallbackAt = -1;
+		// The last few rows passed on the way down, kept as standbys of last resort.
+		var behind: Array<{ key: string; top: number; pos: string | null; el: AnchorRowEl }> = [];
 		for (var i = 0; i < kids.length; i++) {
 			var el = kids[i];
 			if (!el || typeof el.getAttribute !== 'function') continue;
@@ -213,7 +208,18 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 			var top = el.getBoundingClientRect().top - boxTop;
 			// Rows still (partly) on screen. `top` is negative when a row starts
 			// above the fold, which is exactly the offset to preserve.
-			if (top + el.offsetHeight <= 0) continue;
+			if (top + el.offsetHeight <= 0) {
+				// Entirely above: not the reader's place, but a free standby. The rect
+				// is already in hand, and a row ABOVE the anchor survives the batches
+				// that rewrite the ones below it. Anything beats lost()'s guess.
+				var bpos = el.getAttribute(ROW_POS_ATTR);
+				behind.push({
+					key: key, top: top,
+					pos: bpos === null ? null : (bpos || UNKNOWN_ROW_POS), el: el,
+				});
+				if (behind.length > MAX_ALTS) behind.shift();
+				continue;
+			}
 			// And STOP at the bottom of the viewport. Without this the preference
 			// for an ordinary row walks straight past a screenful of collapsed
 			// indexing rows and anchors on a message two screens down — which is
@@ -234,20 +240,29 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 				scrollTop: box.scrollTop, scrollHeight: box.scrollHeight, el: el,
 			};
 			if (rawPos === null) {
-				// An ordinary row: use it, and take a couple of standbys from the rows
-				// after it in the same walk.
-				cand.alts = collectAlts(box, boxTop, i + 1);
+				// An ordinary row: use it, and take standbys from the rows after it in
+				// the same walk, then the ones already passed. Forward first — they are
+				// nearer the reader — but a batch that rewrites everything below the
+				// fold leaves the rows above it alone, so backward is the better last
+				// measurement.
+				cand.alts = withBehind(collectAlts(box, boxTop, i + 1), behind);
 				return cand;
 			}
 			if (!fallback) { fallback = cand; fallbackAt = i; }  // group row: last resort
 		}
 		// The weak anchor needs standbys MORE than the strong one does, not less: a
 		// screenful of collapsed indexing rows is exactly what a background sweep
-		// re-keys and re-anchors, and without them state (c) fell straight into
-		// lost()'s whole-list guess. Ordinary rows only — more group rows from the
-		// same block are the very rows the same batch rewrites.
+		// re-keys and re-anchors, and without them it fell straight into lost()'s
+		// whole-list guess. Ordinary rows are PREFERRED, because they are the ones a
+		// background batch does not rewrite — but no standby at all means the guess,
+		// and a neighbouring group row is a real measurement that restore() will
+		// reject anyway if it relocated. So group rows are the last thing before the
+		// guess, not something to hold out against.
 		if (fallback) {
-			fallback.alts = collectAlts(box, boxTop, fallbackAt + 1, true);
+			fallback.alts = withBehind(
+				collectAlts(box, boxTop, fallbackAt + 1, true) || collectAlts(box, boxTop, fallbackAt + 1),
+				behind,
+			);
 			return fallback;
 		}
 		return {
@@ -280,6 +295,15 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 		return out.length ? out : undefined;
 	}
 
+	/** Forward standbys first, then the rows already passed, newest-first. */
+	function withBehind(
+		forward: Array<{ key: string; top: number; pos: string | null; el: AnchorRowEl }> | undefined,
+		behind: Array<{ key: string; top: number; pos: string | null; el: AnchorRowEl }>,
+	) {
+		var out = (forward || []).concat(behind.slice().reverse());
+		return out.length ? out : undefined;
+	}
+
 	function findRow(box: AnchorBoxEl, anchor: RowAnchor): AnchorRowEl | null {
 		// The same node, still in the box: one rect read instead of a scan. Vue
 		// patches keyed rows in place, so this is the common path there, and it is
@@ -296,103 +320,69 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 		return null;
 	}
 
-	// A frozen stretch happened and has not been settled yet. hold() has to know,
-	// because its own safety rule cannot survive one: on the first call after the
-	// tab comes forward it must put the reader back rather than conclude they moved
-	// (and, worse, re-measure — which is what DESTROYS the only record of where they
-	// were, and why this cannot be left to whoever calls thaw() first).
-	var sawFrozen = false;
-	// Where the reader was when they went away. Held apart from `held` because the
-	// ordinary compensation keeps re-stamping that one while they are gone.
-	var parked: RowAnchor | null = null;
-	// They left pinned to the bottom. capture() records nothing for such a reader
-	// (there is no row to hold, the bottom IS the place), so this is the only note
-	// of it — and without it a stickiness lost during the absence had no fallback.
-	var parkedStuck = false;
-	// A return is armed: it has not landed yet. It survives across BOTH halves of a
-	// head refresh, which is what puts a pinned reader on the bottom that exists
-	// after the deferred batch merges rather than the surface page's bottom.
-	var returning = false;
-	// The last scrollTop THIS module wrote. A scroll event reporting anything else
-	// is the reader, and the reader always wins — that is the whole retirement rule
-	// for an armed return, and it is why every write below records it.
-	var wroteTop = -1;
-	// Did the last restore's write actually land, and was it a real row pin rather
-	// than lost()'s guess. A shrink below the reader silently truncates a
-	// correction, and a return that believes a clamped write succeeded is a reader
-	// left a few hundred pixels off their line, permanently.
-	var restoreExact = true;
-	var restorePinned = false;
-	function frozen(): boolean {
-		var f = !!options.isFrozen && options.isFrozen();
-		if (f) sawFrozen = true;
-		return f;
-	}
-
-	function restore(anchor: RowAnchor | null, unbounded?: boolean): void {
-		// Frozen: leave `held` exactly as it is. It is the reader's last real
-		// position, and it is what hold() puts back when the tab comes forward.
-		if (frozen()) return;
+	function restore(anchor: RowAnchor | null): void {
 		var box = options.getBox();
 		if (!box || !anchor || options.isStuck()) return;
 		var el = findRow(box, anchor);
 		if (el) {
-			// A row that MOVED (an older page re-anchored a collapsed run to its
-			// true first pass) must not be pinned: doing so would drag the reader
-			// along with it, to wherever the run now starts.
-			// Only compare when BOTH sides actually name a turn. A stub that has since
-			// learned its anchorId (or lost it) has not moved; it has just started (or
-			// stopped) being able to answer.
-			var livePos = el.getAttribute(ROW_POS_ATTR) || UNKNOWN_ROW_POS;
+			// A row that MOVED (an older page re-anchored a collapsed run to its true
+			// first pass) must not be pinned: doing so would drag the reader along
+			// with it, to wherever the run now starts. Only compare when BOTH sides
+			// actually name a turn — a stub that has since learned its anchorId (or
+			// lost it) has not moved, it has just started being able to answer.
+			//
 			// A relocation disqualifies the ROW, not the whole capture: fall through
-			// to the standbys, which is a real measurement, rather than to lost()'s
+			// to the standbys, which are a real measurement, rather than to lost()'s
 			// whole-list guess.
+			var livePos = el.getAttribute(ROW_POS_ATTR) || UNKNOWN_ROW_POS;
 			if (anchor.pos !== null && anchor.pos !== UNKNOWN_ROW_POS &&
 				livePos !== UNKNOWN_ROW_POS && livePos !== anchor.pos) el = null;
 		}
 		if (el) {
 			var boxTop = box.getBoundingClientRect().top;
 			var delta = (el.getBoundingClientRect().top - boxTop) - anchor.top;
-			// A row can also be MOVED rather than resized: a background refetch
-			// that merges a run's passes into the middle of page 1 relocates the
-			// bubble this anchor is holding, and following it would carry the
-			// reader across the conversation. A real prepend or in-place growth
-			// can only ever need a correction on the order of what the list gained,
-			// so a delta a whole screen beyond that is a relocation, not a resize.
-			// `unbounded` is the thaw: across a hidden stretch the box may have been
-			// scrolled anywhere at all (a settling request, a clamp), so a correction
-			// the size of the whole list is not evidence that the ROW moved — it is
-			// just how far the reader has to be carried back.
+			// A row can also be MOVED rather than resized: a background refetch that
+			// merges a run's passes into the middle of page 1 relocates the bubble
+			// this anchor is holding, and following it would carry the reader across
+			// the conversation. A real prepend or in-place growth can only ever need a
+			// correction on the order of what the list gained, so a delta a whole
+			// screen beyond that is a relocation, not a resize.
 			var slack = Math.abs(box.scrollHeight - anchor.scrollHeight) + box.clientHeight;
-			if (!unbounded && (delta > slack || delta < -slack)) { lost(box, anchor); return; }
-			// Sub-pixel noise is not a jump, and writing scrollTop for it costs a
-			// scroll event (and a re-layout) on every settle.
-			var want = box.scrollTop + delta;
-			if (delta >= 1 || delta <= -1) box.scrollTop += delta;
-			wroteTop = box.scrollTop;
-			restorePinned = true;
-			restoreExact = box.scrollTop >= want - 1 && box.scrollTop <= want + 1;
-			// This position is now the reader's place, and hold() has to know it:
-			// a bracketed restore MOVES scrollTop, which is exactly what hold()
-			// reads as "someone scrolled, my anchor is stale". Without this, every
-			// image that decodes after a re-render (which is all of them: the list
-			// is rebuilt with src-less, zero-height previews and hydrated
-			// afterwards) would find a stale anchor and go uncompensated.
-			held = {
-				key: anchor.key, top: anchor.top, pos: anchor.pos,
-				scrollTop: box.scrollTop, scrollHeight: box.scrollHeight, el: el,
-				// Carried, not dropped: one successful restore used to disarm the
-				// standbys for every later hold.
-				alts: anchor.alts,
-			};
-			return;
+			// Test the relocation in CONTENT coordinates. `delta` is measured in the
+			// VIEWPORT, so it also contains however far the box itself moved since the
+			// capture — and the widget's teardown clamps scrollTop to 0, which makes
+			// delta enormous for a row that never went anywhere. Judging that as a
+			// relocation dropped a perfectly good anchor into lost()'s whole-list
+			// guess. Subtracting the box's own movement leaves what the ROW did.
+			var moved = delta - (anchor.scrollTop - box.scrollTop);
+			if (moved > slack || moved < -slack) {
+				// The row really did relocate. That disqualifies the ROW, not the
+				// capture: fall through to the standbys, which are a real measurement.
+				el = null;
+			} else {
+				// Sub-pixel noise is not a jump, and writing scrollTop for it costs a
+				// scroll event (and a re-layout) on every settle.
+				if (delta >= 1 || delta <= -1) box.scrollTop += delta;
+				held = {
+					key: anchor.key, top: anchor.top, pos: anchor.pos,
+					scrollTop: box.scrollTop, scrollHeight: box.scrollHeight, el: el,
+					// Carried, not dropped: one successful restore used to disarm the
+					// standbys for every later hold.
+					alts: anchor.alts,
+				};
+				return;
+			}
 		}
-		// The anchor row is gone: its group collapsed, or the history was replaced.
+		// The anchor row is gone or it relocated: its group collapsed, the history was
+		// replaced, a background sweep re-keyed it.
 		// A standby row that IS still there beats lost()'s guess outright.
 		var alts = anchor.alts;
 		for (var ai = 0; alts && ai < alts.length; ai++) {
 			var alt = alts[ai];
-			var ael = findRow(box, { key: alt.key, top: alt.top, pos: alt.pos, scrollTop: anchor.scrollTop, scrollHeight: anchor.scrollHeight, el: alt.el });
+			var ael = findRow(box, {
+				key: alt.key, top: alt.top, pos: alt.pos,
+				scrollTop: anchor.scrollTop, scrollHeight: anchor.scrollHeight, el: alt.el,
+			});
 			if (!ael) continue;
 			if (alt.pos !== null && alt.pos !== UNKNOWN_ROW_POS) {
 				var altLive = ael.getAttribute(ROW_POS_ATTR) || UNKNOWN_ROW_POS;
@@ -401,12 +391,9 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 			var aboxTop = box.getBoundingClientRect().top;
 			var adelta = (ael.getBoundingClientRect().top - aboxTop) - alt.top;
 			var aslack = Math.abs(box.scrollHeight - anchor.scrollHeight) + box.clientHeight;
-			if (!unbounded && (adelta > aslack || adelta < -aslack)) continue;
-			var awant = box.scrollTop + adelta;
+			var amoved = adelta - (anchor.scrollTop - box.scrollTop);
+			if (amoved > aslack || amoved < -aslack) continue;
 			if (adelta >= 1 || adelta <= -1) box.scrollTop += adelta;
-			wroteTop = box.scrollTop;
-			restorePinned = true;
-			restoreExact = box.scrollTop >= awant - 1 && box.scrollTop <= awant + 1;
 			held = {
 				key: alt.key, top: alt.top, pos: alt.pos,
 				scrollTop: box.scrollTop, scrollHeight: box.scrollHeight, el: ael,
@@ -418,13 +405,12 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 	}
 
 	/**
-	 * The anchored row cannot be held: it is gone, or it relocated.
+	 * Neither the anchored row nor any standby survived: it is gone, or it moved.
 	 *
 	 * What is still known is how much the list GREW, and in the case this branch
 	 * exists for — the pager, whose page can carry the very pass that re-anchors a
 	 * collapsed row — all of that growth is above the reader. So pay it. Missing it
-	 * costs the reader a whole page of history in one jump, which is the single
-	 * most visible version of this bug.
+	 * costs a whole page of history in one jump.
 	 *
 	 * With nothing gained there is nothing to pay, and then the two views differ:
 	 * one REBUILDS the list (its teardown clamped scrollTop to 0, so the raw offset
@@ -434,8 +420,8 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 	function lost(box: AnchorBoxEl, anchor: RowAnchor): void {
 		held = null;
 		var grew = box.scrollHeight - anchor.scrollHeight;
-		if (grew > 0) { box.scrollTop = anchor.scrollTop + grew; wroteTop = box.scrollTop; return; }
-		if (options.rawFallback) { box.scrollTop = anchor.scrollTop; wroteTop = box.scrollTop; }
+		if (grew > 0) { box.scrollTop = anchor.scrollTop + grew; return; }
+		if (options.rawFallback) box.scrollTop = anchor.scrollTop;
 	}
 
 	function preserve<T>(mutate: () => T): T {
@@ -445,34 +431,25 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 		return result;
 	}
 
+	/** Record the reader's place. Call from the box's scroll handler. */
 	function remember(): void {
-		// THE retirement rule for an armed return, and the only one. This runs from
-		// the host's scroll handler, which sees every scroll event; a position this
-		// module did not write is the reader, and the reader always wins. Checked
-		// before the frozen bail because it is the one thing allowed to end a return.
-		var b0 = options.getBox();
-		if (returning && b0 && b0.scrollTop !== wroteTop) {
-			parked = null; parkedStuck = false; returning = false;
-		}
-		// A scroll event while the tab is hidden is not the reader moving.
-		if (frozen()) return;
 		held = capture();
 	}
 
+	/**
+	 * Put the remembered place back, if it is still the reader's own.
+	 *
+	 * The staleness check is what keeps this immediate rather than a stored
+	 * intention: a height change above the viewport does NOT move scrollTop, so the
+	 * anchor is valid exactly while scrollTop is still the value it was captured
+	 * at. Anything else — the reader scrolled, a clamp fired, a pin ran — means the
+	 * box moved for a reason of its own, and the answer is to re-measure, never to
+	 * replay.
+	 */
 	function hold(): void {
-		if (frozen()) return;
-		// Coming out of an absence: nothing that moved this box while nobody was
-		// looking was the reader, so the parked place simply wins. `returning` keeps
-		// this true across BOTH halves of a head refresh, so a correction the first
-		// half's shrink clamped away is retried once the second half re-grows the list.
-		if (sawFrozen || returning) { settleReturn(); return; }
 		var box = options.getBox();
 		if (!box || options.isStuck()) { held = null; return; }
 		if (!held) { held = capture(); return; }
-		// Something moved the box on purpose since the anchor was taken — the user
-		// scrolled, a shrink clamped it, or the browser's own scroll anchoring
-		// already compensated. Restoring here would undo a move the reader made or
-		// double-count one already made for us, so re-measure instead.
 		if (box.scrollTop !== held.scrollTop) { held = capture(); return; }
 		// restore() re-stamps `held` with the position it just pinned, so repeated
 		// holds (one image after another finishing) each start from a valid anchor.
@@ -483,23 +460,23 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 	 * Absorb a resize made by ONE element, wherever it sits.
 	 *
 	 * The row anchor cannot see this case. A reader partway through an assistant
-	 * reply that is taller than the viewport is anchored ON that row, and a
-	 * picture decoding higher up INSIDE it moves every line they are reading
-	 * without moving the row's own top by a pixel. Rows above the fold have the
-	 * same problem in reverse: hold() would fix them, but it cannot be allowed to
-	 * run for an image as well or the two would each pay the same debt.
+	 * reply taller than the viewport is anchored ON that row, and a picture decoding
+	 * higher up INSIDE it moves every line they are reading without moving the row's
+	 * own top by a pixel. Rows above the fold have the same problem in reverse:
+	 * hold() would fix them, but it cannot be allowed to run for an image as well or
+	 * the two would each pay the same debt.
 	 *
-	 * So images go through here instead, and it is the more precise of the two:
-	 * it compensates by the element's own height delta, and only while the
-	 * element's TOP is above the fold — which is exactly the condition for
-	 * "everything the reader can see just moved by this much". An element that
-	 * starts at or below the fold is left alone: it grew on screen, under a line
-	 * the reader is looking at, and moving them is what would be the jump.
+	 * So images go through here, and it is the more precise of the two: it
+	 * compensates by the element's own height delta, and only while the element's
+	 * TOP is above the fold, which is exactly the condition for "everything the
+	 * reader can see just moved by this much". An element starting at or below the
+	 * fold is left alone: it grew on screen, under a line the reader is looking at,
+	 * and moving them is what would be the jump.
 	 *
-	 * The height it last saw is remembered per element, so the caller does not
-	 * have to bracket anything. An element it has never seen counts as zero,
-	 * which is what an <img> measures before it has anything to paint — including
-	 * the markdown `![alt](url)` images that have no hydration hook at all.
+	 * The height it last saw is remembered per element, so the caller does not have
+	 * to bracket anything. An element it has never seen counts as zero, which is
+	 * what an <img> measures before it has anything to paint — including the
+	 * markdown images that have no hydration hook at all.
 	 */
 	function absorb(el: AnchorGrowableEl | null | undefined): void {
 		if (!el) return;
@@ -507,163 +484,44 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 		if (!box) return;
 		var h = el.offsetHeight;
 		var prev = seen ? seen.get(el) : undefined;
-		// The baseline is recorded even while frozen (and even while pinned to the
-		// bottom): what must not happen is the WRITE. An image that decodes in a
-		// hidden tab has still resized, and forgetting that would make the next
-		// visible change pay for its whole height.
+		// The baseline is recorded even while pinned to the bottom (where no write is
+		// wanted): forgetting it would make the next change pay for this height too.
 		if (seen) seen.set(el, h);
 		if (options.isStuck()) return;
 		if (prev === undefined) prev = 0;
 		var delta = h - prev;
 		if (delta === 0) return;
-		if (frozen()) { foldFrozenGrowth(box, el, delta); return; }
 		// The element's own TOP, which a resize never moves: everything BELOW it
-		// slides by delta, everything above stays. So the reader's first visible
-		// line moved exactly when that top is above the fold — whether the element
-		// grew, collapsed, or straddles the fold now that it has grown. When the
-		// top is at or below the fold the growth happens on screen, at or under a
-		// line the reader is looking at, and moving them would be the jump.
+		// slides by delta, everything above stays. So the reader's first visible line
+		// moved exactly when that top is above the fold.
 		if (el.getBoundingClientRect().top >= box.getBoundingClientRect().top) return;
 		box.scrollTop += delta;
-		wroteTop = box.scrollTop;
-		// Re-measure the remembered anchor, do not patch it. Its scrollTop is
-		// stale after that write (hold() would read the difference as "the reader
-		// scrolled" and throw the anchor away), and so is its offset whenever the
-		// element that just resized lives INSIDE the anchored row: there the row's
-		// own top never moved, so scrolling by delta changed the row's offset by
-		// -delta and the next hold() would faithfully undo this correction.
+		// Re-measure the remembered anchor, do not patch it. Its scrollTop is stale
+		// after that write, and so is its offset whenever the element that resized
+		// lives INSIDE the anchored row: there the row's own top never moved, so
+		// scrolling by delta changed the row's offset by -delta and the next hold()
+		// would faithfully undo this correction.
 		if (held) held = capture();
 	}
 
 	/**
-	 * The tab has come forward. Put the reader back on the line they left, whatever
-	 * scrollTop says now.
-	 *
-	 * hold() cannot do this job. Its safety rule is "the anchor is valid only while
-	 * box.scrollTop still equals the value it was captured at", which is what stops
-	 * it dragging a reader back after they scroll themselves — and across a hidden
-	 * stretch that rule points the wrong way. Plenty of things write scrollTop while
-	 * the tab is hidden without going through this module at all (a settling request
-	 * scrolling to the bottom, the browser clamping after a refresh shortened the
-	 * list), so on return the value has moved and hold() concludes the reader moved
-	 * it and gives up — leaving them wherever the last invisible write landed. That
-	 * IS the "somehow placed in the middle".
-	 *
-	 * Nothing that happened while nobody was looking was the reader, so here the
-	 * remembered place simply wins.
-	 */
-	/**
-	 * The reader is going away. Park the place they are leaving, in a slot that the
-	 * ordinary compensation cannot overwrite.
-	 *
-	 * Not the same thing as freezing. A tab that goes HIDDEN stops being painted, so
-	 * there is nothing to compensate and writing scrollTop is pointless. But a window
-	 * that merely loses focus — the user switched to another application — is usually
-	 * still `document.visibilityState === 'visible'`: nothing fires visibilitychange,
-	 * the page keeps rendering, and the chat keeps mutating underneath a reader who
-	 * is not there. Compensation must keep running for that case (they may still be
-	 * able to SEE the window, on a second monitor or beside the other app), which is
-	 * exactly why `held` cannot be trusted on return: every background correction
-	 * re-stamps it. So the leaving place is parked separately.
-	 */
-	function park(): void {
-		parked = capture();
-		parkedStuck = !!options.isStuck();
-		returning = true;
-	}
-
-	/**
-	 * Pin to the bottom, instantly, recording the write.
+	 * Pin to the bottom, instantly.
 	 *
-	 * The ONE way anything is allowed to pin. Instant because a smooth glide fires a
-	 * scroll event per frame at positions that are not the bottom, and the hosts
-	 * clear stickToBottom on each of them — so any merge landing inside the ~130ms
+	 * The ONE way anything is allowed to pin, and it reads the bottom at the moment
+	 * it is called rather than aiming at a remembered one. Instant because a smooth
+	 * glide fires a scroll event per frame at positions that are not the bottom, and
+	 * the hosts clear stickToBottom on each of them, so any merge landing inside the
 	 * animation strands the reader off the bottom permanently, aiming at a target
-	 * that was already stale when the glide started. Recorded because an unrecorded
-	 * write looks like the reader and would retire an armed return early.
+	 * that was already stale when the glide started.
 	 */
 	function pinBottom(): void {
 		var box = options.getBox();
 		if (!box) return;
 		box.scrollTop = box.scrollHeight;
-		wroteTop = box.scrollTop;
-	}
-
-	/**
-	 * The reader is back. Put them on the parked place, whatever scrollTop says now.
-	 *
-	 * hold() cannot do this job. Its safety rule is "the anchor is valid only while
-	 * box.scrollTop still equals the value it was captured at", which is what stops
-	 * it dragging a reader back after they scroll themselves — and across an absence
-	 * that rule points the wrong way. Plenty of things write scrollTop while nobody
-	 * is looking (a settling request scrolling to the bottom, the browser clamping
-	 * after a refresh shortened the list), so on return the value has moved and
-	 * hold() concludes the reader moved it and gives up — leaving them wherever the
-	 * last unwatched write landed. That IS the "somehow placed in the middle".
-	 *
-	 * Nothing that happened while they were away was them, so the parked place wins.
-	 */
-	function settleReturn(): boolean {
-		if (frozen()) return false;
-		sawFrozen = false;
-		// A reader who left pinned has no row to hold; the bottom is the place. Stay
-		// armed so the NEXT settle re-pins after the deferred batch merges, which is
-		// the bottom they actually mean.
-		if (parkedStuck) { pinBottom(); return true; }
-		var target = parked || held;
-		restoreExact = true; restorePinned = false;
-		restore(target, true);
-		// Keep the parked place when the correction could not land. A phase-1 shrink
-		// leaves the list at its shortest, so the browser truncates the write and the
-		// reader ends up short — and phase 2 re-grows the list, making that same
-		// place reachable again. Believing the clamped write was a success is what
-		// made the error permanent.
-		parked = (!restorePinned || !restoreExact) ? target : null;
-		returning = !!parked;
-		return false;
-	}
-
-	function isReturning(): boolean { return returning; }
-
-	/** Deprecated alias. */
-	function thaw(): void { settleReturn(); }
-
-	/**
-	 * An element resized while nobody was looking. Fold it into the remembered
-	 * places instead of dropping it.
-	 *
-	 * The live box cannot be measured against here: while frozen every compensator
-	 * no-ops, so a prepend or a clamp may have moved the box out from under the
-	 * offsets these anchors were taken at. Judge it in the ANCHOR's own frame
-	 * instead — is this element inside the anchored row, and above the reader's
-	 * line — and adjust the anchor rather than the scroll.
-	 *
-	 * `held` and `parked` can be different rows, so each is folded separately. The
-	 * standbys are deliberately not touched: a row below the growth is re-measured
-	 * by restore() anyway.
-	 */
-	function foldFrozenGrowth(box: AnchorBoxEl, el: AnchorGrowableEl, delta: number): void {
-		var elTop = el.getBoundingClientRect().top;
-		foldInto(box, held, elTop, delta);
-		foldInto(box, parked, elTop, delta);
-	}
-
-	function foldInto(box: AnchorBoxEl, a: RowAnchor | null, elTop: number, delta: number): void {
-		if (!a || a.top >= 0) return;            // the row starts at or below the fold
-		var rowEl = findRow(box, a);
-		if (!rowEl) return;
-		var within = elTop - rowEl.getBoundingClientRect().top;
-		if (within < 0 || within >= rowEl.offsetHeight) return;   // outside, or stale
-		if (within >= -a.top) return;            // at or below the reader's own line
-		a.top -= delta;
-		a.scrollHeight += delta;
 	}
 
 	function forget(): void {
 		held = null;
-		parked = null;
-		parkedStuck = false;
-		returning = false;
 	}
 
 	return {
@@ -672,12 +530,7 @@ export function createScrollAnchor(options: ScrollAnchorOptions): ScrollAnchor {
 		preserve: preserve,
 		remember: remember,
 		hold: hold,
-		park: park,
-		settleReturn: settleReturn,
-		isReturning: isReturning,
 		pinBottom: pinBottom,
-		isFrozen: frozen,
-		thaw: thaw,
 		absorb: absorb,
 		forget: forget,
 	};