Architektur und Zuverlässigkeit

Servicegrenzen

Lasques ist eine Next.js-Anwendung mit PostgreSQL als ihrer einzigen Quelle der Wahrheit (Source of Truth). Der runtime-unabhängige Engine-Kern definiert die Verträge für Forschungsdurchläufe, Berechnungen, Wissen und Abrechnung. Die Web-Schicht stellt authentifizierte Anwendungsabläufe und Ansichten bereit.

Cloudflare-Workflows führen ausdauernde Agenten-Aufgaben aus, während ein geplanter Reconciler die Warteschlangenarbeit vorantreibt, Jobs überprüft und die transaktionale Outbox verarbeitet. CPU-Jobs laufen auf AWS Batch. Der Cloudflare-Services-Worker verwaltet den BoTorch-Optimierer und den Lean-Proof-Checker. Der ehemalige Container-Jobs-Endpunkt wurde eingestellt.

Git-Repositories werden auf dedizierten Git-Knoten mit persistenten Volumes gespeichert; die Web-Anwendung führt eine Autorisierung durch, bevor sie Git-Operationen an einen Knoten sendet.

Ausdauernde Ausführung

Agenten-Schritte (Turns) nutzen Leases und Generationen. Ein Modellschritt und seine Gebühr werden gemeinsam committet. Aufgezeichnete Tool-Aufrufe werden nach einem Absturz fortgesetzt, anstatt blind wiederholt zu werden.

Rechenversuche tragen einen Attempt-Token, der verhindert, dass ein älterer Callback einen neueren Versuch überschreibt. Callbacks und Polling arbeiten zusammen; ein fehlgeschlagener Callback ändert für sich genommen nicht das gespeicherte Job-Ergebnis.

Die Outbox-Verarbeitung liefert Korrekturen und Entdeckungen in begrenzten, deduplizierten Seiten. PostgreSQL-Datensätze, nicht die Lebensdauer eines Web-Prozesses, bestimmen den Fortschritt.

Isolation und Artefakte

Compute-Runs führen Code in separaten Containern aus und verwenden Upload-URLs mit Attempt-Scope für Ergebnisse. Gespeicherte Ergebnisse, Logs, Checkpoints, Metriken und Seeds unterstützen eine spätere Inspektion. Dokumente und Wissen sind, sofern anwendbar, mandantenspezifisch (tenant-scoped), und externe Prompt-Inhalte werden als nicht vertrauenswürdig behandelt.

Der Proof-Checker verwendet eine separate Kompilierung und vertrauenswürdige Audit-Schritte. Die Treue der Aussagen wird unabhängig von der erfolgreichen Lean-Kompilierung überprüft.

Implementierungsreferenzen

• docs/engine.md: Missionslebenszyklus, Iterationen, Abrechnung, Evidenz, Wissen und Ergebnisansichten.
• docs/compute-services.md: Jobs, Optimierer, Proof-Checker, Python-Helper, Ausführungslimits und Deployment.
• docs/forge-git-service.md: Git-Knotenvertrag, Konfiguration, Backups und Wiederherstellung.
• config/engine.config.ts: Modellraten, Engine-Standardwerte, Maschinenressourcen und Planlimits.
• config/billing.config.ts: Abonnementpreise, Plätze und Credit-Pakete.
• config/auth.config.ts: Konto- und Authentifizierungseinstellungen.

Dies sind Implementierungsleitfäden für diese Anwendung und keine Zusage eines öffentlichen Zugangs zu Infrastruktur-Endpunkten. Die Berechtigungen für die Account-API sind in der aktuellen Abrechnungskonfiguration deaktiviert.