CHANGELOG.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
bin/lockstep
bin/lockstep-mcp
docs/automation.md
examples/minimal/.gitignore
examples/minimal/AGENTS.md
examples/minimal/Demo.lean
examples/minimal/DemoBlueprint.lean
examples/minimal/lakefile.toml
examples/minimal/lean-toolchain
examples/minimal/Demo/Basic.lean
examples/minimal/harness/allowlist.json
examples/minimal/harness/config.toml
examples/minimal/harness/destinations.txt
examples/minimal/harness/statements.lock
lean_lockstep.egg-info/PKG-INFO
lean_lockstep.egg-info/SOURCES.txt
lean_lockstep.egg-info/dependency_links.txt
lean_lockstep.egg-info/entry_points.txt
lean_lockstep.egg-info/requires.txt
lean_lockstep.egg-info/top_level.txt
lockstep/__init__.py
lockstep/__main__.py
lockstep/allowlist.py
lockstep/artifact_cache.py
lockstep/artifacts.py
lockstep/automation_schema.py
lockstep/build.py
lockstep/bundles.py
lockstep/cli.py
lockstep/config.py
lockstep/context.py
lockstep/delivery.py
lockstep/errors.py
lockstep/finalize.py
lockstep/gitutil.py
lockstep/hooks.py
lockstep/jobs.py
lockstep/layers.py
lockstep/lean.py
lockstep/library.py
lockstep/lock.py
lockstep/mcp_server.py
lockstep/metrics.py
lockstep/modules.py
lockstep/nodes.py
lockstep/operations.py
lockstep/output.py
lockstep/probes.py
lockstep/proofs.py
lockstep/resources.py
lockstep/shadow_index.py
lockstep/spec.py
lockstep/stage_runner.py
lockstep/storage.py
lockstep/store.py
lockstep/tags.py
lockstep/commands/__init__.py
lockstep/commands/audit.py
lockstep/commands/automation.py
lockstep/commands/build.py
lockstep/commands/cache.py
lockstep/commands/check.py
lockstep/commands/claims.py
lockstep/commands/close.py
lockstep/commands/doctor.py
lockstep/commands/extract.py
lockstep/commands/falsify.py
lockstep/commands/index.py
lockstep/commands/jobs.py
lockstep/commands/layers.py
lockstep/commands/library.py
lockstep/commands/lock.py
lockstep/commands/log.py
lockstep/commands/node.py
lockstep/commands/note.py
lockstep/commands/probe.py
lockstep/commands/proof.py
lockstep/commands/ready.py
lockstep/commands/rules.py
lockstep/commands/search.py
lockstep/commands/status.py
lockstep/data/AuditCandidate.lean
lockstep/data/CacheArtifacts.lean
lockstep/data/Extract.lean.tmpl
lockstep/data/node.lean.tmpl
systemd/install.sh
systemd/lockstep-nightly.service
systemd/lockstep-nightly.timer
tests/conftest.py
tests/lean_automation_smoke.py
tests/test_artifact_boundaries.py
tests/test_artifact_cache.py
tests/test_audit_trail.py
tests/test_automation.py
tests/test_automation_boundaries.py
tests/test_cache_key_and_reservations.py
tests/test_cli.py
tests/test_close_and_note.py
tests/test_example_lifecycle.py
tests/test_hooks.py
tests/test_job_wait.py
tests/test_layers.py
tests/test_library.py
tests/test_node_add_names.py
tests/test_nodes.py
tests/test_rules.py
tests/test_shadow_index.py
tests/test_status_freshness.py
tests/test_storage.py
tests/test_store_and_jobs.py
tests/test_tags.py
tests/test_targeted_commands.py
tests/test_tool_resolution.py