CHANGELOG.md
LICENSE
MANIFEST.in
README.md
mkdocs.yml
pyproject.toml
catalog/environments.toml
catalog/locks/core-v4.32.2.lock.json
catalog/locks/leancert-v4.30.0.5.lock.json
catalog/locks/leancert-v4.31.0.lock.json
catalog/locks/leancert-v4.32.2.4.lock.json
catalog/locks/leancert-v4.33.0.lock.json
catalog/locks/mathlib-v4.30.0.lock.json
catalog/locks/mathlib-v4.31.0.lock.json
catalog/locks/mathlib-v4.32.2.lock.json
catalog/locks/mathlib-v4.33.0.lock.json
compatibility/README.md
compatibility/lake-artifact-cache-4.33.0.json
compatibility/mathlib-4.32.2.json
compatibility/mathlib-4.32.2.toml
compatibility/mathlib-4.33.0.json
compatibility/mathlib-4.33.0.toml
docs/architecture.md
docs/captures.md
docs/case-study-v1.md
docs/cli.md
docs/development.md
docs/environments.md
docs/getting-started.md
docs/index.md
docs/lake-artifact-cache-design.md
docs/local-projects.md
docs/portable-copies.md
docs/project-publishing.md
docs/python-api.md
docs/ready-programs.md
docs/standalone-files.md
docs/trust-and-limitations.md
docs/v1-precision.md
examples/mathlib.toml
lean_runtime/__init__.py
lean_runtime/__main__.py
lean_runtime/_git.py
lean_runtime/_paths.py
lean_runtime/backends.py
lean_runtime/bundles.py
lean_runtime/capsules.py
lean_runtime/cli.py
lean_runtime/comparison.py
lean_runtime/console.py
lean_runtime/decisions.py
lean_runtime/diagnostics.py
lean_runtime/environments.py
lean_runtime/errors.py
lean_runtime/events.py
lean_runtime/facade.py
lean_runtime/frontmatter.py
lean_runtime/health.py
lean_runtime/lake.py
lean_runtime/lake_cache.py
lean_runtime/lockfiles.py
lean_runtime/locking.py
lean_runtime/matrix.py
lean_runtime/models.py
lean_runtime/oci.py
lean_runtime/oci_protocol.py
lean_runtime/packs.py
lean_runtime/policies.py
lean_runtime/profiling.py
lean_runtime/programs.py
lean_runtime/project_execution.py
lean_runtime/project_sharing.py
lean_runtime/projects.py
lean_runtime/publisher_verification.py
lean_runtime/py.typed
lean_runtime/references.py
lean_runtime/resolver.py
lean_runtime/run_cli.py
lean_runtime/runtime.py
lean_runtime/schema_resources.py
lean_runtime/serialization.py
lean_runtime/shared_projects.py
lean_runtime/specs.py
lean_runtime/store.py
lean_runtime/timings.py
lean_runtime/toolchain_oci.py
lean_runtime/toolchain_slim.py
lean_runtime/toolchains.py
lean_runtime/verification.py
lean_runtime/wire.py
lean_runtime.egg-info/PKG-INFO
lean_runtime.egg-info/SOURCES.txt
lean_runtime.egg-info/dependency_links.txt
lean_runtime.egg-info/entry_points.txt
lean_runtime.egg-info/requires.txt
lean_runtime.egg-info/top_level.txt
lean_runtime/discovery/__init__.py
lean_runtime/discovery/analyzer.py
lean_runtime/discovery/api.py
lean_runtime/discovery/candidate.py
lean_runtime/discovery/catalog.py
lean_runtime/discovery/catalog_build.py
lean_runtime/discovery/catalog_cli.py
lean_runtime/discovery/catalog_manifest.py
lean_runtime/discovery/defaults.py
lean_runtime/discovery/engine.py
lean_runtime/discovery/errors.py
lean_runtime/discovery/module_inventory.py
lean_runtime/discovery/planner.py
lean_runtime/discovery/policy.py
lean_runtime/discovery/probe.py
lean_runtime/discovery/py.typed
lean_runtime/discovery/result.py
lean_runtime/discovery/schema_resources.py
lean_runtime/discovery/data/catalog.json
lean_runtime/discovery/schemas/catalog-v1.schema.json
lean_runtime/discovery/schemas/plan-v1.schema.json
lean_runtime/discovery/schemas/result-v1.schema.json
schemas/cleanup-v1.schema.json
schemas/comparison-v1.schema.json
schemas/execution-v1.schema.json
schemas/inspect-v1.schema.json
schemas/matrix-v1.schema.json
schemas/profile-v1.schema.json
schemas/verify-v1.schema.json
scripts/announcement_gate.py
scripts/lake_cache_gate.py
scripts/registry_preflight.py
scripts/run_compatibility.py
scripts/run_v1_case_study.py
scripts/smoke_wheel.py
tests/conftest.py
tests/test_backend.py
tests/test_bundles.py
tests/test_capsules.py
tests/test_cli.py
tests/test_console.py
tests/test_diagnostics.py
tests/test_environment_integration.py
tests/test_events_health.py
tests/test_facade.py
tests/test_frontmatter.py
tests/test_git.py
tests/test_interactive.py
tests/test_lake_cache.py
tests/test_lockfiles.py
tests/test_models.py
tests/test_multifile.py
tests/test_oci_protocol.py
tests/test_packs.py
tests/test_paths.py
tests/test_prebuilt_policy.py
tests/test_programs.py
tests/test_project_publish.py
tests/test_projects.py
tests/test_references.py
tests/test_run_cli.py
tests/test_runtime.py
tests/test_schema_resources.py
tests/test_schemas.py
tests/test_signatures.py
tests/test_specs.py
tests/test_store.py
tests/test_toolchain_oci.py
tests/test_toolchain_slim.py
tests/test_toolchains.py
tests/test_v1_precision.py
tests/test_verification_inventory.py
tests/test_verification_probe.py
tests/discovery/test_analyzer.py
tests/discovery/test_catalog.py
tests/discovery/test_catalog_build.py
tests/discovery/test_discovery_schema_resources.py
tests/discovery/test_engine.py
tests/discovery/test_planner.py
tests/discovery/test_policy.py
tests/discovery/e2e/test_real_discovery.py