Language Spec (v1.0.0)

Leia a spec da linguagem como o modelo maior de Sounio e depois verifique cada afirmação concreta contra o artefato atual, os testes e os docs sustentados por gates.

Verificado hoje

• A especificação da linguagem pode avançar além do que o artefato público atual realmente aplica.
• Trate testes e artefatos de gate como evidência mais forte do que texto aspiracional ou nomes de diretório.
• Efeitos explícitos com with ... continuam fazendo parte do contrato real da linguagem.

Ressalvas atuais

• Backends como LLVM, GPU e LSP precisam ser confirmados por artefato, e não inferidos pela árvore de fontes.
• A sintaxe de unidades e quantities existe, mas a validação ponta a ponta ainda é parcial.