tdaylan / NoiseScope

A control instrument for handshake state machines - lint protocol models, replay transcripts, and fly deterministic mutations until a trace diverges.