diff --git a/README2.md b/README2.md
index 70d54a4..807cee3 100644
--- a/README2.md
+++ b/README2.md
@@ -79,18 +79,19 @@ src/gui/
 - Filter/search functionality
 - Click to select, right-click for context menu
 - Shows counts (sorts, functions, relations, axioms, elements)
+- Fixed-width docked sidebar
 
-**Editor Panel (Center Top)**
+**Editor Panel (Center)**
 - Multi-line code editor
-- Line numbers
 - Run button (or Ctrl+Enter) to execute code
 - Clear button
 
-**Inspector Panel (Center Bottom)**
+**Inspector Panel (Right)**
 - Theory details: parameters, sorts, functions, relations, instance fields, axioms
 - Instance details: elements by sort, function values, relation tuples, nested instances
 - Collapsible sections
 - "View Graph" button for instances
+- Fixed-width docked sidebar in the main workspace view
 
 **Console Panel (Bottom)**
 - Scrollable message log
@@ -103,11 +104,13 @@ src/gui/
   - Type `:inspect <name>` to inspect
   - Type `:chase <instance>` to run chase
   - Or type geolog code directly
+- Fixed-height docked footer
 
-**Adjustable Panels**
-- Browser panel (left): drag right edge to resize
-- Console panel (bottom): drag top edge to resize
-- Editor/Inspector split: drag the separator bar between them
+**Layout**
+- Docked workspace layout for stability
+- Browser on the left, editor in the center, inspector on the right
+- Console fixed at the bottom
+- Chase and graph visualizations replace the central workspace when active
 
 **Chase Visualization**
 - Step/Run All/Stop controls
@@ -129,22 +132,14 @@ src/gui/
 ```
 ┌─────────────────────────────────────────────────────────────┐
 │  File   Edit   View   Chase   Help                          │
-├────────────┬────────────────────────────────────────────────┤
-│ ▼ Theories │  ┌─────────────────────────────────────────┐   │
-│   Preorder │  │ Editor                                  │   │
-│   Graph    │  │ theory Foo {                            │   │
-│ ▼ Instances│  │   X : Sort;                             │   │
-│   Chain3   │  │ }                     [Run] [Clear]     │   │
-│            │  ├─────────────────────────────────────────┤   │
-│            │  │ ═══════════ [drag to resize] ═══════════│   │
-│            │  ├─────────────────────────────────────────┤   │
-│            │  │ Inspector: Chain3 : Preorder            │   │
-│            │  │ ▼ Elements (3)                          │   │
-│            │  │   X: bot, mid, top                      │   │
-│            │  │ ▼ Relations                             │   │
-│            │  │   leq: 6 tuples [View Graph]            │   │
-│            │  └─────────────────────────────────────────┘   │
-├────────────┴────────────────────────────────────────────────┤
+├──────────────┬──────────────────────────────┬───────────────┤
+│ Browser      │ Editor                       │ Inspector     │
+│ ▼ Theories   │ theory Foo {                 │ Chain3        │
+│   Preorder   │   X : Sort;                  │ : Preorder    │
+│ ▼ Instances  │ }           [Run] [Clear]    │ ▼ Elements    │
+│   Chain3     │                              │ ▼ Relations   │
+│              │                              │ [View Graph]  │
+├──────────────┴──────────────────────────────┴───────────────┤
 │ Console                                              [Clear]│
 │ > Defined theory Preorder (1 sorts, 1 relations, 2 axioms)  │
 │ + Defined instance Chain3 : Preorder (3 elements)          │