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/gate_demo.py
netelpro/guard.py
netelpro/holes.py
netelpro/lexer.py
netelpro/mcp_server.py
netelpro/parser.py
netelpro/rule_filter.py
netelpro/state_gate.py
netelpro/str_native.py
netelpro.egg-info/PKG-INFO
netelpro.egg-info/SOURCES.txt
netelpro.egg-info/dependency_links.txt
netelpro.egg-info/entry_points.txt
netelpro.egg-info/requires.txt
netelpro.egg-info/top_level.txt
netelpro/lib/__init__.py
netelpro/lib/__main__.py
netelpro/lib/contracts.py
netelpro/lib/prelude.sl
netelpro/neuro/__init__.py
netelpro/neuro/certificate.py
netelpro/neuro/dynamic_state.py
netelpro/neuro/gate_kernel.py
netelpro/neuro/logits_gate.py
netelpro/neuro/logits_processor.py
netelpro/neuro/memory.py
netelpro/neuro/minillm.py
netelpro/neuro/native_kernel.py
netelpro/neuro/network.py
netelpro/neuro/neuro_gate.py
netelpro/neuro/neuron.py
netelpro/neuro/ste.py
netelpro/neuro/stream.py
netelpro/neuro/tokenizer.py
netelpro/neuro/tokenizer_bpe.py
netelpro/neuro/transformer.py
netelpro/neuro/trivium.py
netelpro/rules/expense_approval.sl
netelpro/spec/arity_table.json
tests/test_aletheic.py
tests/test_aletheic_integration.py
tests/test_area_error_table.py
tests/test_build_balanced_dataset.py
tests/test_build_grammar_v3.py
tests/test_build_massive_corpus.py
tests/test_caps.py
tests/test_check_arity.py
tests/test_codegen.py
tests/test_compile_packed.py
tests/test_contains_primitive.py
tests/test_deep_network.py
tests/test_download_corpus.py
tests/test_download_resume.py
tests/test_dynamic_state.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_demo.py
tests/test_gate_examples.py
tests/test_gate_kernel.py
tests/test_guard_claim_detection.py
tests/test_guard_negation.py
tests/test_holes.py
tests/test_lexer.py
tests/test_logits_processor.py
tests/test_netelpro_lib.py
tests/test_netelpro_mega.py
tests/test_netelpro_memory.py
tests/test_netelpro_minillm.py
tests/test_netelpro_transformer.py
tests/test_neuro.py
tests/test_neuro_gate.py
tests/test_neuro_streaming.py
tests/test_parser.py
tests/test_principle_bench_taxonomy.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_run5_gate.py
tests/test_state_gate.py
tests/test_tokenizer_bpe.py
tests/test_train_teo_v2.py
tests/test_trivium.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