Specification

A especificação continua importante, mas os docs públicos agora a apresentam como material de intenção e referência que precisa ser confrontado com os testes e artefatos atuais.

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.
• Backends como LLVM, GPU e LSP precisam ser confirmados por artefato, e não inferidos pela árvore de fontes.

Ressalvas atuais

• O comportamento depende do binário souc exato, não apenas dos arquivos presentes no repositório.
• A sintaxe de unidades e quantities existe, mas a validação ponta a ponta ainda é parcial.