2025-11-29T17:34:03,946 Created temporary directory: /tmp/pip-ephem-wheel-cache-_cx29sj4
2025-11-29T17:34:03,948 Created temporary directory: /tmp/pip-build-tracker-mleu3ncu
2025-11-29T17:34:03,949 Initialized build tracking at /tmp/pip-build-tracker-mleu3ncu
2025-11-29T17:34:03,950 Created build tracker: /tmp/pip-build-tracker-mleu3ncu
2025-11-29T17:34:03,950 Entered build tracker: /tmp/pip-build-tracker-mleu3ncu
2025-11-29T17:34:03,951 Created temporary directory: /tmp/pip-wheel-lzmvk4e9
2025-11-29T17:34:03,954 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-29T17:34:03,956 Created temporary directory: /tmp/pip-ephem-wheel-cache-6lsr0nl9
2025-11-29T17:34:03,979 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-11-29T17:34:03,983 2 location(s) to search for versions of lean-xplore:
2025-11-29T17:34:03,983 * https://pypi.org/simple/lean-xplore/
2025-11-29T17:34:03,983 * https://www.piwheels.org/simple/lean-xplore/
2025-11-29T17:34:03,983 Fetching project page and analyzing links: https://pypi.org/simple/lean-xplore/
2025-11-29T17:34:03,984 Getting page https://pypi.org/simple/lean-xplore/
2025-11-29T17:34:03,986 Found index url https://pypi.org/simple
2025-11-29T17:34:04,544 Fetched page https://pypi.org/simple/lean-xplore/ as application/vnd.pypi.simple.v1+json
2025-11-29T17:34:04,547   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-29T17:34:04,548   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-29T17:34:04,548   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-29T17:34:04,549   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-29T17:34:04,550   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-29T17:34:04,551   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-29T17:34:04,552   Skipping link: No binaries permitted for lean-xplore: https://files.pythonhosted.org/packages/ad/94/22893a59c2debeb2b4476fbb91f6534562c5a384c1b5853a5e13198e8a05/lean_xplore-0.4.3-py3-none-any.whl (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-29T17:34:04,553   Found link https://files.pythonhosted.org/packages/9e/d6/6fe11f3ba1810dcb09fca9b9887b78676f2a9ee6639e541679037f5269cc/lean_xplore-0.4.3.tar.gz (from https://pypi.org/simple/lean-xplore/) (requires-python:>=3.10), version: 0.4.3
2025-11-29T17:34:04,554 Fetching project page and analyzing links: https://www.piwheels.org/simple/lean-xplore/
2025-11-29T17:34:04,555 Getting page https://www.piwheels.org/simple/lean-xplore/
2025-11-29T17:34:04,556 Found index url https://www.piwheels.org/simple
2025-11-29T17:34:04,711 Fetched page https://www.piwheels.org/simple/lean-xplore/ as text/html
2025-11-29T17:34:04,714   Skipping link: No binaries permitted for lean-xplore: https://www.piwheels.org/simple/lean-xplore/lean_xplore-0.4.2-py3-none-any.whl#sha256=a5ba084567cb9b4e6cda706f24be2ffe72d17ee3c60400286e728cf671950c25 (from https://www.piwheels.org/simple/lean-xplore/) (requires-python:>=3.10)
2025-11-29T17:34:04,714   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-29T17:34:04,715   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-29T17:34:04,715 Skipping link: not a file: https://www.piwheels.org/simple/lean-xplore/
2025-11-29T17:34:04,716 Skipping link: not a file: https://pypi.org/simple/lean-xplore/
2025-11-29T17:34:04,735 Given no hashes to check 1 links for project 'lean-xplore': discarding no candidates
2025-11-29T17:34:04,753 Collecting lean-xplore==0.4.3
2025-11-29T17:34:04,755   Created temporary directory: /tmp/pip-unpack-z0llocea
2025-11-29T17:34:05,075   Downloading lean_xplore-0.4.3.tar.gz (225 kB)
2025-11-29T17:34:05,380   Added lean-xplore==0.4.3 from https://files.pythonhosted.org/packages/9e/d6/6fe11f3ba1810dcb09fca9b9887b78676f2a9ee6639e541679037f5269cc/lean_xplore-0.4.3.tar.gz to build tracker '/tmp/pip-build-tracker-mleu3ncu'
2025-11-29T17:34:05,386   Created temporary directory: /tmp/pip-build-env-4t7yyavm
2025-11-29T17:34:05,390   Installing build dependencies: started
2025-11-29T17:34:05,392   Running command pip subprocess to install build dependencies
2025-11-29T17:34:06,521   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2025-11-29T17:34:07,153   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-29T17:34:07,176   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-11-29T17:34:08,895   Collecting setuptools>=61.0
2025-11-29T17:34:09,008     Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB)
2025-11-29T17:34:11,954   Installing collected packages: setuptools
2025-11-29T17:34:15,616   Successfully installed setuptools-80.9.0
2025-11-29T17:34:15,883   Installing build dependencies: finished with status 'done'
2025-11-29T17:34:15,890   Getting requirements to build wheel: started
2025-11-29T17:34:15,891   Running command Getting requirements to build wheel
2025-11-29T17:34:16,514   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-29T17:34:16,515   !!

2025-11-29T17:34:16,516           ********************************************************************************
2025-11-29T17:34:16,516           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-29T17:34:16,518           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-29T17:34:16,518           or your builds will no longer be supported.

2025-11-29T17:34:16,519           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:16,521           ********************************************************************************

2025-11-29T17:34:16,522   !!
2025-11-29T17:34:16,522     corresp(dist, value, root_dir)
2025-11-29T17:34:16,608   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T17:34:16,609   !!

2025-11-29T17:34:16,610           ********************************************************************************
2025-11-29T17:34:16,610           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T17:34:16,611           License :: OSI Approved :: Apache Software License

