LICENSE
README.md
pyproject.toml
netelpro/__init__.py
netelpro/__main__.py
netelpro/aletheic.py
netelpro/ast_nodes.py
netelpro/caps.py
netelpro/codegen.py
netelpro/conftest.py
netelpro/effects.py
netelpro/evaluator.py
netelpro/gate.py
netelpro/guard.py
netelpro/holes.py
netelpro/lexer.py
netelpro/mcp_server.py
netelpro/parser.py
netelpro/rule_filter.py
netelpro/str_native.py
netelpro.egg-info/PKG-INFO
netelpro.egg-info/SOURCES.txt
netelpro.egg-info/dependency_links.txt
netelpro.egg-info/requires.txt
netelpro.egg-info/top_level.txt
tests/test_aletheic.py
tests/test_aletheic_integration.py
tests/test_caps.py
tests/test_check_arity.py
tests/test_codegen.py
tests/test_effect_rows.py
tests/test_effects.py
tests/test_evaluator.py
tests/test_fold_sugar.py
tests/test_gate.py
tests/test_gate_examples.py
tests/test_guard_negation.py
tests/test_holes.py
tests/test_lexer.py
tests/test_parser.py
tests/test_prove_evidence.py
tests/test_raft_lfm_notebook_generator.py
tests/test_refinements_f2.py
tests/test_rlvr_gcd_curriculum.py
tests/test_rlvr_gguf_eval.py
tests/test_rlvr_notebook_generator.py
tests/test_rlvr_prompting.py
tests/test_rlvr_tasks.py
tests/test_rlvr_verify.py
tests/test_rule_filter.py
tests/test_truth_table.py
tests/test_truth_table_builder.py
tests/test_unified_colab_notebook_generator.py
tests/test_vtb_aletheic_dataset.py
tests/test_vtb_ood_dataset.py
tests/test_vtb_ood_runner.py
tests/test_vtb_procedural.py