refactor: extract selection overlay sync

design/05-editor-mainline/process/5-29-editor-runtime-followup-checklist-v1.md

@@ -183,3 +183,10 @@ UI / 浏览器可见项必须有真实浏览器截图或结构化 smoke 证据
   - 已验证：`cargo fmt --manifest-path rust/Cargo.toml --all --check`、`cargo check --manifest-path rust/spikes/leptos-tiptap-spike/Cargo.toml`、wasm release build、`wasm-bindgen`、`MNOTE_WEB_SMOKE_BASE_URL=http://127.0.0.1:3001 NODE_PATH=/mnt/Data1T/mnote/node_modules node scripts/task489-block-menu-delete-undo-smoke.js`、`MNOTE_WEB_SMOKE_BASE_URL=http://127.0.0.1:3001 NODE_PATH=/mnt/Data1T/mnote/node_modules node scripts/task488-local-attachment-link-delete-undo-smoke.js`、`MNOTE_WEB_SMOKE_BASE_URL=http://127.0.0.1:3001 NODE_PATH=/mnt/Data1T/mnote/node_modules node scripts/task479-local-folder-markdown-resource-lifecycle-smoke.js`。
   - 单元测试阻塞：`cargo test --manifest-path rust/spikes/leptos-tiptap-spike/Cargo.toml block_dnd -- --test-threads=1` 被既有 `STYLE` 测试编译错误阻断，未进入本次新增 helper 测试；该阻断在此前 `block_dnd` 批次已存在。
   - 未迁：`hovered_block_from_target`、`drop_indicator_from_target`、`drop_indicator_from_point`、拖拽 listener、block reorder 行为和 DOM -> block 状态解析链仍留在 `lib.rs`。
+- 2026-05-25：Batch U 只派发 1 个只读 Reasonix worker 审计 `on_selection_change` overlay 同步边界，使用独立 worktree `/mnt/Data1T/mnote-worktrees/0525-u-worker-a-5-29-selection-overlay-readonly`，run id `reasonix-2026-05-24T21-09-36-422Z-477b50a6`，并显式使用 `--no-memory-recall`。
+  - Codex 已读取 Hindsight recall、`process-handoff.md/json`、`result.json`、`final.md`，并核对 worktree `git status --short` / `git diff --stat` 为空；Reasonix 未修改源码。runner 完成后残留父进程未自行退出，主控已终止。
+  - 审计结论经 Codex 复核后采纳：`on_selection_change` 不能整体迁出，因为 selection state 写入和 `send_selection_state_to_target` bridge dispatch 仍属于 `lib.rs` 壳层；其中 text-selection overlay 状态机和互斥 overlay 关闭可作为小 helper 迁入 `editor_runtime/overlays.rs`。
+  - Codex 主控完成最小切片：`overlays.rs` 新增 `sync_overlays_on_selection_change(...)`，封装 toolbar lock、text selection overlay 同步、image/block overlay 互斥关闭；`lib.rs` 的 `on_selection_change` 仅保留 selection state 写入、helper 调用和 bridge dispatch。
+  - 修改：`rust/spikes/leptos-tiptap-spike/src/editor_runtime/overlays.rs`、`rust/spikes/leptos-tiptap-spike/src/lib.rs`。
+  - 已验证：`cargo fmt --manifest-path rust/Cargo.toml --all --check`、`cargo check --manifest-path rust/spikes/leptos-tiptap-spike/Cargo.toml`、wasm release build、`wasm-bindgen`、`MNOTE_WEB_SMOKE_BASE_URL=http://127.0.0.1:3001 NODE_PATH=/mnt/Data1T/mnote/node_modules node scripts/task489-block-menu-delete-undo-smoke.js`、`MNOTE_WEB_SMOKE_BASE_URL=http://127.0.0.1:3001 NODE_PATH=/mnt/Data1T/mnote/node_modules node scripts/task488-local-attachment-link-delete-undo-smoke.js`、`MNOTE_WEB_SMOKE_BASE_URL=http://127.0.0.1:3001 NODE_PATH=/mnt/Data1T/mnote/node_modules node scripts/task479-local-folder-markdown-resource-lifecycle-smoke.js`。
+  - 未迁：`send_selection_state_to_target` / `selection_payload` bridge 链路、`runtime_block_id_from_index`、selection bridge event、`drop_indicator_from_target`、拖拽 listener 和 block reorder 行为仍留在 `lib.rs`。

