2025-11-28T18:05:31,573 Created temporary directory: /tmp/pip-ephem-wheel-cache-gm78f5az
2025-11-28T18:05:31,576 Created temporary directory: /tmp/pip-build-tracker-zti1q9fg
2025-11-28T18:05:31,576 Initialized build tracking at /tmp/pip-build-tracker-zti1q9fg
2025-11-28T18:05:31,577 Created build tracker: /tmp/pip-build-tracker-zti1q9fg
2025-11-28T18:05:31,577 Entered build tracker: /tmp/pip-build-tracker-zti1q9fg
2025-11-28T18:05:31,578 Created temporary directory: /tmp/pip-wheel-xj8ztkt2
2025-11-28T18:05:31,581 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-11-28T18:05:31,583 Created temporary directory: /tmp/pip-ephem-wheel-cache-u5uow1nf
2025-11-28T18:05:31,605 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-11-28T18:05:31,609 2 location(s) to search for versions of lean-xplore:
2025-11-28T18:05:31,609 * https://pypi.org/simple/lean-xplore/
2025-11-28T18:05:31,609 * https://www.piwheels.org/simple/lean-xplore/
2025-11-28T18:05:31,609 Fetching project page and analyzing links: https://pypi.org/simple/lean-xplore/
2025-11-28T18:05:31,610 Getting page https://pypi.org/simple/lean-xplore/
2025-11-28T18:05:31,611 Found index url https://pypi.org/simple
2025-11-28T18:05:31,750 Fetched page https://pypi.org/simple/lean-xplore/ as application/vnd.pypi.simple.v1+json
2025-11-28T18:05:31,751   Skipping link: No binaries permitted for lean-xplore: https://files.pythonhosted.org/packages/d2/d1/7aac87029ea6096e030b8bb93ee0ebaae9368703ca783192c4c12b9b790c/lean_xplore-0.4.0-py3-none-any.whl (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-28T18:05:31,753   Found link https://files.pythonhosted.org/packages/69/71/6f21468bd1f9f10b5e8a1c09c86d9a47a4de72c5e3350d73c9852a9c066c/lean_xplore-0.4.0.tar.gz (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10), version: 0.4.0
2025-11-28T18:05:31,753   Skipping link: No binaries permitted for lean-xplore: https://files.pythonhosted.org/packages/ef/6c/c76fd9e95044e6d8a7922ca9899e877ab805cd4a016157e067000252ca74/lean_xplore-0.4.1-py3-none-any.whl (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-28T18:05:31,754   Found link https://files.pythonhosted.org/packages/83/f2/219834fa0558491129fb56c46ebdb21bfa48c2d59a614df15d00bde1e484/lean_xplore-0.4.1.tar.gz (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10), version: 0.4.1
2025-11-28T18:05:31,755 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-xplore/
2025-11-28T18:05:31,756 Getting page https://www.piwheels.org/simple/lean-xplore/
2025-11-28T18:05:31,757 Found index url https://www.piwheels.org/simple
2025-11-28T18:05:31,918 Fetched page https://www.piwheels.org/simple/lean-xplore/ as text/html
2025-11-28T18:05:31,919   Skipping link: No binaries permitted for lean-xplore: https://www.piwheels.org/simple/lean-xplore/lean_xplore-0.4.0-py3-none-any.whl#sha256=90508ec99adb79c3f956aed0e8bc440ae967cd9c2240c94e066b1cfa7dc37349 (from https://www.piwheels.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-28T18:05:31,920 Skipping link: not a file: https://www.piwheels.org/simple/lean-xplore/
2025-11-28T18:05:31,921 Skipping link: not a file: https://pypi.org/simple/lean-xplore/
2025-11-28T18:05:31,940 Given no hashes to check 1 links for project 'lean-xplore': discarding no candidates
2025-11-28T18:05:31,958 Collecting lean-xplore==0.4.1
2025-11-28T18:05:31,960   Created temporary directory: /tmp/pip-unpack-ta4h5dak
2025-11-28T18:05:32,177   Downloading lean_xplore-0.4.1.tar.gz (220 kB)
2025-11-28T18:05:32,440   Added lean-xplore==0.4.1 from https://files.pythonhosted.org/packages/83/f2/219834fa0558491129fb56c46ebdb21bfa48c2d59a614df15d00bde1e484/lean_xplore-0.4.1.tar.gz to build tracker '/tmp/pip-build-tracker-zti1q9fg'
2025-11-28T18:05:32,446   Created temporary directory: /tmp/pip-build-env-qv9g3ivt
2025-11-28T18:05:32,450   Installing build dependencies: started
2025-11-28T18:05:32,451   Running command pip subprocess to install build dependencies
2025-11-28T18:05:33,579   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2025-11-28T18:05:34,224   DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2025-11-28T18:05:34,247   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-11-28T18:05:35,977   Collecting setuptools>=61.0
2025-11-28T18:05:36,082     Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB)
2025-11-28T18:05:38,940   Installing collected packages: setuptools
2025-11-28T18:05:42,470   Successfully installed setuptools-80.9.0
2025-11-28T18:05:42,739   Installing build dependencies: finished with status 'done'
2025-11-28T18:05:42,746   Getting requirements to build wheel: started
2025-11-28T18:05:42,747   Running command Getting requirements to build wheel
2025-11-28T18:05:43,359   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-28T18:05:43,359   !!

2025-11-28T18:05:43,360           ********************************************************************************
2025-11-28T18:05:43,361           Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0).

2025-11-28T18:05:43,362           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-28T18:05:43,363           or your builds will no longer be supported.

2025-11-28T18:05:43,364           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:43,364           ********************************************************************************

