2025-11-28T17:05:58,378 Created temporary directory: /tmp/pip-ephem-wheel-cache-_ch78wvu 2025-11-28T17:05:58,380 Created temporary directory: /tmp/pip-build-tracker-lby4q7j1 2025-11-28T17:05:58,381 Initialized build tracking at /tmp/pip-build-tracker-lby4q7j1 2025-11-28T17:05:58,381 Created build tracker: /tmp/pip-build-tracker-lby4q7j1 2025-11-28T17:05:58,382 Entered build tracker: /tmp/pip-build-tracker-lby4q7j1 2025-11-28T17:05:58,383 Created temporary directory: /tmp/pip-wheel-kfkkroum 2025-11-28T17:05:58,386 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-28T17:05:58,389 Created temporary directory: /tmp/pip-ephem-wheel-cache-prml1op0 2025-11-28T17:05:58,411 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-28T17:05:58,415 2 location(s) to search for versions of lean-xplore: 2025-11-28T17:05:58,415 * https://pypi.org/simple/lean-xplore/ 2025-11-28T17:05:58,415 * https://www.piwheels.org/simple/lean-xplore/ 2025-11-28T17:05:58,416 Fetching project page and analyzing links: https://pypi.org/simple/lean-xplore/ 2025-11-28T17:05:58,416 Getting page https://pypi.org/simple/lean-xplore/ 2025-11-28T17:05:58,418 Found index url https://pypi.org/simple 2025-11-28T17:05:58,647 Fetched page https://pypi.org/simple/lean-xplore/ as application/vnd.pypi.simple.v1+json 2025-11-28T17:05:58,649 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-28T17:05:58,650 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-28T17:05:58,651 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-28T17:05:58,652 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-28T17:05:58,653 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-xplore/ 2025-11-28T17:05:58,653 Getting page https://www.piwheels.org/simple/lean-xplore/ 2025-11-28T17:05:58,655 Found index url https://www.piwheels.org/simple 2025-11-28T17:05:58,814 Fetched page https://www.piwheels.org/simple/lean-xplore/ as text/html 2025-11-28T17:05:58,815 Skipping link: not a file: https://www.piwheels.org/simple/lean-xplore/ 2025-11-28T17:05:58,815 Skipping link: not a file: https://pypi.org/simple/lean-xplore/ 2025-11-28T17:05:58,834 Given no hashes to check 1 links for project 'lean-xplore': discarding no candidates 2025-11-28T17:05:58,852 Collecting lean-xplore==0.4.0 2025-11-28T17:05:58,855 Created temporary directory: /tmp/pip-unpack-ghuh0c79 2025-11-28T17:05:58,992 Downloading lean_xplore-0.4.0.tar.gz (220 kB) 2025-11-28T17:05:59,262 Added lean-xplore==0.4.0 from https://files.pythonhosted.org/packages/69/71/6f21468bd1f9f10b5e8a1c09c86d9a47a4de72c5e3350d73c9852a9c066c/lean_xplore-0.4.0.tar.gz to build tracker '/tmp/pip-build-tracker-lby4q7j1' 2025-11-28T17:05:59,268 Created temporary directory: /tmp/pip-build-env-fazdpn8f 2025-11-28T17:05:59,272 Installing build dependencies: started 2025-11-28T17:05:59,273 Running command pip subprocess to install build dependencies 2025-11-28T17:06:00,406 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-11-28T17:06:01,039 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-28T17:06:01,062 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-28T17:06:02,774 Collecting setuptools>=61.0 2025-11-28T17:06:02,869 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-11-28T17:06:05,795 Installing collected packages: setuptools 2025-11-28T17:06:09,458 Successfully installed setuptools-80.9.0 2025-11-28T17:06:09,725 Installing build dependencies: finished with status 'done' 2025-11-28T17:06:09,732 Getting requirements to build wheel: started 2025-11-28T17:06:09,733 Running command Getting requirements to build wheel 2025-11-28T17:06:10,350 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated 2025-11-28T17:06:10,350 !! 2025-11-28T17:06:10,351 ******************************************************************************** 2025-11-28T17:06:10,352 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-28T17:06:10,353 By 2026-Feb-18, you need to update your project and remove deprecated calls 2025-11-28T17:06:10,353 or your builds will no longer be supported. 2025-11-28T17:06:10,354 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:10,355 ******************************************************************************** 2025-11-28T17:06:10,356 !! 2025-11-28T17:06:10,357 corresp(dist, value, root_dir) 2025-11-28T17:06:10,444 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-11-28T17:06:10,445 !! 2025-11-28T17:06:10,446 ******************************************************************************** 2025-11-28T17:06:10,447 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-11-28T17:06:10,448 License :: OSI Approved :: Apache Software License 2025-11-28T17:06:10,449 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:10,450 ******************************************************************************** 2025-11-28T17:06:10,451 !! 2025-11-28T17:06:10,452 dist._finalize_license_expression() 2025-11-28T17:06:10,452 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-11-28T17:06:10,453 !! 2025-11-28T17:06:10,454 ******************************************************************************** 2025-11-28T17:06:10,455 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-11-28T17:06:10,456 License :: OSI Approved :: Apache Software License 2025-11-28T17:06:10,457 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:10,458 ******************************************************************************** 2025-11-28T17:06:10,459 !! 2025-11-28T17:06:10,460 self._finalize_license_expression() 2025-11-28T17:06:10,460 running egg_info 2025-11-28T17:06:10,464 writing lean_xplore.egg-info/PKG-INFO 2025-11-28T17:06:10,473 writing dependency_links to lean_xplore.egg-info/dependency_links.txt 2025-11-28T17:06:10,475 writing entry points to lean_xplore.egg-info/entry_points.txt 2025-11-28T17:06:10,480 writing requirements to lean_xplore.egg-info/requires.txt 2025-11-28T17:06:10,481 writing top-level names to lean_xplore.egg-info/top_level.txt 2025-11-28T17:06:10,533 reading manifest file 'lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:10,539 adding license file 'LICENSE' 2025-11-28T17:06:10,545 writing manifest file 'lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:10,642 Getting requirements to build wheel: finished with status 'done' 2025-11-28T17:06:10,646 Created temporary directory: /tmp/pip-modern-metadata-ob_t4v8y 2025-11-28T17:06:10,648 Preparing metadata (pyproject.toml): started 2025-11-28T17:06:10,649 Running command Preparing metadata (pyproject.toml) 2025-11-28T17:06:11,229 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated 2025-11-28T17:06:11,229 !! 2025-11-28T17:06:11,230 ******************************************************************************** 2025-11-28T17:06:11,231 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-28T17:06:11,232 By 2026-Feb-18, you need to update your project and remove deprecated calls 2025-11-28T17:06:11,232 or your builds will no longer be supported. 2025-11-28T17:06:11,233 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:11,234 ******************************************************************************** 2025-11-28T17:06:11,235 !! 2025-11-28T17:06:11,236 corresp(dist, value, root_dir) 2025-11-28T17:06:11,319 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-11-28T17:06:11,320 !! 2025-11-28T17:06:11,322 ******************************************************************************** 2025-11-28T17:06:11,322 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-11-28T17:06:11,323 License :: OSI Approved :: Apache Software License 2025-11-28T17:06:11,325 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:11,325 ******************************************************************************** 2025-11-28T17:06:11,327 !! 2025-11-28T17:06:11,327 dist._finalize_license_expression() 2025-11-28T17:06:11,328 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-11-28T17:06:11,329 !! 2025-11-28T17:06:11,330 ******************************************************************************** 2025-11-28T17:06:11,330 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-11-28T17:06:11,332 License :: OSI Approved :: Apache Software License 2025-11-28T17:06:11,333 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:11,333 ******************************************************************************** 2025-11-28T17:06:11,335 !! 2025-11-28T17:06:11,335 self._finalize_license_expression() 2025-11-28T17:06:11,336 running dist_info 2025-11-28T17:06:11,347 creating /tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info 2025-11-28T17:06:11,348 writing /tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/PKG-INFO 2025-11-28T17:06:11,357 writing dependency_links to /tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/dependency_links.txt 2025-11-28T17:06:11,359 writing entry points to /tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/entry_points.txt 2025-11-28T17:06:11,364 writing requirements to /tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/requires.txt 2025-11-28T17:06:11,365 writing top-level names to /tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/top_level.txt 2025-11-28T17:06:11,366 writing manifest file '/tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:11,411 reading manifest file '/tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:11,413 adding license file 'LICENSE' 2025-11-28T17:06:11,418 writing manifest file '/tmp/pip-modern-metadata-ob_t4v8y/lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:11,419 creating '/tmp/pip-modern-metadata-ob_t4v8y/lean_xplore-0.4.0.dist-info' 2025-11-28T17:06:11,550 Preparing metadata (pyproject.toml): finished with status 'done' 2025-11-28T17:06:11,558 Source in /tmp/pip-wheel-kfkkroum/lean-xplore_c704b7c693c74e51aeee8fd9f43ccb9c has version 0.4.0, which satisfies requirement lean-xplore==0.4.0 from https://files.pythonhosted.org/packages/69/71/6f21468bd1f9f10b5e8a1c09c86d9a47a4de72c5e3350d73c9852a9c066c/lean_xplore-0.4.0.tar.gz 2025-11-28T17:06:11,559 Removed lean-xplore==0.4.0 from https://files.pythonhosted.org/packages/69/71/6f21468bd1f9f10b5e8a1c09c86d9a47a4de72c5e3350d73c9852a9c066c/lean_xplore-0.4.0.tar.gz from build tracker '/tmp/pip-build-tracker-lby4q7j1' 2025-11-28T17:06:11,571 Created temporary directory: /tmp/pip-unpack-xv7576pc 2025-11-28T17:06:11,571 Building wheels for collected packages: lean-xplore 2025-11-28T17:06:11,576 Created temporary directory: /tmp/pip-wheel-jrpkn6w7 2025-11-28T17:06:11,577 Destination directory: /tmp/pip-wheel-jrpkn6w7 2025-11-28T17:06:11,579 Building wheel for lean-xplore (pyproject.toml): started 2025-11-28T17:06:11,580 Running command Building wheel for lean-xplore (pyproject.toml) 2025-11-28T17:06:12,141 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated 2025-11-28T17:06:12,141 !! 2025-11-28T17:06:12,143 ******************************************************************************** 2025-11-28T17:06:12,143 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-28T17:06:12,145 By 2026-Feb-18, you need to update your project and remove deprecated calls 2025-11-28T17:06:12,145 or your builds will no longer be supported. 2025-11-28T17:06:12,146 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:12,147 ******************************************************************************** 2025-11-28T17:06:12,148 !! 2025-11-28T17:06:12,148 corresp(dist, value, root_dir) 2025-11-28T17:06:12,223 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-11-28T17:06:12,224 !! 2025-11-28T17:06:12,225 ******************************************************************************** 2025-11-28T17:06:12,226 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-11-28T17:06:12,227 License :: OSI Approved :: Apache Software License 2025-11-28T17:06:12,228 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:12,229 ******************************************************************************** 2025-11-28T17:06:12,230 !! 2025-11-28T17:06:12,231 dist._finalize_license_expression() 2025-11-28T17:06:12,232 /tmp/pip-build-env-fazdpn8f/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-11-28T17:06:12,232 !! 2025-11-28T17:06:12,233 ******************************************************************************** 2025-11-28T17:06:12,234 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-11-28T17:06:12,234 License :: OSI Approved :: Apache Software License 2025-11-28T17:06:12,235 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-11-28T17:06:12,236 ******************************************************************************** 2025-11-28T17:06:12,237 !! 2025-11-28T17:06:12,237 self._finalize_license_expression() 2025-11-28T17:06:12,238 running bdist_wheel 2025-11-28T17:06:12,254 running build 2025-11-28T17:06:12,255 running build_py 2025-11-28T17:06:12,261 creating build/lib/lean_explore 2025-11-28T17:06:12,263 copying src/lean_explore/defaults.py -> build/lib/lean_explore 2025-11-28T17:06:12,266 copying src/lean_explore/__init__.py -> build/lib/lean_explore 2025-11-28T17:06:12,268 creating build/lib/lean_explore/shared 2025-11-28T17:06:12,270 copying src/lean_explore/shared/__init__.py -> build/lib/lean_explore/shared 2025-11-28T17:06:12,272 creating build/lib/lean_explore/cli 2025-11-28T17:06:12,273 copying src/lean_explore/cli/agent.py -> build/lib/lean_explore/cli 2025-11-28T17:06:12,276 copying src/lean_explore/cli/__init__.py -> build/lib/lean_explore/cli 2025-11-28T17:06:12,278 copying src/lean_explore/cli/data_commands.py -> build/lib/lean_explore/cli 2025-11-28T17:06:12,281 copying src/lean_explore/cli/main.py -> build/lib/lean_explore/cli 2025-11-28T17:06:12,284 copying src/lean_explore/cli/config_utils.py -> build/lib/lean_explore/cli 2025-11-28T17:06:12,287 creating build/lib/lean_explore/api 2025-11-28T17:06:12,288 copying src/lean_explore/api/__init__.py -> build/lib/lean_explore/api 2025-11-28T17:06:12,290 copying src/lean_explore/api/client.py -> build/lib/lean_explore/api 2025-11-28T17:06:12,293 creating build/lib/lean_explore/local 2025-11-28T17:06:12,294 copying src/lean_explore/local/search.py -> build/lib/lean_explore/local 2025-11-28T17:06:12,298 copying src/lean_explore/local/service.py -> build/lib/lean_explore/local 2025-11-28T17:06:12,300 copying src/lean_explore/local/__init__.py -> build/lib/lean_explore/local 2025-11-28T17:06:12,303 creating build/lib/lean_explore/http 2025-11-28T17:06:12,304 copying src/lean_explore/http/server.py -> build/lib/lean_explore/http 2025-11-28T17:06:12,307 copying src/lean_explore/http/__init__.py -> build/lib/lean_explore/http 2025-11-28T17:06:12,309 creating build/lib/lean_explore/mcp 2025-11-28T17:06:12,310 copying src/lean_explore/mcp/server.py -> build/lib/lean_explore/mcp 2025-11-28T17:06:12,313 copying src/lean_explore/mcp/app.py -> build/lib/lean_explore/mcp 2025-11-28T17:06:12,315 copying src/lean_explore/mcp/__init__.py -> build/lib/lean_explore/mcp 2025-11-28T17:06:12,317 copying src/lean_explore/mcp/tools.py -> build/lib/lean_explore/mcp 2025-11-28T17:06:12,320 creating build/lib/lean_explore/shared/models 2025-11-28T17:06:12,321 copying src/lean_explore/shared/models/api.py -> build/lib/lean_explore/shared/models 2025-11-28T17:06:12,324 copying src/lean_explore/shared/models/__init__.py -> build/lib/lean_explore/shared/models 2025-11-28T17:06:12,326 copying src/lean_explore/shared/models/db.py -> build/lib/lean_explore/shared/models 2025-11-28T17:06:12,329 creating build/lib/benchmarking 2025-11-28T17:06:12,330 copying benchmarking/inspect_prompts.py -> build/lib/benchmarking 2025-11-28T17:06:12,333 copying benchmarking/reset_results.py -> build/lib/benchmarking 2025-11-28T17:06:12,335 copying benchmarking/benchmark_search_rate.py -> build/lib/benchmarking 2025-11-28T17:06:12,337 copying benchmarking/analyze_rankings.py -> build/lib/benchmarking 2025-11-28T17:06:12,340 copying benchmarking/search_engine_ranker.py -> build/lib/benchmarking 2025-11-28T17:06:12,343 copying benchmarking/gather_search_data.py -> build/lib/benchmarking 2025-11-28T17:06:12,347 creating build/lib/scripts 2025-11-28T17:06:12,348 copying scripts/populate_db.py -> build/lib/scripts 2025-11-28T17:06:12,350 copying scripts/get_summaries.py -> build/lib/scripts 2025-11-28T17:06:12,353 copying scripts/update_primary_declarations.py -> build/lib/scripts 2025-11-28T17:06:12,356 copying scripts/lean_to_english.py -> build/lib/scripts 2025-11-28T17:06:12,359 copying scripts/generate_manifest.py -> build/lib/scripts 2025-11-28T17:06:12,361 copying scripts/pagerank.py -> build/lib/scripts 2025-11-28T17:06:12,364 copying scripts/generate_embeddings.py -> build/lib/scripts 2025-11-28T17:06:12,366 copying scripts/build_faiss_index.py -> build/lib/scripts 2025-11-28T17:06:12,369 copying scripts/generate_docs_data.py -> build/lib/scripts 2025-11-28T17:06:12,372 copying scripts/prepare_embedding_input.py -> build/lib/scripts 2025-11-28T17:06:12,375 creating build/lib/dev_tools 2025-11-28T17:06:12,376 copying dev_tools/config.py -> build/lib/dev_tools 2025-11-28T17:06:12,379 copying dev_tools/llm_caller.py -> build/lib/dev_tools 2025-11-28T17:06:12,382 copying dev_tools/__init__.py -> build/lib/dev_tools 2025-11-28T17:06:12,384 creating build/lib/tests 2025-11-28T17:06:12,385 copying tests/conftest.py -> build/lib/tests 2025-11-28T17:06:12,387 copying tests/__init__.py -> build/lib/tests 2025-11-28T17:06:12,389 copying tests/test_defaults.py -> build/lib/tests 2025-11-28T17:06:12,392 creating build/lib/src 2025-11-28T17:06:12,393 copying src/config.py -> build/lib/src 2025-11-28T17:06:12,396 creating build/lib/dev_tools/population 2025-11-28T17:06:12,397 copying dev_tools/population/phase2_tasks.py -> build/lib/dev_tools/population 2025-11-28T17:06:12,399 copying dev_tools/population/phase5_tasks.py -> build/lib/dev_tools/population 2025-11-28T17:06:12,402 copying dev_tools/population/__init__.py -> build/lib/dev_tools/population 2025-11-28T17:06:12,404 copying dev_tools/population/phase3_tasks.py -> build/lib/dev_tools/population 2025-11-28T17:06:12,407 copying dev_tools/population/phase1_tasks.py -> build/lib/dev_tools/population 2025-11-28T17:06:12,410 copying dev_tools/population/phase4_tasks.py -> build/lib/dev_tools/population 2025-11-28T17:06:12,413 creating build/lib/tests/lean_explore 2025-11-28T17:06:12,414 copying tests/lean_explore/__init__.py -> build/lib/tests/lean_explore 2025-11-28T17:06:12,416 creating build/lib/tests/lean_explore/shared 2025-11-28T17:06:12,417 copying tests/lean_explore/shared/__init__.py -> build/lib/tests/lean_explore/shared 2025-11-28T17:06:12,420 creating build/lib/tests/lean_explore/cli 2025-11-28T17:06:12,421 copying tests/lean_explore/cli/test_config_utils.py -> build/lib/tests/lean_explore/cli 2025-11-28T17:06:12,424 copying tests/lean_explore/cli/__init__.py -> build/lib/tests/lean_explore/cli 2025-11-28T17:06:12,426 copying tests/lean_explore/cli/test_data_commands.py -> build/lib/tests/lean_explore/cli 2025-11-28T17:06:12,429 creating build/lib/tests/lean_explore/api 2025-11-28T17:06:12,430 copying tests/lean_explore/api/test_client.py -> build/lib/tests/lean_explore/api 2025-11-28T17:06:12,433 copying tests/lean_explore/api/__init__.py -> build/lib/tests/lean_explore/api 2025-11-28T17:06:12,436 creating build/lib/tests/lean_explore/local 2025-11-28T17:06:12,437 copying tests/lean_explore/local/test_service.py -> build/lib/tests/lean_explore/local 2025-11-28T17:06:12,441 copying tests/lean_explore/local/__init__.py -> build/lib/tests/lean_explore/local 2025-11-28T17:06:12,443 copying tests/lean_explore/local/test_search.py -> build/lib/tests/lean_explore/local 2025-11-28T17:06:12,447 creating build/lib/tests/lean_explore/http 2025-11-28T17:06:12,448 copying tests/lean_explore/http/test_server.py -> build/lib/tests/lean_explore/http 2025-11-28T17:06:12,451 copying tests/lean_explore/http/__init__.py -> build/lib/tests/lean_explore/http 2025-11-28T17:06:12,453 creating build/lib/tests/lean_explore/mcp 2025-11-28T17:06:12,454 copying tests/lean_explore/mcp/test_app.py -> build/lib/tests/lean_explore/mcp 2025-11-28T17:06:12,456 copying tests/lean_explore/mcp/test_server.py -> build/lib/tests/lean_explore/mcp 2025-11-28T17:06:12,459 copying tests/lean_explore/mcp/__init__.py -> build/lib/tests/lean_explore/mcp 2025-11-28T17:06:12,460 copying tests/lean_explore/mcp/test_tools.py -> build/lib/tests/lean_explore/mcp 2025-11-28T17:06:12,463 creating build/lib/src/lean_explore 2025-11-28T17:06:12,464 copying src/lean_explore/defaults.py -> build/lib/src/lean_explore 2025-11-28T17:06:12,466 copying src/lean_explore/__init__.py -> build/lib/src/lean_explore 2025-11-28T17:06:12,469 creating build/lib/src/lean_explore/shared 2025-11-28T17:06:12,469 copying src/lean_explore/shared/__init__.py -> build/lib/src/lean_explore/shared 2025-11-28T17:06:12,472 creating build/lib/src/lean_explore/cli 2025-11-28T17:06:12,473 copying src/lean_explore/cli/agent.py -> build/lib/src/lean_explore/cli 2025-11-28T17:06:12,476 copying src/lean_explore/cli/__init__.py -> build/lib/src/lean_explore/cli 2025-11-28T17:06:12,477 copying src/lean_explore/cli/data_commands.py -> build/lib/src/lean_explore/cli 2025-11-28T17:06:12,480 copying src/lean_explore/cli/main.py -> build/lib/src/lean_explore/cli 2025-11-28T17:06:12,483 copying src/lean_explore/cli/config_utils.py -> build/lib/src/lean_explore/cli 2025-11-28T17:06:12,485 creating build/lib/src/lean_explore/api 2025-11-28T17:06:12,486 copying src/lean_explore/api/__init__.py -> build/lib/src/lean_explore/api 2025-11-28T17:06:12,488 copying src/lean_explore/api/client.py -> build/lib/src/lean_explore/api 2025-11-28T17:06:12,491 creating build/lib/src/lean_explore/local 2025-11-28T17:06:12,492 copying src/lean_explore/local/search.py -> build/lib/src/lean_explore/local 2025-11-28T17:06:12,495 copying src/lean_explore/local/service.py -> build/lib/src/lean_explore/local 2025-11-28T17:06:12,497 copying src/lean_explore/local/__init__.py -> build/lib/src/lean_explore/local 2025-11-28T17:06:12,500 creating build/lib/src/lean_explore/http 2025-11-28T17:06:12,501 copying src/lean_explore/http/server.py -> build/lib/src/lean_explore/http 2025-11-28T17:06:12,503 copying src/lean_explore/http/__init__.py -> build/lib/src/lean_explore/http 2025-11-28T17:06:12,505 creating build/lib/src/lean_explore/mcp 2025-11-28T17:06:12,506 copying src/lean_explore/mcp/server.py -> build/lib/src/lean_explore/mcp 2025-11-28T17:06:12,508 copying src/lean_explore/mcp/app.py -> build/lib/src/lean_explore/mcp 2025-11-28T17:06:12,511 copying src/lean_explore/mcp/__init__.py -> build/lib/src/lean_explore/mcp 2025-11-28T17:06:12,512 copying src/lean_explore/mcp/tools.py -> build/lib/src/lean_explore/mcp 2025-11-28T17:06:12,515 creating build/lib/src/lean_explore/shared/models 2025-11-28T17:06:12,516 copying src/lean_explore/shared/models/api.py -> build/lib/src/lean_explore/shared/models 2025-11-28T17:06:12,518 copying src/lean_explore/shared/models/__init__.py -> build/lib/src/lean_explore/shared/models 2025-11-28T17:06:12,520 copying src/lean_explore/shared/models/db.py -> build/lib/src/lean_explore/shared/models 2025-11-28T17:06:12,523 running egg_info 2025-11-28T17:06:12,534 writing lean_xplore.egg-info/PKG-INFO 2025-11-28T17:06:12,543 writing dependency_links to lean_xplore.egg-info/dependency_links.txt 2025-11-28T17:06:12,544 writing entry points to lean_xplore.egg-info/entry_points.txt 2025-11-28T17:06:12,549 writing requirements to lean_xplore.egg-info/requires.txt 2025-11-28T17:06:12,550 writing top-level names to lean_xplore.egg-info/top_level.txt 2025-11-28T17:06:12,582 reading manifest file 'lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:12,587 adding license file 'LICENSE' 2025-11-28T17:06:12,593 writing manifest file 'lean_xplore.egg-info/SOURCES.txt' 2025-11-28T17:06:12,628 installing to build/bdist.linux-armv7l/wheel 2025-11-28T17:06:12,629 running install 2025-11-28T17:06:12,653 running install_lib 2025-11-28T17:06:12,659 creating build/bdist.linux-armv7l/wheel 2025-11-28T17:06:12,661 creating build/bdist.linux-armv7l/wheel/benchmarking 2025-11-28T17:06:12,662 copying build/lib/benchmarking/inspect_prompts.py -> build/bdist.linux-armv7l/wheel/./benchmarking 2025-11-28T17:06:12,665 copying build/lib/benchmarking/reset_results.py -> build/bdist.linux-armv7l/wheel/./benchmarking 2025-11-28T17:06:12,667 copying build/lib/benchmarking/benchmark_search_rate.py -> build/bdist.linux-armv7l/wheel/./benchmarking 2025-11-28T17:06:12,669 copying build/lib/benchmarking/analyze_rankings.py -> build/bdist.linux-armv7l/wheel/./benchmarking 2025-11-28T17:06:12,672 copying build/lib/benchmarking/search_engine_ranker.py -> build/bdist.linux-armv7l/wheel/./benchmarking 2025-11-28T17:06:12,675 copying build/lib/benchmarking/gather_search_data.py -> build/bdist.linux-armv7l/wheel/./benchmarking 2025-11-28T17:06:12,678 creating build/bdist.linux-armv7l/wheel/scripts 2025-11-28T17:06:12,679 copying build/lib/scripts/populate_db.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,682 copying build/lib/scripts/get_summaries.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,685 copying build/lib/scripts/update_primary_declarations.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,687 copying build/lib/scripts/lean_to_english.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,691 copying build/lib/scripts/generate_manifest.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,693 copying build/lib/scripts/pagerank.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,696 copying build/lib/scripts/generate_embeddings.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,698 copying build/lib/scripts/build_faiss_index.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,701 copying build/lib/scripts/generate_docs_data.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,704 copying build/lib/scripts/prepare_embedding_input.py -> build/bdist.linux-armv7l/wheel/./scripts 2025-11-28T17:06:12,707 creating build/bdist.linux-armv7l/wheel/dev_tools 2025-11-28T17:06:12,708 copying build/lib/dev_tools/config.py -> build/bdist.linux-armv7l/wheel/./dev_tools 2025-11-28T17:06:12,711 copying build/lib/dev_tools/llm_caller.py -> build/bdist.linux-armv7l/wheel/./dev_tools 2025-11-28T17:06:12,714 copying build/lib/dev_tools/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools 2025-11-28T17:06:12,717 creating build/bdist.linux-armv7l/wheel/dev_tools/population 2025-11-28T17:06:12,718 copying build/lib/dev_tools/population/phase2_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population 2025-11-28T17:06:12,721 copying build/lib/dev_tools/population/phase5_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population 2025-11-28T17:06:12,723 copying build/lib/dev_tools/population/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population 2025-11-28T17:06:12,725 copying build/lib/dev_tools/population/phase3_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population 2025-11-28T17:06:12,728 copying build/lib/dev_tools/population/phase1_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population 2025-11-28T17:06:12,731 copying build/lib/dev_tools/population/phase4_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population 2025-11-28T17:06:12,734 creating build/bdist.linux-armv7l/wheel/lean_explore 2025-11-28T17:06:12,736 creating build/bdist.linux-armv7l/wheel/lean_explore/shared 2025-11-28T17:06:12,737 copying build/lib/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared 2025-11-28T17:06:12,740 creating build/bdist.linux-armv7l/wheel/lean_explore/shared/models 2025-11-28T17:06:12,741 copying build/lib/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models 2025-11-28T17:06:12,744 copying build/lib/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models 2025-11-28T17:06:12,746 copying build/lib/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models 2025-11-28T17:06:12,749 creating build/bdist.linux-armv7l/wheel/lean_explore/cli 2025-11-28T17:06:12,750 copying build/lib/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli 2025-11-28T17:06:12,753 copying build/lib/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli 2025-11-28T17:06:12,755 copying build/lib/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli 2025-11-28T17:06:12,757 copying build/lib/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli 2025-11-28T17:06:12,760 copying build/lib/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli 2025-11-28T17:06:12,763 copying build/lib/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./lean_explore 2025-11-28T17:06:12,766 creating build/bdist.linux-armv7l/wheel/lean_explore/api 2025-11-28T17:06:12,767 copying build/lib/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api 2025-11-28T17:06:12,769 copying build/lib/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api 2025-11-28T17:06:12,771 creating build/bdist.linux-armv7l/wheel/lean_explore/local 2025-11-28T17:06:12,772 copying build/lib/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local 2025-11-28T17:06:12,775 copying build/lib/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local 2025-11-28T17:06:12,778 copying build/lib/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local 2025-11-28T17:06:12,781 creating build/bdist.linux-armv7l/wheel/lean_explore/http 2025-11-28T17:06:12,782 copying build/lib/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http 2025-11-28T17:06:12,784 copying build/lib/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http 2025-11-28T17:06:12,786 copying build/lib/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore 2025-11-28T17:06:12,789 creating build/bdist.linux-armv7l/wheel/lean_explore/mcp 2025-11-28T17:06:12,790 copying build/lib/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp 2025-11-28T17:06:12,792 copying build/lib/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp 2025-11-28T17:06:12,795 copying build/lib/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp 2025-11-28T17:06:12,797 copying build/lib/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp 2025-11-28T17:06:12,800 creating build/bdist.linux-armv7l/wheel/tests 2025-11-28T17:06:12,801 copying build/lib/tests/conftest.py -> build/bdist.linux-armv7l/wheel/./tests 2025-11-28T17:06:12,803 copying build/lib/tests/__init__.py -> build/bdist.linux-armv7l/wheel/./tests 2025-11-28T17:06:12,806 creating build/bdist.linux-armv7l/wheel/tests/lean_explore 2025-11-28T17:06:12,807 creating build/bdist.linux-armv7l/wheel/tests/lean_explore/shared 2025-11-28T17:06:12,809 copying build/lib/tests/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/shared 2025-11-28T17:06:12,811 creating build/bdist.linux-armv7l/wheel/tests/lean_explore/cli 2025-11-28T17:06:12,812 copying build/lib/tests/lean_explore/cli/test_config_utils.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli 2025-11-28T17:06:12,815 copying build/lib/tests/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli 2025-11-28T17:06:12,817 copying build/lib/tests/lean_explore/cli/test_data_commands.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli 2025-11-28T17:06:12,821 creating build/bdist.linux-armv7l/wheel/tests/lean_explore/api 2025-11-28T17:06:12,822 copying build/lib/tests/lean_explore/api/test_client.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api 2025-11-28T17:06:12,825 copying build/lib/tests/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api 2025-11-28T17:06:12,828 creating build/bdist.linux-armv7l/wheel/tests/lean_explore/local 2025-11-28T17:06:12,829 copying build/lib/tests/lean_explore/local/test_service.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local 2025-11-28T17:06:12,832 copying build/lib/tests/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local 2025-11-28T17:06:12,833 copying build/lib/tests/lean_explore/local/test_search.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local 2025-11-28T17:06:12,837 creating build/bdist.linux-armv7l/wheel/tests/lean_explore/http 2025-11-28T17:06:12,838 copying build/lib/tests/lean_explore/http/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http 2025-11-28T17:06:12,841 copying build/lib/tests/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http 2025-11-28T17:06:12,842 copying build/lib/tests/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore 2025-11-28T17:06:12,845 creating build/bdist.linux-armv7l/wheel/tests/lean_explore/mcp 2025-11-28T17:06:12,846 copying build/lib/tests/lean_explore/mcp/test_app.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp 2025-11-28T17:06:12,848 copying build/lib/tests/lean_explore/mcp/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp 2025-11-28T17:06:12,851 copying build/lib/tests/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp 2025-11-28T17:06:12,853 copying build/lib/tests/lean_explore/mcp/test_tools.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp 2025-11-28T17:06:12,855 copying build/lib/tests/test_defaults.py -> build/bdist.linux-armv7l/wheel/./tests 2025-11-28T17:06:12,858 creating build/bdist.linux-armv7l/wheel/src 2025-11-28T17:06:12,859 copying build/lib/src/config.py -> build/bdist.linux-armv7l/wheel/./src 2025-11-28T17:06:12,862 creating build/bdist.linux-armv7l/wheel/src/lean_explore 2025-11-28T17:06:12,863 creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared 2025-11-28T17:06:12,865 copying build/lib/src/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared 2025-11-28T17:06:12,867 creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared/models 2025-11-28T17:06:12,868 copying build/lib/src/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models 2025-11-28T17:06:12,871 copying build/lib/src/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models 2025-11-28T17:06:12,873 copying build/lib/src/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models 2025-11-28T17:06:12,876 creating build/bdist.linux-armv7l/wheel/src/lean_explore/cli 2025-11-28T17:06:12,877 copying build/lib/src/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli 2025-11-28T17:06:12,880 copying build/lib/src/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli 2025-11-28T17:06:12,882 copying build/lib/src/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli 2025-11-28T17:06:12,885 copying build/lib/src/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli 2025-11-28T17:06:12,888 copying build/lib/src/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli 2025-11-28T17:06:12,890 copying build/lib/src/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore 2025-11-28T17:06:12,893 creating build/bdist.linux-armv7l/wheel/src/lean_explore/api 2025-11-28T17:06:12,894 copying build/lib/src/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api 2025-11-28T17:06:12,896 copying build/lib/src/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api 2025-11-28T17:06:12,899 creating build/bdist.linux-armv7l/wheel/src/lean_explore/local 2025-11-28T17:06:12,900 copying build/lib/src/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local 2025-11-28T17:06:12,904 copying build/lib/src/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local 2025-11-28T17:06:12,906 copying build/lib/src/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local 2025-11-28T17:06:12,909 creating build/bdist.linux-armv7l/wheel/src/lean_explore/http 2025-11-28T17:06:12,910 copying build/lib/src/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http 2025-11-28T17:06:12,913 copying build/lib/src/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http 2025-11-28T17:06:12,914 copying build/lib/src/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore 2025-11-28T17:06:12,917 creating build/bdist.linux-armv7l/wheel/src/lean_explore/mcp 2025-11-28T17:06:12,918 copying build/lib/src/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp 2025-11-28T17:06:12,920 copying build/lib/src/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp 2025-11-28T17:06:12,922 copying build/lib/src/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp 2025-11-28T17:06:12,924 copying build/lib/src/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp 2025-11-28T17:06:12,926 running install_egg_info 2025-11-28T17:06:12,932 Copying lean_xplore.egg-info to build/bdist.linux-armv7l/wheel/./lean_xplore-0.4.0-py3.11.egg-info 2025-11-28T17:06:12,945 running install_scripts 2025-11-28T17:06:12,958 creating build/bdist.linux-armv7l/wheel/lean_xplore-0.4.0.dist-info/WHEEL 2025-11-28T17:06:12,961 creating '/tmp/pip-wheel-jrpkn6w7/.tmp-7b3cokwl/lean_xplore-0.4.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-11-28T17:06:12,964 adding 'benchmarking/analyze_rankings.py' 2025-11-28T17:06:12,967 adding 'benchmarking/benchmark_search_rate.py' 2025-11-28T17:06:12,970 adding 'benchmarking/gather_search_data.py' 2025-11-28T17:06:12,972 adding 'benchmarking/inspect_prompts.py' 2025-11-28T17:06:12,973 adding 'benchmarking/reset_results.py' 2025-11-28T17:06:12,977 adding 'benchmarking/search_engine_ranker.py' 2025-11-28T17:06:12,979 adding 'dev_tools/__init__.py' 2025-11-28T17:06:12,982 adding 'dev_tools/config.py' 2025-11-28T17:06:12,987 adding 'dev_tools/llm_caller.py' 2025-11-28T17:06:12,989 adding 'dev_tools/population/__init__.py' 2025-11-28T17:06:12,993 adding 'dev_tools/population/phase1_tasks.py' 2025-11-28T17:06:12,997 adding 'dev_tools/population/phase2_tasks.py' 2025-11-28T17:06:13,000 adding 'dev_tools/population/phase3_tasks.py' 2025-11-28T17:06:13,002 adding 'dev_tools/population/phase4_tasks.py' 2025-11-28T17:06:13,004 adding 'dev_tools/population/phase5_tasks.py' 2025-11-28T17:06:13,006 adding 'lean_explore/__init__.py' 2025-11-28T17:06:13,008 adding 'lean_explore/defaults.py' 2025-11-28T17:06:13,009 adding 'lean_explore/api/__init__.py' 2025-11-28T17:06:13,011 adding 'lean_explore/api/client.py' 2025-11-28T17:06:13,013 adding 'lean_explore/cli/__init__.py' 2025-11-28T17:06:13,016 adding 'lean_explore/cli/agent.py' 2025-11-28T17:06:13,019 adding 'lean_explore/cli/config_utils.py' 2025-11-28T17:06:13,022 adding 'lean_explore/cli/data_commands.py' 2025-11-28T17:06:13,025 adding 'lean_explore/cli/main.py' 2025-11-28T17:06:13,027 adding 'lean_explore/http/__init__.py' 2025-11-28T17:06:13,028 adding 'lean_explore/http/server.py' 2025-11-28T17:06:13,030 adding 'lean_explore/local/__init__.py' 2025-11-28T17:06:13,035 adding 'lean_explore/local/search.py' 2025-11-28T17:06:13,037 adding 'lean_explore/local/service.py' 2025-11-28T17:06:13,039 adding 'lean_explore/mcp/__init__.py' 2025-11-28T17:06:13,040 adding 'lean_explore/mcp/app.py' 2025-11-28T17:06:13,042 adding 'lean_explore/mcp/server.py' 2025-11-28T17:06:13,044 adding 'lean_explore/mcp/tools.py' 2025-11-28T17:06:13,046 adding 'lean_explore/shared/__init__.py' 2025-11-28T17:06:13,047 adding 'lean_explore/shared/models/__init__.py' 2025-11-28T17:06:13,049 adding 'lean_explore/shared/models/api.py' 2025-11-28T17:06:13,051 adding 'lean_explore/shared/models/db.py' 2025-11-28T17:06:13,054 adding 'lean_xplore-0.4.0.dist-info/licenses/LICENSE' 2025-11-28T17:06:13,057 adding 'scripts/build_faiss_index.py' 2025-11-28T17:06:13,062 adding 'scripts/generate_docs_data.py' 2025-11-28T17:06:13,064 adding 'scripts/generate_embeddings.py' 2025-11-28T17:06:13,066 adding 'scripts/generate_manifest.py' 2025-11-28T17:06:13,070 adding 'scripts/get_summaries.py' 2025-11-28T17:06:13,075 adding 'scripts/lean_to_english.py' 2025-11-28T17:06:13,079 adding 'scripts/pagerank.py' 2025-11-28T17:06:13,081 adding 'scripts/populate_db.py' 2025-11-28T17:06:13,084 adding 'scripts/prepare_embedding_input.py' 2025-11-28T17:06:13,086 adding 'scripts/update_primary_declarations.py' 2025-11-28T17:06:13,088 adding 'src/config.py' 2025-11-28T17:06:13,089 adding 'src/lean_explore/__init__.py' 2025-11-28T17:06:13,091 adding 'src/lean_explore/defaults.py' 2025-11-28T17:06:13,093 adding 'src/lean_explore/api/__init__.py' 2025-11-28T17:06:13,094 adding 'src/lean_explore/api/client.py' 2025-11-28T17:06:13,096 adding 'src/lean_explore/cli/__init__.py' 2025-11-28T17:06:13,099 adding 'src/lean_explore/cli/agent.py' 2025-11-28T17:06:13,102 adding 'src/lean_explore/cli/config_utils.py' 2025-11-28T17:06:13,104 adding 'src/lean_explore/cli/data_commands.py' 2025-11-28T17:06:13,107 adding 'src/lean_explore/cli/main.py' 2025-11-28T17:06:13,109 adding 'src/lean_explore/http/__init__.py' 2025-11-28T17:06:13,111 adding 'src/lean_explore/http/server.py' 2025-11-28T17:06:13,113 adding 'src/lean_explore/local/__init__.py' 2025-11-28T17:06:13,117 adding 'src/lean_explore/local/search.py' 2025-11-28T17:06:13,120 adding 'src/lean_explore/local/service.py' 2025-11-28T17:06:13,122 adding 'src/lean_explore/mcp/__init__.py' 2025-11-28T17:06:13,123 adding 'src/lean_explore/mcp/app.py' 2025-11-28T17:06:13,126 adding 'src/lean_explore/mcp/server.py' 2025-11-28T17:06:13,127 adding 'src/lean_explore/mcp/tools.py' 2025-11-28T17:06:13,129 adding 'src/lean_explore/shared/__init__.py' 2025-11-28T17:06:13,131 adding 'src/lean_explore/shared/models/__init__.py' 2025-11-28T17:06:13,133 adding 'src/lean_explore/shared/models/api.py' 2025-11-28T17:06:13,135 adding 'src/lean_explore/shared/models/db.py' 2025-11-28T17:06:13,137 adding 'tests/__init__.py' 2025-11-28T17:06:13,139 adding 'tests/conftest.py' 2025-11-28T17:06:13,141 adding 'tests/test_defaults.py' 2025-11-28T17:06:13,143 adding 'tests/lean_explore/__init__.py' 2025-11-28T17:06:13,144 adding 'tests/lean_explore/api/__init__.py' 2025-11-28T17:06:13,146 adding 'tests/lean_explore/api/test_client.py' 2025-11-28T17:06:13,148 adding 'tests/lean_explore/cli/__init__.py' 2025-11-28T17:06:13,150 adding 'tests/lean_explore/cli/test_config_utils.py' 2025-11-28T17:06:13,153 adding 'tests/lean_explore/cli/test_data_commands.py' 2025-11-28T17:06:13,155 adding 'tests/lean_explore/http/__init__.py' 2025-11-28T17:06:13,157 adding 'tests/lean_explore/http/test_server.py' 2025-11-28T17:06:13,159 adding 'tests/lean_explore/local/__init__.py' 2025-11-28T17:06:13,163 adding 'tests/lean_explore/local/test_search.py' 2025-11-28T17:06:13,166 adding 'tests/lean_explore/local/test_service.py' 2025-11-28T17:06:13,168 adding 'tests/lean_explore/mcp/__init__.py' 2025-11-28T17:06:13,169 adding 'tests/lean_explore/mcp/test_app.py' 2025-11-28T17:06:13,171 adding 'tests/lean_explore/mcp/test_server.py' 2025-11-28T17:06:13,173 adding 'tests/lean_explore/mcp/test_tools.py' 2025-11-28T17:06:13,175 adding 'tests/lean_explore/shared/__init__.py' 2025-11-28T17:06:13,177 adding 'lean_xplore-0.4.0.dist-info/METADATA' 2025-11-28T17:06:13,178 adding 'lean_xplore-0.4.0.dist-info/WHEEL' 2025-11-28T17:06:13,179 adding 'lean_xplore-0.4.0.dist-info/entry_points.txt' 2025-11-28T17:06:13,180 adding 'lean_xplore-0.4.0.dist-info/top_level.txt' 2025-11-28T17:06:13,182 adding 'lean_xplore-0.4.0.dist-info/RECORD' 2025-11-28T17:06:13,188 removing build/bdist.linux-armv7l/wheel 2025-11-28T17:06:13,339 Building wheel for lean-xplore (pyproject.toml): finished with status 'done' 2025-11-28T17:06:13,350 Created wheel for lean-xplore: filename=lean_xplore-0.4.0-py3-none-any.whl size=309341 sha256=90508ec99adb79c3f956aed0e8bc440ae967cd9c2240c94e066b1cfa7dc37349 2025-11-28T17:06:13,351 Stored in directory: /tmp/pip-ephem-wheel-cache-prml1op0/wheels/54/03/e5/aee17a1e185e18424ba0febfa3551fe4ae175a9e08afba4860 2025-11-28T17:06:13,374 Successfully built lean-xplore 2025-11-28T17:06:13,387 Removed build tracker: '/tmp/pip-build-tracker-lby4q7j1'