Modelo mental — Contrato antes que código
M08 no introduce física nueva. Cambia la forma del software: entradas validadas, fases separadas, salidas en archivo y diagnóstico sistemático. Sin ese contrato, el barrido de M09 solo multiplicaría errores ocultos.