2025-11-29T12:01:16,229 Created temporary directory: /tmp/pip-ephem-wheel-cache-ovms_wb7
2025-11-29T12:01:16,231 Created temporary directory: /tmp/pip-build-tracker-juqibsef
2025-11-29T12:01:16,231 Initialized build tracking at /tmp/pip-build-tracker-juqibsef
2025-11-29T12:01:16,232 Created build tracker: /tmp/pip-build-tracker-juqibsef
2025-11-29T12:01:16,232 Entered build tracker: /tmp/pip-build-tracker-juqibsef
2025-11-29T12:01:16,233 Created temporary directory: /tmp/pip-wheel-q9m8tezo
2025-11-29T12:01:16,236 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-29T12:01:16,238 Created temporary directory: /tmp/pip-ephem-wheel-cache-_p_93k5o
2025-11-29T12:01:16,261 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-11-29T12:01:16,264 2 location(s) to search for versions of lean-xplore:
2025-11-29T12:01:16,264 * https://pypi.org/simple/lean-xplore/
2025-11-29T12:01:16,264 * https://www.piwheels.org/simple/lean-xplore/
2025-11-29T12:01:16,265 Fetching project page and analyzing links: https://pypi.org/simple/lean-xplore/
2025-11-29T12:01:16,266 Getting page https://pypi.org/simple/lean-xplore/
2025-11-29T12:01:16,267 Found index url https://pypi.org/simple
2025-11-29T12:01:16,481 Fetched page https://pypi.org/simple/lean-xplore/ as application/vnd.pypi.simple.v1+json
2025-11-29T12:01:16,483   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-29T12:01:16,484   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-29T12:01:16,485   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-29T12:01:16,485   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-29T12:01:16,486   Skipping link: No binaries permitted for lean-xplore: https://files.pythonhosted.org/packages/d8/a2/10501a435f6aa94e2a2e73934c91f08b6225fb175d0e8d51597b1f032284/lean_xplore-0.4.2-py3-none-any.whl (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-29T12:01:16,487   Found link https://files.pythonhosted.org/packages/89/16/400b98ff1368c635ed0e48194c7fc8eb75edf3352ccb4a951e9eb8dc5d07/lean_xplore-0.4.2.tar.gz (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10), version: 0.4.2
2025-11-29T12:01:16,488 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-xplore/
2025-11-29T12:01:16,489 Getting page https://www.piwheels.org/simple/lean-xplore/
2025-11-29T12:01:16,490 Found index url https://www.piwheels.org/simple
2025-11-29T12:01:16,644 Fetched page https://www.piwheels.org/simple/lean-xplore/ as text/html
2025-11-29T12:01:16,646   Skipping link: No binaries permitted for lean-xplore: https://www.piwheels.org/simple/lean-xplore/lean_xplore-0.4.1-py3-none-any.whl#sha256=6861bd7afd0b35160a6be3bbf7cb8c54d4fe678605221a50e4244e50756dd960 (from https://www.piwheels.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-29T12:01:16,647   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-29T12:01:16,648 Skipping link: not a file: https://www.piwheels.org/simple/lean-xplore/
2025-11-29T12:01:16,649 Skipping link: not a file: https://pypi.org/simple/lean-xplore/
2025-11-29T12:01:16,668 Given no hashes to check 1 links for project 'lean-xplore': discarding no candidates
2025-11-29T12:01:16,686 Collecting lean-xplore==0.4.2
2025-11-29T12:01:16,689   Created temporary directory: /tmp/pip-unpack-8511ac40
2025-11-29T12:01:16,900   Downloading lean_xplore-0.4.2.tar.gz (224 kB)
2025-11-29T12:01:17,182   Added lean-xplore==0.4.2 from https://files.pythonhosted.org/packages/89/16/400b98ff1368c635ed0e48194c7fc8eb75edf3352ccb4a951e9eb8dc5d07/lean_xplore-0.4.2.tar.gz to build tracker '/tmp/pip-build-tracker-juqibsef'
2025-11-29T12:01:17,187   Created temporary directory: /tmp/pip-build-env-91r66hzs
2025-11-29T12:01:17,192   Installing build dependencies: started
2025-11-29T12:01:17,194   Running command pip subprocess to install build dependencies
2025-11-29T12:01:18,439   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2025-11-29T12:01:19,058   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-29T12:01:19,083   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-11-29T12:01:20,802   Collecting setuptools>=61.0
2025-11-29T12:01:20,901     Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB)
2025-11-29T12:01:23,821   Installing collected packages: setuptools
2025-11-29T12:01:27,450   Successfully installed setuptools-80.9.0
2025-11-29T12:01:27,715   Installing build dependencies: finished with status 'done'
2025-11-29T12:01:27,721   Getting requirements to build wheel: started
2025-11-29T12:01:27,722   Running command Getting requirements to build wheel
2025-11-29T12:01:28,367   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-29T12:01:28,367   !!

2025-11-29T12:01:28,368           ********************************************************************************
2025-11-29T12:01:28,369           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-29T12:01:28,370           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-29T12:01:28,370           or your builds will no longer be supported.

2025-11-29T12:01:28,372           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:28,372           ********************************************************************************

2025-11-29T12:01:28,373   !!
2025-11-29T12:01:28,374     corresp(dist, value, root_dir)
2025-11-29T12:01:28,471   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T12:01:28,472   !!

2025-11-29T12:01:28,473           ********************************************************************************
2025-11-29T12:01:28,473           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T12:01:28,475           License :: OSI Approved :: Apache Software License

