Learn how Datadog built FETCh to continuously validate production behavior against TLA+ specifications and uncover a subtle bug that conventional testing had not exposed.