Preserve qualified menu navigation and correct literal source trivia oracle

crates/oa-desktop/src/app/process_removal/tests.rs

@@ -59,7 +59,9 @@ const BASELINE: &str = include_str!(concat!(
 ));
 const REMOVED: &str = include_str!(concat!(
     env!("CARGO_MANIFEST_DIR"),
-    "/../../harness/fixtures/process-removal-removed-20260925.arcadia"
+    // V1 assumed canonical whitespace. V2 independently retains removed-token
+    // trivia and existing reference spelling under language section 7's rules.
+    "/../../harness/fixtures/process-removal-removed-v2-20260925.arcadia"
 ));
 fn native() -> App {
     let document = Document::from_bundle(native_bundle(BASELINE), Default::default()).unwrap();

crates/oa-desktop/src/model_menu.rs

@@ -436,6 +436,32 @@ pub fn popup(app: &App) -> Option<Menu<Message>> {
                 )),
                 true,
             ));
+            // Navigation belongs to the exact clicked preview, even when it
+            // is outside the current group. Keep it alongside aggregate removal
+            // without selecting that preview or exposing singleton mutations.
+            let qualified_definition = request.process.as_deref().copied().and_then(|context| {
+                let endpoint = match request.selection_target.as_deref() {
+                    Some(Target::ProcessOccurrence(endpoint))
+                        if !endpoint.references.is_empty() =>
+                    {
+                        Some(endpoint.clone())
+                    }
+                    Some(Target::ProcessPreviewLink { source, .. }) => Some(source.clone()),
+                    _ => None,
+                }?;
+                Some((context, endpoint))
+            });
+            if let Some((context, endpoint)) = &qualified_definition {
+                entries.push(Entry::title("Reused contents · read-only in this process"));
+                entries.push(item(
+                    "Open referenced definition",
+                    Message::TopologyCanvas(crate::behavior::topology::CanvasEvent::OpenQualified(
+                        *context,
+                        endpoint.clone(),
+                    )),
+                    true,
+                ));
+            }
             if let Some(snapshot) = app.multiselect_snapshot().filter(|s| s.targets().len() > 1)
                 && (selected || request.process.is_some())
             {
@@ -494,34 +520,13 @@ pub fn popup(app: &App) -> Option<Menu<Message>> {
                 });
             }
             entries.push(Entry::separator());
-            if let Some(context) = request.process.as_deref().copied() {
-                let endpoint = match request.selection_target.as_deref() {
-                    Some(Target::ProcessOccurrence(endpoint))
-                        if !endpoint.references.is_empty() =>
-                    {
-                        Some(endpoint.clone())
-                    }
-                    Some(Target::ProcessPreviewLink { source, .. }) => Some(source.clone()),
-                    _ => None,
-                };
-                if let Some(endpoint) = endpoint {
-                    entries.push(Entry::title("Reused contents · read-only in this process"));
-                    entries.push(item(
-                        "Open referenced definition",
-                        Message::TopologyCanvas(
-                            crate::behavior::topology::CanvasEvent::OpenQualified(
-                                context, endpoint,
-                            ),
-                        ),
-                        true,
-                    ));
-                    return Some(Menu {
-                        token: opened.token,
-                        anchor: request.anchor,
-                        entries,
-                        on_close: Message::Menu(Event::Close),
-                    });
-                }
+            if qualified_definition.is_some() {
+                return Some(Menu {
+                    token: opened.token,
+                    anchor: request.anchor,
+                    entries,
+                    on_close: Message::Menu(Event::Close),
+                });
             }
         }
     }