LICENSE
README.md
nail_cli.py
pyproject.toml
demos/__init__.py
demos/ai_review_demo.py
demos/mcp_firewall_demo.py
demos/rogue_agent_demo.py
demos/termination_demo.py
demos/trust_boundary_demo.py
demos/verifiability_demo.py
demos/scenarios/__init__.py
demos/scenarios/ai-review-effect-leak-fail.nail
demos/scenarios/ai-review-fixed-pass.nail
demos/scenarios/ai-review-missing-branch-fail.nail
demos/scenarios/ai-review-type-mixup-fail.nail
demos/scenarios/rogue-exfil-blocked.nail
demos/scenarios/rogue-exfil-correct.nail
demos/scenarios/rogue-scheme-blocked.nail
demos/scenarios/rogue-scheme-legit.nail
demos/scenarios/rogue-traversal-blocked.nail
demos/scenarios/rogue-traversal-legit.nail
demos/scenarios/term-bounded-pass.nail
demos/scenarios/term-recursive-fail.nail
demos/scenarios/term-recursive-pass.nail
demos/scenarios/term-zero-step-fail.nail
demos/scenarios/trust-escalation-fail.nail
demos/scenarios/trust-io-caller-pass.nail
demos/scenarios/trust-logger.nail
demos/scenarios/trust-net-smuggler.nail
demos/scenarios/trust-pure-caller-pass.nail
demos/scenarios/trust-pure-math.nail
demos/scenarios/verify-hidden-effect-fail.nail
demos/scenarios/verify-hidden-effect-pass.nail
demos/scenarios/verify-partial-return-fail.nail
demos/scenarios/verify-partial-return-pass.nail
demos/scenarios/verify-type-mismatch-fail.nail
demos/scenarios/verify-type-mismatch-pass.nail
interpreter/__init__.py
interpreter/checker.py
interpreter/runtime.py
interpreter/types.py
nail_lang/__init__.py
nail_lang/_effects.py
nail_lang/_fc_standard.py
nail_lang/_mcp.py
nail_lang.egg-info/PKG-INFO
nail_lang.egg-info/SOURCES.txt
nail_lang.egg-info/dependency_links.txt
nail_lang.egg-info/entry_points.txt
nail_lang.egg-info/requires.txt
nail_lang.egg-info/top_level.txt
tests/test_collection_ops.py
tests/test_effects_fine_grained.py
tests/test_enum.py
tests/test_fc_standard.py
tests/test_function_calling.py
tests/test_generic_aliases.py
tests/test_generics.py
tests/test_imports_from.py
tests/test_interpreter.py
tests/test_issue_72_propagate_level.py
tests/test_l3_termination.py
tests/test_mcp_bridge.py
tests/test_nail_lang_api.py
tests/test_return_exhaustiveness.py
tests/test_runtime_generic_aliases.py
tests/test_stdlib.py
tests/test_structured_errors.py
tests/test_transpiler.py
tests/test_type_aliases.py