rust/spikes/leptos-tiptap-spike/generated/island/mnote-leptos-tiptap-spike-island.js

@@ -1259,47 +1259,47 @@ function __wbg_get_imports() {
             }
         }, arguments); },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1145, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1144, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h396914cf76a9e7a5);
             return ret;
         },
         __wbindgen_cast_0000000000000002: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1197, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1196, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h3a3182d847094e12);
             return ret;
         },
         __wbindgen_cast_0000000000000003: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 973, ret: Unit, inner_ret: Some(Unit) }, mutable: false }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 972, ret: Unit, inner_ret: Some(Unit) }, mutable: false }) -> Externref`.
             const ret = makeClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__had771ddc65647798);
             return ret;
         },
         __wbindgen_cast_0000000000000004: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("Event")], shim_idx: 1095, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("Event")], shim_idx: 1094, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h0abd2b2fe4652e2a);
             return ret;
         },
         __wbindgen_cast_0000000000000005: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("Event")], shim_idx: 1145, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("Event")], shim_idx: 1144, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h396914cf76a9e7a5_4);
             return ret;
         },
         __wbindgen_cast_0000000000000006: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("KeyboardEvent")], shim_idx: 816, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("KeyboardEvent")], shim_idx: 789, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__hd90af689bc3e71bf);
             return ret;
         },
         __wbindgen_cast_0000000000000007: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 1097, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 1096, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h794babeffd4f821f);
             return ret;
         },
         __wbindgen_cast_0000000000000008: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 1112, ret: Unit, inner_ret: Some(Unit) }, mutable: false }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 1111, ret: Unit, inner_ret: Some(Unit) }, mutable: false }) -> Externref`.
             const ret = makeClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h2b648e7ac8ec1fb5);
             return ret;
         },
         __wbindgen_cast_0000000000000009: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 1148, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [], shim_idx: 1147, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
             const ret = makeMutClosure(arg0, arg1, wasm_bindgen__convert__closures_____invoke__h0b7fb40a8610550c);
             return ret;
         },

rust/spikes/leptos-tiptap-spike/src/editor_runtime/overlays.rs

@@ -2,7 +2,7 @@ use leptos::prelude::{GetUntracked, ReadSignal, Set, WriteSignal};
 
 use crate::{
     editor_runtime::block_hover_state::HoveredBlockState,
-    editor_runtime::dom_selection::active_editor_text_selection,
+    editor_runtime::dom_selection::{active_editor_text_selection, has_active_text_selection},
     editor_runtime::editor_focus::active_editor_stage,
     editor_stage_element,
 };
@@ -133,6 +133,45 @@ pub(crate) fn toolbar_overlay_locked(
     turn_into_open || color_menu_open || more_menu_open
 }
 
