LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.cfg
docs/RLANG_DETERMINISTIC_REASONING_ANALYSIS_MANIFESTO.md
docs/compiler-architecture.md
docs/compiler_expansion_playbook.md
docs/compiler_physics.md
docs/determinism.md
docs/emergent_properties_rlang.md
docs/language.md
docs/physics_of_reasoning_experiments.md
docs/proof-system.md
docs/python_to_rlang_extra_value.md
docs/python_to_rlang_mapping.md
docs/python_to_rlang_mapping_summary.md
docs/python_vs_rlang_execution_output.md
docs/rlang_execution_dataset_v1.md
examples/hello.rlang
examples/simple.rlang
rlang/__init__.py
rlang/bor/__init__.py
rlang/bor/bridge.py
rlang/bor/crypto.py
rlang/bor/proofs.py
rlang/canonical/__init__.py
rlang/canonical/builder.py
rlang/canonical/primary_ir.py
rlang/cli/__init__.py
rlang/cli/rlangc.py
rlang/emitter/__init__.py
rlang/emitter/emitter.py
rlang/ir/__init__.py
rlang/ir/model.py
rlang/lexer/__init__.py
rlang/lexer/tokenizer.py
rlang/lexer/tokens.py
rlang/lowering/__init__.py
rlang/lowering/lowering.py
rlang/parser/__init__.py
rlang/parser/ast.py
rlang/parser/parser.py
rlang/semantic/__init__.py
rlang/semantic/resolver.py
rlang/semantic/symbols.py
rlang/types/__init__.py
rlang/types/type_checker.py
rlang/types/type_system.py
rlang/utils/__init__.py
rlang/utils/canonical_json.py
rlang_compiler.egg-info/PKG-INFO
rlang_compiler.egg-info/SOURCES.txt
rlang_compiler.egg-info/dependency_links.txt
rlang_compiler.egg-info/entry_points.txt
rlang_compiler.egg-info/requires.txt
rlang_compiler.egg-info/top_level.txt
tests/test_base.py
tests/test_bor_bridge.py
tests/test_bor_cli_compat.py
tests/test_bor_crypto.py
tests/test_branch_determinism.py
tests/test_cli.py
tests/test_emitter.py
tests/test_executor_public_api.py
tests/test_lexer.py
tests/test_lowering.py
tests/test_parser.py
tests/test_primary_ir.py
tests/test_proofs.py
tests/test_resolver.py
tests/test_type_checker.py