#dusk $DUSK @Dusk
encontrei algo estranho no índice de notícias do Crepúsculo esta semana. um artigo de março de 2025 sobre detecção de desvio de especificação.
isso é uma ferramenta interna de engenharia. ela captura a diferença entre o que uma especificação diz e o que o código realmente faz.
tive que pensar por que um projeto de blockchain publicaria algo assim.
e acho que a resposta é que o desvio de especificação é exatamente o modo de falha que importa para liquidações reguladas. uma regra de conformidade escrita em um documento. um contrato que a implementa de forma um pouco diferente. ninguém percebe até que um supervisor pergunte. $TUT
numa cadeia normal, isso é um bug. numa cadeia que carrega valores mobiliários regulados, isso é um problema legal.
minha ressalva é que publicar sobre a ferramenta mostra que você construiu a ferramenta. não prova que a ferramenta funciona.
ainda assim. é uma coisa estranha de se escrever publicamente, e eu leio isso como um bom sinal.
cultura interna de engenharia influencia na forma como você avalia um projeto
@Dusk #dusk $DUSK