2025-11-29T12:01:28,476           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:28,477           ********************************************************************************

2025-11-29T12:01:28,479   !!
2025-11-29T12:01:28,480     dist._finalize_license_expression()
2025-11-29T12:01:28,481   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T12:01:28,481   !!

2025-11-29T12:01:28,483           ********************************************************************************
2025-11-29T12:01:28,483           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T12:01:28,484           License :: OSI Approved :: Apache Software License

2025-11-29T12:01:28,485           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:28,486           ********************************************************************************

2025-11-29T12:01:28,487   !!
2025-11-29T12:01:28,487     self._finalize_license_expression()
2025-11-29T12:01:28,490   running egg_info
2025-11-29T12:01:28,498   writing lean_xplore.egg-info/PKG-INFO
2025-11-29T12:01:28,509   writing dependency_links to lean_xplore.egg-info/dependency_links.txt
2025-11-29T12:01:28,511   writing entry points to lean_xplore.egg-info/entry_points.txt
2025-11-29T12:01:28,517   writing requirements to lean_xplore.egg-info/requires.txt
2025-11-29T12:01:28,519   writing top-level names to lean_xplore.egg-info/top_level.txt
2025-11-29T12:01:28,572   reading manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:28,579   adding license file 'LICENSE'
2025-11-29T12:01:28,585   writing manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:28,684   Getting requirements to build wheel: finished with status 'done'
2025-11-29T12:01:28,688   Created temporary directory: /tmp/pip-modern-metadata-jdm7lece
2025-11-29T12:01:28,691   Preparing metadata (pyproject.toml): started
2025-11-29T12:01:28,692   Running command Preparing metadata (pyproject.toml)
2025-11-29T12:01:29,283   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-29T12:01:29,283   !!

2025-11-29T12:01:29,284           ********************************************************************************
2025-11-29T12:01:29,285           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-29T12:01:29,286           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-29T12:01:29,287           or your builds will no longer be supported.

2025-11-29T12:01:29,288           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:29,289           ********************************************************************************

2025-11-29T12:01:29,290   !!
2025-11-29T12:01:29,291     corresp(dist, value, root_dir)
2025-11-29T12:01:29,381   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T12:01:29,381   !!

2025-11-29T12:01:29,383           ********************************************************************************
2025-11-29T12:01:29,383           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T12:01:29,384           License :: OSI Approved :: Apache Software License

2025-11-29T12:01:29,386           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:29,387           ********************************************************************************

2025-11-29T12:01:29,388   !!
2025-11-29T12:01:29,389     dist._finalize_license_expression()
2025-11-29T12:01:29,390   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T12:01:29,391   !!

2025-11-29T12:01:29,392           ********************************************************************************
2025-11-29T12:01:29,393           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T12:01:29,394           License :: OSI Approved :: Apache Software License

2025-11-29T12:01:29,395           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:29,395           ********************************************************************************

2025-11-29T12:01:29,396   !!
2025-11-29T12:01:29,397     self._finalize_license_expression()
2025-11-29T12:01:29,398   running dist_info
2025-11-29T12:01:29,410   creating /tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info
2025-11-29T12:01:29,411   writing /tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/PKG-INFO
2025-11-29T12:01:29,420   writing dependency_links to /tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/dependency_links.txt
2025-11-29T12:01:29,422   writing entry points to /tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/entry_points.txt
2025-11-29T12:01:29,427   writing requirements to /tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/requires.txt
2025-11-29T12:01:29,428   writing top-level names to /tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/top_level.txt
2025-11-29T12:01:29,429   writing manifest file '/tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:29,474   reading manifest file '/tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:29,476   adding license file 'LICENSE'
2025-11-29T12:01:29,481   writing manifest file '/tmp/pip-modern-metadata-jdm7lece/lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:29,482   creating '/tmp/pip-modern-metadata-jdm7lece/lean_xplore-0.4.2.dist-info'
2025-11-29T12:01:29,611   Preparing metadata (pyproject.toml): finished with status 'done'
2025-11-29T12:01:29,619   Source in /tmp/pip-wheel-q9m8tezo/lean-xplore_62fb438455af4ebab6a244d571e82250 has version 0.4.2, which satisfies requirement lean-xplore==0.4.2 from https://files.pythonhosted.org/packages/89/16/400b98ff1368c635ed0e48194c7fc8eb75edf3352ccb4a951e9eb8dc5d07/lean_xplore-0.4.2.tar.gz
2025-11-29T12:01:29,620   Removed lean-xplore==0.4.2 from https://files.pythonhosted.org/packages/89/16/400b98ff1368c635ed0e48194c7fc8eb75edf3352ccb4a951e9eb8dc5d07/lean_xplore-0.4.2.tar.gz from build tracker '/tmp/pip-build-tracker-juqibsef'
2025-11-29T12:01:29,631 Created temporary directory: /tmp/pip-unpack-6jtliii0
2025-11-29T12:01:29,632 Building wheels for collected packages: lean-xplore
2025-11-29T12:01:29,636   Created temporary directory: /tmp/pip-wheel-_9uudtx6
2025-11-29T12:01:29,637   Destination directory: /tmp/pip-wheel-_9uudtx6
2025-11-29T12:01:29,639   Building wheel for lean-xplore (pyproject.toml): started
2025-11-29T12:01:29,641   Running command Building wheel for lean-xplore (pyproject.toml)
2025-11-29T12:01:30,213   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-29T12:01:30,213   !!

2025-11-29T12:01:30,214           ********************************************************************************
2025-11-29T12:01:30,215           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-29T12:01:30,217           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-29T12:01:30,217           or your builds will no longer be supported.

