view-anchor 0.2.0 → 0.2.1

package/docs/{mechanism.mdx → mechanism.md}

@@ -1,19 +1,10 @@
----
-title: view-anchor
-description: 将主进程原生视图（如 Electron WebContentsView）与 DOM 元素的几何位置保持同步。
----
-
 # view-anchor
 
 让宿主外部的视图（例如 Electron 的 `WebContentsView`）实时对齐某个 DOM 元素的屏幕位置。核心逻辑通过 `getBoundingClientRect()` 测量目标元素，把矩形数据交给注入的 `publish` 回调（通常由调用方转发 IPC 到 `setBounds`），并在元素移动或缩放时同步更新。
 
 核心不依赖 React、Electron 或特定的布局引擎；React 相关的逻辑均隔离在 `view-anchor/react` 适配层中。
 
-<iframe
-  src="./index.html"
-  title="view-anchor 交互演示"
-  style={{ width: '100%', height: '560px', border: '0', borderRadius: '12px' }}
-/>
+> 🎮 [3D 交互演示](https://lbb00.github.io/view-anchor/)：页面里跑的是真实核心代码。拖动分栏、切换面板显示，看原生视图实时跟随。源码见 [index.html](./index.html)。
 
 ## 运行机制
 

package/docs/performance-report.md

@@ -8,53 +8,53 @@
 
 | 场景 | 数据量 | 当前中位数 | 三进程中位数（ms） |
 | --- | ---: | ---: | --- |
-| 所有锚点进入下一 generation | 10,000 | 1.7407ms | 1.5772、1.7407、1.8334 |
-| 逐个 `clear(anchorId)` | 10,000 | 1.0757ms | 1.0757、1.0241、1.0794 |
-| 已有 100,000 个历史锚点后只 flush 1 条 | 1 | 0.0082ms | 0.0102、0.0068、0.0082 |
-| 发布 placement envelope | 1,000,000 次 | 7.2710ms | 7.4852、7.2113、7.2710 |
-| 同一 anchor 连续 publish + flush | 100,000 次 | 8.8899ms | 8.8899、8.8434、9.2207 |
-| 解码合法 batch | 100,000 条 | 3.0990ms | 3.0990、2.9431、3.2170 |
-| 解码末项非法 batch | 100,000 条 | 3.3382ms | 3.3195、3.6282、3.3382 |
-| sequence guard 接收并清理 | 100,000 条 | 12.8928ms | 12.9085、12.8928、12.8151 |
-| `measurePlacement` | 1,000,000 次 | 8.9269ms | 8.9269、8.5498、9.0800 |
+| 所有锚点进入下一 generation | 10,000 | 1.5440ms | 1.5440、1.5517、1.4217 |
+| 逐个 `clear(anchorId)` | 10,000 | 0.9214ms | 0.9230、0.8706、0.9214 |
+| 已有 100,000 个历史锚点后只 flush 1 条 | 1 | 0.0067ms | 0.0059、0.0073、0.0067 |
+| 发布 placement envelope | 1,000,000 次 | 6.6062ms | 6.3072、6.6649、6.6062 |
+| 同一 anchor 连续 publish + flush | 100,000 次 | 8.4688ms | 8.0620、8.9530、8.4688 |
+| 解码合法 batch | 100,000 条 | 2.7766ms | 2.6953、3.0069、2.7766 |
+| 解码末项非法 batch | 100,000 条 | 3.2230ms | 3.3725、3.2230、2.9416 |
+| sequence guard 接收并清理 | 100,000 条 | 11.5324ms | 11.5672、11.1703、11.5324 |
+| `measurePlacement` | 1,000,000 次 | 8.0442ms | 8.0442、7.9074、8.1189 |
 
 ## 内存
 
-每个状态在独立 Node.js 进程中执行，并在读数前显式 GC。表中为三个独立进程的中位数增量；heap 是 V8 保留堆，RSS 是进程常驻集合大小，二者不应混用。清理对象后，分配器也不一定立即把内存页归还给操作系统，所以 `afterClear` 的 RSS 不能当作仍有等量 JavaScript 对象存活。
+每个状态在独立 Node.js 进程中执行，并在读数前显式 GC。表中为三个独立进程的中位数增量；heap 是 V8 保留堆，RSS 是进程常驻集合大小，二者不应混用。清理对象后，分配器也不一定立即把内存页归还给操作系统，所以 `afterClear` 的 RSS 不能当作仍有等量 JavaScript 对象存活。`dispose()` 会取消观察并释放目标元素与回调引用；这一行为由独立的 WeakRef 回归测试覆盖，不用下表的 RSS 来判断。
 
 性能 harness 将 `queueMicrotask` 替换为 no-op，然后显式调用 `flush()`；这是刻意测量 batcher 的 pending/retained 状态，**不是**真实宿主 microtask 调度路径。
 
 | 状态（100,000 个 anchor） | heap 增量 | RSS 增量 |
 | --- | ---: | ---: |
-| batcher 待 flush | 26,320,176B | 45,858,816B |
-| batcher 成功 flush 后 | 13,303,872B | 43,696,128B |
-| batcher `clear()` 后 | 34,432B | 40,026,112B |
-| sequence guard 保留状态 | 14,088,840B | 27,099,136B |
-| sequence guard `clear()` 后 | 19,568B | 23,461,888B |
+| batcher 待 flush | 26,320,176B | 45,744,128B |
+| batcher 成功 flush 后 | 13,304,000B | 43,548,672B |
+| batcher `clear()` 后 | 34,560B | 39,895,040B |
+| sequence guard 保留状态 | 14,088,840B | 27,246,592B |
+| sequence guard `clear()` 后 | 19,568B | 23,576,576B |
 
 ## 实际导出代码体积
 
-使用 esbuild bundle、tree-shaking 和 minify，且将 `react` 作为 peer external。测量的是实际执行 JavaScript，不是 npm tarball、source map 或声明文件。
+使用 Rolldown bundle、tree-shaking 和 minify，且将 `react` 作为 peer external。测量的是实际执行 JavaScript，不是 npm tarball、source map 或声明文件。
 
 | 完整入口 | raw | gzip | brotli |
 | --- | ---: | ---: | ---: |
-| `view-anchor` | 6,627B | 2,588B | 2,297B |
-| `view-anchor/protocol` | 3,581B | 1,412B | 1,276B |
-| `view-anchor/react` | 5,472B | 2,023B | 1,797B |
+| `view-anchor` | 6,728B | 2,545B | 2,252B |
+| `view-anchor/protocol` | 3,573B | 1,378B | 1,243B |
+| `view-anchor/react` | 5,646B | 2,036B | 1,789B |
 
 | 单独导出 | raw | gzip | brotli |
 | --- | ---: | ---: | ---: |
-| `createViewAnchor` | 987B | 528B | 472B |
-| `createPlacementAnchor` | 3,246B | 1,246B | 1,120B |
-| `measurePlacement` | 282B | 196B | 167B |
-| `createSizeAdvertiser` | 1,350B | 780B | 680B |
-| `decodeGeometryWireValue` | 1,472B | 664B | 570B |
-| `createGeometrySequenceGuard` | 396B | 258B | 229B |
-| `createGeometryBatcher` | 1,357B | 637B | 579B |
-| `createPlacementMessagePublisher` | 200B | 165B | 135B |
-| `createSizeMessagePublisher` | 185B | 162B | 129B |
-| `useViewAnchor` | 2,116B | 984B | 885B |
-| `usePlacementAnchor` | 4,421B | 1,718B | 1,549B |
+| `createViewAnchor` | 1,026B | 544B | 477B |
+| `createPlacementAnchor` | 3,264B | 1,253B | 1,112B |
+| `measurePlacement` | 283B | 195B | 168B |
+| `createSizeAdvertiser` | 1,391B | 782B | 693B |
+| `decodeGeometryWireValue` | 1,456B | 657B | 563B |
+| `createGeometrySequenceGuard` | 395B | 255B | 222B |
+| `createGeometryBatcher` | 1,380B | 639B | 586B |
+| `createPlacementMessagePublisher` | 174B | 151B | 112B |
+| `createSizeMessagePublisher` | 159B | 148B | 110B |
+| `useViewAnchor` | 2,183B | 1,002B | 894B |
+| `usePlacementAnchor` | 4,572B | 1,730B | 1,558B |
 
 ## V8 与边界
 

package/docs/protocol.md

@@ -2,6 +2,35 @@
 
 `view-anchor` 核心模块只负责测量并同步调用 `publish`。如果需要在进程或 iframe 边界上传输几何数据，可以使用可选的 `view-anchor/protocol` 模块。它提供带版本的消息结构、输入校验、消息防乱序和微任务批处理，不绑定具体的传输通道。
 
+一条消息从锚点走到宿主要经过的环节：
+
+```mermaid
+sequenceDiagram
+  participant A as 锚点核心
+  participant P as MessagePublisher
+  participant B as GeometryBatcher
+  participant D as decodeGeometryWireValue
+  participant G as SequenceGuard
+  participant H as 宿主
+
+  A->>P: publish(placement)
+  P->>B: 带 anchorId、generation、seq 的消息
+  Note over B: 同一微任务内合并，<br/>每个 anchorId 的 placement 和 size<br/>各自只留最新一条
+  B->>D: IPC / postMessage
+  D->>D: 校验版本、类型、整数范围、批次上限
+  alt 校验不通过
+    D-->>H: 返回 ok: false，不抛异常
+  else 校验通过
+    Note over D,G: 宿主先验证发送方身份<br/>senderFrame / origin / token
+    D->>G: 逐条交给 guard
+    alt generation 更旧，或同类型 seq 不大于已见最大值
+      G-->>H: 丢弃
+    else
+      G->>H: applyGeometry(message)
+    end
+  end
+```
+
 ## 消息结构
 
 协议消息包含以下字段：
@@ -36,8 +65,8 @@ const publish = createPlacementMessagePublisher(
 
 使用 publisher 时需注意两点：
 
-1. **每个 `{ anchorId, generation }` 保持单个 publisher 实例**。在 React 中应使用 `useMemo` 或 `useRef` 保存，不要在每次渲染时重新创建。接收端的 `createGeometrySequenceGuard` 会记录见过的最大序列号；如果在同一代次下重建 publisher，序列号会从 1 重新计数，导致新发出的消息被当成过期消息丢弃。确实需要重置时，请将 `generation` 加一。
-2. **批处理与重试**。`createGeometryBatcher` 会在当前微任务中合并同一事件循环内的多次更新，每个锚点只保留最新的一条。如果下游发送失败或抛出异常，未成功发送的消息会保留在队列中，等待下次调用或显式 `flush()` 时重试。
+1. **每个 `{ anchorId, generation }` 保持单个 publisher 实例**。在 React 中应使用 `useMemo` 或 `useRef` 保存，不要在每次渲染时重新创建。接收端的 `createGeometrySequenceGuard` 会按 `placement` 和 `size` 分别记录见过的最大序列号；如果在同一代次下重建 publisher，序列号会从 1 重新计数，导致新发出的消息被当成过期消息丢弃。确实需要重置时，请将 `generation` 加一。
+2. **批处理与重试**。`createGeometryBatcher` 会在当前微任务中合并同一事件循环内的多次更新，每个锚点的 `placement` 和 `size` 各自只保留最新的一条。如果下游发送失败或抛出异常，未成功发送的消息会保留在队列中，等待下次调用或显式 `flush()` 时重试。
 
 当锚点销毁时，可以调用 `batcher.clear(anchorId)` 清理对应队列；调用 `dispose()` 会彻底停用批处理器。
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "view-anchor",
-  "version": "0.2.0",
-  "description": "High-performance geometry bridge that keeps anything outside the DOM (an Electron WebContentsView, a native webview, a cross-origin iframe) aligned to a DOM element: synchronous, deduplicated updates, optional versioned message batching, React adapter. ~2.6 KB gzipped, framework-free core.",
+  "version": "0.2.1",
+  "description": "High-performance geometry bridge that keeps anything outside the DOM (an Electron WebContentsView, a native webview, a cross-origin iframe) aligned to a DOM element: synchronous, deduplicated updates, optional versioned message batching, React adapter, framework-free core.",
   "keywords": [
     "electron",
     "webcontentsview",
@@ -72,23 +72,18 @@
     }
   },
   "devDependencies": {
-    "@eslint/js": "^10.0.1",
     "@testing-library/react": "^16.3.2",
+    "@types/node": "^26.5.1",
     "@types/react": "^18.3.12",
     "@vitejs/plugin-react": "^6.0.1",
     "@vitest/coverage-v8": "^4.1.4",
-    "esbuild": "^0.28.1",
-    "eslint": "^10.2.1",
-    "eslint-config-prettier": "^10.1.8",
-    "eslint-plugin-only-warn": "^1.2.1",
-    "eslint-plugin-react": "^7.37.5",
-    "eslint-plugin-react-hooks": "^7.1.1",
-    "globals": "^17.5.0",
     "jsdom": "^29.0.2",
+    "oxfmt": "^0.67.0",
+    "oxlint": "^1.82.0",
     "react": "^18.3.1",
     "react-dom": "^18.3.1",
+    "rolldown": "1.2.7",
     "typescript": "5.9.2",
-    "typescript-eslint": "^8.58.2",
     "vitest": "^4.1.4"
   },
   "publishConfig": {
@@ -98,7 +93,9 @@
     "build": "tsc -p tsconfig.build.json && pnpm run build:docs",
     "build:docs": "node scripts/build-docs.mjs",
     "check-types": "tsc --noEmit",
-    "lint": "eslint . --max-warnings 0",
+    "lint": "oxlint . --deny-warnings",
+    "format": "oxfmt --write .",
+    "format:check": "oxfmt --check .",
     "test": "vitest run --reporter=default --reporter=json --outputFile.json=test-report.json --coverage.enabled --coverage.reporter=json-summary --coverage.reportsDirectory=coverage",
     "test:dev": "vitest",
     "test:coverage": "vitest run --coverage",

package/src/index.ts

@@ -2,15 +2,8 @@
  * view-anchor: keeps an external surface aligned with a DOM element's geometry.
  */
 
-export {
-  createViewAnchor,
-  measurePlacement,
-  createPlacementAnchor,
-} from './view-anchor.js'
-export type {
-  PlacementAnchorOptions,
-  PlacementAnchorHandle,
-} from './view-anchor.js'
+export { createViewAnchor, measurePlacement, createPlacementAnchor } from './view-anchor.js'
+export type { PlacementAnchorOptions, PlacementAnchorHandle } from './view-anchor.js'
 export type {
   Bounds,
   Placement,

package/src/measure-loop.ts

@@ -14,6 +14,13 @@ export interface MeasureLoop<T> {
   dispose(): void
 }
 
+// Terminal-state stand-ins for cfg.produce/same/sink so a retained handle's
+// dispose()d loop does not keep the original closures (or what they
+// captured) alive. Guarded call sites never actually reach these.
+const NOOP_PRODUCE = (): null => null
+const NOOP_SAME = (): true => true
+const NOOP_SINK = (): false => false
+
 export function createMeasureLoop<T>(cfg: {
   /**
    * Produce the value to emit in the animation frame. Return null to skip
@@ -23,7 +30,9 @@ export function createMeasureLoop<T>(cfg: {
   same: (a: T, b: T) => boolean
   sink: import('./types.js').Publisher<T>
 }): MeasureLoop<T> {
-  const { produce, same, sink } = cfg
+  let produce = cfg.produce
+  let same = cfg.same
+  let sink = cfg.sink
   let rafId: number | null = null
   let active = false
   let disposed = false
@@ -31,15 +40,21 @@ export function createMeasureLoop<T>(cfg: {
   let publicationRevision = 0
 
   const deliver = (value: T): boolean => {
+    // A reentrant dispose() from produce()/same() (invoked by frame() just
+    // before this call) already cleared `last`; do not let this delivery
+    // attempt write over that terminal state.
+    if (disposed) return false
     const previous = last
     const attempt = ++publicationRevision
     last = value
     try {
       const accepted = sink(value) !== false
-      if (!accepted && publicationRevision === attempt) last = previous
+      // A reentrant dispose() during sink() already cleared `last`; do not
+      // resurrect the pre-dispose value over that terminal state.
+      if (!accepted && publicationRevision === attempt && !disposed) last = previous
       return accepted
     } catch (error) {
-      if (publicationRevision === attempt) last = previous
+      if (publicationRevision === attempt && !disposed) last = previous
       throw error
     }
   }
@@ -77,6 +92,10 @@ export function createMeasureLoop<T>(cfg: {
       if (disposed) return
       disposed = true
       cancel()
+      produce = NOOP_PRODUCE
+      same = NOOP_SAME
+      sink = NOOP_SINK
+      last = null
     },
   }
 }

package/src/protocol-publisher.ts

@@ -79,6 +79,10 @@ export function createSizeMessagePublisher(
   }
 }
 
+// Terminal-state stand-in for `send` so a retained, disposed batcher does not
+// keep the caller's transport closure (and whatever it captured) alive.
+const NOOP_SEND: GeometryBatchSend = () => false
+
 /**
  * Coalesces same-task messages without adding a rendering-frame delay. It owns
  * no authorization policy: callers must associate addresses with trusted IPC
@@ -104,9 +108,12 @@ export function createGeometryBatcher(
   let scheduled = false
   let flushing = false
 
-  function report(error: unknown): void {
+  // `activeOptions` lets a caller keep reporting to the options object that
+  // was live when its flush() call started, even if a reentrant dispose()
+  // during send() has since cleared the instance-level `options` reference.
+  function report(activeOptions: GeometryBatcherOptions, error: unknown): void {
     try {
-      options.onError?.(error)
+      activeOptions.onError?.(error)
     } catch {
       // Error reporting must not turn scheduled delivery into an unhandled error.
     }
@@ -134,13 +141,17 @@ export function createGeometryBatcher(
       messages,
     }
 
+    // Captured before send() runs so a reentrant dispose() (which clears the
+    // instance-level `options`) cannot blind this call's own error report.
+    const activeOptions = options
+
     flushing = true
     try {
       let accepted: boolean
       try {
         accepted = send(batch) !== false
       } catch (error) {
-        report(error)
+        report(activeOptions, error)
         return false
       }
       if (!accepted) return false
@@ -231,6 +242,13 @@ export function createGeometryBatcher(
       disposed = true
       anchors.clear()
       pendingAnchors.clear()
+      // Callers may still mutate the original options object after
+      // construction (e.g. reassigning onError); flush() captures its own
+      // reference before send() runs, so an in-flight error report keeps
+      // reading that object even though dispose() drops the instance's
+      // long-lived reference here.
+      options = {}
+      send = NOOP_SEND
     },
   }
 }

package/src/protocol.ts

@@ -67,10 +67,7 @@ function decodeSize(value: unknown): AdvertisedSize | undefined {
 function decodeMessage(value: unknown): GeometryMessage | undefined {
   if (!isRecord(value) || value.v !== GEOMETRY_PROTOCOL_VERSION) return undefined
   if (typeof value.anchorId !== 'string' || value.anchorId.length === 0) return undefined
-  if (
-    !isNonNegativeSafeInteger(value.generation) ||
-    !isNonNegativeSafeInteger(value.seq)
-  ) {
+  if (!isNonNegativeSafeInteger(value.generation) || !isNonNegativeSafeInteger(value.seq)) {
     return undefined
   }
   const address = {
@@ -81,9 +78,7 @@ function decodeMessage(value: unknown): GeometryMessage | undefined {
   }
   if (value.kind === 'placement') {
     const placement = decodePlacement(value.placement)
-    return placement === undefined
-      ? undefined
-      : { ...address, kind: 'placement', placement }
+    return placement === undefined ? undefined : { ...address, kind: 'placement', placement }
   }
   if (value.kind === 'size') {
     const size = decodeSize(value.size)
@@ -135,11 +130,7 @@ export interface GeometrySequenceGuard {
 }
 
 // -1 means that this generation has not seen the corresponding message kind.
-type GeometrySequenceState = [
-  generation: number,
-  placementSeq: number,
-  sizeSeq: number,
-]
+type GeometrySequenceState = [generation: number, placementSeq: number, sizeSeq: number]
 
 /**
  * Keeps one generation floor per anchor and a sequence high-water mark per
@@ -154,14 +145,11 @@ export function createGeometrySequenceGuard(): GeometrySequenceGuard {
     accept(message) {
       const current = latest.get(message.anchorId)
       if (current === undefined || message.generation > current[0]) {
-        latest.set(
-          message.anchorId,
-          [
-            message.generation,
-            message.kind === 'placement' ? message.seq : -1,
-            message.kind === 'size' ? message.seq : -1,
-          ],
-        )
+        latest.set(message.anchorId, [
+          message.generation,
+          message.kind === 'placement' ? message.seq : -1,
+          message.kind === 'size' ? message.seq : -1,
+        ])
         return true
       }
       if (message.generation < current[0]) return false

package/src/react.ts

@@ -5,11 +5,7 @@ import {
   type PlacementAnchorHandle,
   type PlacementAnchorOptions,
 } from './view-anchor.js'
-import type {
-  Bounds,
-  ViewAnchorHandle,
-  ViewAnchorOptions,
-} from './types.js'
+import type { Bounds, ViewAnchorHandle, ViewAnchorOptions } from './types.js'
 
 export interface UseViewAnchorOptions extends ViewAnchorOptions {
   /**
@@ -172,10 +168,7 @@ export function useViewAnchor(options: UseViewAnchorOptions): ViewAnchorRef {
   )
 }
 
-const placementAdapter: LifecycleAdapter<
-  PlacementAnchorOptions,
-  PlacementAnchorHandle
-> = {
+const placementAdapter: LifecycleAdapter<PlacementAnchorOptions, PlacementAnchorHandle> = {
   create: createPlacementAnchor,
   update(handle, options) {
     // In React, an omitted option represents "off" for that render,
@@ -196,9 +189,7 @@ const placementAdapter: LifecycleAdapter<
 }
 
 /** Bind the explicit Placement API to a DOM element callback ref. */
-export function usePlacementAnchor(
-  options: UsePlacementAnchorOptions,
-): PlacementAnchorRef {
+export function usePlacementAnchor(options: UsePlacementAnchorOptions): PlacementAnchorRef {
   return useAnchorRef(
     options,
     [

package/src/size-advertiser.ts

@@ -6,6 +6,10 @@ import type {
 } from './types.js'
 import { createMeasureLoop } from './measure-loop.js'
 
+// Replaces a disposed instance's publish callback so a retained handle does
+// not keep the caller's original callback (and whatever it captured) alive.
+const NOOP_PUBLISH = (): false => false
+
 /**
  * Report content size for a single axis back to the host.
  *
@@ -44,6 +48,9 @@ export function createSizeAdvertiser(
   })
 
   const onResize: ResizeObserverCallback = (entries) => {
+    // A callback queued before disconnect() can still fire once more; do not
+    // let it write `latest` after dispose() has already cleared it.
+    if (disposed) return
     const entry = entries[entries.length - 1]
     if (entry) {
       latest = entry.borderBoxSize?.[0] ?? entry.contentBoxSize?.[0] ?? latest
@@ -83,6 +90,8 @@ export function createSizeAdvertiser(
         observer = null
       }
       loop.dispose()
+      publish = NOOP_PUBLISH
+      latest = null
     },
   }
 }

package/src/types.ts

@@ -25,9 +25,7 @@ export type Publisher<T> = (value: T) => PublishResult
  * Distinguishes an intentionally visible but zero-sized element ({ visible: true, bounds: 0x0 })
  * from a hidden or detached element ({ visible: false }).
  */
-export type Placement =
-  | { visible: true; bounds: Bounds }
-  | { visible: false }
+export type Placement = { visible: true; bounds: Bounds } | { visible: false }
 
 export interface ViewAnchorOptions {
   /**

package/src/view-anchor.ts

@@ -1,22 +1,15 @@
-import type {
-  Bounds,
-  Placement,
-  Publisher,
-  ViewAnchorOptions,
-  ViewAnchorHandle,
-} from './types.js'
+import type { Bounds, Placement, Publisher, ViewAnchorOptions, ViewAnchorHandle } from './types.js'
 
 const ZERO: Bounds = { x: 0, y: 0, width: 0, height: 0 }
 
+// Replaces a disposed instance's publish callback so a retained handle does
+// not keep the caller's original callback (and whatever it captured) alive.
+const NOOP_PUBLISH = (): false => false
+
 // Round to integer pixels. Width and height are clamped to >= 0 (0 represents
 // a collapsed rect). Coordinates (x, y) can be negative when an element is
 // scrolled out of view; clamping them to 0 would pin the view to the screen edge.
-const clampRect = (r: {
-  x: number
-  y: number
-  width: number
-  height: number
-}): Bounds => ({
+const clampRect = (r: { x: number; y: number; width: number; height: number }): Bounds => ({
   x: Math.round(r.x),
   y: Math.round(r.y),
   width: Math.max(0, Math.round(r.width)),
@@ -38,13 +31,13 @@ const clampRect = (r: {
  * adding requestAnimationFrame would add a second frame of visual lag during drag
  * operations. High-frequency updates are deduplicated against the last accepted rect.
  */
-export function createViewAnchor(
-  target: HTMLElement,
-  opts: ViewAnchorOptions,
-): ViewAnchorHandle {
+export function createViewAnchor(target: HTMLElement, opts: ViewAnchorOptions): ViewAnchorHandle {
   let present = opts.present
   let publish = opts.publish
   let observer: ResizeObserver | null = null
+  // Local, clearable alias for the `target` parameter so dispose() can drop
+  // the strong reference without widening the public parameter's type.
+  let targetRef: HTMLElement | null = target
   // Last rect sent to publish. Reset on apply() so state changes (such as zoom)
   // force a re-publish even if the geometry did not change.
   let lastPublished: Bounds | null = null
@@ -52,14 +45,15 @@ export function createViewAnchor(
   let disposed = false
 
   const measure = (): Bounds | null => {
-    const r = target.getBoundingClientRect()
+    const r = targetRef!.getBoundingClientRect()
     // Drop ticks with non-finite values (NaN / Infinity cannot be sent over IPC).
     if (
       !Number.isFinite(r.left) ||
       !Number.isFinite(r.top) ||
       !Number.isFinite(r.width) ||
       !Number.isFinite(r.height)
-    ) return null
+    )
+      return null
     return clampRect({ x: r.left, y: r.top, width: r.width, height: r.height })
   }
 
@@ -72,10 +66,12 @@ export function createViewAnchor(
     lastPublished = candidate
     try {
       const accepted = publish(candidate) !== false
-      if (!accepted && publicationRevision === attempt) lastPublished = previous
+      // A reentrant dispose() during publish() already cleared lastPublished;
+      // do not resurrect the pre-dispose value over that terminal state.
+      if (!accepted && publicationRevision === attempt && !disposed) lastPublished = previous
       return accepted
     } catch (error) {
-      if (publicationRevision === attempt) lastPublished = previous
+      if (publicationRevision === attempt && !disposed) lastPublished = previous
       throw error
     }
   }
@@ -93,7 +89,7 @@ export function createViewAnchor(
   const startObserving = (): void => {
     if (observer) return
     observer = new ResizeObserver(emit)
-    observer.observe(target)
+    observer.observe(targetRef!)
     window.addEventListener('resize', emit)
   }
 
@@ -132,6 +128,9 @@ export function createViewAnchor(
       if (disposed) return
       disposed = true
       stopObserving()
+      targetRef = null
+      publish = NOOP_PUBLISH
+      lastPublished = null
     },
   }
 }
@@ -220,6 +219,9 @@ export function createPlacementAnchor(
   let guardDisplayNone = opts.guardDisplayNone ?? false
   let followScroll = opts.followScroll ?? false
   let followGeometry = opts.followGeometry ?? false
+  // Local, clearable alias for the `target` parameter so dispose() can drop
+  // the strong reference without widening the public parameter's type.
+  let targetRef: HTMLElement | null = target
   let observer: ResizeObserver | null = null
   let io: IntersectionObserver | null = null
   let scrollListening = false
@@ -245,19 +247,16 @@ export function createPlacementAnchor(
   let sentinelDeadline: number | null = null
 
   const computePlacement = (): Placement | null => {
-    const p = measurePlacement(target)
+    const p = measurePlacement(targetRef!)
     if (
       p.visible &&
       (!Number.isFinite(p.bounds.x) ||
         !Number.isFinite(p.bounds.y) ||
         !Number.isFinite(p.bounds.width) ||
         !Number.isFinite(p.bounds.height))
-    ) return null
-    if (
-      guardDisplayNone &&
-      p.visible &&
-      (p.bounds.width === 0 || p.bounds.height === 0)
-    ) {
+    )
+      return null
+    if (guardDisplayNone && p.visible && (p.bounds.width === 0 || p.bounds.height === 0)) {
       return { visible: false }
     }
     return p
@@ -269,10 +268,12 @@ export function createPlacementAnchor(
     lastPublished = candidate
     try {
       const accepted = publish(candidate) !== false
-      if (!accepted && publicationRevision === attempt) lastPublished = previous
+      // A reentrant dispose() during publish() already cleared lastPublished;
+      // do not resurrect the pre-dispose value over that terminal state.
+      if (!accepted && publicationRevision === attempt && !disposed) lastPublished = previous
       return accepted
     } catch (error) {
-      if (publicationRevision === attempt) lastPublished = previous
+      if (publicationRevision === attempt && !disposed) lastPublished = previous
       throw error
     }
   }
@@ -315,7 +316,10 @@ export function createPlacementAnchor(
     }
     invalidFrames = 0
     if (!p.visible) {
-      if (shouldCloseOnHiddenPoll()) { sentinelDeadline = null; return }
+      if (shouldCloseOnHiddenPoll()) {
+        sentinelDeadline = null
+        return
+      }
       if (!disposed && visible && followGeometry) {
         rafId = requestAnimationFrame(sentinelFrame)
       } else {
@@ -398,7 +402,7 @@ export function createPlacementAnchor(
   const startOptionalObserving = (): void => {
     if (guardDisplayNone && !io && typeof IntersectionObserver !== 'undefined') {
       io = new IntersectionObserver(emit)
-      io.observe(target)
+      io.observe(targetRef!)
     }
     if (followScroll && !scrollListening) {
       window.addEventListener('scroll', onScroll, passiveCapture)
@@ -454,7 +458,7 @@ export function createPlacementAnchor(
   const startObserving = (): void => {
     if (observer) return
     observer = new ResizeObserver(emit)
-    observer.observe(target)
+    observer.observe(targetRef!)
     window.addEventListener('resize', emit)
     startOptionalObserving()
   }
@@ -503,6 +507,9 @@ export function createPlacementAnchor(
       if (disposed) return
       disposed = true
       stopObserving()
+      targetRef = null
+      publish = NOOP_PUBLISH
+      lastPublished = null
     },
     pulse(durationMs?: number): void {
       if (disposed || !followGeometry) return