verifyocupaçãoDesenvolvedores de softwaredescriçãoHow to launch and drive Diff Dad for runtime verification — daemon on a scratch port, config/test-connection API, and the single-PR server.Idioma do texto original: inglêsatualizado2026-07-07