CHANGELOG.md
CODE_OF_CONDUCT.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
SECURITY.md
pyproject.toml
docs/ai-context.md
docs/ai-tooling.md
docs/architecture.md
docs/cli-reference.md
docs/contracts.md
docs/diagnostics.md
docs/functions.md
docs/getting-started.md
docs/index.md
docs/inspect-schema.md
docs/installation.md
docs/json-protocol.md
docs/language-spec.md
docs/limitations.md
docs/lsp.md
docs/mcp.md
docs/playground.md
docs/roadmap.md
docs/testing.md
docs/types.md
docs/decisions/0001-tipos-estaticos-sin-conversiones-implicitas.md
docs/decisions/0002-el-interprete-solo-ejecuta-programas-comprobados.md
docs/decisions/0003-funciones-retorno-e-if.md
docs/decisions/0004-contratos-en-ejecucion.md
docs/decisions/0005-diagnosticos-y-esquemas-json.md
docs/decisions/0006-requisitos-verificables.md
docs/decisions/0007-contratos-estables-y-tipos-refinados.md
docs/decisions/0008-ejemplos-y-nex-test.md
docs/decisions/0009-memoria-agotada.md
docs/decisions/0010-var-y-while.md
docs/decisions/0011-operaciones-sobre-textos.md
docs/decisions/0012-modelo-de-tipos-patrones-iteracion-y-verificabilidad.md
docs/decisions/0013-listas-y-for.md
docs/decisions/0014-registros-nominales-inmutables.md
docs/decisions/0015-entrada-argumentos-archivos-y-permisos.md
docs/decisions/0016-option-y-result.md
docs/decisions/0017-un-editor-la-extension-de-vs-code.md
docs/decisions/0018-modulos-e-importaciones.md
docs/decisions/README.md
docs/schemas/nexora-capabilities.schema.json
docs/schemas/nexora-context.schema.json
docs/schemas/nexora-diagnostics.schema.json
docs/schemas/nexora-inspect.schema.json
docs/schemas/nexora-result.schema.json
docs/schemas/nexora-spec.schema.json
docs/schemas/nexora-symbols.schema.json
docs/schemas/nexora-test.schema.json
examples/README.md
examples/arithmetic.nex
examples/checked_examples.nex
examples/console.nex
examples/contracts.nex
examples/files.nex
examples/functions.nex
examples/hello.nex
examples/lists.nex
examples/loops.nex
examples/option_result.nex
examples/records.nex
examples/refined_types.nex
examples/texts.nex
examples/types.nex
examples/variables.nex
examples/failing/contract_violation.nex
examples/failing/loop_measure.nex
examples/failing/parse_number.nex
examples/failing/refinement_violation.nex
examples/failing/runtime_error.nex
examples/invalid/name_errors.nex
examples/invalid/refinement_errors.nex
examples/invalid/syntax_error.nex
examples/invalid/type_errors.nex
examples/modules/main.nex
examples/modules/models.nex
src/nexora/__init__.py
src/nexora/__main__.py
src/nexora/api.py
src/nexora/ast_nodes.py
src/nexora/capabilities.py
src/nexora/checker.py
src/nexora/cli.py
src/nexora/diagnostics.py
src/nexora/formatter.py
src/nexora/host.py
src/nexora/interpreter.py
src/nexora/lexer.py
src/nexora/lsp.py
src/nexora/mcp_server.py
src/nexora/modules.py
src/nexora/parser.py
src/nexora/pipeline.py
src/nexora/prelude.py
src/nexora/schemas.py
src/nexora/tokens.py
src/nexora/tooling.py
src/nexora/type_adapter.py
src/nexora/types.py
src/nexora/values.py
src/nexora/version.py
src/nexora/worker.py
src/nexora_lang.egg-info/PKG-INFO
src/nexora_lang.egg-info/SOURCES.txt
src/nexora_lang.egg-info/dependency_links.txt
src/nexora_lang.egg-info/entry_points.txt
src/nexora_lang.egg-info/requires.txt
src/nexora_lang.egg-info/top_level.txt
tests/conftest.py
tests/helpers.py
tests/test_api.py
tests/test_checker.py
tests/test_cli.py
tests/test_contracts.py
tests/test_diagnostics.py
tests/test_docs.py
tests/test_example_clauses.py
tests/test_examples.py
tests/test_for.py
tests/test_formatter.py
tests/test_functions.py
tests/test_input_arguments.py
tests/test_input_stdin.py
tests/test_inspect.py
tests/test_interpreter.py
tests/test_lexer.py
tests/test_loops.py
tests/test_lsp.py
tests/test_mcp.py
tests/test_modules.py
tests/test_modules_syntax.py
tests/test_nex_test.py
tests/test_option_result.py
tests/test_out_of_memory.py
tests/test_parser.py
tests/test_permissions_environments.py
tests/test_permissions_files.py
tests/test_permissions_static.py
tests/test_records_diagnostics.py
tests/test_records_syntax.py
tests/test_records_tools.py
tests/test_records_types.py
tests/test_records_values.py
tests/test_refined_types.py
tests/test_robustness.py
tests/test_security.py
tests/test_source_tree.py
tests/test_text_operations.py
tests/test_tooling.py
tests/test_tooling_tasks.py
tests/test_type_adapter.py
tests/test_type_b4.py
tests/test_type_b5.py
tests/test_type_b6.py
tests/test_type_b7.py
tests/test_type_b8.py
tests/test_type_lists.py
tests/test_type_lists_functions.py
tests/test_type_lists_syntax.py
tests/test_type_lists_values.py
tests/test_type_model.py
tests/test_types.py
tests/test_vscode_extension.py
tests/test_worker.py
tests/tooling_tasks.py
tests/golden/examples/arithmetic.check.stderr
tests/golden/examples/arithmetic.run.stderr
tests/golden/examples/arithmetic.run.stdout
tests/golden/examples/checked_examples.check.stderr
tests/golden/examples/checked_examples.run.stderr
tests/golden/examples/checked_examples.run.stdout
tests/golden/examples/checked_examples.test.stderr
tests/golden/examples/checked_examples.test.stdout
tests/golden/examples/console.check.stderr
tests/golden/examples/console.run.stderr
tests/golden/examples/console.run.stdout
tests/golden/examples/contracts.check.stderr
tests/golden/examples/contracts.run.stderr
tests/golden/examples/contracts.run.stdout
tests/golden/examples/failing__contract_violation.check.stderr
tests/golden/examples/failing__contract_violation.run.stderr
tests/golden/examples/failing__contract_violation.run.stdout
tests/golden/examples/failing__loop_measure.check.stderr
tests/golden/examples/failing__loop_measure.run.stderr
tests/golden/examples/failing__loop_measure.run.stdout
tests/golden/examples/failing__parse_number.check.stderr
tests/golden/examples/failing__parse_number.run.stderr
tests/golden/examples/failing__parse_number.run.stdout
tests/golden/examples/failing__refinement_violation.check.stderr
tests/golden/examples/failing__refinement_violation.run.stderr
tests/golden/examples/failing__refinement_violation.run.stdout
tests/golden/examples/failing__runtime_error.check.stderr
tests/golden/examples/failing__runtime_error.run.stderr
tests/golden/examples/failing__runtime_error.run.stdout
tests/golden/examples/files.check.stderr
tests/golden/examples/files.run.stderr
tests/golden/examples/files.run.stdout
tests/golden/examples/functions.check.stderr
tests/golden/examples/functions.run.stderr
tests/golden/examples/functions.run.stdout
tests/golden/examples/hello.check.stderr
tests/golden/examples/hello.run.stderr
tests/golden/examples/hello.run.stdout
tests/golden/examples/invalid__name_errors.check.stderr
tests/golden/examples/invalid__name_errors.run.stderr
tests/golden/examples/invalid__name_errors.run.stdout
tests/golden/examples/invalid__refinement_errors.check.stderr
tests/golden/examples/invalid__refinement_errors.run.stderr
tests/golden/examples/invalid__refinement_errors.run.stdout
tests/golden/examples/invalid__syntax_error.check.stderr
tests/golden/examples/invalid__syntax_error.run.stderr
tests/golden/examples/invalid__syntax_error.run.stdout
tests/golden/examples/invalid__type_errors.check.stderr
tests/golden/examples/invalid__type_errors.run.stderr
tests/golden/examples/invalid__type_errors.run.stdout
tests/golden/examples/lists.check.stderr
tests/golden/examples/lists.run.stderr
tests/golden/examples/lists.run.stdout
tests/golden/examples/loops.check.stderr
tests/golden/examples/loops.run.stderr
tests/golden/examples/loops.run.stdout
tests/golden/examples/loops.test.stderr
tests/golden/examples/loops.test.stdout
tests/golden/examples/modules__main.check.stderr
tests/golden/examples/modules__main.run.stderr
tests/golden/examples/modules__main.run.stdout
tests/golden/examples/modules__main.test.stderr
tests/golden/examples/modules__main.test.stdout
tests/golden/examples/modules__models.check.stderr
tests/golden/examples/modules__models.run.stderr
tests/golden/examples/modules__models.run.stdout
tests/golden/examples/option_result.check.stderr
tests/golden/examples/option_result.run.stderr
tests/golden/examples/option_result.run.stdout
tests/golden/examples/records.check.stderr
tests/golden/examples/records.run.stderr
tests/golden/examples/records.run.stdout
tests/golden/examples/refined_types.check.stderr
tests/golden/examples/refined_types.run.stderr
tests/golden/examples/refined_types.run.stdout
tests/golden/examples/texts.check.stderr
tests/golden/examples/texts.run.stderr
tests/golden/examples/texts.run.stdout
tests/golden/examples/texts.test.stderr
tests/golden/examples/texts.test.stdout
tests/golden/examples/types.check.stderr
tests/golden/examples/types.run.stderr
tests/golden/examples/types.run.stdout
tests/golden/examples/variables.check.stderr
tests/golden/examples/variables.run.stderr
tests/golden/examples/variables.run.stdout
tests/golden/schemas/nexora-inspect-0.3.1.schema.json
tests/golden/schemas/nexora-inspect-0.4.0.schema.json
tests/golden/schemas/nexora-inspect-0.5.1.schema.json