2025-11-28T18:05:43,366   !!
2025-11-28T18:05:43,366     corresp(dist, value, root_dir)
2025-11-28T18:05:43,454   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-28T18:05:43,454   !!

2025-11-28T18:05:43,455           ********************************************************************************
2025-11-28T18:05:43,456           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-28T18:05:43,457           License :: OSI Approved :: Apache Software License

2025-11-28T18:05:43,458           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:43,459           ********************************************************************************

2025-11-28T18:05:43,460   !!
2025-11-28T18:05:43,461     dist._finalize_license_expression()
2025-11-28T18:05:43,462   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-28T18:05:43,462   !!

2025-11-28T18:05:43,463           ********************************************************************************
2025-11-28T18:05:43,464           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-28T18:05:43,465           License :: OSI Approved :: Apache Software License

2025-11-28T18:05:43,467           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:43,467           ********************************************************************************

2025-11-28T18:05:43,469   !!
2025-11-28T18:05:43,469     self._finalize_license_expression()
2025-11-28T18:05:43,469   running egg_info
2025-11-28T18:05:43,473   writing lean_xplore.egg-info/PKG-INFO
2025-11-28T18:05:43,482   writing dependency_links to lean_xplore.egg-info/dependency_links.txt
2025-11-28T18:05:43,484   writing entry points to lean_xplore.egg-info/entry_points.txt
2025-11-28T18:05:43,489   writing requirements to lean_xplore.egg-info/requires.txt
2025-11-28T18:05:43,490   writing top-level names to lean_xplore.egg-info/top_level.txt
2025-11-28T18:05:43,539   reading manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:43,545   adding license file 'LICENSE'
2025-11-28T18:05:43,551   writing manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:43,653   Getting requirements to build wheel: finished with status 'done'
2025-11-28T18:05:43,656   Created temporary directory: /tmp/pip-modern-metadata-3grizgb8
2025-11-28T18:05:43,659   Preparing metadata (pyproject.toml): started
2025-11-28T18:05:43,660   Running command Preparing metadata (pyproject.toml)
2025-11-28T18:05:44,232   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-28T18:05:44,233   !!

2025-11-28T18:05:44,234           ********************************************************************************
2025-11-28T18:05:44,234           Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0).

2025-11-28T18:05:44,235           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-28T18:05:44,236           or your builds will no longer be supported.

2025-11-28T18:05:44,237           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:44,237           ********************************************************************************

2025-11-28T18:05:44,238   !!
2025-11-28T18:05:44,239     corresp(dist, value, root_dir)
2025-11-28T18:05:44,323   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-28T18:05:44,323   !!

2025-11-28T18:05:44,325           ********************************************************************************
2025-11-28T18:05:44,325           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-28T18:05:44,326           License :: OSI Approved :: Apache Software License

2025-11-28T18:05:44,328           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:44,328           ********************************************************************************

2025-11-28T18:05:44,329   !!
2025-11-28T18:05:44,330     dist._finalize_license_expression()
2025-11-28T18:05:44,331   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-28T18:05:44,331   !!

2025-11-28T18:05:44,332           ********************************************************************************
2025-11-28T18:05:44,333           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-28T18:05:44,334           License :: OSI Approved :: Apache Software License

2025-11-28T18:05:44,335           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:44,336           ********************************************************************************

2025-11-28T18:05:44,338   !!
2025-11-28T18:05:44,338     self._finalize_license_expression()
2025-11-28T18:05:44,339   running dist_info
2025-11-28T18:05:44,350   creating /tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info
2025-11-28T18:05:44,351   writing /tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/PKG-INFO
2025-11-28T18:05:44,360   writing dependency_links to /tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/dependency_links.txt
2025-11-28T18:05:44,362   writing entry points to /tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/entry_points.txt
2025-11-28T18:05:44,367   writing requirements to /tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/requires.txt
2025-11-28T18:05:44,368   writing top-level names to /tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/top_level.txt
2025-11-28T18:05:44,369   writing manifest file '/tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:44,413   reading manifest file '/tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:44,415   adding license file 'LICENSE'
2025-11-28T18:05:44,420   writing manifest file '/tmp/pip-modern-metadata-3grizgb8/lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:44,421   creating '/tmp/pip-modern-metadata-3grizgb8/lean_xplore-0.4.1.dist-info'
2025-11-28T18:05:44,548   Preparing metadata (pyproject.toml): finished with status 'done'
2025-11-28T18:05:44,556   Source in /tmp/pip-wheel-xj8ztkt2/lean-xplore_fa2b22b326274af09c6c986dd3b23707 has version 0.4.1, which satisfies requirement lean-xplore==0.4.1 from https://files.pythonhosted.org/packages/83/f2/219834fa0558491129fb56c46ebdb21bfa48c2d59a614df15d00bde1e484/lean_xplore-0.4.1.tar.gz
2025-11-28T18:05:44,557   Removed lean-xplore==0.4.1 from https://files.pythonhosted.org/packages/83/f2/219834fa0558491129fb56c46ebdb21bfa48c2d59a614df15d00bde1e484/lean_xplore-0.4.1.tar.gz from build tracker '/tmp/pip-build-tracker-zti1q9fg'
2025-11-28T18:05:44,568 Created temporary directory: /tmp/pip-unpack-cmf3kxnd
2025-11-28T18:05:44,569 Building wheels for collected packages: lean-xplore
2025-11-28T18:05:44,574   Created temporary directory: /tmp/pip-wheel-mvpheexq
2025-11-28T18:05:44,574   Destination directory: /tmp/pip-wheel-mvpheexq
2025-11-28T18:05:44,577   Building wheel for lean-xplore (pyproject.toml): started
2025-11-28T18:05:44,578   Running command Building wheel for lean-xplore (pyproject.toml)
2025-11-28T18:05:45,146   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-28T18:05:45,146   !!

