LICENSE
README.md
pyproject.toml
detinfer/__init__.py
detinfer/check.py
detinfer/cli.py
detinfer.egg-info/PKG-INFO
detinfer.egg-info/SOURCES.txt
detinfer.egg-info/dependency_links.txt
detinfer.egg-info/entry_points.txt
detinfer.egg-info/requires.txt
detinfer.egg-info/top_level.txt
detinfer/agent/__init__.py
detinfer/agent/replay.py
detinfer/agent/runtime.py
detinfer/agent/trace.py
detinfer/harness/__init__.py
detinfer/harness/runner.py
detinfer/harness/task_schema.py
detinfer/inference/__init__.py
detinfer/inference/benchmark.py
detinfer/inference/canonicalizer.py
detinfer/inference/config.py
detinfer/inference/detector.py
detinfer/inference/enforcer.py
detinfer/inference/engine.py
detinfer/inference/guardian.py
detinfer/inference/proof.py
detinfer/inference/utils.py
detinfer/inference/verifier.py
detinfer/inference/wrapper.py
tests/test_agent.py
tests/test_canonicalizer.py
tests/test_check.py
tests/test_cli.py
tests/test_config.py
tests/test_detector.py
tests/test_enforcer.py
tests/test_engine.py
tests/test_guardian.py
tests/test_harness.py
tests/test_proof.py
tests/test_verifier.py
tests/test_wrapper.py