fix input visibility (search/rename) + refresh stale names across history

- Visibility: #search/#rename/#status were dock:bottom like the Footer and got
  placed on the SAME row (y=39) as the Footer, which drew over them, so the
  typed text was invisible. Drop the docking; they now sit in normal flow just
  above the Footer (y=38). Verified: input region is above the footer.
- Stale names on 'back': a rename only invalidated the current function, so
  popping back to a caller (cached earlier) showed the old name. Add
  Program.bump_names(): a rename bumps a name-generation, clears all disasm block
  caches (disasm names are live), and decompilation is generation-checked and
  force-recompiled lazily on next view. _after_rename now invalidates globally.
- verified: rename a callee, 'back' to the caller shows the new name.
- pilot suite 51/51.

2 files changed, 33 insertions, 19 deletions

diff --git a/idatui/app.py b/idatui/app.py
index 87420c2..3dfc553 100644
--- a/idatui/app.py
+++ b/idatui/app.py
@@ -951,14 +951,14 @@ class IdaTui(App):
     DisasmView { width: 1fr; padding: 0 1; }
     DecompView { width: 1fr; }
     #search {
-        dock: bottom; height: 1; border: none; padding: 0 1;
+        height: 1; border: none; padding: 0 1;
         background: $primary-darken-2; color: $text;
     }
     #rename {
-        dock: bottom; height: 1; border: none; padding: 0 1;
+        height: 1; border: none; padding: 0 1;
         background: $warning-darken-2; color: $text;
     }
-    #status { dock: bottom; height: 1; background: $panel; color: $text; padding: 0 1; }
+    #status { height: 1; background: $panel; color: $text; padding: 0 1; }
     XrefsScreen { align: center middle; }
     #xref-box { width: 84; max-height: 70%; height: auto; border: thick $accent; background: $panel; }
     #xref-title { dock: top; height: 1; background: $accent; color: $text; padding: 0 1; }
@@ -1449,8 +1449,13 @@ class IdaTui(App):
 
     def _after_rename(self, kind: str, addr: int | None, old: str, new: str) -> None:
         cur = self._cur
+        # A renamed symbol can appear in many functions, so invalidate globally;
+        # each function refreshes its names the next time it's viewed.
+        self.program.bump_names()
         if cur is not None:
-            self._invalidate_and_reload(cur)
+            self._save_current_pos()
+            self.query_one(DecompView).loaded_ea = None  # force pseudocode reload
+            self._open_entry(cur, push=False)
         if kind == "func" and addr is not None and self._func_index is not None:
             self._func_index.update_name(addr, new)
             for e in self._nav:
@@ -1467,17 +1472,6 @@ class IdaTui(App):
         self._dirty = True
         self._status(f"renamed  {old} → {new}   (Ctrl+S to save)")
 
-    def _invalidate_and_reload(self, cur: NavEntry) -> None:
-        assert self.program is not None
-        try:
-            self.program.client.call("force_recompile", addr=hex(cur.ea))
-        except Exception:  # noqa: BLE001
-            pass
-        self.program.invalidate(cur.ea)
-        self._save_current_pos()  # capture cursor + scroll before reloading
-        self.query_one(DecompView).loaded_ea = None  # force pseudocode reload
-        self._open_entry(cur, push=False)
-
     @work(thread=True, exclusive=True, group="save")
     def _save(self) -> None:
         assert self.program is not None
diff --git a/idatui/domain.py b/idatui/domain.py
index b219bbe..1f52be6 100644
--- a/idatui/domain.py
+++ b/idatui/domain.py
@@ -374,7 +374,8 @@ class Program:
         )
         self._indices: dict[str | None, FunctionIndex] = {}
         self._disasm: dict[int, DisasmModel] = {}
-        self._decomp: dict[int, Decompilation] = {}
+        self._decomp: dict[int, tuple[Decompilation, int]] = {}
+        self._name_gen = 0  # bumped on rename; invalidates stale name caches
         self._lock = threading.Lock()
 
     # -- prefetch plumbing ------------------------------------------------- #
@@ -417,8 +418,17 @@ class Program:
         if not refresh:
             with self._lock:
                 hit = self._decomp.get(ea)
-                if hit is not None:
-                    return hit
+                gen = self._name_gen
+            if hit is not None:
+                dec, hit_gen = hit
+                if hit_gen == gen:
+                    return dec
+                # Cached before a rename: names may be stale. Drop the server's
+                # Hex-Rays cache so the refetch reflects the new names.
+                try:
+                    self.client.call("force_recompile", addr=hex(ea))
+                except Exception:  # noqa: BLE001
+                    pass
         envelope = self.client.call_envelope("decompile", addr=hex(ea))
         result = envelope.get("result", {})
         payload = result.get("structuredContent")
@@ -431,9 +441,19 @@ class Program:
                 payload = full
         dec = _parse_decompilation(ea, payload)
         with self._lock:
-            self._decomp[ea] = dec
+            self._decomp[ea] = (dec, self._name_gen)
         return dec
 
+    def bump_names(self) -> None:
+        """Signal that symbol names changed (a rename). Disasm names are live in
+        the IDB, so clearing the block caches is enough for those; decompilation
+        is generation-checked and force-recompiled lazily on next access."""
+        with self._lock:
+            self._name_gen += 1
+            models = list(self._disasm.values())
+        for m in models:
+            m.invalidate()
+
     @staticmethod
     def _fetch_output(url: str, timeout: float = 15.0):
         """GET the server's cached full-output blob (plain HTTP, not MCP)."""