Was macht check?
Schreibgeschützter Drift-Detektor. Vergleicht SPEC.md mit dem aktuellen Code und meldet Verstöße, gruppiert nach Schweregrad. Schreibt nichts – schlägt Abhilfemaßnahmen über die spezifikations- oder build-Fähigkeiten vor, ruft diese jedoch nie auf. Wird ausgelöst, wenn der Benutzer darum bittet, den Drift zu überprüfen, die Spezifikation zu auditieren, Invarianten zu verifizieren oder zu fragen, ob der Code noch mit der Spezifikation übereinstimmt. Formulierungen: "check drift", "audit the spec", "does the code still match §V", "check invariants", "spec vs code".