La hipófisis puede tomar una diferencia de código y comprobar si entra en conflicto con una especificación aceptada antes de que ese cambio se incorpore.
Ese detalle cambió la forma en que pienso al investigar un protocolo como Dusk, porque leer lo que se supone que debe hacer un sistema solo te lleva hasta la mitad.
Dusk construyó Pituitary después de lidiar con la deriva de especificaciones internamente, donde las decisiones, la terminología y la implementación pueden dejar de ponerse de acuerdo gradualmente a medida que evoluciona una base de código. La herramienta indexa esa intención registrada, puede señalar cambios de implementación que la contradicen y puede rastrear qué áreas relacionadas se ven afectadas cuando cambia una decisión. También es determinista por defecto. Para mí, eso crea una prueba de tensión útil para la investigación de protocolos: si estoy formando una conclusión a partir de una afirmación arquitectónica, quiero alguna forma de notar cuándo el código se ha movido mientras la afirmación no lo ha hecho.
Una especificación puede describir el sistema previsto.
La implementación decide si esa descripción sigue siendo cierta.
Esa brecha vale la pena comprobarla.
@Dusk $DUSK #dusk