lean-explore 1.0.1__py3-none-any.whl → 1.0.2__py3-none-any.whl

lean_explore/search/engine.py

@@ -59,7 +59,7 @@ class SearchEngine:
         reranker_model_name: str = "Qwen/Qwen3-Reranker-0.6B",
         faiss_index_path: Path | None = None,
         faiss_ids_map_path: Path | None = None,
-        use_local_data: bool = True,
+        use_local_data: bool = False,
     ):
         """Initialize the search engine.
 
@@ -71,8 +71,9 @@ class SearchEngine:
             reranker_model_name: Name of the reranker model to use.
             faiss_index_path: Path to FAISS index. Defaults to config path.
             faiss_ids_map_path: Path to FAISS ID mapping. Defaults to config path.
-            use_local_data: If True, use DATA_DIRECTORY paths. If False, use
-                CACHE_DIRECTORY paths (for downloaded remote data).
+            use_local_data: If True, use DATA_DIRECTORY paths (for locally
+                generated data). If False, use CACHE_DIRECTORY paths (for
+                data downloaded via 'lean-explore data fetch').
         """
         self._embedding_client = embedding_client
         self._embedding_model_name = embedding_model_name

{lean_explore-1.0.1.dist-info → lean_explore-1.0.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lean-explore
-Version: 1.0.1
+Version: 1.0.2
 Summary: A search engine for Lean 4 declarations.
 Author-email: Justin Asher <justinchadwickasher@gmail.com>
 License:                                  Apache License

{lean_explore-1.0.1.dist-info → lean_explore-1.0.2.dist-info}/RECORD

@@ -26,7 +26,7 @@ lean_explore/models/__init__.py,sha256=G2Xeld_DADq-hhxm1K1CrEPeAM3ylHU2ckCh42Ogx
 lean_explore/models/search_db.py,sha256=_a6B6FpqUevyHvW4KmNLeziiznIuxftpMUy0AtSDBJE,2673
 lean_explore/models/search_types.py,sha256=VcFGrK5Z12Cg9f2R-Y6GXGlh2SunyBAJaZ5I4DG0AUw,1442
 lean_explore/search/__init__.py,sha256=0k_iHe5xrurepznk7NzMYz10QFbK10ydMlpFlsuyFSc,1216
-lean_explore/search/engine.py,sha256=e4F_wOChfY6aBWQbYXDpsE_gIENXzd-Vj08aRK5qrls,23591
+lean_explore/search/engine.py,sha256=oAsqiltBEXsbur0t77-zG8ATgcZ-8vKX8vvdoPNZsv0,23660
 lean_explore/search/scoring.py,sha256=VkH-kpGheX14_tf8uJYBOp0nrG05_JJLmv7_0QdfAQk,4168
 lean_explore/search/service.py,sha256=6CWN-U5jxv7cTzc7ffitgzNMn3k59LfirpteC4xsvSE,1915
 lean_explore/search/tokenization.py,sha256=1EHd3dbJLwnmrj2SmdU1W8WoyCUnzhJB5gzmZLpWifs,1831
@@ -35,9 +35,9 @@ lean_explore/util/embedding_client.py,sha256=6XJGJrGTXAiefDr-E1j_SPHTTZMIJYi62Pw
 lean_explore/util/logging.py,sha256=hF8YPi-1I6DdC1B_yROXA6u5GG14IIhD0Nym2FfqgRA,649
 lean_explore/util/openrouter_client.py,sha256=C_0HLO5o1seYjGl2zn6897i2onK7CdI6XxtE3cWb3Os,1926
 lean_explore/util/reranker_client.py,sha256=kLCTGPMQuphjwAj0PPi9KXpSzDP7o9JRQJpTbmWGiMs,6074
-lean_explore-1.0.1.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
-lean_explore-1.0.1.dist-info/METADATA,sha256=Cuj-elh89YOPKaM_bf7jxvsumb1nQpm_sytbB8bF0ak,17084
-lean_explore-1.0.1.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
-lean_explore-1.0.1.dist-info/entry_points.txt,sha256=FuKSRE7GmI9B_kM-xoiWEJj2dQ4upqhHnw8qH1vcjW8,59
-lean_explore-1.0.1.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
-lean_explore-1.0.1.dist-info/RECORD,,
+lean_explore-1.0.2.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
+lean_explore-1.0.2.dist-info/METADATA,sha256=MzBiz91-USMmnybIjXQoUrr0ieU1MHOmyFaFdeDPVDc,17084
+lean_explore-1.0.2.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
+lean_explore-1.0.2.dist-info/entry_points.txt,sha256=FuKSRE7GmI9B_kM-xoiWEJj2dQ4upqhHnw8qH1vcjW8,59
+lean_explore-1.0.2.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
+lean_explore-1.0.2.dist-info/RECORD,,