2025-11-28T18:05:45,147           ********************************************************************************
2025-11-28T18:05:45,148           Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0).

2025-11-28T18:05:45,149           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-28T18:05:45,150           or your builds will no longer be supported.

2025-11-28T18:05:45,151           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:45,151           ********************************************************************************

2025-11-28T18:05:45,152   !!
2025-11-28T18:05:45,153     corresp(dist, value, root_dir)
2025-11-28T18:05:45,229   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-28T18:05:45,229   !!

2025-11-28T18:05:45,231           ********************************************************************************
2025-11-28T18:05:45,231           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-28T18:05:45,233           License :: OSI Approved :: Apache Software License

2025-11-28T18:05:45,234           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:45,235           ********************************************************************************

2025-11-28T18:05:45,236   !!
2025-11-28T18:05:45,236     dist._finalize_license_expression()
2025-11-28T18:05:45,237   /tmp/pip-build-env-qv9g3ivt/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-28T18:05:45,237   !!

2025-11-28T18:05:45,238           ********************************************************************************
2025-11-28T18:05:45,239           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-28T18:05:45,239           License :: OSI Approved :: Apache Software License

2025-11-28T18:05:45,240           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-28T18:05:45,241           ********************************************************************************

2025-11-28T18:05:45,242   !!
2025-11-28T18:05:45,242     self._finalize_license_expression()
2025-11-28T18:05:45,243   running bdist_wheel
2025-11-28T18:05:45,258   running build
2025-11-28T18:05:45,259   running build_py
2025-11-28T18:05:45,265   creating build/lib/lean_explore
2025-11-28T18:05:45,267   copying src/lean_explore/defaults.py -> build/lib/lean_explore
2025-11-28T18:05:45,270   copying src/lean_explore/__init__.py -> build/lib/lean_explore
2025-11-28T18:05:45,272   creating build/lib/lean_explore/http
2025-11-28T18:05:45,273   copying src/lean_explore/http/server.py -> build/lib/lean_explore/http
2025-11-28T18:05:45,276   copying src/lean_explore/http/__init__.py -> build/lib/lean_explore/http
2025-11-28T18:05:45,278   creating build/lib/lean_explore/api
2025-11-28T18:05:45,279   copying src/lean_explore/api/__init__.py -> build/lib/lean_explore/api
2025-11-28T18:05:45,281   copying src/lean_explore/api/client.py -> build/lib/lean_explore/api
2025-11-28T18:05:45,284   creating build/lib/lean_explore/shared
2025-11-28T18:05:45,285   copying src/lean_explore/shared/__init__.py -> build/lib/lean_explore/shared
2025-11-28T18:05:45,287   creating build/lib/lean_explore/local
2025-11-28T18:05:45,288   copying src/lean_explore/local/search.py -> build/lib/lean_explore/local
2025-11-28T18:05:45,291   copying src/lean_explore/local/__init__.py -> build/lib/lean_explore/local
2025-11-28T18:05:45,293   copying src/lean_explore/local/service.py -> build/lib/lean_explore/local
2025-11-28T18:05:45,296   creating build/lib/lean_explore/cli
2025-11-28T18:05:45,297   copying src/lean_explore/cli/data_commands.py -> build/lib/lean_explore/cli
2025-11-28T18:05:45,300   copying src/lean_explore/cli/config_utils.py -> build/lib/lean_explore/cli
2025-11-28T18:05:45,303   copying src/lean_explore/cli/agent.py -> build/lib/lean_explore/cli
2025-11-28T18:05:45,306   copying src/lean_explore/cli/main.py -> build/lib/lean_explore/cli
2025-11-28T18:05:45,309   copying src/lean_explore/cli/__init__.py -> build/lib/lean_explore/cli
2025-11-28T18:05:45,311   creating build/lib/lean_explore/mcp
2025-11-28T18:05:45,312   copying src/lean_explore/mcp/server.py -> build/lib/lean_explore/mcp
2025-11-28T18:05:45,314   copying src/lean_explore/mcp/tools.py -> build/lib/lean_explore/mcp
2025-11-28T18:05:45,317   copying src/lean_explore/mcp/__init__.py -> build/lib/lean_explore/mcp
2025-11-28T18:05:45,319   copying src/lean_explore/mcp/app.py -> build/lib/lean_explore/mcp
2025-11-28T18:05:45,322   creating build/lib/lean_explore/shared/models
2025-11-28T18:05:45,323   copying src/lean_explore/shared/models/db.py -> build/lib/lean_explore/shared/models
2025-11-28T18:05:45,325   copying src/lean_explore/shared/models/api.py -> build/lib/lean_explore/shared/models
2025-11-28T18:05:45,328   copying src/lean_explore/shared/models/__init__.py -> build/lib/lean_explore/shared/models
2025-11-28T18:05:45,330   creating build/lib/scripts
2025-11-28T18:05:45,331   copying scripts/populate_db.py -> build/lib/scripts
2025-11-28T18:05:45,334   copying scripts/generate_embeddings.py -> build/lib/scripts
2025-11-28T18:05:45,336   copying scripts/get_summaries.py -> build/lib/scripts
2025-11-28T18:05:45,339   copying scripts/generate_docs_data.py -> build/lib/scripts
2025-11-28T18:05:45,342   copying scripts/update_primary_declarations.py -> build/lib/scripts
2025-11-28T18:05:45,344   copying scripts/prepare_embedding_input.py -> build/lib/scripts
2025-11-28T18:05:45,346   copying scripts/generate_manifest.py -> build/lib/scripts
2025-11-28T18:05:45,349   copying scripts/build_faiss_index.py -> build/lib/scripts
2025-11-28T18:05:45,351   copying scripts/pagerank.py -> build/lib/scripts
2025-11-28T18:05:45,354   copying scripts/lean_to_english.py -> build/lib/scripts
2025-11-28T18:05:45,358   creating build/lib/benchmarking
2025-11-28T18:05:45,359   copying benchmarking/search_engine_ranker.py -> build/lib/benchmarking
2025-11-28T18:05:45,361   copying benchmarking/gather_search_data.py -> build/lib/benchmarking
2025-11-28T18:05:45,364   copying benchmarking/reset_results.py -> build/lib/benchmarking
2025-11-28T18:05:45,366   copying benchmarking/benchmark_search_rate.py -> build/lib/benchmarking
2025-11-28T18:05:45,368   copying benchmarking/inspect_prompts.py -> build/lib/benchmarking
2025-11-28T18:05:45,370   copying benchmarking/analyze_rankings.py -> build/lib/benchmarking
2025-11-28T18:05:45,373   creating build/lib/src
2025-11-28T18:05:45,374   copying src/config.py -> build/lib/src
2025-11-28T18:05:45,376   creating build/lib/tests
2025-11-28T18:05:45,377   copying tests/test_defaults.py -> build/lib/tests
2025-11-28T18:05:45,379   copying tests/conftest.py -> build/lib/tests
2025-11-28T18:05:45,382   copying tests/__init__.py -> build/lib/tests
2025-11-28T18:05:45,384   creating build/lib/dev_tools
2025-11-28T18:05:45,385   copying dev_tools/llm_caller.py -> build/lib/dev_tools
2025-11-28T18:05:45,388   copying dev_tools/__init__.py -> build/lib/dev_tools
2025-11-28T18:05:45,390   copying dev_tools/config.py -> build/lib/dev_tools
2025-11-28T18:05:45,393   creating build/lib/src/lean_explore
2025-11-28T18:05:45,394   copying src/lean_explore/defaults.py -> build/lib/src/lean_explore
2025-11-28T18:05:45,396   copying src/lean_explore/__init__.py -> build/lib/src/lean_explore
2025-11-28T18:05:45,398   creating build/lib/src/lean_explore/http
2025-11-28T18:05:45,399   copying src/lean_explore/http/server.py -> build/lib/src/lean_explore/http
2025-11-28T18:05:45,401   copying src/lean_explore/http/__init__.py -> build/lib/src/lean_explore/http
2025-11-28T18:05:45,403   creating build/lib/src/lean_explore/api
2025-11-28T18:05:45,404   copying src/lean_explore/api/__init__.py -> build/lib/src/lean_explore/api
2025-11-28T18:05:45,406   copying src/lean_explore/api/client.py -> build/lib/src/lean_explore/api
2025-11-28T18:05:45,409   creating build/lib/src/lean_explore/shared
2025-11-28T18:05:45,410   copying src/lean_explore/shared/__init__.py -> build/lib/src/lean_explore/shared
2025-11-28T18:05:45,412   creating build/lib/src/lean_explore/local
2025-11-28T18:05:45,413   copying src/lean_explore/local/search.py -> build/lib/src/lean_explore/local
2025-11-28T18:05:45,416   copying src/lean_explore/local/__init__.py -> build/lib/src/lean_explore/local
2025-11-28T18:05:45,418   copying src/lean_explore/local/service.py -> build/lib/src/lean_explore/local
2025-11-28T18:05:45,420   creating build/lib/src/lean_explore/cli
2025-11-28T18:05:45,422   copying src/lean_explore/cli/data_commands.py -> build/lib/src/lean_explore/cli
2025-11-28T18:05:45,424   copying src/lean_explore/cli/config_utils.py -> build/lib/src/lean_explore/cli
2025-11-28T18:05:45,427   copying src/lean_explore/cli/agent.py -> build/lib/src/lean_explore/cli
2025-11-28T18:05:45,430   copying src/lean_explore/cli/main.py -> build/lib/src/lean_explore/cli
2025-11-28T18:05:45,432   copying src/lean_explore/cli/__init__.py -> build/lib/src/lean_explore/cli
2025-11-28T18:05:45,435   creating build/lib/src/lean_explore/mcp
2025-11-28T18:05:45,436   copying src/lean_explore/mcp/server.py -> build/lib/src/lean_explore/mcp
2025-11-28T18:05:45,438   copying src/lean_explore/mcp/tools.py -> build/lib/src/lean_explore/mcp
2025-11-28T18:05:45,440   copying src/lean_explore/mcp/__init__.py -> build/lib/src/lean_explore/mcp
2025-11-28T18:05:45,442   copying src/lean_explore/mcp/app.py -> build/lib/src/lean_explore/mcp
2025-11-28T18:05:45,444   creating build/lib/src/lean_explore/shared/models
2025-11-28T18:05:45,446   copying src/lean_explore/shared/models/db.py -> build/lib/src/lean_explore/shared/models
2025-11-28T18:05:45,448   copying src/lean_explore/shared/models/api.py -> build/lib/src/lean_explore/shared/models
2025-11-28T18:05:45,450   copying src/lean_explore/shared/models/__init__.py -> build/lib/src/lean_explore/shared/models
2025-11-28T18:05:45,452   creating build/lib/tests/lean_explore
2025-11-28T18:05:45,453   copying tests/lean_explore/__init__.py -> build/lib/tests/lean_explore
2025-11-28T18:05:45,455   creating build/lib/tests/lean_explore/http
2025-11-28T18:05:45,456   copying tests/lean_explore/http/test_server.py -> build/lib/tests/lean_explore/http
2025-11-28T18:05:45,459   copying tests/lean_explore/http/__init__.py -> build/lib/tests/lean_explore/http
2025-11-28T18:05:45,461   creating build/lib/tests/lean_explore/api
2025-11-28T18:05:45,462   copying tests/lean_explore/api/test_client.py -> build/lib/tests/lean_explore/api
2025-11-28T18:05:45,464   copying tests/lean_explore/api/__init__.py -> build/lib/tests/lean_explore/api
2025-11-28T18:05:45,466   creating build/lib/tests/lean_explore/shared
2025-11-28T18:05:45,467   copying tests/lean_explore/shared/__init__.py -> build/lib/tests/lean_explore/shared
2025-11-28T18:05:45,470   creating build/lib/tests/lean_explore/local
2025-11-28T18:05:45,471   copying tests/lean_explore/local/test_search.py -> build/lib/tests/lean_explore/local
2025-11-28T18:05:45,474   copying tests/lean_explore/local/test_service.py -> build/lib/tests/lean_explore/local
2025-11-28T18:05:45,476   copying tests/lean_explore/local/__init__.py -> build/lib/tests/lean_explore/local
2025-11-28T18:05:45,479   creating build/lib/tests/lean_explore/cli
2025-11-28T18:05:45,479   copying tests/lean_explore/cli/test_config_utils.py -> build/lib/tests/lean_explore/cli
2025-11-28T18:05:45,482   copying tests/lean_explore/cli/test_data_commands.py -> build/lib/tests/lean_explore/cli
2025-11-28T18:05:45,485   copying tests/lean_explore/cli/__init__.py -> build/lib/tests/lean_explore/cli
2025-11-28T18:05:45,487   creating build/lib/tests/lean_explore/mcp
2025-11-28T18:05:45,488   copying tests/lean_explore/mcp/test_tools.py -> build/lib/tests/lean_explore/mcp
2025-11-28T18:05:45,491   copying tests/lean_explore/mcp/test_server.py -> build/lib/tests/lean_explore/mcp
2025-11-28T18:05:45,493   copying tests/lean_explore/mcp/test_app.py -> build/lib/tests/lean_explore/mcp
2025-11-28T18:05:45,496   copying tests/lean_explore/mcp/__init__.py -> build/lib/tests/lean_explore/mcp
2025-11-28T18:05:45,498   creating build/lib/dev_tools/population
2025-11-28T18:05:45,499   copying dev_tools/population/phase1_tasks.py -> build/lib/dev_tools/population
2025-11-28T18:05:45,502   copying dev_tools/population/phase3_tasks.py -> build/lib/dev_tools/population
2025-11-28T18:05:45,505   copying dev_tools/population/phase4_tasks.py -> build/lib/dev_tools/population
2025-11-28T18:05:45,507   copying dev_tools/population/phase5_tasks.py -> build/lib/dev_tools/population
2025-11-28T18:05:45,510   copying dev_tools/population/phase2_tasks.py -> build/lib/dev_tools/population
2025-11-28T18:05:45,513   copying dev_tools/population/__init__.py -> build/lib/dev_tools/population
2025-11-28T18:05:45,515   running egg_info
2025-11-28T18:05:45,526   writing lean_xplore.egg-info/PKG-INFO
2025-11-28T18:05:45,535   writing dependency_links to lean_xplore.egg-info/dependency_links.txt
2025-11-28T18:05:45,536   writing entry points to lean_xplore.egg-info/entry_points.txt
2025-11-28T18:05:45,541   writing requirements to lean_xplore.egg-info/requires.txt
2025-11-28T18:05:45,542   writing top-level names to lean_xplore.egg-info/top_level.txt
2025-11-28T18:05:45,573   reading manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:45,579   adding license file 'LICENSE'
2025-11-28T18:05:45,585   writing manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-28T18:05:45,620   installing to build/bdist.linux-armv7l/wheel
2025-11-28T18:05:45,621   running install
2025-11-28T18:05:45,644   running install_lib
2025-11-28T18:05:45,650   creating build/bdist.linux-armv7l/wheel
2025-11-28T18:05:45,652   creating build/bdist.linux-armv7l/wheel/scripts
2025-11-28T18:05:45,653   copying build/lib/scripts/populate_db.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,656   copying build/lib/scripts/generate_embeddings.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,658   copying build/lib/scripts/get_summaries.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,661   copying build/lib/scripts/generate_docs_data.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,663   copying build/lib/scripts/update_primary_declarations.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,666   copying build/lib/scripts/prepare_embedding_input.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,668   copying build/lib/scripts/generate_manifest.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,670   copying build/lib/scripts/build_faiss_index.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,673   copying build/lib/scripts/pagerank.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,675   copying build/lib/scripts/lean_to_english.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-28T18:05:45,679   creating build/bdist.linux-armv7l/wheel/benchmarking
2025-11-28T18:05:45,680   copying build/lib/benchmarking/search_engine_ranker.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-28T18:05:45,683   copying build/lib/benchmarking/gather_search_data.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-28T18:05:45,685   copying build/lib/benchmarking/reset_results.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-28T18:05:45,687   copying build/lib/benchmarking/benchmark_search_rate.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-28T18:05:45,690   copying build/lib/benchmarking/inspect_prompts.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-28T18:05:45,692   copying build/lib/benchmarking/analyze_rankings.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-28T18:05:45,695   creating build/bdist.linux-armv7l/wheel/src
2025-11-28T18:05:45,696   copying build/lib/src/config.py -> build/bdist.linux-armv7l/wheel/./src
2025-11-28T18:05:45,699   creating build/bdist.linux-armv7l/wheel/src/lean_explore
2025-11-28T18:05:45,700   creating build/bdist.linux-armv7l/wheel/src/lean_explore/http
2025-11-28T18:05:45,701   copying build/lib/src/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http
2025-11-28T18:05:45,704   copying build/lib/src/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http
2025-11-28T18:05:45,706   creating build/bdist.linux-armv7l/wheel/src/lean_explore/api
2025-11-28T18:05:45,707   copying build/lib/src/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api
2025-11-28T18:05:45,709   copying build/lib/src/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api
2025-11-28T18:05:45,712   creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared
2025-11-28T18:05:45,714   creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared/models
2025-11-28T18:05:45,715   copying build/lib/src/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-28T18:05:45,717   copying build/lib/src/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-28T18:05:45,720   copying build/lib/src/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-28T18:05:45,721   copying build/lib/src/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared
2025-11-28T18:05:45,724   creating build/bdist.linux-armv7l/wheel/src/lean_explore/local
2025-11-28T18:05:45,725   copying build/lib/src/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-28T18:05:45,727   copying build/lib/src/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-28T18:05:45,729   copying build/lib/src/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-28T18:05:45,732   creating build/bdist.linux-armv7l/wheel/src/lean_explore/cli
2025-11-28T18:05:45,733   copying build/lib/src/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-28T18:05:45,736   copying build/lib/src/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-28T18:05:45,738   copying build/lib/src/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-28T18:05:45,741   copying build/lib/src/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-28T18:05:45,744   copying build/lib/src/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-28T18:05:45,745   copying build/lib/src/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore
2025-11-28T18:05:45,748   creating build/bdist.linux-armv7l/wheel/src/lean_explore/mcp
2025-11-28T18:05:45,749   copying build/lib/src/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-28T18:05:45,751   copying build/lib/src/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-28T18:05:45,754   copying build/lib/src/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-28T18:05:45,756   copying build/lib/src/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-28T18:05:45,758   copying build/lib/src/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore
2025-11-28T18:05:45,760   creating build/bdist.linux-armv7l/wheel/tests
2025-11-28T18:05:45,761   copying build/lib/tests/test_defaults.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-28T18:05:45,764   copying build/lib/tests/conftest.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-28T18:05:45,766   copying build/lib/tests/__init__.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-28T18:05:45,768   creating build/bdist.linux-armv7l/wheel/tests/lean_explore
2025-11-28T18:05:45,769   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/http
2025-11-28T18:05:45,771   copying build/lib/tests/lean_explore/http/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http
2025-11-28T18:05:45,773   copying build/lib/tests/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http
2025-11-28T18:05:45,776   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/api
2025-11-28T18:05:45,777   copying build/lib/tests/lean_explore/api/test_client.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api
2025-11-28T18:05:45,779   copying build/lib/tests/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api
2025-11-28T18:05:45,782   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/shared
2025-11-28T18:05:45,783   copying build/lib/tests/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/shared
2025-11-28T18:05:45,786   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/local
2025-11-28T18:05:45,787   copying build/lib/tests/lean_explore/local/test_search.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-28T18:05:45,790   copying build/lib/tests/lean_explore/local/test_service.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-28T18:05:45,793   copying build/lib/tests/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-28T18:05:45,795   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/cli
2025-11-28T18:05:45,796   copying build/lib/tests/lean_explore/cli/test_config_utils.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-28T18:05:45,799   copying build/lib/tests/lean_explore/cli/test_data_commands.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-28T18:05:45,802   copying build/lib/tests/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-28T18:05:45,804   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/mcp
2025-11-28T18:05:45,806   copying build/lib/tests/lean_explore/mcp/test_tools.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-28T18:05:45,808   copying build/lib/tests/lean_explore/mcp/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-28T18:05:45,811   copying build/lib/tests/lean_explore/mcp/test_app.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-28T18:05:45,813   copying build/lib/tests/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-28T18:05:45,815   copying build/lib/tests/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore
2025-11-28T18:05:45,817   creating build/bdist.linux-armv7l/wheel/lean_explore
2025-11-28T18:05:45,818   creating build/bdist.linux-armv7l/wheel/lean_explore/http
2025-11-28T18:05:45,820   copying build/lib/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http
2025-11-28T18:05:45,822   copying build/lib/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http
2025-11-28T18:05:45,824   creating build/bdist.linux-armv7l/wheel/lean_explore/api
2025-11-28T18:05:45,825   copying build/lib/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api
2025-11-28T18:05:45,827   copying build/lib/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api
2025-11-28T18:05:45,830   creating build/bdist.linux-armv7l/wheel/lean_explore/shared
2025-11-28T18:05:45,832   creating build/bdist.linux-armv7l/wheel/lean_explore/shared/models
2025-11-28T18:05:45,833   copying build/lib/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-28T18:05:45,835   copying build/lib/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-28T18:05:45,838   copying build/lib/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-28T18:05:45,839   copying build/lib/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared
2025-11-28T18:05:45,842   creating build/bdist.linux-armv7l/wheel/lean_explore/local
2025-11-28T18:05:45,843   copying build/lib/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-28T18:05:45,846   copying build/lib/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-28T18:05:45,848   copying build/lib/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-28T18:05:45,852   creating build/bdist.linux-armv7l/wheel/lean_explore/cli
2025-11-28T18:05:45,853   copying build/lib/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-28T18:05:45,856   copying build/lib/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-28T18:05:45,858   copying build/lib/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-28T18:05:45,861   copying build/lib/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-28T18:05:45,863   copying build/lib/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-28T18:05:45,865   copying build/lib/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./lean_explore
2025-11-28T18:05:45,868   creating build/bdist.linux-armv7l/wheel/lean_explore/mcp
2025-11-28T18:05:45,869   copying build/lib/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-28T18:05:45,871   copying build/lib/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-28T18:05:45,874   copying build/lib/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-28T18:05:45,875   copying build/lib/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-28T18:05:45,878   copying build/lib/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore
2025-11-28T18:05:45,880   creating build/bdist.linux-armv7l/wheel/dev_tools
2025-11-28T18:05:45,881   copying build/lib/dev_tools/llm_caller.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-28T18:05:45,884   copying build/lib/dev_tools/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-28T18:05:45,886   copying build/lib/dev_tools/config.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-28T18:05:45,889   creating build/bdist.linux-armv7l/wheel/dev_tools/population
2025-11-28T18:05:45,890   copying build/lib/dev_tools/population/phase1_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-28T18:05:45,893   copying build/lib/dev_tools/population/phase3_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-28T18:05:45,896   copying build/lib/dev_tools/population/phase4_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-28T18:05:45,898   copying build/lib/dev_tools/population/phase5_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-28T18:05:45,900   copying build/lib/dev_tools/population/phase2_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-28T18:05:45,903   copying build/lib/dev_tools/population/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-28T18:05:45,905   running install_egg_info
2025-11-28T18:05:45,910   Copying lean_xplore.egg-info to build/bdist.linux-armv7l/wheel/./lean_xplore-0.4.1-py3.11.egg-info
2025-11-28T18:05:45,922   running install_scripts
2025-11-28T18:05:45,936   creating build/bdist.linux-armv7l/wheel/lean_xplore-0.4.1.dist-info/WHEEL
2025-11-28T18:05:45,939   creating '/tmp/pip-wheel-mvpheexq/.tmp-5bzcza4j/lean_xplore-0.4.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-11-28T18:05:45,942   adding 'benchmarking/analyze_rankings.py'
2025-11-28T18:05:45,945   adding 'benchmarking/benchmark_search_rate.py'
2025-11-28T18:05:45,949   adding 'benchmarking/gather_search_data.py'
2025-11-28T18:05:45,951   adding 'benchmarking/inspect_prompts.py'
2025-11-28T18:05:45,952   adding 'benchmarking/reset_results.py'
2025-11-28T18:05:45,957   adding 'benchmarking/search_engine_ranker.py'
2025-11-28T18:05:45,959   adding 'dev_tools/__init__.py'
2025-11-28T18:05:45,962   adding 'dev_tools/config.py'
2025-11-28T18:05:45,968   adding 'dev_tools/llm_caller.py'
2025-11-28T18:05:45,970   adding 'dev_tools/population/__init__.py'
2025-11-28T18:05:45,974   adding 'dev_tools/population/phase1_tasks.py'
2025-11-28T18:05:45,978   adding 'dev_tools/population/phase2_tasks.py'
2025-11-28T18:05:45,981   adding 'dev_tools/population/phase3_tasks.py'
2025-11-28T18:05:45,983   adding 'dev_tools/population/phase4_tasks.py'
2025-11-28T18:05:45,985   adding 'dev_tools/population/phase5_tasks.py'
2025-11-28T18:05:45,987   adding 'lean_explore/__init__.py'
2025-11-28T18:05:45,988   adding 'lean_explore/defaults.py'
2025-11-28T18:05:45,990   adding 'lean_explore/api/__init__.py'
2025-11-28T18:05:45,992   adding 'lean_explore/api/client.py'
2025-11-28T18:05:45,994   adding 'lean_explore/cli/__init__.py'
2025-11-28T18:05:45,998   adding 'lean_explore/cli/agent.py'
2025-11-28T18:05:46,000   adding 'lean_explore/cli/config_utils.py'
2025-11-28T18:05:46,003   adding 'lean_explore/cli/data_commands.py'
2025-11-28T18:05:46,007   adding 'lean_explore/cli/main.py'
2025-11-28T18:05:46,009   adding 'lean_explore/http/__init__.py'
2025-11-28T18:05:46,010   adding 'lean_explore/http/server.py'
2025-11-28T18:05:46,012   adding 'lean_explore/local/__init__.py'
2025-11-28T18:05:46,016   adding 'lean_explore/local/search.py'
2025-11-28T18:05:46,019   adding 'lean_explore/local/service.py'
2025-11-28T18:05:46,021   adding 'lean_explore/mcp/__init__.py'
2025-11-28T18:05:46,022   adding 'lean_explore/mcp/app.py'
2025-11-28T18:05:46,024   adding 'lean_explore/mcp/server.py'
2025-11-28T18:05:46,026   adding 'lean_explore/mcp/tools.py'
2025-11-28T18:05:46,028   adding 'lean_explore/shared/__init__.py'
2025-11-28T18:05:46,029   adding 'lean_explore/shared/models/__init__.py'
2025-11-28T18:05:46,031   adding 'lean_explore/shared/models/api.py'
2025-11-28T18:05:46,033   adding 'lean_explore/shared/models/db.py'
2025-11-28T18:05:46,036   adding 'lean_xplore-0.4.1.dist-info/licenses/LICENSE'
2025-11-28T18:05:46,040   adding 'scripts/build_faiss_index.py'
2025-11-28T18:05:46,045   adding 'scripts/generate_docs_data.py'
2025-11-28T18:05:46,047   adding 'scripts/generate_embeddings.py'
2025-11-28T18:05:46,050   adding 'scripts/generate_manifest.py'
2025-11-28T18:05:46,054   adding 'scripts/get_summaries.py'
2025-11-28T18:05:46,059   adding 'scripts/lean_to_english.py'
2025-11-28T18:05:46,062   adding 'scripts/pagerank.py'
2025-11-28T18:05:46,065   adding 'scripts/populate_db.py'
2025-11-28T18:05:46,067   adding 'scripts/prepare_embedding_input.py'
2025-11-28T18:05:46,069   adding 'scripts/update_primary_declarations.py'
2025-11-28T18:05:46,071   adding 'src/config.py'
2025-11-28T18:05:46,073   adding 'src/lean_explore/__init__.py'
2025-11-28T18:05:46,075   adding 'src/lean_explore/defaults.py'
2025-11-28T18:05:46,076   adding 'src/lean_explore/api/__init__.py'
2025-11-28T18:05:46,078   adding 'src/lean_explore/api/client.py'
2025-11-28T18:05:46,080   adding 'src/lean_explore/cli/__init__.py'
2025-11-28T18:05:46,083   adding 'src/lean_explore/cli/agent.py'
2025-11-28T18:05:46,085   adding 'src/lean_explore/cli/config_utils.py'
2025-11-28T18:05:46,088   adding 'src/lean_explore/cli/data_commands.py'
2025-11-28T18:05:46,091   adding 'src/lean_explore/cli/main.py'
2025-11-28T18:05:46,093   adding 'src/lean_explore/http/__init__.py'
2025-11-28T18:05:46,095   adding 'src/lean_explore/http/server.py'
2025-11-28T18:05:46,096   adding 'src/lean_explore/local/__init__.py'
2025-11-28T18:05:46,101   adding 'src/lean_explore/local/search.py'
2025-11-28T18:05:46,104   adding 'src/lean_explore/local/service.py'
2025-11-28T18:05:46,105   adding 'src/lean_explore/mcp/__init__.py'
2025-11-28T18:05:46,107   adding 'src/lean_explore/mcp/app.py'
2025-11-28T18:05:46,109   adding 'src/lean_explore/mcp/server.py'
2025-11-28T18:05:46,111   adding 'src/lean_explore/mcp/tools.py'
2025-11-28T18:05:46,112   adding 'src/lean_explore/shared/__init__.py'
2025-11-28T18:05:46,114   adding 'src/lean_explore/shared/models/__init__.py'
2025-11-28T18:05:46,115   adding 'src/lean_explore/shared/models/api.py'
2025-11-28T18:05:46,117   adding 'src/lean_explore/shared/models/db.py'
2025-11-28T18:05:46,119   adding 'tests/__init__.py'
2025-11-28T18:05:46,121   adding 'tests/conftest.py'
2025-11-28T18:05:46,123   adding 'tests/test_defaults.py'
2025-11-28T18:05:46,124   adding 'tests/lean_explore/__init__.py'
2025-11-28T18:05:46,126   adding 'tests/lean_explore/api/__init__.py'
2025-11-28T18:05:46,128   adding 'tests/lean_explore/api/test_client.py'
2025-11-28T18:05:46,130   adding 'tests/lean_explore/cli/__init__.py'
2025-11-28T18:05:46,132   adding 'tests/lean_explore/cli/test_config_utils.py'
2025-11-28T18:05:46,135   adding 'tests/lean_explore/cli/test_data_commands.py'
2025-11-28T18:05:46,137   adding 'tests/lean_explore/http/__init__.py'
2025-11-28T18:05:46,139   adding 'tests/lean_explore/http/test_server.py'
2025-11-28T18:05:46,141   adding 'tests/lean_explore/local/__init__.py'
2025-11-28T18:05:46,144   adding 'tests/lean_explore/local/test_search.py'
2025-11-28T18:05:46,147   adding 'tests/lean_explore/local/test_service.py'
2025-11-28T18:05:46,149   adding 'tests/lean_explore/mcp/__init__.py'
2025-11-28T18:05:46,150   adding 'tests/lean_explore/mcp/test_app.py'
2025-11-28T18:05:46,152   adding 'tests/lean_explore/mcp/test_server.py'
2025-11-28T18:05:46,154   adding 'tests/lean_explore/mcp/test_tools.py'
2025-11-28T18:05:46,156   adding 'tests/lean_explore/shared/__init__.py'
2025-11-28T18:05:46,158   adding 'lean_xplore-0.4.1.dist-info/METADATA'
2025-11-28T18:05:46,160   adding 'lean_xplore-0.4.1.dist-info/WHEEL'
2025-11-28T18:05:46,161   adding 'lean_xplore-0.4.1.dist-info/entry_points.txt'
2025-11-28T18:05:46,161   adding 'lean_xplore-0.4.1.dist-info/top_level.txt'
2025-11-28T18:05:46,163   adding 'lean_xplore-0.4.1.dist-info/RECORD'
2025-11-28T18:05:46,169   removing build/bdist.linux-armv7l/wheel
2025-11-28T18:05:46,301   Building wheel for lean-xplore (pyproject.toml): finished with status 'done'
2025-11-28T18:05:46,308   Created wheel for lean-xplore: filename=lean_xplore-0.4.1-py3-none-any.whl size=309738 sha256=6861bd7afd0b35160a6be3bbf7cb8c54d4fe678605221a50e4244e50756dd960
2025-11-28T18:05:46,309   Stored in directory: /tmp/pip-ephem-wheel-cache-u5uow1nf/wheels/82/05/51/405a87b3ddb8e583b11f7f390ce34750c42d854d7fa906ff58
2025-11-28T18:05:46,332 Successfully built lean-xplore
2025-11-28T18:05:46,344 Removed build tracker: '/tmp/pip-build-tracker-zti1q9fg'