LICENSE
README.md
pyproject.toml
tests/test_action.py
tests/test_alsp_corpus.py
tests/test_cause_b.py
tests/test_corpus.py
tests/test_deterministic.py
tests/test_diagnostic_catalog.py
tests/test_effect_scope.py
tests/test_exhaustiveness.py
tests/test_false_positive_corpus.py
tests/test_fix_loop_cli.py
tests/test_fix_loop_demo.py
tests/test_fmt.py
tests/test_llm_fix_demo.py
tests/test_lsp.py
tests/test_mining.py
tests/test_module_validation.py
tests/test_multi_file.py
tests/test_pack.py
tests/test_packaging.py
tests/test_parser_recovery.py
tests/test_phase1.py
tests/test_playground.py
tests/test_pretty_roundtrip.py
tests/test_py_frontend_sinks.py
tests/test_py_soundness.py
tests/test_ratchet.py
tests/test_regressions.py
tests/test_release_emit.py
tests/test_risk.py
tests/test_runtime_enforcement.py
tests/test_scan.py
tests/test_sdk.py
tests/test_smt.py
tests/test_static_effects.py
tests/test_stdlib_bytes.py
tests/test_stdlib_d1.py
transpiler/aether/__init__.py
transpiler/aether/cli.py
transpiler/aether/diagnostics.py
transpiler/aether/emitter.py
transpiler/aether/lexer.py
transpiler/aether/lsp.py
transpiler/aether/parser.py
transpiler/aether/pretty.py
transpiler/aether/py.typed
transpiler/aether/py_frontend.py
transpiler/aether/risk.py
transpiler/aether/runner.py
transpiler/aether/runtime.py
transpiler/aether/sarif.py
transpiler/aether/sdk.py
transpiler/aether/passes/__init__.py
transpiler/aether/passes/ast_walk.py
transpiler/aether/passes/capability.py
transpiler/aether/passes/detector_specs.py
transpiler/aether/passes/effects.py
transpiler/aether/passes/imports.py
transpiler/aether/passes/modules.py
transpiler/aether/passes/patch_target.py
transpiler/aether/passes/smt.py
transpiler/aether_lang.egg-info/PKG-INFO
transpiler/aether_lang.egg-info/SOURCES.txt
transpiler/aether_lang.egg-info/dependency_links.txt
transpiler/aether_lang.egg-info/entry_points.txt
transpiler/aether_lang.egg-info/requires.txt
transpiler/aether_lang.egg-info/top_level.txt