Freesig/sim

crates/spec-forest-app/src/main.rs

@@ -28,14 +28,14 @@ async fn static_handler(uri: Uri) -> Response {
 fn default_db_path() -> String {
     let dir = dirs::home_dir()
         .expect("could not determine home directory")
-        .join(".spec_forest");
+        .join(".spec-forest");
     std::fs::create_dir_all(&dir).expect("could not create ~/.spec_forest directory");
-    dir.join("spec_forest.db").to_string_lossy().into_owned()
+    dir.join("spec-forest.db").to_string_lossy().into_owned()
 }
 
 #[derive(Parser)]
 #[command(
-    name = "spec_forest-app",
+    name = "spec-forest-app",
     about = "Spec Forest server with embedded web UI"
 )]
 struct Cli {

crates/spec-forest-db/src/op_apply.rs

@@ -134,6 +134,16 @@ pub fn apply_op_to_conn(conn: &Connection, op: &SpecOp) -> Result<()> {
             Ok(())
         }
 
+        SpecOp::UpdateFeature { node_id, content, embedding: emb } => {
+            let now = crate::util::now_iso8601();
+            conn.execute(
+                "UPDATE nodes SET question = ?1, updated_at = ?2 WHERE id = ?3",
+                rusqlite::params![content, now, node_id],
+            )?;
+            embedding::upsert_embedding(conn, node_id, emb)?;
+            Ok(())
+        }
+
         SpecOp::CreateContextNode { spec_id, node_id, question, embedding } => {
             let now = crate::util::now_iso8601();
             conn.execute(
@@ -343,6 +353,15 @@ pub fn apply_op_to_conn_no_embed(conn: &Connection, op: &SpecOp) -> Result<()> {
             Ok(())
         }
 
+        SpecOp::UpdateFeature { node_id, content, .. } => {
+            let now = crate::util::now_iso8601();
+            conn.execute(
+                "UPDATE nodes SET question = ?1, updated_at = ?2 WHERE id = ?3",
+                rusqlite::params![content, now, node_id],
+            )?;
+            Ok(())
+        }
+
         SpecOp::CreateContextNode { spec_id, node_id, question, .. } => {
             let now = crate::util::now_iso8601();
             conn.execute(

crates/spec-forest-protocol/src/lib.rs

@@ -70,6 +70,11 @@ pub enum SpecOp {
     RemoveFeature {
         node_id: String,
     },
+    UpdateFeature {
+        node_id: String,
+        content: String,
+        embedding: Vec<f32>,
+    },
     CreateContextNode {
         spec_id: String,
         node_id: String,
@@ -170,6 +175,7 @@ impl SpecOp {
             | SpecOp::UpdateQuestion { node_id, .. }
             | SpecOp::AddFeature { node_id, .. }
             | SpecOp::RemoveFeature { node_id, .. }
+            | SpecOp::UpdateFeature { node_id, .. }
             | SpecOp::CreateContextNode { node_id, .. }
             | SpecOp::UpdateResidualEntropy { node_id, .. }
             | SpecOp::ClearCandidates { node_id, .. }

crates/spec-forest-sync/src/main.rs

@@ -25,7 +25,7 @@ struct Cli {
 
 fn default_db_path() -> String {
     dirs::home_dir()
-        .map(|p| p.join(".spec_forest").join("sync.db"))
+        .map(|p| p.join(".spec-forest").join("sync.db"))
         .unwrap_or_else(|| std::path::PathBuf::from("sync.db"))
         .to_string_lossy()
         .to_string()

crates/spec-forest-tui/Cargo.toml

@@ -5,7 +5,6 @@ edition = "2024"
 
 [dependencies]
 spec-forest = { path = "../spec-forest" }
-spec-forest-db = { path = "../spec-forest-db" }
 ratatui = "0.29"
 crossterm = { version = "0.28", features = ["event-stream"] }
 futures = "0.3"
@@ -18,6 +17,9 @@ tempfile = "3"
 tracing = "0.1"
 tracing-subscriber = { version = "0.3", features = ["fmt", "env-filter"] }
 tracing-appender = "0.2"
+uuid = { version = "1", features = ["v4"] }
+serde_json = "1"
 
 [dev-dependencies]
+spec-forest-db = { path = "../spec-forest-db" }
 tempfile = "3"

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

@@ -10,11 +10,12 @@ pub enum Action {
 
     // Spec list
     OpenCreateSpec,
-    OpenSeedFromFile,
+    OpenSeedFromDir,
     OpenSyncConfig,
     OpenModelConfig,
+    DeleteSpec,
 
-    // Text input (shared across InputName, InputFile, SyncPasswordInput)
+    // Text input (shared across InputName, SyncPasswordInput)
     TypeChar(char),
     DeleteChar,
     Cancel,
@@ -29,13 +30,40 @@ pub enum Action {
     TogglePause,
     CancelExplore,
     EditNextQuestion,
+    AddFeature,
+    RegenerateFeature,
+    AddQuestion,
+    DeleteNode,
 
     // Tree navigation
     ExpandOrCollapseTreeNode,
     CollapseTreeNode,
     TreeUp,
     TreeDown,
     EditTreeNode,
+    SiblingUp,
+    SiblingDown,
+
+    // Directory browser
+    DirBrowserUp,
+    DirBrowserDown,
+    DirBrowserExpand,
+    DirBrowserCollapse,
+    DirBrowserGoToParent,
+    DirBrowserSelect,
+    DirBrowserCancel,
+
+    // Depth picker
+    DepthPickerUp,
+    DepthPickerDown,
+    DepthPickerConfirm,
+    DepthPickerCancel,
+
+    // Spec options picker (mode + locality)
+    SpecOptionsUp,
+    SpecOptionsDown,
+    SpecOptionsConfirm,
+    SpecOptionsCancel,
 
     // Sync
     SyncLogin,
@@ -44,5 +72,135 @@ pub enum Action {
     // Model
     SelectModel,
 
+    // Config
+    OpenConfig,
+    SetUsername,
+    ToggleAutoExplore,
+
+    // Spec settings
+    OpenSpecSettings,
+    SetSpecDirectory,
+    ClearSpecDirectory,
+
+    // Candidates
+    CandidateNext,
+    CandidatePrev,
+    AcceptCandidate,
+    EditCandidate,
+
+    // Log panel
+    ToggleLog,
+    LogScrollUp,
+    LogScrollDown,
+    LogScrollLineUp,
+    LogScrollLineDown,
+
+    // Shadow answers
+    GenerateShadow,
+    RegenerateShadow,
+
+    // Simulation - launch
+    LaunchSimulation,
+
+    // Simulation - channel picker
+    SimChannelUp,
+    SimChannelDown,
+    SimChannelToggle,
+    SimChannelToggleWholeSpec,
+    SimChannelToggleExploreCode,
+    SimChannelToggleGameMode,
+    SimChannelToggleLeanMode,
+    SimChannelConfirm,
+    SimChannelCancel,
+
+    // Simulation - scenario input
+    SimScenarioChar(char),
+    SimScenarioBackspace,
+    SimScenarioNewline,
+    SimScenarioConfirm,
+    SimScenarioCancel,
+
+    // Simulation - screen
+    SimEnterInsert,
+    SimExitToNormal,
+    SimBackgroundSimulation,
+    SimEndSimulation,
+    SimCaptureKey(crate::simulation::CapturedKey),
+    SimDeleteChar,
+    SimSubmitInput,
+    SimCycleChannel,
+    SimCycleLayout,
+    SimEnterReport,
+    SimEditScenario,
+    SimOpenRef(String),
+    SimRefDigit(char),
+    SimSelectInteraction(usize),
+    SimInteractionUp,
+    SimInteractionDown,
+    SimConfirmInteraction,
+    SimNavigateBack,
+    SimBreadcrumbFocus,
+    SimBreadcrumbLeft,
+    SimBreadcrumbRight,
+    SimBreadcrumbSelect,
+    SimBreadcrumbCancel,
+    SimCloseOverlay,
+    SimMouseClick { column: u16, row: u16 },
+
+    // Game mode
+    GameGroupUp,
+    GameGroupDown,
+    GameOutcomeLeft,
+    GameOutcomeRight,
+    GameConfirmChoice,
+    GameRejectOutcome,
+    GameRejectChar(char),
+    GameRejectBackspace,
+    GameRejectSubmit,
+    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,
+    SessionPickerDown,
+    SessionPickerSelect,
+    SessionPickerDismiss,
+    DismissNotification,
+
+    // Members screen
+    OpenMembers,
+    MembersActivateInput,
+    MembersDeactivateInput,
+    MembersRemoveMember,
+    MembersInputChar(char),
+    MembersInputBackspace,
+    MembersInputSubmit,
+    MembersUp,
+    MembersDown,
+
+    // Help
+    ToggleHelp,
+
     Noop,
 }