Que vérifie PROVEN ?
Vérifie si la structure de mise en forme de la description peut être analysée sans erreur structurelle.
Pourquoi est-ce important ?
Une structure invalide peut rendre le contenu difficile à interpréter ou produire un affichage inattendu.
Que peut faire PROVEN ?
PROVEN peut localiser le problème et montrer la preuve ; la réparation de la structure reste une modification à valider.