LICENSE
README.md
pyproject.toml
src/substantiate/__init__.py
src/substantiate/builtins.py
src/substantiate/claims.py
src/substantiate/cli.py
src/substantiate/extract.py
src/substantiate/repo.py
src/substantiate/symbols.py
src/substantiate/treesitter.py
src/substantiate/verdict.py
src/substantiate.egg-info/PKG-INFO
src/substantiate.egg-info/SOURCES.txt
src/substantiate.egg-info/dependency_links.txt
src/substantiate.egg-info/entry_points.txt
src/substantiate.egg-info/requires.txt
src/substantiate.egg-info/top_level.txt
src/substantiate/report/__init__.py
src/substantiate/report/jsonout.py
src/substantiate/report/markdown.py
src/substantiate/report/terminal.py
src/substantiate/verify/__init__.py
src/substantiate/verify/code.py
src/substantiate/verify/external.py
tests/test_extract.py
tests/test_report.py
tests/test_treesitter.py
tests/test_verify_code.py