Aura | AI Coding Agent Runtime

    return Err(SessionExpired);

.dweve/plans/auth-session.md · 64 linhas

v1.0.0 · Agente de Desenvolvimento Autónomo

O assistente, a pesquisa, a memória e o registo de auditoria reunidos num único binário.

Caças a bugs, código repetitivo, refatorizações e integração distribuídos por sete ferramentas.

Claro. Aqui está o que gostaria de fazer.

Pode ajudar-me a corrigir este pequeno erro no meu código?

sem alegações de produtividade não medidas

o primeiro teste falha, Verificar volta ao Plano

cada postura mostra o seu modelo e o seu limite de saída

o estado final lê-se como objetivo satisfeito, cada critério verde

os cartões tornam-se um único estado de ciclo dentro do Aura

o loop permanece central enquanto a propriedade o rodeia

uma ação de esquecimento visível remove-a

os nós de ferramenta, política, qualidade, memória e auditoria não se movem

as reclamações de ficheiros impedem que dois agentes editem o mesmo caminho

a compilação passa, os testes falham, corrige-se, os testes passam, a auditoria conclui

a verificação-auditoria confere a cadeia na conclusão

uma instrução altera a próxima chamada de ferramenta sem reiniciar

a chamada de patch prossegue conforme planeado

a próxima chamada visa primeiro o teste que falha

o ciclo mantém-se antes da próxima chamada de ferramenta

a sessão termina e o trabalho é preservado

o último ponto de verificação é restaurado no lugar

fornecedores e ferramentas opcionais permanecem externos quando selecionados

cada camada mostra um controlo concreto e o seu resultado

ferramentas incorporadas, MCP e de extensão entram no mesmo ponto de entrada

âmbito, permissão, análise de shell, ponto de verificação, sanitização, auditoria

um teste falhado volta ao ciclo e depois passa

para quando o objetivo é cumprido, quando o para, ou quando não pode continuar honestamente

Arranja o início de sessão, adiciona um teste, explica esta parte. Sem comandos para memorizar.

Olha para os teus próprios ficheiros e notas, não para um exemplo genérico.

Um alvo pequeno que pode verificar quando o trabalho estiver concluído.

Quando o objetivo que definiste for verdadeiramente cumprido.

O ficheiro e a linha exatos por trás do seu plano.

O plano atualiza-se à medida que aprende

As edições e os comandos aguardam o teu sim.

Mantém-se no teu projeto, a menos que permitas mais.

Uma cópia separada mantém o trabalho principal seguro

Escolhe um ajuste e recua se um estiver ausente.

Trabalhos longos correm enquanto continua.

Um especialista passa o trabalho a outro.

Tarefas longas correm enquanto trabalha.

Reivindicações de ficheiros impedem sobreposições silenciosas.

Verificações posteriores revelam qualquer edição.

a conversa expande-se num ciclo que continua a trabalhar em direção ao objetivo

deixe-me ver, alterar e depois verificar se se mantém

uma ação de esquecimento visível remove-a sempre que quiser

use separadores, não espaços, neste projeto

um assistente no seu computador mantém o raciocínio consigo, um assistente na nuvem recebe o que envia

reclamações de ficheiros significam que duas sessões não editam silenciosamente o mesmo caminho

o acesso permanece dentro do projeto, a menos que permita mais

cada pedido torna-se um pequeno cartão de objetivo, não uma resposta de chat

Cada pedido torna-se um objetivo que a Aura pode verificar

encontrado no ficheiro de início de sessão

cada passo mostra o progresso e o plano pode mudar

aponta para os ficheiros exatos que moldaram o plano

a cadeia de auditoria pode ser verificada mais tarde para detetar alterações

Nada aqui pode ser editado silenciosamente.

o contexto mantém-se quente, por isso não voltas a explicar o projeto

Uma linha cronológica de pontos de verificação

os pontos de verificação são capturados antes das edições de ficheiros suportadas

os seus ficheiros, alterações, verificações e registo ficam num só lugar

um marcador de limite do fornecedor mostra onde os internos ocultos terminam

o router seleciona o modelo configurado mais barato que satisfaz a necessidade de capacidade

Uma interface por trás de quatro adaptadores.

uma string perigosa entre aspas permanece segura

tokens, operadores, aspas e escapes são avaliados antes da execução

A estrutura decide, não uma lista de strings.

um perfil de implementação seleciona um conjunto sem alterar o contrato do ciclo

As pétalas variam, o contrato do ciclo mantém-se.

os pontos de verificação desfazem em direto, as árvores de trabalho isolam, o Git é histórico durável

uma entrada de cache é invalidada depois de um patch tocar nos seus ficheiros

período de arrefecimento antes de uma sonda

os valores medidos de tamanho e contagem de fontes pertencem a um cartão de compilação revalidado