2025-11-29T17:34:16,612           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:16,612           ********************************************************************************

2025-11-29T17:34:16,613   !!
2025-11-29T17:34:16,614     dist._finalize_license_expression()
2025-11-29T17:34:16,615   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T17:34:16,615   !!

2025-11-29T17:34:16,616           ********************************************************************************
2025-11-29T17:34:16,617           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T17:34:16,618           License :: OSI Approved :: Apache Software License

2025-11-29T17:34:16,619           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:16,619           ********************************************************************************

2025-11-29T17:34:16,620   !!
2025-11-29T17:34:16,621     self._finalize_license_expression()
2025-11-29T17:34:16,622   running egg_info
2025-11-29T17:34:16,628   writing lean_xplore.egg-info/PKG-INFO
2025-11-29T17:34:16,637   writing dependency_links to lean_xplore.egg-info/dependency_links.txt
2025-11-29T17:34:16,639   writing entry points to lean_xplore.egg-info/entry_points.txt
2025-11-29T17:34:16,644   writing requirements to lean_xplore.egg-info/requires.txt
2025-11-29T17:34:16,645   writing top-level names to lean_xplore.egg-info/top_level.txt
2025-11-29T17:34:16,699   reading manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:16,705   adding license file 'LICENSE'
2025-11-29T17:34:16,711   writing manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:16,809   Getting requirements to build wheel: finished with status 'done'
2025-11-29T17:34:16,812   Created temporary directory: /tmp/pip-modern-metadata-ge6dytim
2025-11-29T17:34:16,815   Preparing metadata (pyproject.toml): started
2025-11-29T17:34:16,816   Running command Preparing metadata (pyproject.toml)
2025-11-29T17:34:17,392   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-29T17:34:17,392   !!

2025-11-29T17:34:17,393           ********************************************************************************
2025-11-29T17:34:17,394           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-29T17:34:17,395           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-29T17:34:17,396           or your builds will no longer be supported.

2025-11-29T17:34:17,397           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:17,398           ********************************************************************************

2025-11-29T17:34:17,399   !!
2025-11-29T17:34:17,400     corresp(dist, value, root_dir)
2025-11-29T17:34:17,482   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T17:34:17,483   !!

2025-11-29T17:34:17,484           ********************************************************************************
2025-11-29T17:34:17,484           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T17:34:17,485           License :: OSI Approved :: Apache Software License

2025-11-29T17:34:17,486           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:17,486           ********************************************************************************

2025-11-29T17:34:17,487   !!
2025-11-29T17:34:17,488     dist._finalize_license_expression()
2025-11-29T17:34:17,488   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T17:34:17,489   !!

2025-11-29T17:34:17,490           ********************************************************************************
2025-11-29T17:34:17,490           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T17:34:17,492           License :: OSI Approved :: Apache Software License

2025-11-29T17:34:17,493           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:17,494           ********************************************************************************

2025-11-29T17:34:17,495   !!
2025-11-29T17:34:17,496     self._finalize_license_expression()
2025-11-29T17:34:17,496   running dist_info
2025-11-29T17:34:17,508   creating /tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info
2025-11-29T17:34:17,509   writing /tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/PKG-INFO
2025-11-29T17:34:17,518   writing dependency_links to /tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/dependency_links.txt
2025-11-29T17:34:17,520   writing entry points to /tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/entry_points.txt
2025-11-29T17:34:17,525   writing requirements to /tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/requires.txt
2025-11-29T17:34:17,526   writing top-level names to /tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/top_level.txt
2025-11-29T17:34:17,528   writing manifest file '/tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:17,573   reading manifest file '/tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:17,575   adding license file 'LICENSE'
2025-11-29T17:34:17,580   writing manifest file '/tmp/pip-modern-metadata-ge6dytim/lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:17,581   creating '/tmp/pip-modern-metadata-ge6dytim/lean_xplore-0.4.3.dist-info'
2025-11-29T17:34:17,712   Preparing metadata (pyproject.toml): finished with status 'done'
2025-11-29T17:34:17,719   Source in /tmp/pip-wheel-lzmvk4e9/lean-xplore_4b5091e3e7b942fb954cbdaba4f07707 has version 0.4.3, which satisfies requirement lean-xplore==0.4.3 from https://files.pythonhosted.org/packages/9e/d6/6fe11f3ba1810dcb09fca9b9887b78676f2a9ee6639e541679037f5269cc/lean_xplore-0.4.3.tar.gz
2025-11-29T17:34:17,720   Removed lean-xplore==0.4.3 from https://files.pythonhosted.org/packages/9e/d6/6fe11f3ba1810dcb09fca9b9887b78676f2a9ee6639e541679037f5269cc/lean_xplore-0.4.3.tar.gz from build tracker '/tmp/pip-build-tracker-mleu3ncu'
2025-11-29T17:34:17,732 Created temporary directory: /tmp/pip-unpack-_o8q6btn
2025-11-29T17:34:17,733 Building wheels for collected packages: lean-xplore
2025-11-29T17:34:17,738   Created temporary directory: /tmp/pip-wheel-vdcylvix
2025-11-29T17:34:17,738   Destination directory: /tmp/pip-wheel-vdcylvix
2025-11-29T17:34:17,741   Building wheel for lean-xplore (pyproject.toml): started
2025-11-29T17:34:17,742   Running command Building wheel for lean-xplore (pyproject.toml)
2025-11-29T17:34:18,543   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
2025-11-29T17:34:18,543   !!

2025-11-29T17:34:18,544           ********************************************************************************
2025-11-29T17:34:18,545           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-29T17:34:18,545           By 2026-Feb-18, you need to update your project and remove deprecated calls
2025-11-29T17:34:18,546           or your builds will no longer be supported.

2025-11-29T17:34:18,547           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:18,548           ********************************************************************************

