¿Qué hace check?
Detector de desviaciones de solo lectura. Compara SPEC.md con el código actual e informa violaciones agrupadas por severidad. No escribe nada — sugiere soluciones a través de las habilidades de especificación o compilación, pero nunca las invoca. Se activa cuando el usuario solicita verificar desviaciones, auditar la especificación, verificar invariantes o preguntar si el código aún coincide con la especificación. Frases clave: "check drift", "audit the spec", "does the code still match §V", "check invariants", "spec vs code".