Lean game mode with DAG-based simulation navigation

crates/spec-forest-tui/src/action.rs

@@ -13,6 +13,7 @@ pub enum Action {
     OpenSeedFromDir,
     OpenSyncConfig,
     OpenModelConfig,
+    DeleteSpec,
 
     // Text input (shared across InputName, SyncPasswordInput)
     TypeChar(char),
@@ -108,6 +109,7 @@ pub enum Action {
     SimChannelToggleWholeSpec,
     SimChannelToggleExploreCode,
     SimChannelToggleGameMode,
+    SimChannelToggleLeanMode,
     SimChannelConfirm,
     SimChannelCancel,
 
@@ -158,6 +160,26 @@ pub enum Action {
     GameRejectCancel,
     GameToggleUpdateLog,
 
+    // Lean game mode
+    LeanSelectUp,
+    LeanSelectDown,
+    LeanConfirm,
+    LeanGoBack,
+    LeanEnterQuery,
+    LeanEnterModify,
+    LeanEnterSendActions,
+    LeanEnterWarmupRespond,
+    LeanToggleUpdateLog,
+    LeanScrollUp,
+    LeanScrollDown,
+    LeanInputChar(char),
+    LeanInputBackspace,
+    LeanInputSubmit,
+    LeanInputCancel,
+    LeanInputNewline,
+    LeanBackground,
+    LeanEnd,
+
     // Notification / session picker
     OpenSessionPicker,
     SessionPickerUp,