Problème 2.1 : gestion des incohérences
L'éditeur, s'il peut effectuer des contrôles de cohérence, ne doit pas, à l'inverse, interdire des incohérences. Ceci se justifie par le fait qu'en phase d'édition certains états intermédiaires sont fortement incohérents et également fugaces. On ne doit pas présenter un gendarme qui police l'activité de programmation mais plutôt un assistant qui conseille sans vraiment imposer son jugement.
Réponse 2.1 : supporter des incohérences passagères
Il s'agit de construire un outil qui contrôle la cohérence des choses mais supporte localement des incohérences. La solution est certes complexe.