Add diagnostic information for troubleshooting

app.py

@@ -7,6 +7,18 @@ Provides an interface to analyze, verify, and construct proofs using the SFOSR f
 import gradio as gr
 import json
 import os
+import sys
+import traceback
+
+# --- Basic diagnostics ---
+print("==== Starting SFOSR Gradio App ====")
+print(f"Working directory: {os.getcwd()}")
+print(f"Python version: {sys.version}")
+print(f"Files in directory: {os.listdir('.')}")
+print(f"sfosr_core directory exists: {os.path.exists('sfosr_core')}")
+if os.path.exists('sfosr_core'):
+    print(f"Files in sfosr_core: {os.listdir('sfosr_core')}")
+
 from sfosr_core.sfosr_system import SFOSRSystem # Assuming sfosr_system.py is in sfosr_core
 
 # --- Configuration ---
@@ -14,7 +26,7 @@ DB_PATH = "sfosr.db" # Assumes the database is in the root directory
 
 # Check if DB exists, otherwise handle appropriately (e.g., log an error)
 if not os.path.exists(DB_PATH):
-    print(f"Error: Database file not found at {DB_PATH}. Please ensure it exists.")
+    print(f"Error: Database file not found at {DB_PATH}. Current working directory: {os.getcwd()}, Files in directory: {os.listdir()}")
     # In a real scenario, you might want to exit or provide a way to upload/create it.
     sfosr_instance = None # Indicate that the system is not ready
 else:
@@ -23,7 +35,7 @@ else:
         sfosr_instance = SFOSRSystem(db_path=DB_PATH)
         print("SFOSR System initialized successfully.")
     except Exception as e:
-        print(f"Error initializing SFOSR System: {e}")
+        print(f"Error initializing SFOSR System: {e}\nTraceback: {traceback.format_exc()}")
         sfosr_instance = None # Indicate that the system failed to initialize
 
 # --- Helper Functions for Gradio ---