Capacidades essenciais
Várias linhas de raciocínio, em vez de uma só
A inteligência da Argo é organizacional, metódica e autocrítica: várias linhas de raciocínio em vez de uma só, verificação mantida separada da geração — e as partes relevantes de grandes bases de código e repositórios de conhecimento são filtradas com propósito.
Resolução estruturada de problemas
Requisitos vagos transformam-se em tarefas de trabalho, subtarefas e dependências — organizadas num grafo de tarefas.
Raciocínio colaborativo
Funções especializadas desenvolvem abordagens, levantam contra-argumentos e tornam visíveis os conflitos antes de se tomar uma decisão.
iVer disponibilidade por planoVerificação
Testadores, revisores e verificadores independentes avaliam criticamente os resultados — a geração e a verificação mantêm-se separadas.
O que significa "verificado"? Todos os critérios verificáveis de uma tarefa (testes, verificações de tipos, critérios de aceitação explicitamente definidos) têm de ser cumpridos — caso contrário, o resultado não é considerado verificado. Os critérios brandos, não verificáveis objetivamente, também são avaliados; se subsistirem lacunas ou incertezas, estas são documentadas em vez de omitidas. "Verificado" não significa, portanto, "totalmente completo e sem qualquer lacuna" nem "garantidamente livre de erros" — significa: rigorosamente verificado, com transparência sobre os pontos em aberto que permanecem.