Architettura e affidabilità

Confini del servizio

Lasques è un'applicazione Next.js con PostgreSQL come sua fonte di verità. Il nucleo del motore indipendente dall'runtime definisce i contratti di esecuzione della ricerca, calcolo, conoscenza e fatturazione. Lo strato web espone procedure e viste dell'applicazione autenticate.

I workflow di Cloudflare eseguono il lavoro duraturo degli agenti, mentre un riconciliatore pianificato fa avanzare il lavoro in coda, controlla i job ed elabora l'outbox transazionale. I job CPU girano su AWS Batch. Il worker dei servizi Cloudflare gestisce l'ottimizzatore BoTorch e il verificatore di prove Lean. Il suo precedente endpoint per i job del container è stato ritirato.

I repository Git sono memorizzati su nodi Git dedicati con volumi persistenti; l'applicazione web esegue l'autorizzazione prima di inviare le operazioni Git a un nodo.

Esecuzione duratura

I turni degli agenti utilizzano concessioni e generazioni. Un passaggio del modello e il relativo addebito vengono confermati insieme. Le chiamate agli strumenti registrate riprendono dopo un crash invece di essere ripetute acriticamente.

I tentativi di calcolo portano un token di tentativo, impedendo a un callback più vecchio di sovrascrivere un tentativo più recente. I callback e il polling cooperano; un callback fallito non modifica di per sé il risultato del job memorizzato.

L'elaborazione dell'outbox consegna correzioni e scoperte in pagine limitate e deduplicate. I record PostgreSQL, piuttosto che la durata di un processo web, determinano il progresso.

Isolamento e artefatti

Le esecuzioni di calcolo eseguono il codice in container separati e utilizzano URL di caricamento con ambito di tentativo per i risultati. I risultati memorizzati, i log, i checkpoint, le metriche e i seed supportano ispezioni successive. Documenti e conoscenze sono limitati all'ambito del tenant dove applicabile, e il contenuto dei prompt esterni è trattato come non affidabile.

Il verificatore di prove utilizza una compilazione separata e passaggi di audit affidabili. La fedeltà delle affermazioni è controllata indipendentemente dal successo della compilazione Lean.

Riferimenti all'implementazione

• docs/engine.md: ciclo di vita della missione, iterazioni, fatturazione, prove, conoscenza e viste dei risultati.
• docs/compute-services.md: job, ottimizzatore, verificatore di prove, helper Python, limiti di esecuzione e deployment.
• docs/forge-git-service.md: contratto del nodo Git, configurazione, backup e ripristino.
• config/engine.config.ts: tariffe del modello, impostazioni predefinite del motore, risorse della macchina e limiti del piano.
• config/billing.config.ts: prezzi degli abbonamenti, posti e pacchetti di crediti.
• config/auth.config.ts: impostazioni dell'account e dell'autenticazione.

Queste sono guide all'implementazione per questa applicazione, non una promessa di accesso pubblico agli endpoint dell'infrastruttura. I diritti dell'API dell'account sono disabilitati nella configurazione di fatturazione attuale.