Auto-commit before sync: Wed 15 Apr 15:29:16 BST 2026

Author: hyperpolymath

lib/script_manager/tui.ex

@@ -91,6 +91,8 @@ defmodule ScriptManager.TUI do
     IO.puts("[19] Media Finder")
     IO.puts("[20] Dependency Fixer")
     IO.puts("[21] Toolchain Linker")
+    IO.puts("[22] Launch NQC (Database Query)")
+    IO.puts("[23] Launch Invariant Path (Code Analysis)")
     IO.puts("\n[h]  Help - Detailed information")
     IO.puts("[s]  System Status")
     IO.puts("[0]  Exit")
@@ -130,6 +132,8 @@ defmodule ScriptManager.TUI do
       "19" -> safe_execute(&ScriptManager.MediaFinder.run/0, "Media Finder")
       "20" -> safe_execute(&ScriptManager.DependencyFixer.run/0, "Dependency Fixer")
       "21" -> safe_execute(&ScriptManager.ToolchainLinker.run/0, "Toolchain Linker")
+      "22" -> launch_nqc()
+      "23" -> launch_invariant_path()
       "h" -> show_help()
       "s" -> show_system_status()
       "0" -> IO.puts("\n👋 Goodbye!")
@@ -195,12 +199,111 @@ defmodule ScriptManager.TUI do
     end
   end
 
+  defp show_system_status do
+    IO.puts("\n" <> String.duplicate("=", 60))
+    IO.puts("SYSTEM STATUS")
+    IO.puts(String.duplicate("=", 60))
+    
+    # Check required commands
+    required_commands = ["bash", "git", "gh", "jq"]
+    
+    IO.puts("\nRequired Commands:")
+    Enum.each(required_commands, fn cmd ->
+      if System.cmd("which", [cmd], [stderr_to_stdout: true]) |> elem(0) == 0 do
+        IO.puts("  ✅ #{cmd}")
+      else
+        IO.puts("  ❌ #{cmd} (missing)")
+      end
+    end)
+    
+    # Check scripts directory
+    scripts_dir = "scripts"
+    if File.exists?(scripts_dir) do
+      script_count = File.ls!(scripts_dir) |> Enum.count()
+      IO.puts("\nScripts Directory: ✅ #{script_count} scripts found")
+    else
+      IO.puts("\nScripts Directory: ❌ Not found")
+    end
+    
+    # Check GitHub CLI authentication
+    IO.puts("\nGitHub CLI Status:")
+    case System.cmd("gh", ["auth", "status"], [stderr_to_stdout: true]) do
+      {0, output} -> IO.puts("  ✅ Authenticated: #{String.trim(output)}")
+      {_, _} -> IO.puts("  ❌ Not authenticated or error")
+    end
+    
+    IO.puts("\n" <> String.duplicate("-", 60))
+    IO.puts("Press Enter to return to main menu...")
+    IO.gets("")
+  end
+
+  defp run_clean_unicode do
+    IO.puts("\n🧼 CLEAN UNICODE")
+    IO.puts("Cleaning hidden/bidirectional Unicode characters from files...")
+    
+    # Check if script exists
+    script_path = "/var/mnt/eclipse/scripts/clean-unicode.sh"
+    
+    if File.exists?(script_path) do
+      IO.puts("Running: #{script_path}")
+      
+      # Execute with error handling
+      case System.cmd(script_path, []) do
+        {0, output} -> 
+          IO.puts("✅ Unicode cleaning complete!")
+          IO.puts(output)
+        {status, error} -> 
+          IO.puts("❌ Unicode cleaning failed (exit #{status}):")
+          IO.puts(error)
+      end
+    else
+      IO.puts("❌ Script not found: #{script_path}")
+      IO.puts("Cannot perform Unicode cleaning")
+    end
+    
+    :ok
+  end
+
+  defp launch_nqc do
+    IO.puts("\n🚀 Launching NextGen Query Client...")
+    
+    nqc_launcher = "/var/mnt/eclipse/repos/nextgen-databases/nqc/nqc-enhanced-launcher.sh"
+    
+    if File.exists?(nqc_launcher) do
+      IO.puts("Starting NQC web interface...")
+      case System.cmd(nqc_launcher, ["--auto"]) do
+        {0, _} -> IO.puts("✅ NQC launched successfully")
+        {status, error} -> IO.puts("❌ Failed to launch NQC (exit #{status}): #{error}")
+      end
+    else
+      IO.puts("❌ NQC launcher not found: #{nqc_launcher}")
+      IO.puts("Please install NQC first")
+    end
+  end
+
+  defp launch_invariant_path do
+    IO.puts("\n🔍 Launching Invariant Path...")
+    
+    ip_launcher = "/var/mnt/eclipse/repos/invariant-path/invariant-path-launcher"
+    
+    if File.exists?(ip_launcher) do
+      IO.puts("Starting Invariant Path analysis tool...")
+      case System.cmd(ip_launcher, ["--auto"]) do
+        {0, _} -> IO.puts("✅ Invariant Path launched successfully")
+        {status, error} -> IO.puts("❌ Failed to launch Invariant Path (exit #{status}): #{error}")
+      end
+    else
+      IO.puts("❌ Invariant Path launcher not found: #{ip_launcher}")
+      IO.puts("Please install Invariant Path first")
+    end
+  end
+
   defp show_help do
     IO.puts("\n" <> String.duplicate("=", 60))
     IO.puts("HELP SYSTEM - Detailed Function Information")
     IO.puts(String.duplicate("=", 60))
 
