Que fait check ?
Détecteur de dérive en lecture seule. Compare SPEC.md au code actuel et rapporte les violations groupées par gravité. N'écrit rien — suggère des correctifs via les compétences de spécification ou de construction, mais ne les invoque jamais. Se déclenche lorsque l'utilisateur demande de vérifier la dérive, d'auditer la spécification, de vérifier les invariants, ou de demander si le code correspond encore à la spécification. Formulations : « vérifier la dérive », « auditer la spécification », « le code correspond-il encore à §V », « vérifier les invariants », « spec vs code ».