Arquitetura e confiabilidade

Limites de serviço

Lasques é uma aplicação Next.js com PostgreSQL como sua fonte da verdade. O núcleo da engine, independente de runtime, define contratos de execução de pesquisa, computação, conhecimento e faturamento. A camada web expõe procedimentos e visualizações de aplicação autenticados.

Workflows de Cloudflare executam trabalho durável de agentes, enquanto um reconciliador agendado avança o trabalho na fila, verifica tarefas e processa a caixa de saída transacional. Tarefas CPU rodam em AWS Batch. O trabalhador de serviços Cloudflare lida com o otimizador BoTorch e o verificador de provas Lean. Seu antigo endpoint de tarefas de container foi descontinuado.

Repositórios Git são armazenados em nós Git dedicados com volumes persistentes; a aplicação web realiza a autorização antes de enviar operações Git para um nó.

Execução durável

As rodadas de agentes utilizam concessões (leases) e gerações. Uma etapa do modelo e sua cobrança são confirmadas juntas. Chamadas de ferramentas registradas são retomadas após uma falha, em vez de serem repetidas cegamente.

Tentativas de computação carregam um token de tentativa, evitando que um callback antigo sobrescreva uma tentativa mais recente. Callbacks e polling cooperam; um callback falho não altera, por si só, o resultado da tarefa armazenado.

O processamento de outbox entrega correções e descobertas em páginas delimitadas e deduplicadas. Registros PostgreSQL, em vez do tempo de vida de um processo web, determinam o progresso.

Isolamento e artefatos

Execuções de computação rodam código em containers separados e usam URLs de upload com escopo de tentativa para os Resultados. Resultados armazenados, logs, checkpoints, métricas e sementes suportam inspeção posterior. Documentos e conhecimento possuem escopo de locatário (tenant) onde aplicável, e o conteúdo de prompts externos é tratado como não confiável.

O verificador de provas utiliza compilação separada e etapas de auditoria confiáveis. A fidelidade da declaração é verificada independentemente da compilação Lean bem-sucedida.

Referências de implementação

• docs/engine.md: ciclo de vida da missão, iterações, faturamento, evidências, conhecimento e visualizações de resultados.
• docs/compute-services.md: tarefas, otimizador, verificador de provas, auxiliar Python, limites de execução e implantação.
• docs/forge-git-service.md: contrato de nó Git, configuração, backups e restauração.
• config/engine.config.ts: taxas de modelo, padrões da engine, recursos de máquina e limites de plano.
• config/billing.config.ts: preços de assinatura, assentos e pacotes de créditos.
• config/auth.config.ts: configurações de conta e autenticação.

Estes são guias de implementação para esta aplicação, não uma promessa de acesso público a endpoints de infraestrutura. Os direitos de API de conta estão desativados na configuração de faturamento atual.