-    help_items = %{
+    help_items = Map.merge(%{
       "1" => {
         "Wiki Audit",
         "Audits GitHub wiki status across repositories",
@@ -260,8 +363,21 @@ defmodule ScriptManager.TUI do
         "Processes pull requests across repositories",
         "Can add labels, review, or perform other batch operations",
         "Use for bulk PR management"
+      }},
+      %{
+      "22" => {
+        "Launch NQC",
+        "Launches NextGen Query Client for database operations",
+        "Provides web interface for VQL/GQL/KQL queries",
+        "Use for database exploration and querying"
+      },
+      "23" => {
+        "Launch Invariant Path",
+        "Launches Invariant Path for code analysis",
+        "Analyzes claim transitions and invariant preservation",
+        "Use for code documentation and invariant checking"
       }
-    }
+    })
 
     Enum.each(help_items, fn {num, {name, desc, details, usage}} ->
       IO.puts("\n[#{num}] #{name}")
@@ -274,69 +390,4 @@ defmodule ScriptManager.TUI do
     IO.puts("Press Enter to return to main menu...")
     IO.gets("")
   end
-
-  defp show_system_status do
-    IO.puts("\n" <> String.duplicate("=", 60))
-    IO.puts("SYSTEM STATUS")
-    IO.puts(String.duplicate("=", 60))
-    
-    # Check required commands
-    required_commands = ["bash", "git", "gh", "jq"]
-    
-    IO.puts("\nRequired Commands:")
-    Enum.each(required_commands, fn cmd ->
-      if System.cmd("which", [cmd], [stderr_to_stdout: true]) |> elem(0) == 0 do
-        IO.puts("  ✅ #{cmd}")
-      else
-        IO.puts("  ❌ #{cmd} (missing)")
-      end
-    end)
-    
-    # Check scripts directory
-    scripts_dir = "scripts"
-    if File.exists?(scripts_dir) do
-      script_count = File.ls!(scripts_dir) |> Enum.count()
-      IO.puts("\nScripts Directory: ✅ #{script_count} scripts found")
-    else
-      IO.puts("\nScripts Directory: ❌ Not found")
-    end
-    
-    # Check GitHub CLI authentication
-    IO.puts("\nGitHub CLI Status:")
-    case System.cmd("gh", ["auth", "status"], [stderr_to_stdout: true]) do
-      {0, output} -> IO.puts("  ✅ Authenticated: #{String.trim(output)}")
-      {_, _} -> IO.puts("  ❌ Not authenticated or error")
-    end
-    
-    IO.puts("\n" <> String.duplicate("-", 60))
-    IO.puts("Press Enter to return to main menu...")
-    IO.gets("")
-  end
-
-  defp run_clean_unicode do
-    IO.puts("\n🧼 CLEAN UNICODE")
-    IO.puts("Cleaning hidden/bidirectional Unicode characters from files...")
-    
-    # Check if script exists
-    script_path = "/var/mnt/eclipse/scripts/clean-unicode.sh"
-    
-    if File.exists?(script_path) do
-      IO.puts("Running: #{script_path}")
-      
-      # Execute with error handling
-      case System.cmd(script_path, []) do
-        {0, output} -> 
-          IO.puts("✅ Unicode cleaning complete!")
-          IO.puts(output)
-        {status, error} -> 
-          IO.puts("❌ Unicode cleaning failed (exit #{status}):")
-          IO.puts(error)
-      end
-    else
-      IO.puts("❌ Script not found: #{script_path}")
-      IO.puts("Cannot perform Unicode cleaning")
-    end
-    
-    :ok
-  end
 end