CHANGELOG.md
LICENSE
README.md
pyproject.toml
setup.cfg
setup.py
docs/PROJECT_STATUS.md
docs/QUICKSTART.md
docs/RELEASING.md
schemas/case.schema.json
src/proofrail.egg-info/PKG-INFO
src/proofrail.egg-info/SOURCES.txt
src/proofrail.egg-info/dependency_links.txt
src/proofrail.egg-info/entry_points.txt
src/proofrail.egg-info/not-zip-safe
src/proofrail.egg-info/top_level.txt
src/proofrail_verifier/__init__.py
src/proofrail_verifier/__main__.py
src/proofrail_verifier/artifacts.py
src/proofrail_verifier/change_verification.py
src/proofrail_verifier/claim_checking.py
src/proofrail_verifier/claim_drafting.py
src/proofrail_verifier/claim_file.py
src/proofrail_verifier/cli.py
src/proofrail_verifier/evaluation.py
src/proofrail_verifier/git_source.py
src/proofrail_verifier/loading.py
src/proofrail_verifier/policy.py
src/proofrail_verifier/policy_rendering.py
src/proofrail_verifier/preparation.py
src/proofrail_verifier/preparation_errors.py
src/proofrail_verifier/rendering.py
src/proofrail_verifier/schema_validation.py
src/proofrail_verifier/demo/001-partial-workflow-fix/actual.patch
src/proofrail_verifier/demo/001-partial-workflow-fix/case.json
src/proofrail_verifier/demo/001-partial-workflow-fix/initial/bun.lock
src/proofrail_verifier/demo/001-partial-workflow-fix/initial/bun.lockb
src/proofrail_verifier/demo/001-partial-workflow-fix/initial/.github/workflows/ci.yml