1. Catálogo aplicable
Para Gramática 0.2 e IR 0.3, el 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. Incorporaciones de v0.3
| Código | Nombre | Alcance |
|---|---|---|
E110 | InvalidAdmissibilitySpec | Contrato de AdmissibilitySpec. |
E305 | UnsafeUResolution | Objetivo U constituido e instancia compatible. |
E308 | FrameClosureViolation | Coherencia relacional y cierre de Frame. |
3. Separación de capas
Los códigos E... pertenecen al compilador. Los mensajes relativos a carga de WebAssembly, tamaño de fuente, UTF-8, huellas o transporte pertenecen a la interfaz y no son diagnósticos semánticos del Lenguaje.
4. Divergencia histórica conservada
El catálogo conserva la divergencia histórica de 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. La realización publicada no oculta ni reasigna esta divergencia.
5. Límite probatorio
La regresión confirma admisión/rechazo sobre el corpus vigente, pero no acredita identidad textual exacta de todos los diagnósticos entre Python y Rust/WebAssembly.