Architecture et fiabilité

Limites de service

Lasques est une application Next.js utilisant PostgreSQL comme source de vérité. Le cœur du moteur, indépendant de l'environnement d'exécution, définit les contrats d'exécution de recherche, de calcul, de connaissances et de facturation. La couche web expose des procédures et des vues d'application authentifiées.

Les flux de travail Cloudflare exécutent des tâches d'agent durables, tandis qu'un réconciliateur planifié fait progresser le travail mis en file d'attente, vérifie les tâches et traite la boîte de sortie transactionnelle. Les tâches CPU s'exécutent sur AWS Batch. Le travailleur des services Cloudflare gère l'optimiseur BoTorch et le vérificateur de preuves Lean. Son ancien endpoint de tâches de conteneur a été retiré.

Les répertoires Git sont stockés sur des nœuds Git dédiés avec des volumes persistants ; l'application web effectue l'autorisation avant d'envoyer les opérations Git à un nœud.

Exécution durable

Les tours d'agent utilisent des baux et des générations. Une étape de modèle et sa charge sont validées ensemble. Les appels d'outils enregistrés reprennent après un crash plutôt que d'être répétés aveuglément.

Les tentatives de calcul portent un jeton de tentative, empêchant un rappel plus ancien d'écraser une tentative plus récente. Les rappels et l'interrogation (polling) coopèrent ; un rappel échoué ne modifie pas en soi le résultat de la tâche stocké.

Le traitement de la boîte de sortie (outbox) livre les corrections et les découvertes par pages délimitées et dédupliquées. Ce sont les enregistrements PostgreSQL, plutôt que la durée de vie d'un processus web, qui déterminent la progression.

Isolation et artefacts

Les exécutions de calcul exécutent le code dans des conteneurs séparés et utilisent des URL de téléchargement liées à la portée de la tentative pour les résultats. Les résultats stockés, les journaux, les points de contrôle, les métriques et les graines (seeds) permettent une inspection ultérieure. Les documents et les connaissances sont limités au périmètre du client (tenant) le cas échéant, et le contenu des invites externes est traité comme non fiable.

Le vérificateur de preuves utilise une compilation séparée et des étapes d'audit fiables. La fidélité des énoncés est vérifiée indépendamment de la réussite de la compilation Lean.

Références d'implémentation

• docs/engine.md : cycle de vie de la mission, itérations, facturation, preuves, connaissances et vues des résultats.
• docs/compute-services.md : tâches, optimiseur, vérificateur de preuves, assistant Python, limites d'exécution et déploiement.
• docs/forge-git-service.md : contrat de nœud Git, configuration, sauvegardes et restauration.
• config/engine.config.ts : tarifs des modèles, paramètres par défaut du moteur, ressources machines et limites de forfait.
• config/billing.config.ts : prix des abonnements, sièges et packs de crédits.
• config/auth.config.ts : paramètres de compte et d'authentification.

Ceci sont des guides d'implémentation pour cette application, et non une promesse d'accès public aux points de terminaison de l'infrastructure. Les droits d'accès à l'API du compte sont désactivés dans la configuration de facturation actuelle.