+#[allow(clippy::too_many_arguments)]
+pub(crate) fn sync_overlays_on_selection_change(
+    turn_into_open: ReadSignal<bool>,
+    color_menu_open: ReadSignal<bool>,
+    more_menu_open: ReadSignal<bool>,
+    text_selection_active: ReadSignal<bool>,
+    set_text_selection_active: WriteSignal<bool>,
+    set_floating_toolbar_anchor: WriteSignal<Option<FloatingToolbarAnchor>>,
+    set_image_toolbar_anchor: WriteSignal<Option<ImageToolbarAnchor>>,
+    set_turn_into_open: WriteSignal<bool>,
+    set_block_menu_open: WriteSignal<bool>,
+    set_block_menu_anchor: WriteSignal<Option<HoveredBlockState>>,
+    set_hovered_block: WriteSignal<Option<HoveredBlockState>>,
+) {
+    let toolbar_locked = toolbar_overlay_locked(
+        turn_into_open.get_untracked(),
+        color_menu_open.get_untracked(),
+        more_menu_open.get_untracked(),
+    );
+    let has_text_selection = if has_active_text_selection() {
+        sync_text_selection_overlay(set_text_selection_active, set_floating_toolbar_anchor)
+    } else if toolbar_locked {
+        text_selection_active.get_untracked()
+    } else {
+        set_text_selection_active.set(false);
+        set_floating_toolbar_anchor.set(None);
+        false
+    };
+    if has_text_selection {
+        set_image_toolbar_anchor.set(None);
+        if !toolbar_locked {
+            set_turn_into_open.set(false);
+        }
+        set_block_menu_open.set(false);
+        set_block_menu_anchor.set(None);
+        set_hovered_block.set(None);
+    }
+}
+
 #[allow(clippy::too_many_arguments)]
 pub(crate) fn close_editor_floating_overlays(
     set_slash_open: WriteSignal<bool>,

rust/spikes/leptos-tiptap-spike/src/lib.rs

@@ -36,12 +36,12 @@ use editor_runtime::command_sync::{
     read_editor_snapshot, sync_editor_outputs, sync_persisted_editor_command,
 };
 use editor_runtime::dom_selection::{
-    has_active_text_selection, selection_summary,
+    selection_summary,
 };
 use editor_runtime::editor_focus::{active_editor_stage, body_has_focus, schedule_editor_focus};
 use editor_runtime::overlays::{
     close_editor_floating_overlays_if_escape, open_block_menu_overlay, open_image_toolbar_overlay,
-    open_slash_menu_overlay, sync_text_selection_overlay, toolbar_overlay_locked,
+    open_slash_menu_overlay, sync_overlays_on_selection_change, toolbar_overlay_locked,
     try_sync_editor_overlay_state, FloatingToolbarAnchor, ImageToolbarAnchor, TableOverlayAnchor,
     TableSelectionKind, TableSelectionOverlayState,
 };
@@ -10340,32 +10340,19 @@ fn App(mount_options: MountOptions) -> impl IntoView {
                         on_selection_change=move |selection: TiptapSelectionState| {
                             let selection_clone = selection.clone();
                             set_selection_state.set(selection_clone.clone());
-                            let toolbar_locked = toolbar_overlay_locked(
+                            sync_overlays_on_selection_change(
-                                turn_into_open.get_untracked(),
+                                turn_into_open,
-                                color_menu_open.get_untracked(),
+                                color_menu_open,
-                                more_menu_open.get_untracked(),
+                                more_menu_open,
+                                text_selection_active,
+                                set_text_selection_active,
+                                set_floating_toolbar_anchor,
+                                set_image_toolbar_anchor,
+                                set_turn_into_open,
+                                set_block_menu_open,
+                                set_block_menu_anchor,
+                                set_hovered_block,
                             );
-                            let has_text_selection = if has_active_text_selection() {
-                                sync_text_selection_overlay(
-                                    set_text_selection_active,
-                                    set_floating_toolbar_anchor,
-                                )
-                            } else if toolbar_locked {
-                                text_selection_active.get_untracked()
-                            } else {
-                                set_text_selection_active.set(false);
-                                set_floating_toolbar_anchor.set(None);
-                                false
-                            };
-                            if has_text_selection {
-                                set_image_toolbar_anchor.set(None);
-                                if !toolbar_locked {
-                                    set_turn_into_open.set(false);
-                                }
-                                set_block_menu_open.set(false);
-                                set_block_menu_anchor.set(None);
-                                set_hovered_block.set(None);
-                            }
                             if let Some(target) = selection_event_target.as_ref() {
                                 send_selection_state_to_target(
                                     target,