LICENSE
README.md
pyproject.toml
spec_ptc.egg-info/PKG-INFO
spec_ptc.egg-info/SOURCES.txt
spec_ptc.egg-info/dependency_links.txt
spec_ptc.egg-info/entry_points.txt
spec_ptc.egg-info/requires.txt
spec_ptc.egg-info/top_level.txt
src/__init__.py
src/daemon.py
src/speculator.py
src/contracts/__init__.py
src/contracts/events.py
src/contracts/tools.py
src/engine/__init__.py
src/engine/shadow.py
src/engine/speculation.py
src/engine/streaming.py
src/runtime/__init__.py
src/runtime/engines.py
src/runtime/harness.py
tests/test_async_tools.py
tests/test_bun.py
tests/test_core.py
tests/test_daemon.py
tests/test_deterministic.py
tests/test_facade.py
tests/test_fuzz.py
tests/test_layering.py
tests/test_peek.py
tests/test_rlm_adapter.py
tests/test_rlm_depth.py
tests/test_speculation_failures.py
tests/test_suite_regressions.py
tests/test_taint_skip.py
tests/test_tool_api.py