Idiomas / Languages
Original en español. El selector de la matriz editorial estará disponible cuando responda el servicio de presentación.
Ver original en español / Spanish original
La traducción automática facilita la lectura. Contraste términos, fórmulas y sentido con el original.
14. Conformidad y diagnósticos
La conformidad comprueba que una realización del lenguaje cumple las reglas y los resultados esperados para una versión determinada. Incluye programas que deben admitirse y programas que deben rechazarse por una causa precisa.
14.1. Admisión, rechazo e incidencia
| Situación | Interpretación |
|---|---|
| Archivo admitido | Cumple las comprobaciones aplicadas a esa entrada por la distribución indicada. No acredita por sí solo una aplicación profesional ni todas las operaciones posteriores. |
| Rechazo esperado | El comprobador detecta la infracción prevista y comunica el diagnóstico correspondiente. |
| Rechazo por otra causa | No demuestra que se haya comprobado la regla que motivó el caso. |
| Interrupción o fallo técnico | Impide completar la comprobación afectada; se conserva como incidencia, sin convertirlo en un resultado semántico. |
El catálogo de errores v0.3 identifica los diagnósticos. La gramática v0.2 y las reglas de bienformación de IR v0.3 vinculan sus restricciones con los diagnósticos correspondientes.
Los códigos declarados en el catálogo y los mensajes emitidos por una realización tienen alcances distintos. La concordancia diagnóstica distingue obligaciones, fases y resultados observados. Cuando la implementación emite un código estructurado, se conserva junto con el mensaje y su causa. Si sólo emite un resultado textual, éste se conserva sin asignarle un código por interpretación.
14.2. Rechazos deliberados
El archivo cellstate_vector_length_mismatch.svp comprueba la discordancia entre la longitud del vector y la dimensión de la célula. Se espera un rechazo. Se conserva sin corregirlo dentro de la colección negativa: su finalidad consiste precisamente en comprobar esa restricción.
Una prueba reproducible identifica el archivo íntegro, su perfil, la versión del comprobador y la causa esperada. Se conserva también el resultado obtenido, incluso cuando difiere de lo previsto.
El repositorio separa los archivos válidos de conformidad y los casos de rechazo. Los ejemplos por construcción ofrecen una entrada didáctica a los programas admitidos; las aplicaciones completas tienen su sección propia.
14.3. Paridad entre destinos
La paridad contrasta los resultados de los destinos nativo y WebAssembly sobre los casos establecidos. La coincidencia entre destinos no basta: ambos resultados deben corresponder a la especificación y a las expectativas de cada prueba. Las herramientas de comprobación describen la ejecución de estas verificaciones.
Un ejemplo histórico conserva su identidad y su versión. Si una distribución posterior añade comprobaciones, la comparación registra ambos resultados y explica la diferencia; no modifica el original para aparentar compatibilidad.
© 2026 Juan Antonio Lloret Egea. Algunos derechos reservados. | ORCID: 0000-0002-6634-3351 | Instituto Tecnológico Virtual de la Inteligencia Artificial para el Español™ (ITVIA) | IA eñ™ – La Biblia de la IA™ | ISSN 2695-6411 | Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0).
