Um Bug Crítico no Lado Oculto da Lua

A JUXT, por meio de sua ferramenta de especificação Allium, descobriu uma omissão crítica de quatro bytes no código do Computador de Orientação da Apollo. Esse erro impedia a liberação de um bloqueio de recurso de giroscópio durante um evento de "cage" de torque intermediário. O achado demonstra o poder da especificação comportamental para desvendar bugs complexos e de longa data, que permaneceram ocultos por décadas, apesar da revisão de inúmeros especialistas.