LICENSE
README.md
pyproject.toml
keel_verifier/__init__.py
keel_verifier/__main__.py
keel_verifier/cli.py
keel_verifier/verifier.py
keel_verifier.egg-info/PKG-INFO
keel_verifier.egg-info/SOURCES.txt
keel_verifier.egg-info/dependency_links.txt
keel_verifier.egg-info/entry_points.txt
keel_verifier.egg-info/requires.txt
keel_verifier.egg-info/top_level.txt
keel_verifier/data/trust_root.json
keel_verifier/keys/keel_checkpoint.pub.json
tests/test_canonical_byte_identity.py
tests/test_smoke.py
tests/test_verify_closure.py
tests/test_walk_events.py