LICENSE
README.md
pyproject.toml
src/kernel_port/__init__.py
src/kernel_port/__main__.py
src/kernel_port/cache.py
src/kernel_port/cffi_glue.py
src/kernel_port/classglue.py
src/kernel_port/classmine.py
src/kernel_port/cli.py
src/kernel_port/counterex.py
src/kernel_port/coverage.py
src/kernel_port/extractor.py
src/kernel_port/ffm.py
src/kernel_port/harness.py
src/kernel_port/java_ast.py
src/kernel_port/jni.py
src/kernel_port/lint.py
src/kernel_port/mcp_server.py
src/kernel_port/miner.py
src/kernel_port/overloading.py
src/kernel_port/parsecache.py
src/kernel_port/pipeline.py
src/kernel_port/profile.py
src/kernel_port/purity.py
src/kernel_port/py_ast.py
src/kernel_port/py_coverage.py
src/kernel_port/py_harness.py
src/kernel_port/py_mine.py
src/kernel_port/py_pipeline.py
src/kernel_port/repair.py
src/kernel_port/report.py
src/kernel_port/rust_glue.py
src/kernel_port/select.py
src/kernel_port_agent.egg-info/PKG-INFO
src/kernel_port_agent.egg-info/SOURCES.txt
src/kernel_port_agent.egg-info/dependency_links.txt
src/kernel_port_agent.egg-info/entry_points.txt
src/kernel_port_agent.egg-info/requires.txt
src/kernel_port_agent.egg-info/top_level.txt
tests/test_cffi_glue.py
tests/test_classmine.py
tests/test_cli.py
tests/test_clusters.py
tests/test_coverage.py
tests/test_coverage_eval.py
tests/test_dogfood.py
tests/test_dogfood_v12.py
tests/test_e2e.py
tests/test_extract.py
tests/test_ffm.py
tests/test_glue.py
tests/test_harness.py
tests/test_jni_mangling.py
tests/test_lint.py
tests/test_mcp.py
tests/test_mine.py
tests/test_newtypes.py
tests/test_overload.py
tests/test_parsecache.py
tests/test_pipeline.py
tests/test_production.py
tests/test_purity.py
tests/test_purity_string.py
tests/test_purity_throw.py
tests/test_py_cache_select.py
tests/test_py_coverage.py
tests/test_py_harness.py
tests/test_py_mine_v10a.py
tests/test_py_mine_v11_attrcall.py
tests/test_py_pipeline.py
tests/test_pymine.py
tests/test_repair.py
tests/test_report.py
tests/test_rust.py
tests/test_smartverify.py
tests/test_sourcepath_build.py
tests/test_tolerance.py
tests/test_v06_integration.py
tests/test_v12_backlog_b.py