LICENSE
README.md
pyproject.toml
examples/01_analyze.py
examples/02_profile.py
examples/03_assign.py
examples/04_dcg.py
examples/05_tokenize.py
examples/06_synthesize.py
examples/07_api.py
examples/08_kernel.py
examples/09_kernel_search_walkthrough.py
examples/10_conserve_vs_naive.py
gdk9/__init__.py
gdk9/ansi.py
gdk9/cli.py
gdk9/crdt.py
gdk9/crypto.py
gdk9/dcg.py
gdk9/energy.py
gdk9/errors.py
gdk9/fmt.py
gdk9/imply.py
gdk9/io_utils.py
gdk9/kernel_cli.py
gdk9/log.py
gdk9/optimize.py
gdk9/parser.py
gdk9/principles.py
gdk9/saturate.py
gdk9/state.py
gdk9/subs.py
gdk9/tokenize.py
gdk9/tui.py
gdk9/utilization.py
gdk9/data/ninefold.json
gdk9/data/official.example.json
gdk9/data/official.json
gdk9/data/subs.json
gdk9/egglog_bridge/__init__.py
gdk9/egglog_bridge/dr_egglog.py
gdk9/egglog_bridge/fallback.py
gdk9/kernel/__init__.py
gdk9/kernel/engine.py
gdk9/kernel/errors.py
gdk9/kernel/expression.py
gdk9/kernel/principle.py
gdk9/kernel/proof.py
gdk9/kernel/rule.py
gdk9/kernel/symbol.py
gdk9/plugins/__init__.py
gdk9/plugins/loader.py
gdk9/plugins/registry.py
gdk9_cli.egg-info/PKG-INFO
gdk9_cli.egg-info/SOURCES.txt
gdk9_cli.egg-info/dependency_links.txt
gdk9_cli.egg-info/entry_points.txt
gdk9_cli.egg-info/requires.txt
gdk9_cli.egg-info/top_level.txt
scripts/batch_analyze.py
scripts/export_json.py
scripts/make_zip.py
scripts/profile_compare.py
scripts/watch_file.py
tests/conftest.py
tests/test_crypto.py
tests/test_crypto_secure.py
tests/test_dcg.py
tests/test_dcg_golden.py
tests/test_egglog_bridge.py
tests/test_energy.py
tests/test_kernel_cli_handbook.py
tests/test_optimize.py
tests/test_plugins.py
tests/test_rules.py
tests/test_rules_commit.py
tests/test_rules_reversibility.py
tests/test_state_crdt.py
tests/test_tokenize.py
tests/test_tokenize_metrics.py
tests/experiment/__init__.py
tests/experiment/test_conserve_vs_naive.py
tests/kernel/test_kernel_energy.py
tests/kernel/test_kernel_rules.py
tests/kernel/test_kernel_search_bound.py