2025-11-29T17:34:18,549   !!
2025-11-29T17:34:18,549     corresp(dist, value, root_dir)
2025-11-29T17:34:18,626   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T17:34:18,626   !!

2025-11-29T17:34:18,627           ********************************************************************************
2025-11-29T17:34:18,628           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T17:34:18,629           License :: OSI Approved :: Apache Software License

2025-11-29T17:34:18,630           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:18,630           ********************************************************************************

2025-11-29T17:34:18,632   !!
2025-11-29T17:34:18,632     dist._finalize_license_expression()
2025-11-29T17:34:18,633   /tmp/pip-build-env-4t7yyavm/overlay/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-11-29T17:34:18,634   !!

2025-11-29T17:34:18,635           ********************************************************************************
2025-11-29T17:34:18,636           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-11-29T17:34:18,638           License :: OSI Approved :: Apache Software License

2025-11-29T17:34:18,672           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-11-29T17:34:18,672           ********************************************************************************

2025-11-29T17:34:18,673   !!
2025-11-29T17:34:18,674     self._finalize_license_expression()
2025-11-29T17:34:18,674   running bdist_wheel
2025-11-29T17:34:18,690   running build
2025-11-29T17:34:18,690   running build_py
2025-11-29T17:34:18,697   creating build/lib/lean_explore
2025-11-29T17:34:18,699   copying src/lean_explore/defaults.py -> build/lib/lean_explore
2025-11-29T17:34:18,702   copying src/lean_explore/__init__.py -> build/lib/lean_explore
2025-11-29T17:34:18,704   creating build/lib/lean_explore/shared
2025-11-29T17:34:18,705   copying src/lean_explore/shared/__init__.py -> build/lib/lean_explore/shared
2025-11-29T17:34:18,708   creating build/lib/lean_explore/cli
2025-11-29T17:34:18,709   copying src/lean_explore/cli/agent.py -> build/lib/lean_explore/cli
2025-11-29T17:34:18,712   copying src/lean_explore/cli/__init__.py -> build/lib/lean_explore/cli
2025-11-29T17:34:18,714   copying src/lean_explore/cli/data_commands.py -> build/lib/lean_explore/cli
2025-11-29T17:34:18,716   copying src/lean_explore/cli/main.py -> build/lib/lean_explore/cli
2025-11-29T17:34:18,719   copying src/lean_explore/cli/config_utils.py -> build/lib/lean_explore/cli
2025-11-29T17:34:18,722   creating build/lib/lean_explore/api
2025-11-29T17:34:18,723   copying src/lean_explore/api/__init__.py -> build/lib/lean_explore/api
2025-11-29T17:34:18,726   copying src/lean_explore/api/client.py -> build/lib/lean_explore/api
2025-11-29T17:34:18,729   creating build/lib/lean_explore/local
2025-11-29T17:34:18,730   copying src/lean_explore/local/search.py -> build/lib/lean_explore/local
2025-11-29T17:34:18,733   copying src/lean_explore/local/service.py -> build/lib/lean_explore/local
2025-11-29T17:34:18,735   copying src/lean_explore/local/__init__.py -> build/lib/lean_explore/local
2025-11-29T17:34:18,738   creating build/lib/lean_explore/http
2025-11-29T17:34:18,739   copying src/lean_explore/http/server.py -> build/lib/lean_explore/http
2025-11-29T17:34:18,741   copying src/lean_explore/http/__init__.py -> build/lib/lean_explore/http
2025-11-29T17:34:18,743   creating build/lib/lean_explore/mcp
2025-11-29T17:34:18,745   copying src/lean_explore/mcp/server.py -> build/lib/lean_explore/mcp
2025-11-29T17:34:18,747   copying src/lean_explore/mcp/app.py -> build/lib/lean_explore/mcp
2025-11-29T17:34:18,750   copying src/lean_explore/mcp/__init__.py -> build/lib/lean_explore/mcp
2025-11-29T17:34:18,751   copying src/lean_explore/mcp/tools.py -> build/lib/lean_explore/mcp
2025-11-29T17:34:18,754   creating build/lib/lean_explore/shared/models
2025-11-29T17:34:18,755   copying src/lean_explore/shared/models/api.py -> build/lib/lean_explore/shared/models
2025-11-29T17:34:18,758   copying src/lean_explore/shared/models/__init__.py -> build/lib/lean_explore/shared/models
2025-11-29T17:34:18,760   copying src/lean_explore/shared/models/db.py -> build/lib/lean_explore/shared/models
2025-11-29T17:34:18,763   creating build/lib/benchmarking
2025-11-29T17:34:18,764   copying benchmarking/inspect_prompts.py -> build/lib/benchmarking
2025-11-29T17:34:18,767   copying benchmarking/reset_results.py -> build/lib/benchmarking
2025-11-29T17:34:18,769   copying benchmarking/benchmark_search_rate.py -> build/lib/benchmarking
2025-11-29T17:34:18,771   copying benchmarking/analyze_rankings.py -> build/lib/benchmarking
2025-11-29T17:34:18,774   copying benchmarking/search_engine_ranker.py -> build/lib/benchmarking
2025-11-29T17:34:18,778   copying benchmarking/gather_search_data.py -> build/lib/benchmarking
2025-11-29T17:34:18,782   creating build/lib/scripts
2025-11-29T17:34:18,783   copying scripts/populate_db.py -> build/lib/scripts
2025-11-29T17:34:18,785   copying scripts/get_summaries.py -> build/lib/scripts
2025-11-29T17:34:18,789   copying scripts/update_primary_declarations.py -> build/lib/scripts
2025-11-29T17:34:18,791   copying scripts/lean_to_english.py -> build/lib/scripts
2025-11-29T17:34:18,795   copying scripts/generate_manifest.py -> build/lib/scripts
2025-11-29T17:34:18,798   copying scripts/pagerank.py -> build/lib/scripts
2025-11-29T17:34:18,801   copying scripts/generate_embeddings.py -> build/lib/scripts
2025-11-29T17:34:18,804   copying scripts/build_faiss_index.py -> build/lib/scripts
2025-11-29T17:34:18,806   copying scripts/generate_docs_data.py -> build/lib/scripts
2025-11-29T17:34:18,809   copying scripts/prepare_embedding_input.py -> build/lib/scripts
2025-11-29T17:34:18,812   creating build/lib/dev_tools
2025-11-29T17:34:18,813   copying dev_tools/config.py -> build/lib/dev_tools
2025-11-29T17:34:18,816   copying dev_tools/llm_caller.py -> build/lib/dev_tools
2025-11-29T17:34:18,820   copying dev_tools/__init__.py -> build/lib/dev_tools
2025-11-29T17:34:18,823   creating build/lib/tests
2025-11-29T17:34:18,824   copying tests/conftest.py -> build/lib/tests
2025-11-29T17:34:18,827   copying tests/__init__.py -> build/lib/tests
2025-11-29T17:34:18,829   copying tests/test_defaults.py -> build/lib/tests
2025-11-29T17:34:18,832   creating build/lib/src
2025-11-29T17:34:18,833   copying src/config.py -> build/lib/src
2025-11-29T17:34:18,835   creating build/lib/dev_tools/population
2025-11-29T17:34:18,837   copying dev_tools/population/phase2_tasks.py -> build/lib/dev_tools/population
2025-11-29T17:34:18,841   copying dev_tools/population/phase5_tasks.py -> build/lib/dev_tools/population
2025-11-29T17:34:18,843   copying dev_tools/population/__init__.py -> build/lib/dev_tools/population
2025-11-29T17:34:18,845   copying dev_tools/population/phase3_tasks.py -> build/lib/dev_tools/population
2025-11-29T17:34:18,848   copying dev_tools/population/phase1_tasks.py -> build/lib/dev_tools/population
2025-11-29T17:34:18,852   copying dev_tools/population/phase4_tasks.py -> build/lib/dev_tools/population
2025-11-29T17:34:18,855   creating build/lib/tests/lean_explore
2025-11-29T17:34:18,856   copying tests/lean_explore/__init__.py -> build/lib/tests/lean_explore
2025-11-29T17:34:18,859   creating build/lib/tests/lean_explore/shared
2025-11-29T17:34:18,860   copying tests/lean_explore/shared/__init__.py -> build/lib/tests/lean_explore/shared
2025-11-29T17:34:18,862   creating build/lib/tests/lean_explore/cli
2025-11-29T17:34:18,863   copying tests/lean_explore/cli/test_config_utils.py -> build/lib/tests/lean_explore/cli
2025-11-29T17:34:18,866   copying tests/lean_explore/cli/__init__.py -> build/lib/tests/lean_explore/cli
2025-11-29T17:34:18,868   copying tests/lean_explore/cli/test_data_commands.py -> build/lib/tests/lean_explore/cli
2025-11-29T17:34:18,871   creating build/lib/tests/lean_explore/api
2025-11-29T17:34:18,872   copying tests/lean_explore/api/test_client.py -> build/lib/tests/lean_explore/api
2025-11-29T17:34:18,876   copying tests/lean_explore/api/__init__.py -> build/lib/tests/lean_explore/api
2025-11-29T17:34:18,878   creating build/lib/tests/lean_explore/local
2025-11-29T17:34:18,879   copying tests/lean_explore/local/test_service.py -> build/lib/tests/lean_explore/local
2025-11-29T17:34:18,882   copying tests/lean_explore/local/__init__.py -> build/lib/tests/lean_explore/local
2025-11-29T17:34:18,884   copying tests/lean_explore/local/test_search.py -> build/lib/tests/lean_explore/local
2025-11-29T17:34:18,887   creating build/lib/tests/lean_explore/http
2025-11-29T17:34:18,888   copying tests/lean_explore/http/test_server.py -> build/lib/tests/lean_explore/http
2025-11-29T17:34:18,891   copying tests/lean_explore/http/__init__.py -> build/lib/tests/lean_explore/http
2025-11-29T17:34:18,893   creating build/lib/tests/lean_explore/mcp
2025-11-29T17:34:18,894   copying tests/lean_explore/mcp/test_app.py -> build/lib/tests/lean_explore/mcp
2025-11-29T17:34:18,897   copying tests/lean_explore/mcp/test_server.py -> build/lib/tests/lean_explore/mcp
2025-11-29T17:34:18,900   copying tests/lean_explore/mcp/__init__.py -> build/lib/tests/lean_explore/mcp
2025-11-29T17:34:18,902   copying tests/lean_explore/mcp/test_tools.py -> build/lib/tests/lean_explore/mcp
2025-11-29T17:34:18,905   creating build/lib/src/lean_explore
2025-11-29T17:34:18,906   copying src/lean_explore/defaults.py -> build/lib/src/lean_explore
2025-11-29T17:34:18,909   copying src/lean_explore/__init__.py -> build/lib/src/lean_explore
2025-11-29T17:34:18,911   creating build/lib/src/lean_explore/shared
2025-11-29T17:34:18,912   copying src/lean_explore/shared/__init__.py -> build/lib/src/lean_explore/shared
2025-11-29T17:34:18,914   creating build/lib/src/lean_explore/cli
2025-11-29T17:34:18,915   copying src/lean_explore/cli/agent.py -> build/lib/src/lean_explore/cli
2025-11-29T17:34:18,918   copying src/lean_explore/cli/__init__.py -> build/lib/src/lean_explore/cli
2025-11-29T17:34:18,920   copying src/lean_explore/cli/data_commands.py -> build/lib/src/lean_explore/cli
2025-11-29T17:34:18,922   copying src/lean_explore/cli/main.py -> build/lib/src/lean_explore/cli
2025-11-29T17:34:18,925   copying src/lean_explore/cli/config_utils.py -> build/lib/src/lean_explore/cli
2025-11-29T17:34:18,928   creating build/lib/src/lean_explore/api
2025-11-29T17:34:18,929   copying src/lean_explore/api/__init__.py -> build/lib/src/lean_explore/api
2025-11-29T17:34:18,931   copying src/lean_explore/api/client.py -> build/lib/src/lean_explore/api
2025-11-29T17:34:18,934   creating build/lib/src/lean_explore/local
2025-11-29T17:34:18,935   copying src/lean_explore/local/search.py -> build/lib/src/lean_explore/local
2025-11-29T17:34:18,938   copying src/lean_explore/local/service.py -> build/lib/src/lean_explore/local
2025-11-29T17:34:18,940   copying src/lean_explore/local/__init__.py -> build/lib/src/lean_explore/local
2025-11-29T17:34:18,942   creating build/lib/src/lean_explore/http
2025-11-29T17:34:18,943   copying src/lean_explore/http/server.py -> build/lib/src/lean_explore/http
2025-11-29T17:34:18,946   copying src/lean_explore/http/__init__.py -> build/lib/src/lean_explore/http
2025-11-29T17:34:18,948   creating build/lib/src/lean_explore/mcp
2025-11-29T17:34:18,949   copying src/lean_explore/mcp/server.py -> build/lib/src/lean_explore/mcp
2025-11-29T17:34:18,951   copying src/lean_explore/mcp/app.py -> build/lib/src/lean_explore/mcp
2025-11-29T17:34:18,953   copying src/lean_explore/mcp/__init__.py -> build/lib/src/lean_explore/mcp
2025-11-29T17:34:18,955   copying src/lean_explore/mcp/tools.py -> build/lib/src/lean_explore/mcp
2025-11-29T17:34:18,958   creating build/lib/src/lean_explore/shared/models
2025-11-29T17:34:18,959   copying src/lean_explore/shared/models/api.py -> build/lib/src/lean_explore/shared/models
2025-11-29T17:34:18,962   copying src/lean_explore/shared/models/__init__.py -> build/lib/src/lean_explore/shared/models
2025-11-29T17:34:18,963   copying src/lean_explore/shared/models/db.py -> build/lib/src/lean_explore/shared/models
2025-11-29T17:34:18,966   running egg_info
2025-11-29T17:34:18,977   writing lean_xplore.egg-info/PKG-INFO
2025-11-29T17:34:18,985   writing dependency_links to lean_xplore.egg-info/dependency_links.txt
2025-11-29T17:34:18,987   writing entry points to lean_xplore.egg-info/entry_points.txt
2025-11-29T17:34:18,992   writing requirements to lean_xplore.egg-info/requires.txt
2025-11-29T17:34:18,993   writing top-level names to lean_xplore.egg-info/top_level.txt
2025-11-29T17:34:19,026   reading manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:19,031   adding license file 'LICENSE'
2025-11-29T17:34:19,037   writing manifest file 'lean_xplore.egg-info/SOURCES.txt'
2025-11-29T17:34:19,072   installing to build/bdist.linux-armv7l/wheel
2025-11-29T17:34:19,073   running install
2025-11-29T17:34:19,096   running install_lib
2025-11-29T17:34:19,102   creating build/bdist.linux-armv7l/wheel
2025-11-29T17:34:19,104   creating build/bdist.linux-armv7l/wheel/benchmarking
2025-11-29T17:34:19,106   copying build/lib/benchmarking/inspect_prompts.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T17:34:19,108   copying build/lib/benchmarking/reset_results.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T17:34:19,110   copying build/lib/benchmarking/benchmark_search_rate.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T17:34:19,113   copying build/lib/benchmarking/analyze_rankings.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T17:34:19,115   copying build/lib/benchmarking/search_engine_ranker.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T17:34:19,118   copying build/lib/benchmarking/gather_search_data.py -> build/bdist.linux-armv7l/wheel/./benchmarking
2025-11-29T17:34:19,122   creating build/bdist.linux-armv7l/wheel/scripts
2025-11-29T17:34:19,123   copying build/lib/scripts/populate_db.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,126   copying build/lib/scripts/get_summaries.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,129   copying build/lib/scripts/update_primary_declarations.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,131   copying build/lib/scripts/lean_to_english.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,134   copying build/lib/scripts/generate_manifest.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,137   copying build/lib/scripts/pagerank.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,139   copying build/lib/scripts/generate_embeddings.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,142   copying build/lib/scripts/build_faiss_index.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,144   copying build/lib/scripts/generate_docs_data.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,147   copying build/lib/scripts/prepare_embedding_input.py -> build/bdist.linux-armv7l/wheel/./scripts
2025-11-29T17:34:19,150   creating build/bdist.linux-armv7l/wheel/dev_tools
2025-11-29T17:34:19,151   copying build/lib/dev_tools/config.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-29T17:34:19,154   copying build/lib/dev_tools/llm_caller.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-29T17:34:19,157   copying build/lib/dev_tools/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools
2025-11-29T17:34:19,159   creating build/bdist.linux-armv7l/wheel/dev_tools/population
2025-11-29T17:34:19,160   copying build/lib/dev_tools/population/phase2_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T17:34:19,163   copying build/lib/dev_tools/population/phase5_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T17:34:19,165   copying build/lib/dev_tools/population/__init__.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T17:34:19,167   copying build/lib/dev_tools/population/phase3_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T17:34:19,169   copying build/lib/dev_tools/population/phase1_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T17:34:19,172   copying build/lib/dev_tools/population/phase4_tasks.py -> build/bdist.linux-armv7l/wheel/./dev_tools/population
2025-11-29T17:34:19,175   creating build/bdist.linux-armv7l/wheel/lean_explore
2025-11-29T17:34:19,176   creating build/bdist.linux-armv7l/wheel/lean_explore/shared
2025-11-29T17:34:19,178   copying build/lib/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared
2025-11-29T17:34:19,181   creating build/bdist.linux-armv7l/wheel/lean_explore/shared/models
2025-11-29T17:34:19,182   copying build/lib/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-29T17:34:19,185   copying build/lib/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-29T17:34:19,186   copying build/lib/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./lean_explore/shared/models
2025-11-29T17:34:19,189   creating build/bdist.linux-armv7l/wheel/lean_explore/cli
2025-11-29T17:34:19,191   copying build/lib/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T17:34:19,193   copying build/lib/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T17:34:19,195   copying build/lib/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T17:34:19,198   copying build/lib/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T17:34:19,201   copying build/lib/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./lean_explore/cli
2025-11-29T17:34:19,203   copying build/lib/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./lean_explore
2025-11-29T17:34:19,206   creating build/bdist.linux-armv7l/wheel/lean_explore/api
2025-11-29T17:34:19,207   copying build/lib/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api
2025-11-29T17:34:19,209   copying build/lib/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./lean_explore/api
2025-11-29T17:34:19,212   creating build/bdist.linux-armv7l/wheel/lean_explore/local
2025-11-29T17:34:19,213   copying build/lib/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-29T17:34:19,216   copying build/lib/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-29T17:34:19,219   copying build/lib/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/local
2025-11-29T17:34:19,222   creating build/bdist.linux-armv7l/wheel/lean_explore/http
2025-11-29T17:34:19,223   copying build/lib/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http
2025-11-29T17:34:19,225   copying build/lib/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/http
2025-11-29T17:34:19,227   copying build/lib/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore
2025-11-29T17:34:19,229   creating build/bdist.linux-armv7l/wheel/lean_explore/mcp
2025-11-29T17:34:19,230   copying build/lib/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T17:34:19,232   copying build/lib/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T17:34:19,234   copying build/lib/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T17:34:19,236   copying build/lib/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./lean_explore/mcp
2025-11-29T17:34:19,239   creating build/bdist.linux-armv7l/wheel/tests
2025-11-29T17:34:19,240   copying build/lib/tests/conftest.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-29T17:34:19,242   copying build/lib/tests/__init__.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-29T17:34:19,244   creating build/bdist.linux-armv7l/wheel/tests/lean_explore
2025-11-29T17:34:19,246   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/shared
2025-11-29T17:34:19,247   copying build/lib/tests/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/shared
2025-11-29T17:34:19,249   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/cli
2025-11-29T17:34:19,250   copying build/lib/tests/lean_explore/cli/test_config_utils.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-29T17:34:19,253   copying build/lib/tests/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-29T17:34:19,254   copying build/lib/tests/lean_explore/cli/test_data_commands.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/cli
2025-11-29T17:34:19,257   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/api
2025-11-29T17:34:19,258   copying build/lib/tests/lean_explore/api/test_client.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api
2025-11-29T17:34:19,261   copying build/lib/tests/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/api
2025-11-29T17:34:19,263   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/local
2025-11-29T17:34:19,264   copying build/lib/tests/lean_explore/local/test_service.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-29T17:34:19,267   copying build/lib/tests/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-29T17:34:19,269   copying build/lib/tests/lean_explore/local/test_search.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/local
2025-11-29T17:34:19,272   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/http
2025-11-29T17:34:19,273   copying build/lib/tests/lean_explore/http/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http
2025-11-29T17:34:19,276   copying build/lib/tests/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/http
2025-11-29T17:34:19,277   copying build/lib/tests/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore
2025-11-29T17:34:19,280   creating build/bdist.linux-armv7l/wheel/tests/lean_explore/mcp
2025-11-29T17:34:19,281   copying build/lib/tests/lean_explore/mcp/test_app.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T17:34:19,283   copying build/lib/tests/lean_explore/mcp/test_server.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T17:34:19,285   copying build/lib/tests/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T17:34:19,287   copying build/lib/tests/lean_explore/mcp/test_tools.py -> build/bdist.linux-armv7l/wheel/./tests/lean_explore/mcp
2025-11-29T17:34:19,290   copying build/lib/tests/test_defaults.py -> build/bdist.linux-armv7l/wheel/./tests
2025-11-29T17:34:19,292   creating build/bdist.linux-armv7l/wheel/src
2025-11-29T17:34:19,293   copying build/lib/src/config.py -> build/bdist.linux-armv7l/wheel/./src
2025-11-29T17:34:19,296   creating build/bdist.linux-armv7l/wheel/src/lean_explore
2025-11-29T17:34:19,297   creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared
2025-11-29T17:34:19,298   copying build/lib/src/lean_explore/shared/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared
2025-11-29T17:34:19,300   creating build/bdist.linux-armv7l/wheel/src/lean_explore/shared/models
2025-11-29T17:34:19,301   copying build/lib/src/lean_explore/shared/models/api.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-29T17:34:19,303   copying build/lib/src/lean_explore/shared/models/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-29T17:34:19,305   copying build/lib/src/lean_explore/shared/models/db.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/shared/models
2025-11-29T17:34:19,308   creating build/bdist.linux-armv7l/wheel/src/lean_explore/cli
2025-11-29T17:34:19,309   copying build/lib/src/lean_explore/cli/agent.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T17:34:19,312   copying build/lib/src/lean_explore/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T17:34:19,313   copying build/lib/src/lean_explore/cli/data_commands.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T17:34:19,316   copying build/lib/src/lean_explore/cli/main.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T17:34:19,319   copying build/lib/src/lean_explore/cli/config_utils.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/cli
2025-11-29T17:34:19,321   copying build/lib/src/lean_explore/defaults.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore
2025-11-29T17:34:19,324   creating build/bdist.linux-armv7l/wheel/src/lean_explore/api
2025-11-29T17:34:19,325   copying build/lib/src/lean_explore/api/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api
2025-11-29T17:34:19,327   copying build/lib/src/lean_explore/api/client.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/api
2025-11-29T17:34:19,330   creating build/bdist.linux-armv7l/wheel/src/lean_explore/local
2025-11-29T17:34:19,331   copying build/lib/src/lean_explore/local/search.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-29T17:34:19,334   copying build/lib/src/lean_explore/local/service.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-29T17:34:19,337   copying build/lib/src/lean_explore/local/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/local
2025-11-29T17:34:19,339   creating build/bdist.linux-armv7l/wheel/src/lean_explore/http
2025-11-29T17:34:19,340   copying build/lib/src/lean_explore/http/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http
2025-11-29T17:34:19,342   copying build/lib/src/lean_explore/http/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/http
2025-11-29T17:34:19,344   copying build/lib/src/lean_explore/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore
2025-11-29T17:34:19,347   creating build/bdist.linux-armv7l/wheel/src/lean_explore/mcp
2025-11-29T17:34:19,348   copying build/lib/src/lean_explore/mcp/server.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T17:34:19,350   copying build/lib/src/lean_explore/mcp/app.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T17:34:19,353   copying build/lib/src/lean_explore/mcp/__init__.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T17:34:19,355   copying build/lib/src/lean_explore/mcp/tools.py -> build/bdist.linux-armv7l/wheel/./src/lean_explore/mcp
2025-11-29T17:34:19,357   running install_egg_info
2025-11-29T17:34:19,363   Copying lean_xplore.egg-info to build/bdist.linux-armv7l/wheel/./lean_xplore-0.4.3-py3.11.egg-info
2025-11-29T17:34:19,376   running install_scripts
2025-11-29T17:34:19,393   creating build/bdist.linux-armv7l/wheel/lean_xplore-0.4.3.dist-info/WHEEL
2025-11-29T17:34:19,396   creating '/tmp/pip-wheel-vdcylvix/.tmp-vblrinsv/lean_xplore-0.4.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-11-29T17:34:19,400   adding 'benchmarking/analyze_rankings.py'
2025-11-29T17:34:19,402   adding 'benchmarking/benchmark_search_rate.py'
2025-11-29T17:34:19,405   adding 'benchmarking/gather_search_data.py'
2025-11-29T17:34:19,407   adding 'benchmarking/inspect_prompts.py'
2025-11-29T17:34:19,408   adding 'benchmarking/reset_results.py'
2025-11-29T17:34:19,412   adding 'benchmarking/search_engine_ranker.py'
2025-11-29T17:34:19,414   adding 'dev_tools/__init__.py'
2025-11-29T17:34:19,417   adding 'dev_tools/config.py'
2025-11-29T17:34:19,422   adding 'dev_tools/llm_caller.py'
2025-11-29T17:34:19,424   adding 'dev_tools/population/__init__.py'
2025-11-29T17:34:19,428   adding 'dev_tools/population/phase1_tasks.py'
2025-11-29T17:34:19,432   adding 'dev_tools/population/phase2_tasks.py'
2025-11-29T17:34:19,435   adding 'dev_tools/population/phase3_tasks.py'
2025-11-29T17:34:19,437   adding 'dev_tools/population/phase4_tasks.py'
2025-11-29T17:34:19,439   adding 'dev_tools/population/phase5_tasks.py'
2025-11-29T17:34:19,441   adding 'lean_explore/__init__.py'
2025-11-29T17:34:19,443   adding 'lean_explore/defaults.py'
2025-11-29T17:34:19,444   adding 'lean_explore/api/__init__.py'
2025-11-29T17:34:19,446   adding 'lean_explore/api/client.py'
2025-11-29T17:34:19,447   adding 'lean_explore/cli/__init__.py'
2025-11-29T17:34:19,451   adding 'lean_explore/cli/agent.py'
2025-11-29T17:34:19,453   adding 'lean_explore/cli/config_utils.py'
2025-11-29T17:34:19,457   adding 'lean_explore/cli/data_commands.py'
2025-11-29T17:34:19,461   adding 'lean_explore/cli/main.py'
2025-11-29T17:34:19,463   adding 'lean_explore/http/__init__.py'
2025-11-29T17:34:19,464   adding 'lean_explore/http/server.py'
2025-11-29T17:34:19,466   adding 'lean_explore/local/__init__.py'
2025-11-29T17:34:19,470   adding 'lean_explore/local/search.py'
2025-11-29T17:34:19,473   adding 'lean_explore/local/service.py'
2025-11-29T17:34:19,475   adding 'lean_explore/mcp/__init__.py'
2025-11-29T17:34:19,476   adding 'lean_explore/mcp/app.py'
2025-11-29T17:34:19,478   adding 'lean_explore/mcp/server.py'
2025-11-29T17:34:19,480   adding 'lean_explore/mcp/tools.py'
2025-11-29T17:34:19,482   adding 'lean_explore/shared/__init__.py'
2025-11-29T17:34:19,483   adding 'lean_explore/shared/models/__init__.py'
2025-11-29T17:34:19,485   adding 'lean_explore/shared/models/api.py'
2025-11-29T17:34:19,487   adding 'lean_explore/shared/models/db.py'
2025-11-29T17:34:19,491   adding 'lean_xplore-0.4.3.dist-info/licenses/LICENSE'
2025-11-29T17:34:19,494   adding 'scripts/build_faiss_index.py'
2025-11-29T17:34:19,498   adding 'scripts/generate_docs_data.py'
2025-11-29T17:34:19,501   adding 'scripts/generate_embeddings.py'
2025-11-29T17:34:19,504   adding 'scripts/generate_manifest.py'
2025-11-29T17:34:19,507   adding 'scripts/get_summaries.py'
2025-11-29T17:34:19,513   adding 'scripts/lean_to_english.py'
2025-11-29T17:34:19,516   adding 'scripts/pagerank.py'
2025-11-29T17:34:19,519   adding 'scripts/populate_db.py'
2025-11-29T17:34:19,521   adding 'scripts/prepare_embedding_input.py'
2025-11-29T17:34:19,524   adding 'scripts/update_primary_declarations.py'
2025-11-29T17:34:19,525   adding 'src/config.py'
2025-11-29T17:34:19,527   adding 'src/lean_explore/__init__.py'
2025-11-29T17:34:19,529   adding 'src/lean_explore/defaults.py'
2025-11-29T17:34:19,530   adding 'src/lean_explore/api/__init__.py'
2025-11-29T17:34:19,532   adding 'src/lean_explore/api/client.py'
2025-11-29T17:34:19,534   adding 'src/lean_explore/cli/__init__.py'
2025-11-29T17:34:19,538   adding 'src/lean_explore/cli/agent.py'
2025-11-29T17:34:19,540   adding 'src/lean_explore/cli/config_utils.py'
2025-11-29T17:34:19,544   adding 'src/lean_explore/cli/data_commands.py'
2025-11-29T17:34:19,547   adding 'src/lean_explore/cli/main.py'
2025-11-29T17:34:19,549   adding 'src/lean_explore/http/__init__.py'
2025-11-29T17:34:19,550   adding 'src/lean_explore/http/server.py'
2025-11-29T17:34:19,552   adding 'src/lean_explore/local/__init__.py'
2025-11-29T17:34:19,557   adding 'src/lean_explore/local/search.py'
2025-11-29T17:34:19,560   adding 'src/lean_explore/local/service.py'
2025-11-29T17:34:19,562   adding 'src/lean_explore/mcp/__init__.py'
2025-11-29T17:34:19,565   adding 'src/lean_explore/mcp/app.py'
2025-11-29T17:34:19,567   adding 'src/lean_explore/mcp/server.py'
2025-11-29T17:34:19,570   adding 'src/lean_explore/mcp/tools.py'
2025-11-29T17:34:19,572   adding 'src/lean_explore/shared/__init__.py'
2025-11-29T17:34:19,574   adding 'src/lean_explore/shared/models/__init__.py'
2025-11-29T17:34:19,576   adding 'src/lean_explore/shared/models/api.py'
2025-11-29T17:34:19,579   adding 'src/lean_explore/shared/models/db.py'
2025-11-29T17:34:19,581   adding 'tests/__init__.py'
2025-11-29T17:34:19,584   adding 'tests/conftest.py'
2025-11-29T17:34:19,587   adding 'tests/test_defaults.py'
2025-11-29T17:34:19,589   adding 'tests/lean_explore/__init__.py'
2025-11-29T17:34:19,592   adding 'tests/lean_explore/api/__init__.py'
2025-11-29T17:34:19,594   adding 'tests/lean_explore/api/test_client.py'
2025-11-29T17:34:19,597   adding 'tests/lean_explore/cli/__init__.py'
2025-11-29T17:34:19,601   adding 'tests/lean_explore/cli/test_config_utils.py'
2025-11-29T17:34:19,605   adding 'tests/lean_explore/cli/test_data_commands.py'
2025-11-29T17:34:19,607   adding 'tests/lean_explore/http/__init__.py'
2025-11-29T17:34:19,610   adding 'tests/lean_explore/http/test_server.py'
2025-11-29T17:34:19,612   adding 'tests/lean_explore/local/__init__.py'
2025-11-29T17:34:19,618   adding 'tests/lean_explore/local/test_search.py'
2025-11-29T17:34:19,622   adding 'tests/lean_explore/local/test_service.py'
2025-11-29T17:34:19,624   adding 'tests/lean_explore/mcp/__init__.py'
2025-11-29T17:34:19,626   adding 'tests/lean_explore/mcp/test_app.py'
2025-11-29T17:34:19,629   adding 'tests/lean_explore/mcp/test_server.py'
2025-11-29T17:34:19,632   adding 'tests/lean_explore/mcp/test_tools.py'
2025-11-29T17:34:19,634   adding 'tests/lean_explore/shared/__init__.py'
2025-11-29T17:34:19,638   adding 'lean_xplore-0.4.3.dist-info/METADATA'
2025-11-29T17:34:19,640   adding 'lean_xplore-0.4.3.dist-info/WHEEL'
2025-11-29T17:34:19,641   adding 'lean_xplore-0.4.3.dist-info/entry_points.txt'
2025-11-29T17:34:19,642   adding 'lean_xplore-0.4.3.dist-info/top_level.txt'
2025-11-29T17:34:19,645   adding 'lean_xplore-0.4.3.dist-info/RECORD'
2025-11-29T17:34:19,654   removing build/bdist.linux-armv7l/wheel
2025-11-29T17:34:19,785   Building wheel for lean-xplore (pyproject.toml): finished with status 'done'
2025-11-29T17:34:19,797   Created wheel for lean-xplore: filename=lean_xplore-0.4.3-py3-none-any.whl size=316564 sha256=8dc7e6968ab03ace0018dbf4fcbadf2f52008f6f485ffa6ead5254ccb9394163
2025-11-29T17:34:19,798   Stored in directory: /tmp/pip-ephem-wheel-cache-6lsr0nl9/wheels/84/cf/54/72345b1ae662a4e5f88956867399769abf54438e7a17aba533
2025-11-29T17:34:19,821 Successfully built lean-xplore
2025-11-29T17:34:19,836 Removed build tracker: '/tmp/pip-build-tracker-mleu3ncu'