2025-11-29T12:01:30,219           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:30,219           ********************************************************************************

2025-11-29T12:01:30,221   !!
2025-11-29T12:01:30,221     corresp(dist, value, root_dir)
2025-11-29T12:01:30,297   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T12:01:30,298   !!

2025-11-29T12:01:30,299           ********************************************************************************
2025-11-29T12:01:30,299           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T12:01:30,300           License :: OSI Approved :: Apache Software License

2025-11-29T12:01:30,301           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:30,302           ********************************************************************************

2025-11-29T12:01:30,303   !!
2025-11-29T12:01:30,303     dist._finalize_license_expression()
2025-11-29T12:01:30,304   /tmp/pip-build-env-91r66hzs/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T12:01:30,305   !!

2025-11-29T12:01:30,306           ********************************************************************************
2025-11-29T12:01:30,306           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T12:01:30,307           License :: OSI Approved :: Apache Software License

2025-11-29T12:01:30,309           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T12:01:30,309           ********************************************************************************

2025-11-29T12:01:30,310   !!
2025-11-29T12:01:30,311     self._finalize_license_expression()
2025-11-29T12:01:30,312   running bdist_wheel
2025-11-29T12:01:30,330   running build
2025-11-29T12:01:30,330   running build_py
2025-11-29T12:01:30,337   creating build/lib/lean_explore
2025-11-29T12:01:30,339   copying src/lean_explore/__init__.py -> build/lib/lean_explore
2025-11-29T12:01:30,342   copying src/lean_explore/defaults.py -> build/lib/lean_explore
2025-11-29T12:01:30,345   creating build/lib/lean_explore/api
2025-11-29T12:01:30,346   copying src/lean_explore/api/__init__.py -> build/lib/lean_explore/api
2025-11-29T12:01:30,352   copying src/lean_explore/api/client.py -> build/lib/lean_explore/api
2025-11-29T12:01:30,355   creating build/lib/lean_explore/cli
2025-11-29T12:01:30,356   copying src/lean_explore/cli/config_utils.py -> build/lib/lean_explore/cli
2025-11-29T12:01:30,358   copying src/lean_explore/cli/agent.py -> build/lib/lean_explore/cli
2025-11-29T12:01:30,361   copying src/lean_explore/cli/__init__.py -> build/lib/lean_explore/cli
2025-11-29T12:01:30,363   copying src/lean_explore/cli/data_commands.py -> build/lib/lean_explore/cli
2025-11-29T12:01:30,366   copying src/lean_explore/cli/main.py -> build/lib/lean_explore/cli
2025-11-29T12:01:30,369   creating build/lib/lean_explore/local
2025-11-29T12:01:30,370   copying src/lean_explore/local/search.py -> build/lib/lean_explore/local
2025-11-29T12:01:30,373   copying src/lean_explore/local/__init__.py -> build/lib/lean_explore/local
2025-11-29T12:01:30,375   copying src/lean_explore/local/service.py -> build/lib/lean_explore/local
2025-11-29T12:01:30,378   creating build/lib/lean_explore/mcp
2025-11-29T12:01:30,379   copying src/lean_explore/mcp/__init__.py -> build/lib/lean_explore/mcp
2025-11-29T12:01:30,381   copying src/lean_explore/mcp/tools.py -> build/lib/lean_explore/mcp
2025-11-29T12:01:30,384   copying src/lean_explore/mcp/app.py -> build/lib/lean_explore/mcp
2025-11-29T12:01:30,386   copying src/lean_explore/mcp/server.py -> build/lib/lean_explore/mcp
2025-11-29T12:01:30,389   creating build/lib/lean_explore/shared
2025-11-29T12:01:30,390   copying src/lean_explore/shared/__init__.py -> build/lib/lean_explore/shared
2025-11-29T12:01:30,393   creating build/lib/lean_explore/http
2025-11-29T12:01:30,394   copying src/lean_explore/http/__init__.py -> build/lib/lean_explore/http
2025-11-29T12:01:30,396   copying src/lean_explore/http/server.py -> build/lib/lean_explore/http
2025-11-29T12:01:30,398   creating build/lib/lean_explore/shared/models
2025-11-29T12:01:30,399   copying src/lean_explore/shared/models/__init__.py -> build/lib/lean_explore/shared/models
2025-11-29T12:01:30,401   copying src/lean_explore/shared/models/db.py -> build/lib/lean_explore/shared/models
2025-11-29T12:01:30,404   copying src/lean_explore/shared/models/api.py -> build/lib/lean_explore/shared/models
2025-11-29T12:01:30,407   creating build/lib/dev_tools
2025-11-29T12:01:30,408   copying dev_tools/__init__.py -> build/lib/dev_tools
2025-11-29T12:01:30,410   copying dev_tools/llm_caller.py -> build/lib/dev_tools
2025-11-29T12:01:30,413   copying dev_tools/config.py -> build/lib/dev_tools
2025-11-29T12:01:30,416   creating build/lib/tests
2025-11-29T12:01:30,417   copying tests/conftest.py -> build/lib/tests
2025-11-29T12:01:30,419   copying tests/__init__.py -> build/lib/tests
2025-11-29T12:01:30,421   copying tests/test_defaults.py -> build/lib/tests
2025-11-29T12:01:30,424   creating build/lib/src
2025-11-29T12:01:30,425   copying src/config.py -> build/lib/src
2025-11-29T12:01:30,428   creating build/lib/benchmarking
2025-11-29T12:01:30,429   copying benchmarking/benchmark_search_rate.py -> build/lib/benchmarking
2025-11-29T12:01:30,431   copying benchmarking/reset_results.py -> build/lib/benchmarking
2025-11-29T12:01:30,433   copying benchmarking/gather_search_data.py -> build/lib/benchmarking
2025-11-29T12:01:30,436   copying benchmarking/search_engine_ranker.py -> build/lib/benchmarking
2025-11-29T12:01:30,439   copying benchmarking/inspect_prompts.py -> build/lib/benchmarking
2025-11-29T12:01:30,441   copying benchmarking/analyze_rankings.py -> build/lib/benchmarking
2025-11-29T12:01:30,444   creating build/lib/scripts
2025-11-29T12:01:30,445   copying scripts/prepare_embedding_input.py -> build/lib/scripts
2025-11-29T12:01:30,448   copying scripts/generate_embeddings.py -> build/lib/scripts
2025-11-29T12:01:30,451   copying scripts/generate_docs_data.py -> build/lib/scripts
2025-11-29T12:01:30,454   copying scripts/generate_manifest.py -> build/lib/scripts
2025-11-29T12:01:30,457   copying scripts/lean_to_english.py -> build/lib/scripts
2025-11-29T12:01:30,460   copying scripts/populate_db.py -> build/lib/scripts
2025-11-29T12:01:30,463   copying scripts/pagerank.py -> build/lib/scripts
2025-11-29T12:01:30,466   copying scripts/build_faiss_index.py -> build/lib/scripts
2025-11-29T12:01:30,468   copying scripts/get_summaries.py -> build/lib/scripts
2025-11-29T12:01:30,471   copying scripts/update_primary_declarations.py -> build/lib/scripts
2025-11-29T12:01:30,474   creating build/lib/dev_tools/population
2025-11-29T12:01:30,475   copying dev_tools/population/phase2_tasks.py -> build/lib/dev_tools/population
2025-11-29T12:01:30,478   copying dev_tools/population/__init__.py -> build/lib/dev_tools/population
2025-11-29T12:01:30,480   copying dev_tools/population/phase4_tasks.py -> build/lib/dev_tools/population
2025-11-29T12:01:30,483   copying dev_tools/population/phase3_tasks.py -> build/lib/dev_tools/population
2025-11-29T12:01:30,486   copying dev_tools/population/phase1_tasks.py -> build/lib/dev_tools/population
2025-11-29T12:01:30,489   copying dev_tools/population/phase5_tasks.py -> build/lib/dev_tools/population
2025-11-29T12:01:30,492   creating build/lib/tests/lean_explore
2025-11-29T12:01:30,493   copying tests/lean_explore/__init__.py -> build/lib/tests/lean_explore
2025-11-29T12:01:30,496   creating build/lib/tests/lean_explore/api
2025-11-29T12:01:30,497   copying tests/lean_explore/api/__init__.py -> build/lib/tests/lean_explore/api
2025-11-29T12:01:30,499   copying tests/lean_explore/api/test_client.py -> build/lib/tests/lean_explore/api
2025-11-29T12:01:30,502   creating build/lib/tests/lean_explore/cli
2025-11-29T12:01:30,503   copying tests/lean_explore/cli/test_config_utils.py -> build/lib/tests/lean_explore/cli
2025-11-29T12:01:30,506   copying tests/lean_explore/cli/__init__.py -> build/lib/tests/lean_explore/cli
2025-11-29T12:01:30,508   copying tests/lean_explore/cli/test_data_commands.py -> build/lib/tests/lean_explore/cli
2025-11-29T12:01:30,512   creating build/lib/tests/lean_explore/local
2025-11-29T12:01:30,514   copying tests/lean_explore/local/__init__.py -> build/lib/tests/lean_explore/local
2025-11-29T12:01:30,517   copying tests/lean_explore/local/test_search.py -> build/lib/tests/lean_explore/local
2025-11-29T12:01:30,521   copying tests/lean_explore/local/test_service.py -> build/lib/tests/lean_explore/local
2025-11-29T12:01:30,528   creating build/lib/tests/lean_explore/mcp
2025-11-29T12:01:30,531   copying tests/lean_explore/mcp/test_tools.py -> build/lib/tests/lean_explore/mcp
2025-11-29T12:01:30,536   copying tests/lean_explore/mcp/test_server.py -> build/lib/tests/lean_explore/mcp
2025-11-29T12:01:30,541   copying tests/lean_explore/mcp/test_app.py -> build/lib/tests/lean_explore/mcp
2025-11-29T12:01:30,544   copying tests/lean_explore/mcp/__init__.py -> build/lib/tests/lean_explore/mcp
2025-11-29T12:01:30,548   creating build/lib/tests/lean_explore/shared
2025-11-29T12:01:30,550   copying tests/lean_explore/shared/__init__.py -> build/lib/tests/lean_explore/shared
2025-11-29T12:01:30,555   creating build/lib/tests/lean_explore/http
2025-11-29T12:01:30,557   copying tests/lean_explore/http/test_server.py -> build/lib/tests/lean_explore/http
2025-11-29T12:01:30,563   copying tests/lean_explore/http/__init__.py -> build/lib/tests/lean_explore/http
2025-11-29T12:01:30,568   creating build/lib/src/lean_explore
2025-11-29T12:01:30,571   copying src/lean_explore/__init__.py -> build/lib/src/lean_explore
2025-11-29T12:01:30,575   copying src/lean_explore/defaults.py -> build/lib/src/lean_explore
2025-11-29T12:01:30,581   creating build/lib/src/lean_explore/api
2025-11-29T12:01:30,584   copying src/lean_explore/api/__init__.py -> build/lib/src/lean_explore/api
2025-11-29T12:01:30,589   copying src/lean_explore/api/client.py -> build/lib/src/lean_explore/api
2025-11-29T12:01:30,597   creating build/lib/src/lean_explore/cli
2025-11-29T12:01:30,600   copying src/lean_explore/cli/config_utils.py -> build/lib/src/lean_explore/cli
2025-11-29T12:01:30,604   copying src/lean_explore/cli/agent.py -> build/lib/src/lean_explore/cli
2025-11-29T12:01:30,606   copying src/lean_explore/cli/__init__.py -> build/lib/src/lean_explore/cli
2025-11-29T12:01:30,608   copying src/lean_explore/cli/data_commands.py -> build/lib/src/lean_explore/cli
2025-11-29T12:01:30,610   copying src/lean_explore/cli/main.py -> build/lib/src/lean_explore/cli
2025-11-29T12:01:30,613   creating build/lib/src/lean_explore/local
2025-11-29T12:01:30,614   copying src/lean_explore/local/search.py -> build/lib/src/lean_explore/local
2025-11-29T12:01:30,617   copying src/lean_explore/local/__init__.py -> build/lib/src/lean_explore/local
2025-11-29T12:01:30,619   copying src/lean_explore/local/service.py -> build/lib/src/lean_explore/local
2025-11-29T12:01:30,621   creating build/lib/src/lean_explore/mcp
2025-11-29T12:01:30,622   copying src/lean_explore/mcp/__init__.py -> build/lib/src/lean_explore/mcp
2025-11-29T12:01:30,624   copying src/lean_explore/mcp/tools.py -> build/lib/src/lean_explore/mcp
2025-11-29T12:01:30,626   copying src/lean_explore/mcp/app.py -> build/lib/src/lean_explore/mcp
2025-11-29T12:01:30,629   copying src/lean_explore/mcp/server.py -> build/lib/src/lean_explore/mcp
2025-11-29T12:01:30,631   creating build/lib/src/lean_explore/shared
2025-11-29T12:01:30,632   copying src/lean_explore/shared/__init__.py -> build/lib/src/lean_explore/shared
2025-11-29T12:01:30,635   creating build/lib/src/lean_explore/http
2025-11-29T12:01:30,636   copying src/lean_explore/http/__init__.py -> build/lib/src/lean_explore/http
2025-11-29T12:01:30,638   copying src/lean_explore/http/server.py -> build/lib/src/lean_explore/http
2025-11-29T12:01:30,641   creating build/lib/src/lean_explore/shared/models
2025-11-29T12:01:30,642   copying src/lean_explore/shared/models/__init__.py -> build/lib/src/lean_explore/shared/models
2025-11-29T12:01:30,643   copying src/lean_explore/shared/models/db.py -> build/lib/src/lean_explore/shared/models
2025-11-29T12:01:30,646   copying src/lean_explore/shared/models/api.py -> build/lib/src/lean_explore/shared/models
2025-11-29T12:01:30,648   running egg_info
2025-11-29T12:01:30,659   writing lean_xplore.egg-info/PKG-INFO
2025-11-29T12:01:30,668   writing dependency_links to lean_xplore.egg-info/dependency_links.txt
2025-11-29T12:01:30,669   writing entry points to lean_xplore.egg-info/entry_points.txt
2025-11-29T12:01:30,674   writing requirements to lean_xplore.egg-info/requires.txt
2025-11-29T12:01:30,675   writing top-level names to lean_xplore.egg-info/top_level.txt
2025-11-29T12:01:30,707   reading manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:30,712   adding license file 'LICENSE'
2025-11-29T12:01:30,718   writing manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T12:01:30,754   installing to build/bdist.linux-armv7l/wheel
2025-11-29T12:01:30,755   running install
2025-11-29T12:01:30,779   running install_lib
2025-11-29T12:01:30,785   creating build/bdist.linux-armv7l/wheel
2025-11-29T12:01:30,788   creating build/bdist.linux-armv7l/wheel/dev_tools
2025-11-29T12:01:30,790   copying build/lib/dev_tools/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-29T12:01:30,793   creating build/bdist.linux-armv7l/wheel/dev_tools/population
2025-11-29T12:01:30,795   copying build/lib/dev_tools/population/phase2_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T12:01:30,801   copying build/lib/dev_tools/population/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T12:01:30,806   copying build/lib/dev_tools/population/phase4_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T12:01:30,812   copying build/lib/dev_tools/population/phase3_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T12:01:30,819   copying build/lib/dev_tools/population/phase1_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T12:01:30,826   copying build/lib/dev_tools/population/phase5_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T12:01:30,832   copying build/lib/dev_tools/llm_caller.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-29T12:01:30,840   copying build/lib/dev_tools/config.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-29T12:01:30,849   creating build/bdist.linux-armv7l/wheel/tests
2025-11-29T12:01:30,852   copying build/lib/tests/conftest.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-29T12:01:30,855   copying build/lib/tests/__init__.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-29T12:01:30,857   copying build/lib/tests/test_defaults.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-29T12:01:30,861   creating build/bdist.linux-armv7l/wheel/tests/lean_explore
2025-11-29T12:01:30,863   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/api
2025-11-29T12:01:30,865   copying build/lib/tests/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api
2025-11-29T12:01:30,867   copying build/lib/tests/lean_explore/api/test_client.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api
2025-11-29T12:01:30,870   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/cli
2025-11-29T12:01:30,872   copying build/lib/tests/lean_explore/cli/test_config_utils.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-29T12:01:30,875   copying build/lib/tests/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-29T12:01:30,877   copying build/lib/tests/lean_explore/cli/test_data_commands.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-29T12:01:30,881   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/local
2025-11-29T12:01:30,883   copying build/lib/tests/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-29T12:01:30,885   copying build/lib/tests/lean_explore/local/test_search.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-29T12:01:30,889   copying build/lib/tests/lean_explore/local/test_service.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-29T12:01:30,892   copying build/lib/tests/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore
2025-11-29T12:01:30,894   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/mcp
2025-11-29T12:01:30,896   copying build/lib/tests/lean_explore/mcp/test_tools.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T12:01:30,899   copying build/lib/tests/lean_explore/mcp/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T12:01:30,901   copying build/lib/tests/lean_explore/mcp/test_app.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T12:01:30,904   copying build/lib/tests/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T12:01:30,907   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/shared
2025-11-29T12:01:30,908   copying build/lib/tests/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/shared
2025-11-29T12:01:30,911   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/http
2025-11-29T12:01:30,912   copying build/lib/tests/lean_explore/http/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http
2025-11-29T12:01:30,915   copying build/lib/tests/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http
2025-11-29T12:01:30,918   creating build/bdist.linux-armv7l/wheel/src
2025-11-29T12:01:30,920   copying build/lib/src/config.py -> build/bdist.linux-armv7l/wheel/./src
2025-11-29T12:01:30,922   creating build/bdist.linux-armv7l/wheel/src/lean_explore
2025-11-29T12:01:30,924   creating build/bdist.linux-armv7l/wheel/src/lean_explore/api
2025-11-29T12:01:30,926   copying build/lib/src/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api
2025-11-29T12:01:30,928   copying build/lib/src/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api
2025-11-29T12:01:30,931   creating build/bdist.linux-armv7l/wheel/src/lean_explore/cli
2025-11-29T12:01:30,933   copying build/lib/src/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T12:01:30,936   copying build/lib/src/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T12:01:30,940   copying build/lib/src/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T12:01:30,942   copying build/lib/src/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T12:01:30,945   copying build/lib/src/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T12:01:30,949   creating build/bdist.linux-armv7l/wheel/src/lean_explore/local
2025-11-29T12:01:30,950   copying build/lib/src/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-29T12:01:30,956   copying build/lib/src/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-29T12:01:30,962   copying build/lib/src/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-29T12:01:30,970   copying build/lib/src/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore
2025-11-29T12:01:30,979   creating build/bdist.linux-armv7l/wheel/src/lean_explore/mcp
2025-11-29T12:01:30,981   copying build/lib/src/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T12:01:30,983   copying build/lib/src/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T12:01:30,986   copying build/lib/src/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T12:01:30,988   copying build/lib/src/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T12:01:30,991   copying build/lib/src/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore
2025-11-29T12:01:30,993   creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared
2025-11-29T12:01:30,995   creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared/models
2025-11-29T12:01:30,997   copying build/lib/src/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-29T12:01:30,999   copying build/lib/src/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-29T12:01:31,002   copying build/lib/src/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-29T12:01:31,005   copying build/lib/src/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared
2025-11-29T12:01:31,007   creating build/bdist.linux-armv7l/wheel/src/lean_explore/http
2025-11-29T12:01:31,009   copying build/lib/src/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http
2025-11-29T12:01:31,011   copying build/lib/src/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http
2025-11-29T12:01:31,014   creating build/bdist.linux-armv7l/wheel/lean_explore
2025-11-29T12:01:31,016   creating build/bdist.linux-armv7l/wheel/lean_explore/api
2025-11-29T12:01:31,017   copying build/lib/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api
2025-11-29T12:01:31,020   copying build/lib/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api
2025-11-29T12:01:31,023   creating build/bdist.linux-armv7l/wheel/lean_explore/cli
2025-11-29T12:01:31,024   copying build/lib/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T12:01:31,027   copying build/lib/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T12:01:31,030   copying build/lib/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T12:01:31,032   copying build/lib/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T12:01:31,035   copying build/lib/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T12:01:31,038   creating build/bdist.linux-armv7l/wheel/lean_explore/local
2025-11-29T12:01:31,039   copying build/lib/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-29T12:01:31,042   copying build/lib/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-29T12:01:31,043   copying build/lib/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-29T12:01:31,046   copying build/lib/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore
2025-11-29T12:01:31,048   creating build/bdist.linux-armv7l/wheel/lean_explore/mcp
2025-11-29T12:01:31,049   copying build/lib/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T12:01:31,051   copying build/lib/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T12:01:31,054   copying build/lib/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T12:01:31,056   copying build/lib/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T12:01:31,058   copying build/lib/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./lean_explore
2025-11-29T12:01:31,061   creating build/bdist.linux-armv7l/wheel/lean_explore/shared
2025-11-29T12:01:31,063   creating build/bdist.linux-armv7l/wheel/lean_explore/shared/models
2025-11-29T12:01:31,064   copying build/lib/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-29T12:01:31,066   copying build/lib/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-29T12:01:31,068   copying build/lib/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-29T12:01:31,070   copying build/lib/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared
2025-11-29T12:01:31,072   creating build/bdist.linux-armv7l/wheel/lean_explore/http
2025-11-29T12:01:31,073   copying build/lib/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http
2025-11-29T12:01:31,075   copying build/lib/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http
2025-11-29T12:01:31,078   creating build/bdist.linux-armv7l/wheel/benchmarking
2025-11-29T12:01:31,079   copying build/lib/benchmarking/benchmark_search_rate.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T12:01:31,082   copying build/lib/benchmarking/reset_results.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T12:01:31,083   copying build/lib/benchmarking/gather_search_data.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T12:01:31,086   copying build/lib/benchmarking/search_engine_ranker.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T12:01:31,089   copying build/lib/benchmarking/inspect_prompts.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T12:01:31,091   copying build/lib/benchmarking/analyze_rankings.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T12:01:31,094   creating build/bdist.linux-armv7l/wheel/scripts
2025-11-29T12:01:31,095   copying build/lib/scripts/prepare_embedding_input.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,098   copying build/lib/scripts/generate_embeddings.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,100   copying build/lib/scripts/generate_docs_data.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,103   copying build/lib/scripts/generate_manifest.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,106   copying build/lib/scripts/lean_to_english.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,110   copying build/lib/scripts/populate_db.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,112   copying build/lib/scripts/pagerank.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,115   copying build/lib/scripts/build_faiss_index.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,117   copying build/lib/scripts/get_summaries.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,120   copying build/lib/scripts/update_primary_declarations.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T12:01:31,122   running install_egg_info
2025-11-29T12:01:31,128   Copying lean_xplore.egg-info to build/bdist.linux-armv7l/wheel/./lean_xplore-0.4.2-py3.11.egg-info
2025-11-29T12:01:31,140   running install_scripts
2025-11-29T12:01:31,153   creating build/bdist.linux-armv7l/wheel/lean_xplore-0.4.2.dist-info/WHEEL
2025-11-29T12:01:31,156   creating '/tmp/pip-wheel-_9uudtx6/.tmp-pot62wfx/lean_xplore-0.4.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-11-29T12:01:31,159   adding 'benchmarking/analyze_rankings.py'
2025-11-29T12:01:31,162   adding 'benchmarking/benchmark_search_rate.py'
2025-11-29T12:01:31,166   adding 'benchmarking/gather_search_data.py'
2025-11-29T12:01:31,167   adding 'benchmarking/inspect_prompts.py'
2025-11-29T12:01:31,169   adding 'benchmarking/reset_results.py'
2025-11-29T12:01:31,173   adding 'benchmarking/search_engine_ranker.py'
2025-11-29T12:01:31,175   adding 'dev_tools/__init__.py'
2025-11-29T12:01:31,178   adding 'dev_tools/config.py'
2025-11-29T12:01:31,183   adding 'dev_tools/llm_caller.py'
2025-11-29T12:01:31,185   adding 'dev_tools/population/__init__.py'
2025-11-29T12:01:31,189   adding 'dev_tools/population/phase1_tasks.py'
2025-11-29T12:01:31,193   adding 'dev_tools/population/phase2_tasks.py'
2025-11-29T12:01:31,197   adding 'dev_tools/population/phase3_tasks.py'
2025-11-29T12:01:31,199   adding 'dev_tools/population/phase4_tasks.py'
2025-11-29T12:01:31,201   adding 'dev_tools/population/phase5_tasks.py'
2025-11-29T12:01:31,202   adding 'lean_explore/__init__.py'
2025-11-29T12:01:31,204   adding 'lean_explore/defaults.py'
2025-11-29T12:01:31,205   adding 'lean_explore/api/__init__.py'
2025-11-29T12:01:31,207   adding 'lean_explore/api/client.py'
2025-11-29T12:01:31,209   adding 'lean_explore/cli/__init__.py'
2025-11-29T12:01:31,212   adding 'lean_explore/cli/agent.py'
2025-11-29T12:01:31,215   adding 'lean_explore/cli/config_utils.py'
2025-11-29T12:01:31,220   adding 'lean_explore/cli/data_commands.py'
2025-11-29T12:01:31,225   adding 'lean_explore/cli/main.py'
2025-11-29T12:01:31,228   adding 'lean_explore/http/__init__.py'
2025-11-29T12:01:31,230   adding 'lean_explore/http/server.py'
2025-11-29T12:01:31,232   adding 'lean_explore/local/__init__.py'
2025-11-29T12:01:31,240   adding 'lean_explore/local/search.py'
2025-11-29T12:01:31,244   adding 'lean_explore/local/service.py'
2025-11-29T12:01:31,246   adding 'lean_explore/mcp/__init__.py'
2025-11-29T12:01:31,249   adding 'lean_explore/mcp/app.py'
2025-11-29T12:01:31,251   adding 'lean_explore/mcp/server.py'
2025-11-29T12:01:31,254   adding 'lean_explore/mcp/tools.py'
2025-11-29T12:01:31,256   adding 'lean_explore/shared/__init__.py'
2025-11-29T12:01:31,258   adding 'lean_explore/shared/models/__init__.py'
2025-11-29T12:01:31,260   adding 'lean_explore/shared/models/api.py'
2025-11-29T12:01:31,263   adding 'lean_explore/shared/models/db.py'
2025-11-29T12:01:31,268   adding 'lean_xplore-0.4.2.dist-info/licenses/LICENSE'
2025-11-29T12:01:31,272   adding 'scripts/build_faiss_index.py'
2025-11-29T12:01:31,280   adding 'scripts/generate_docs_data.py'
2025-11-29T12:01:31,283   adding 'scripts/generate_embeddings.py'
2025-11-29T12:01:31,288   adding 'scripts/generate_manifest.py'
2025-11-29T12:01:31,293   adding 'scripts/get_summaries.py'
2025-11-29T12:01:31,304   adding 'scripts/lean_to_english.py'
2025-11-29T12:01:31,309   adding 'scripts/pagerank.py'
2025-11-29T12:01:31,313   adding 'scripts/populate_db.py'
2025-11-29T12:01:31,317   adding 'scripts/prepare_embedding_input.py'
2025-11-29T12:01:31,319   adding 'scripts/update_primary_declarations.py'
2025-11-29T12:01:31,321   adding 'src/config.py'
2025-11-29T12:01:31,323   adding 'src/lean_explore/__init__.py'
2025-11-29T12:01:31,325   adding 'src/lean_explore/defaults.py'
2025-11-29T12:01:31,327   adding 'src/lean_explore/api/__init__.py'
2025-11-29T12:01:31,328   adding 'src/lean_explore/api/client.py'
2025-11-29T12:01:31,330   adding 'src/lean_explore/cli/__init__.py'
2025-11-29T12:01:31,334   adding 'src/lean_explore/cli/agent.py'
2025-11-29T12:01:31,336   adding 'src/lean_explore/cli/config_utils.py'
2025-11-29T12:01:31,340   adding 'src/lean_explore/cli/data_commands.py'
2025-11-29T12:01:31,343   adding 'src/lean_explore/cli/main.py'
2025-11-29T12:01:31,345   adding 'src/lean_explore/http/__init__.py'
2025-11-29T12:01:31,347   adding 'src/lean_explore/http/server.py'
2025-11-29T12:01:31,348   adding 'src/lean_explore/local/__init__.py'
2025-11-29T12:01:31,353   adding 'src/lean_explore/local/search.py'
2025-11-29T12:01:31,355   adding 'src/lean_explore/local/service.py'
2025-11-29T12:01:31,357   adding 'src/lean_explore/mcp/__init__.py'
2025-11-29T12:01:31,359   adding 'src/lean_explore/mcp/app.py'
2025-11-29T12:01:31,361   adding 'src/lean_explore/mcp/server.py'
2025-11-29T12:01:31,362   adding 'src/lean_explore/mcp/tools.py'
2025-11-29T12:01:31,364   adding 'src/lean_explore/shared/__init__.py'
2025-11-29T12:01:31,366   adding 'src/lean_explore/shared/models/__init__.py'
2025-11-29T12:01:31,367   adding 'src/lean_explore/shared/models/api.py'
2025-11-29T12:01:31,369   adding 'src/lean_explore/shared/models/db.py'
2025-11-29T12:01:31,371   adding 'tests/__init__.py'
2025-11-29T12:01:31,373   adding 'tests/conftest.py'
2025-11-29T12:01:31,375   adding 'tests/test_defaults.py'
2025-11-29T12:01:31,376   adding 'tests/lean_explore/__init__.py'
2025-11-29T12:01:31,378   adding 'tests/lean_explore/api/__init__.py'
2025-11-29T12:01:31,380   adding 'tests/lean_explore/api/test_client.py'
2025-11-29T12:01:31,381   adding 'tests/lean_explore/cli/__init__.py'
2025-11-29T12:01:31,384   adding 'tests/lean_explore/cli/test_config_utils.py'
2025-11-29T12:01:31,386   adding 'tests/lean_explore/cli/test_data_commands.py'
2025-11-29T12:01:31,388   adding 'tests/lean_explore/http/__init__.py'
2025-11-29T12:01:31,390   adding 'tests/lean_explore/http/test_server.py'
2025-11-29T12:01:31,392   adding 'tests/lean_explore/local/__init__.py'
2025-11-29T12:01:31,395   adding 'tests/lean_explore/local/test_search.py'
2025-11-29T12:01:31,398   adding 'tests/lean_explore/local/test_service.py'
2025-11-29T12:01:31,400   adding 'tests/lean_explore/mcp/__init__.py'
2025-11-29T12:01:31,401   adding 'tests/lean_explore/mcp/test_app.py'
2025-11-29T12:01:31,403   adding 'tests/lean_explore/mcp/test_server.py'
2025-11-29T12:01:31,405   adding 'tests/lean_explore/mcp/test_tools.py'
2025-11-29T12:01:31,407   adding 'tests/lean_explore/shared/__init__.py'
2025-11-29T12:01:31,409   adding 'lean_xplore-0.4.2.dist-info/METADATA'
2025-11-29T12:01:31,410   adding 'lean_xplore-0.4.2.dist-info/WHEEL'
2025-11-29T12:01:31,411   adding 'lean_xplore-0.4.2.dist-info/entry_points.txt'
2025-11-29T12:01:31,412   adding 'lean_xplore-0.4.2.dist-info/top_level.txt'
2025-11-29T12:01:31,414   adding 'lean_xplore-0.4.2.dist-info/RECORD'
2025-11-29T12:01:31,425   removing build/bdist.linux-armv7l/wheel
2025-11-29T12:01:31,561   Building wheel for lean-xplore (pyproject.toml): finished with status 'done'
2025-11-29T12:01:31,572   Created wheel for lean-xplore: filename=lean_xplore-0.4.2-py3-none-any.whl size=316449 sha256=a5ba084567cb9b4e6cda706f24be2ffe72d17ee3c60400286e728cf671950c25
2025-11-29T12:01:31,573   Stored in directory: /tmp/pip-ephem-wheel-cache-_p_93k5o/wheels/de/74/5d/8109c66f29d95ad5e020e71b1965458f3416ea6833da76d33c
2025-11-29T12:01:31,596 Successfully built lean-xplore
2025-11-29T12:01:31,611 Removed build tracker: '/tmp/pip-build-tracker-juqibsef'