O Determinant é um experimento em estágio inicial que propõe a Linguagem de Aplicação Auditável (AAL) como uma camada determinística entre a geração probabilística de IA e o software executável. O sistema permite que um LLM gere AAL a partir de requisitos em linguagem natural, que os humanos então revisam para verificar a correção da lógica de negócios antes que um compilador tradicional gere código TypeScript.
- AAL foca em dois conceitos principais: Objeto (descrevendo o estado da aplicação) e Fluxo (descrevendo o comportamento), evitando detalhes de implementação como classes ou métodos.
- O pipeline de compilação converte a AAL aceita em uma AST, realiza verificações semânticas e vinculação, e gera TypeScript determinístico para Node.js sem envolvimento adicional do LLM.
- Os recursos atuais incluem campos tipados, condições, falhas explícitas, cálculos, mudanças de estado, composição de fluxo, tipos monetários e suporte para dialetos inglês e chinês.
- O projeto visa reduzir o escopo da incerteza da IA permitindo que os humanos auditem uma descrição executável menor em vez de revisar milhares de linhas de código gerado.
O autor busca feedback sobre se essa fronteira de revisão é praticamente útil e se a AAL pode permanecer legível enquanto cobre comportamento suficiente da aplicação.