Specification

La especificación sigue siendo importante, pero los docs públicos ahora la presentan como material de intención y referencia que debe contrastarse con los tests y artefactos actuales.

Verificado hoy

• La especificación del lenguaje puede ir por delante de lo que el artefacto público actual realmente aplica.
• Trata los tests y los artefactos de gate como evidencia más fuerte que la prosa aspiracional o los nombres de directorio.
• Backends como LLVM, GPU y LSP deben confirmarse por artefacto, no inferirse a partir del árbol de fuentes.

Caveats actuales

• El comportamiento depende del binario exacto de souc, no solo de los archivos presentes en el repositorio.
• La sintaxis de unidades y quantity existe, pero la validación end-to-end sigue siendo parcial.