Was ist before-after?
Erzeugt Vorher/Nachher-Verifizierungspaare für Webstuhlpläne. Beweist, dass sich in einer Phase tatsächlich das Systemverhalten geändert hat, indem der Status vor und nach der Implementierung erfasst wird. Zur Delta-Proof-Verifizierung verwenden – um zu beweisen, dass neue Befehle, Endpunkte, Module oder Fehlerbehebungen funktionieren, indem der Systemstatus verglichen wird. Quelle: cosmix/claude-loom.