1. Catálogo aplicable
La versión de referencia de B2 es f6b704e819e7d08589f00e9e3f9550deab21d0b1. Para Gramática 0.2 e IR 0.3, el documento público de referencia es docs/referencia/ERRORES_CANONICOS_SV_v0_3.md.
Ese catálogo efectivo contiene 50 códigos. La versión 0.3 conserva el catálogo 0.2 y añade E110, E305 y E308.
2. Diagnósticos incorporados en v0.3
| Código | Nombre | Alcance |
|---|---|---|
E110 | InvalidAdmissibilitySpec | Contrato de AdmissibilitySpec. |
E305 | UnsafeUResolution | Objetivo U constituido e instancia compatible con su ResSpec. |
E308 | FrameClosureViolation | Coherencia relacional interna y cierre estructural o causal de Frame. |
3. Separación entre compilador e interfaz
Los códigos E... pertenecen al catálogo del compilador. Los mensajes del navegador relativos a carga del WebAssembly, tamaño máximo de fuente, UTF-8, hash o transporte son condiciones de la interfaz Beta y no deben confundirse con diagnósticos semánticos del Lenguaje.
B2 conserva la salida estructurada devuelta por el WebAssembly y no asigna un significado alternativo a los códigos del catálogo.
4. Divergencia conocida
El catálogo público conserva expresamente una divergencia histórica para E204: la IR histórica lo identifica como MissingConflictOperator, mientras que el catálogo efectivo de la fase inicial de compilación lo utiliza como QueryMissingContext. B2 no oculta ni modifica localmente esa divergencia.
5. Límite de esta página
Esta página facilita la consulta desde la Beta. La definición exhaustiva de cada código, sus puntos de emisión y las obligaciones de mantenimiento permanecen en el documento de referencia del repositorio principal del Lenguaje.