アーキテクチャと信頼性

サービスの境界

Lasquesは、PostgreSQLを信頼できる唯一の情報源とするNext.jsアプリケーションです。実行環境に依存しないエンジンコアが、研究の実行、計算、知識、および課金の契約を定義します。ウェブレイヤーは、認証されたアプリケーションの手順とビューを公開します。

Cloudflareワークフローは永続的なエージェントの作業を実行し、スケジュールされたリコンサイラーがキューに入った作業を進め、ジョブを確認し、トランザクショナル・アウトボックスを処理します。CPUジョブはAWS Batch上で実行されます。Cloudflareサービスのワーカーは、BoTorchオプティマイザーとLean証明チェッカーを処理します。以前のコンテナジョブのエンドポイントは廃止されました。

Gitリポジトリは、永続ボリュームを持つ専用のGitノードに保存されます。ウェブアプリケーションは、ノードにGit操作を送信する前に認可を実行します。

永続的な実行

エージェントのターンにはリースとジェネレーションが使用されます。モデルのステップとその料金は、共にコミットされます。記録されたツールコールは、クラッシュ後に盲目的に繰り返されるのではなく、再開されます。

計算の試行には試行トークンが伴い、古いコールバックが新しい試行を上書きするのを防ぎます。コールバックとポーリングは協調します。失敗したコールバック自体が、保存されたジョブの結果を変更することはありません。

アウトボックス処理は、制限された重複排除済みのページ内で、修正と発見を配信します。ウェブプロセスの生存期間ではなく、PostgreSQLのレコードが進行状況を決定します。

分離とアーティファクト

計算実行は、個別のコンテナ内でコードを実行し、生成結果には試行スコープのアップロードURLを使用します。保存された生成結果、ログ、チェックポイント、メトリクス、およびシードは、後の検査をサポートします。ドキュメントと知識は、該当する場合にテナントスコープとなり、外部のプロンプト内容は信頼できないものとして扱われます。

証明チェッカーは、個別のコンパイルと信頼できる監査ステップを使用します。記述の忠実度は、成功したLeanのコンパイルとは独立してチェックされます。

実装リファレンス

• docs/engine.md：ミッションのライフサイクル、イテレーション、課金、エビデンス、知識、および結果のビュー。
• docs/compute-services.md：ジョブ、オプティマイザー、証明チェッカー、Pythonヘルパー、実行制限、およびデプロイメント。
• docs/forge-git-service.md：Gitノード契約、設定、バックアップ、およびリストア。
• config/engine.config.ts：モデル料金、エンジンのデフォルト、マシンリソース、およびプラン制限。
• config/billing.config.ts：サブスクリプション価格、シート、およびクレジットパッケージ。
• config/auth.config.ts：アカウントおよび認証設定。

これらは本アプリケーションの実装ガイドであり、インフラストラクチャのエンドポイントへの公開アクセスを約束するものではありません。現在のアカウントAPI権限は、現在の課金設定では無効になっています。