LICENSE
README.md
pyproject.toml
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/keysuite_bridge/__init__.py
gdk9/keysuite_bridge/compose.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
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