FAQ, migração e contribuição

Por que `{` fica vermelho, mas Problems está vazio?

A cor pode vir do pareamento de delimitadores do VS Code. Confirme a saída do servidor e rode nova check arquivo.nova. Um LSP ativo publica diagnósticos no painel Problems.

Por que `nova fmt .` ou `nova lint .` dizia “Acesso negado”?

Era um bug de versões anteriores que tratavam o diretório como arquivo. Atualize a CLI com cargo install --path crates/novacli --force e reinicie o terminal.

Posso executar código baixado da internet?

Não com segurança. A runtime não é sandbox e ainda não limita CPU, memória, recursão ou saída.

Como migrar entre alphas?

Leia CHANGELOG.md e docs/spec/compatibility.md.
Atualize CLI e extensão juntas.
Remova cache com nova clean ..
Rode fmt --check, lint, check e test.
Recompile .novabc; nunca reutilize bytecode de versão diferente.
Registre mudanças necessárias no projeto.

Como contribuir

Leia CONTRIBUTING.md, escolha uma issue pequena e inclua testes e documentação. Para alterar sintaxe ou semântica, discuta antes e documente compatibilidade.

cargo fmt --all -- --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace

Relatos devem trazer nova version, sistema operacional, backend, programa mínimo e saída completa. Vulnerabilidades seguem o canal privado descrito em SECURITY.md.