uma diferença em tempo real mostra qual camada forneceu cada valor efetivo

o recarregamento automático mantém a sessão

o conjunto de trabalho permanece limitado em vez de crescer sem limite

um evento entra no barramento e é distribuído pelo nome do tipo

a árvore abre-se numa definição de agente efetiva e num DAG de fluxo de trabalho

a faixa determinística corre primeiro, a faixa do modelo só quando necessário

satisfeito, não satisfeito, inconclusivo

a faixa do modelo corre apenas quando a faixa determinística não consegue decidir

A faixa do modelo corre apenas quando necessário.

uma sequência repetida de grep aciona uma sugestão corretiva

executaste grep cinco vezes, tenta ler o ficheiro

uma mensagem de orientação entre duas ações altera a segunda

o estado ativo lê falha no teste, replanear 2, objetivo 3 de 4

o comportamento do servidor remoto permanece um limite externo

Uma correção classifica-se para a frente

relevância determinística e BitRank sobre um índice limitado, recurso FTS5

dois agentes disputam um ficheiro e uma reivindicação é adiada

destacado, consultado para obter resultados

um resultado de ferramenta invalida o plano sem descartar o objetivo

O objetivo persiste enquanto o plano é revisto.

o modelo nunca recebe o conteúdo externo bruto

um caminho fora do âmbito é encaminhado para aprovação, não alargado silenciosamente

ambos invocam a mesma política de objetivo e qualidade e produzem eventos comparáveis

política de objetivo e qualidade partilhada

Uma falha bloqueada retorna como estado.

os módulos são separados por contratos tipados, não por estado mutável partilhado

Os módulos encontram-se apenas no barramento tipado.

o passo pendente é substituído e a auditoria regista o evento

a auditoria regista o evento de orientação

lista de permissões ou lista de bloqueios

uma chamada de patch e uma chamada MCP executam cada uma o pipeline completo

selecione uma chamada para ver quais etapas atuam

cada painel corresponde a uma responsabilidade do loop

Assistência de agente de codificação e operador. As métricas de demonstração são ilustrativas.

Terminal, pesquisa, lint, testes, git e mais.

Lembra-se da sua base de código e do contexto da equipa.

Agentes especializados colaboram em diferentes áreas.

Cada passo é registado com carimbos de data e hora.

Políticas, verificações e testes são sempre executados.

Revise diffs, peça alterações, aprovação final.

Repita qualquer sessão bit a bit quando algo precisar de revisão.

Agentes autónomos que escrevem código e mantêm registos

para lidar com timeouts de rede, respostas 5xx e condições seguras para idempotência. Helper puro, totalmente testado por unidades.

O Aura é distribuído como um único binário estático, sem dependências em tempo de execução. Suporte empresarial, desenvolvimento personalizado e formação disponíveis na Dweve.

# resolvido em tempo de execução; AURA_MODEL substitui o projeto

Arranca em segurança sem tocar em nenhum ficheiro.

Tudo o que pode definir em TOML, modelo, níveis de permissão por ferramenta, caminho do registo de auditoria, perfil nomeado, pode fixar por projeto, substituir por máquina ou alterar por variável de ambiente. Toque em qualquer um desses ficheiros, o agente vigia-os e reconstrói o seu prompt de sistema sem reiniciar a sessão. Sem reinício, sem contexto perdido.

O Aura resolve a configuração em quatro camadas: padrões incorporados, o seu `~/.dweve/config.toml` ao nível do utilizador, o `.aura/config.toml` do projeto e qualquer variável de ambiente `AURA_*`. Fundem-se por chave, com cada camada a substituir a que está abaixo; as variáveis de ambiente ficam no topo, pelo que uma única exportação pode alterar o comportamento do Aura para um trabalho de CI, uma ramificação, uma demonstração.

Lê as diferenças em relação à especificação do projeto…

ferramentas: [diff, grep, testes, auditoria]

função: "revisão de código, antes do commit"

API de trait Rust, ferramentas, barra, eventos

Executar um DAG: depuração, funcionalidade, revisão

Fragmentos de prompt injetados condicionalmente

Listar ou mudar de agente, projeto / utilizador / incorporado

Agentes, competências, plugins e fluxos de trabalho são markdown + YAML em disco. Seis agentes incorporados vêm com o Aura; os níveis de projeto, utilizador e global são fundidos no arranque. Edite um ficheiro, o agente reconstrói o seu prompt sem reiniciar.

portões, falhar rápido e corrigir no local

`/quality` executa fmt, clippy, compilação, testes, doc-tests e uma auditoria de segurança em sequência. Falhas incluem rastreios de pilha e contexto de diff. Avisos não bloqueiam por padrão; pode promovê-los a portões por projeto.