init new db json

Author: durant42040

lean_dojo_v2/database/dynamic_database.py

@@ -55,18 +55,8 @@ def __init__(self, json_path: str = "dynamic_database.json"):
         self.json_path = json_path
         self.repositories = []
 
-        if not os.path.exists(self.json_path) or os.path.getsize(self.json_path) == 0:
-            # File doesn't exist or is empty, initialize it
-            logger.info(f"Initializing new database at {self.json_path}")
-            self.to_json(self.json_path)
-        else:
-            try:
-                self._load_from_json(self.json_path)
-            except json.JSONDecodeError:
-                logger.warning(
-                    f"Error decoding JSON from {self.json_path}. Initializing new database."
-                )
-                self.to_json(self.json_path)
+        logger.info(f"Initializing new database at {self.json_path}")
+        self.to_json(self.json_path)
 
     SPLIT = Dict[str, List[Theorem]]