Un modo de fallo que ocurre cuando dos módulos lógicos, teorías o componentes exponen supuestos, firmas o contratos incompatibles en su interfaz de modo que no pueden componerse directamente sin adaptación.

Principio

La composición requiere una interfaz compatible: firmas coincidentes, supuestos compartidos sobre el dominio y semántica acordada. Cualquier divergencia en la frontera impide la composición fluida salvo que se reconcilie.

Demostración

El módulo A exporta una función total enteros→enteros y exige normalización de entrada; el módulo B proporciona una función parcial que devuelve tokens de error para algunas entradas. Aunque nombres y aridades coincidan, la diferencia en totalidad y semántica de errores impide la composición.

Aplicación incorrecta

Intentar integrar módulos solo alineando nombres de símbolos o aridades mientras se ignoran precondiciones, invariantes implícitos o expectativas semánticas — por ejemplo, conectar dos servicios que normalizan identificadores de manera distinta.

Consecuencia

La identificación correcta de un desajuste de interfaz conduce a adaptadores explícitos, contratos de interfaz o rediseño de fronteras; no hacerlo produce errores sutiles, inconsistencia lógica o incapacidad para reutilizar componentes.

Inversión

Alineación de interfaz — diseñar o adaptar interfaces para que supuestos, firmas y semánticas coincidan y los componentes se compongan directamente.

Límite

Abarca la frontera expuesta entre módulos: firmas, pre/postcondiciones y supuestos semánticos implícitos. No trata principalmente contradicciones internas de modelo (incompatibilidad semántica) ni desajustes de protocolo de bajo nivel fuera de la interfaz lógica.

Tensión semántica

Tensión entre soluciones específicas locales de interfaz (adaptadores, envoltorios) y reconciliación semántica global (cambiar modelos centrales); compite con la incompatibilidad semántica cuando el desajuste refleja conflictos de modelo profundos más que diferencias superficiales de firma.

Síntesis

El desajuste de interfaz es la incompatibilidad práctica en los límites de los módulos donde la alineación sintáctica sin acuerdo semántico fracasa; resolverlo exige hacer explícitos los supuestos implícitos, añadir adaptadores o contratos, o refactorizar las fronteras de los componentes.