LICENSE
README.md
pyproject.toml
src/linejudge/__init__.py
src/linejudge/cli.py
src/linejudge/goal.py
src/linejudge/guard.py
src/linejudge/learn.py
src/linejudge/ledger.py
src/linejudge/prompts.py
src/linejudge/redact.py
src/linejudge/runner.py
src/linejudge/verify.py
src/linejudge/worktree.py
src/linejudge.egg-info/PKG-INFO
src/linejudge.egg-info/SOURCES.txt
src/linejudge.egg-info/dependency_links.txt
src/linejudge.egg-info/entry_points.txt
src/linejudge.egg-info/top_level.txt
src/linejudge/adapters/__init__.py
src/linejudge/adapters/base.py
src/linejudge/adapters/claude_code.py
src/linejudge/adapters/mock.py
src/linejudge/dashboard/__init__.py
src/linejudge/dashboard/index.html
src/linejudge/dashboard/server.py
tests/test_adapters.py
tests/test_dashboard.py
tests/test_goal.py
tests/test_learn.py
tests/test_proofs.py
tests/test_redact.py
tests/test_runner.py
tests/test_smoke.py
tests/test_verify.py
tests/test_worktree.py